Programming Deadlock
1.18K subscribers
2 photos
81 files
1.06K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
ShavitTouitou.pdf
1.1 MB
Software transactional memory
Examples of quick hash tables and dynamic arrays in C
https://nullprogram.com/blog/2025/01/19/
HyperLogLog is an algorithm for the count-distinct problem, approximating the number of distinct elements in a multiset.
https://en.wikipedia.org/wiki/HyperLogLog
Anti-unification and Generalization: A Survey
https://arxiv.org/pdf/2302.00277
2111.12800
739.2 KB
Tiny Pointers