Programming Deadlock
Открыть в Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Больше1 869
Подписчики
+124 часа
+77 дней
+3730 дней
Архив постов
1 869
Quantum entropy source on an InP photonic
integrated circuit for random number generation
1 869
Ultra-fast quantum randomness
generation by accelerated phase
diffusion in a pulsed laser diode
1 869
Artificial Intelligence Prepares for 2001
https://ai.stanford.edu/~nilsson/OnlinePubs-Nils/General%20Essays/AIMag04-04-002.pdf
1 869
The CompCert C Compiler: A formally verified compiler for C
https://compcert.org/compcert-C.html1 869
Formal Objects in Type Theory Using Very Dependent Types
http://www.cs.cornell.edu/jyh/papers/fool3/paper.pdf
1 869
CspChan: A pure C (-std=c89) implementation of Go channels, including blocking and non-blocking selects
https://github.com/rochus-keller/CspChan1 869
Defunctionalized Interpreters for Programming Languages
http://jfla.inria.fr/2014/danvy-ICFP08.pdf
1 869
Notes on Rust mutable aliasing and formal verification
https://graydon2.dreamwidth.org/312681.html
1 869
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 869
Garbage collection with zero cost at non-GC time
https://gist.github.com/AndrasKovacs/fc9e20b0976b7e236b5899fde8f5c95d
1 869
Exploring GNU extensions in the Linux kernel
https://maskray.me/blog/2024-05-12-exploring-gnu-extensions-in-linux-kernel
