Programming Deadlock
1.26K subscribers
3 photos
88 files
1.08K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
Advanced_Topics_in_Types_and_Programming_Languages.pdf
595.8 KB
Advanced Topics in Types and Programming Languages: Typed Operational Reasoning (Chapter 7)
👍3
David A. Wheeler's Review of Debugging by David J. Agans
https://dwheeler.com/essays/debugging-agans.html
👍1
ShavitTouitou.pdf
1.1 MB
Software transactional memory
🙏4
Examples of quick hash tables and dynamic arrays in C
https://nullprogram.com/blog/2025/01/19/
💅2
HyperLogLog is an algorithm for the count-distinct problem, approximating the number of distinct elements in a multiset.
https://en.wikipedia.org/wiki/HyperLogLog
👍1
Anti-unification and Generalization: A Survey
https://arxiv.org/pdf/2302.00277
👍1