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
Compiling C to Safe Rust, Formalized
https://arxiv.org/pdf/2412.15042
๐Ÿ”ฅ1
07_dijkstra.pdf
1.1 MB
Recursive Programming - Dijkstra (1960)
An unofficial guide to the Rust ecosystem
https://blessed.rs/crates
๐Ÿ”ฅ1
My failed attempt at AGI on the Tokio Runtime
https://www.christo.sh/building-agi-on-the-tokio-runtime/
๐Ÿฅด4๐Ÿ˜ญ3๐Ÿค”1
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