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
πŸ—Ώ6
SSA (Static Single Assignment) Compilers
https://mcyoung.xyz/2025/10/21/ssa-1/
πŸ’―4❀1πŸ‘1