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
๐Ÿ‘1๐Ÿ”ฅ1
Compilers: Principles, Techniques, and Tools
https://suif.stanford.edu/dragonbook/
๐Ÿฆ„3โค1๐Ÿคฏ1
doom.pdf
6.2 MB
Doom source port that runs inside a PDF file
https://github.com/ading2210/doompdf?tab=readme-ov-file
๐Ÿ’Š6๐Ÿคฏ2๐Ÿ‘1
Advanced_Topics_in_Types_and_Programming_Languages.pdf
595.8 KB
Advanced Topics in Types and Programming Languages: Typed Operational Reasoning (Chapter 7)
๐Ÿ‘3
David A. Wheeler's Review of Debugging by David J. Agans
https://dwheeler.com/essays/debugging-agans.html
๐Ÿ‘1
๐Ÿ’Š2๐Ÿ‘1
ShavitTouitou.pdf
1.1 MB
Software transactional memory
๐Ÿ™4