Programming Deadlock
Открыть в Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Больше1 790
Подписчики
-124 часа
+77 дней
+4230 день
Архив постов
1 790
Quantum entropy source on an InP photonic
integrated circuit for random number generation
1 790
Ultra-fast quantum randomness
generation by accelerated phase
diffusion in a pulsed laser diode
1 790
Artificial Intelligence Prepares for 2001
https://ai.stanford.edu/~nilsson/OnlinePubs-Nils/General%20Essays/AIMag04-04-002.pdf
1 790
The CompCert C Compiler: A formally verified compiler for C
https://compcert.org/compcert-C.html1 790
Formal Objects in Type Theory Using Very Dependent Types
http://www.cs.cornell.edu/jyh/papers/fool3/paper.pdf
1 790
CspChan: A pure C (-std=c89) implementation of Go channels, including blocking and non-blocking selects
https://github.com/rochus-keller/CspChan1 790
Defunctionalized Interpreters for Programming Languages
http://jfla.inria.fr/2014/danvy-ICFP08.pdf
1 790
Notes on Rust mutable aliasing and formal verification
https://graydon2.dreamwidth.org/312681.html
1 790
Translation of the Rust's core and alloc crates to Coq for formal verification
https://formal.land/blog/2024/04/26/translation-core-alloc-crates
1 790
Garbage collection with zero cost at non-GC time
https://gist.github.com/AndrasKovacs/fc9e20b0976b7e236b5899fde8f5c95d
1 790
Exploring GNU extensions in the Linux kernel
https://maskray.me/blog/2024-05-12-exploring-gnu-extensions-in-linux-kernel
1 790
Optimizing Clickhouse: The Tactics That Worked for Us
https://www.highlight.io/blog/lw5-clickhouse-performance-optimization
1 790
Supercompilation of Double Interpretation (How One Hour of the Machine's Time Can Be Turned to
One Second)
http://refal.net/~korlukov/scp2int/Karliukou_Nemytykh.pdf
