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
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
Barebones RISC-V OS written in Zig
https://timmy.moe/blog/barebones-os-zig/
πŸ₯΄7❀3🀯3
πŸ‘Œ3❀2