Programming Deadlock
1.49K subscribers
3 photos
107 files
1.2K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
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
Barebones RISC-V OS written in Zig
https://timmy.moe/blog/barebones-os-zig/
πŸ₯΄7❀3🀯3
πŸ‘Œ3❀2