Programming Deadlock
1.2K subscribers
3 photos
83 files
1.06K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
Comprehensive C Archive Network
https://ccodearchive.net/
Kernel optimization with BOLT
https://lwn.net/Articles/993828/
Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
https://dl.acm.org/doi/pdf/10.1145/215465.215469
500'000€ Prize for Compressing Human Knowledge
https://web.archive.org/web/20241122214528/https://prize.hutter1.net/
Defunctionalization with Dependent Types
https://dl.acm.org/doi/pdf/10.1145/3591241
Deriving Dependently-Typed OOP from First Principles
https://dl.acm.org/doi/pdf/10.1145/3649846