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
The First Room-Temperature Ambient-Pressure Superconductor
https://arxiv.org/abs/2307.12008
👀21🔥1
Austral is a new systems programming language. It uses linear types to provide memory safety and capability-secure code, and is designed to be simple enough to be understood by a single person, with a focus on readability, maintainbility, and modularity.
https://austral-lang.org/
👏3🤡3🤔2🤮1
Time, Clocks, and the Ordering of Events in a Distributed System (Lamport) - Paper Review
https://percisely.xyz/syncronicity
Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism
https://www.seas.upenn.edu/~sweirich/papers/itabox/icfp-published-version.pdf
🔥3💩1
Typed Design Patterns for the Functional Era
https://arxiv.org/pdf/2307.07069.pdf
💅5👍1🤣1
C++ vs Rust Move Semantics Efficiency Comparison
https://arewestackefficientyet.com/
👍1
👍2💩1🦄1
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