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
c11comp.pdf
581.1 KB
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it
πŸ”₯1
πŸ”₯1
concurrency-primer.pdf
1.3 MB
What every systems programmer should know about concurrency
πŸ‘3
p539-neumann.pdf
559.4 KB
Efficiently Compiling Efficient Query Plans for Modern Hardware
❀1πŸ‘1
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