Programming Deadlock – Telegram
Programming Deadlock
1.52K subscribers
3 photos
110 files
1.24K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
3👏3👍1
2007.00167.pdf
168.2 KB
The Integers as a Higher Inductive Type (Agda)
https://arxiv.org/abs/2007.00167
🙏3💊2
Dive into Systems (Book)
https://diveintosystems.org/book/
10
CCured_Type-Safe_Retrofitting.pdf
614.5 KB
CCured: Type-Safe Retrofitting of
Legacy Software
👍1
🤯4🥴1
Linux Kernel bugs hide for 2 years on average. Some hide for 20.
https://pebblebed.com/blog/kernel-bugs
👾51