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
A simple, arena-backed, generic dynamic array for C
https://nullprogram.com/blog/2023/10/05/
πŸ”₯3πŸ’Š1
An Algebraic Approach to Typechecking and Elaboration
https://bentnib.org/docs/algebraic-typechecking-20150218.pdf
πŸ‘1πŸ”₯1
Guide to Network Programming
https://beej.us/guide/bgnet/html/
πŸ”₯3πŸ‘Ž1
Zenbleed: Vulnerability found in AVX2 instruction set
https://lock.cmpxchg8b.com/zenbleed.html
Integer overflow checking cost
https://danluu.com/integer-overflow/
πŸ‘1
Ξ Ξ£: Dependent Types without the Sugar
https://www.cs.nott.ac.uk/~psztxa/publ/pisigma-new.pdf
πŸ‘1