Programming Deadlock
1.47K subscribers
3 photos
104 files
1.18K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
Abelian sandpiles in three or more dimensions can be used to simulate a Turing machine and are therefore Turing complete
https://en.m.wikipedia.org/wiki/Abelian_sandpile_model
😐1
CLOS: Integrating Object-Oriented and Functional Programming
https://dreamsongs.com/Files/clos-cacm.pdf
🔥2🤮1🥴1
Thermodynamic Linear Algebra
https://arxiv.org/abs/2308.05660
An Algorithm for Optimal Lambda Calculus Reduction
https://dl.acm.org/doi/pdf/10.1145/96709.96711
👍1
The Concept of a Supercompiler
https://dl.acm.org/doi/pdf/10.1145/5956.5957
🤨2👍1
🤨2👍1
Continuing WebAssembly with Effect Handlers
https://arxiv.org/abs/2308.08347
👍3🤮2
A Guide to Undefined Behavior in C and C++
https://blog.regehr.org/archives/213