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
A Deforestation of Reducts: Refocusing
https://arxiv.org/pdf/2302.10455v1
πŸ‘1πŸ™1
πŸ‘1πŸ™1
πŸ¦„3πŸ’Š1
Linux: How programs get run
https://lwn.net/Articles/630727
πŸ”₯2
Clay: a flex-box style UI auto layout library in C, with declarative syntax and microsecond performance
https://www.nicbarker.com/clay
πŸ”₯7πŸ‘1😐1
Interactive Programs in Dependent Type Theory
https://csetzer.github.io/articles/ioconf.pdf
πŸ”₯2😐2
The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl)
https://dl.acm.org/doi/pdf/10.1145/3409006
🀨1
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