New best story on Hacker News: Bloom filters debunked: Dispelling 30 Years of bad math with Coq

Bloom filters debunked: Dispelling 30 Years of bad math with Coq
460 by gopiandcode | 125 comments on Hacker News.