Cuckoo hashing improves SIMD hash tables (and other hash table tradeoffs)(reiner.org)54 points by ibraheemdev 1 year ago | 0 comments
Hash functions: An empirical comparison (2008)(strchr.com)32 points by surprisetalk 2 years ago | 10 comments
Streams, Calculational Proofs and Dafny(rdivyanshu.github.io)28 points by misonic 2 years ago | 4 comments
Why are neural networks and cryptographic ciphers so similar? (2025)(reiner.org)126 points by jxmorris12 5 months ago | 42 comments