Programming Deadlock
1.2K subscribers
3 photos
82 files
1.06K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
marking-popl24.pdf
1.4 MB
Total Type Error Localization and Recovery with Holes
Symbol Versions in NetBSD Libraries
https://wiki.netbsd.org/symbol_versions/
n2464.pdf
285.1 KB
Zero-size Reallocations are Undefined Behavior
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