Programming Deadlock
1.25K subscribers
3 photos
86 files
1.08K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
Handling Bidirectional Control Flow
https://dl.acm.org/doi/pdf/10.1145/3428207
πŸ‘2
How I Experience Web Today
https://how-i-experience-web-today.com/
🀣13πŸ‘2🀨2
modernC.pdf
3.7 MB
Modern C: C23 Edition
πŸ—Ώ7🀣6πŸ‘3πŸ’―1πŸ’…1
The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
https://dl.acm.org/doi/pdf/10.1145/3674634
πŸ‘3
A formal kernel memory-ordering model
https://lwn.net/Articles/718628/
πŸ‘3πŸ”₯2
Using Circular Programs for Higher-Order Syntax
https://emilaxelsson.github.io/documents/axelsson2013using.pdf
πŸ‘1
Computability and Complexity: From a Programming Perspective
http://hjemmesider.diku.dk/~neil/comp2book2007/book-whole.pdf
πŸ”₯1