Bloom filters debunked: Dispelling 30 Years of bad math with Coq

472 points by gopiandcode

Read the article

Discussion on Hacker News