Programming Deadlock – Telegram
Programming Deadlock
1.51K subscribers
3 photos
109 files
1.23K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
2004-01-30-CGO-LLVM.pdf
202 KB
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation
5
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects
https://casperbp.net/store/hefty-algebras.pdf
1👍1
👍2😐2
11-ghuloum.pdf
581.7 KB
An Incremental Approach to Compiler Construction
rnoti-p6.pdf
686.8 KB
Machine-Assisted Proof
🥴2🙏1
👍1🔥1
Compilers: Principles, Techniques, and Tools
https://suif.stanford.edu/dragonbook/
🦄31🤯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