Programming Deadlock
1.46K subscribers
3 photos
103 files
1.18K 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
Capabilities: Linux Privilege Escalation
https://juggernaut-sec.com/capabilities/
๐Ÿซก1
Functional C++: Abusing the type system like never before
https://functionalcpp.wordpress.com/
๐Ÿ‘พ1
๐Ÿ—ฟ6
SSA (Static Single Assignment) Compilers
https://mcyoung.xyz/2025/10/21/ssa-1/
๐Ÿ’ฏ4โค1๐Ÿ‘1
Why C variable argument functions are an abomination (and what to do about it)
https://h4x0r.org/vargs/
โค2๐Ÿ”ฅ1๐Ÿฆ„1