Programming Deadlock
1.45K subscribers
3 photos
103 files
1.17K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
86-020.pdf
788.3 KB
No Silver Bullet: Essence and Accident in Software Engineering
https://www.cs.unc.edu/techreports/86-020.pdf
🗿1
More speculations on arenas in C++
https://nullprogram.com/blog/2025/09/30/
👾1
CompCert C verified compiler: A compiler for a large subset of the C programming language that generates code for the PowerPC, ARM, x86 and RISC-V processors
https://github.com/AbsInt/CompCert
🗿7🙏2
tree-traversal-locality.pdf
1.1 MB
Enhancing Locality for Recursive Traversals of Recursive Structures
https://dl.acm.org/doi/pdf/10.1145/2048066.2048104
👍2