Programming Deadlock
1.48K subscribers
3 photos
104 files
1.19K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
OpenBinder: A system-level component architecture, designed to provide a richer high-level abstraction on top of traditional modern operating system services
https://www.angryredplanet.com/~hackbod/openbinder/docs/html/
Initial steps towards assessing the usability of a verification tool (AutoProof)
https://arxiv.org/abs/1704.05008
Verified Functional Algorithms (Isabelle)
https://functional-algorithms-verified.org/
🤯1