news.volyx.in

Bloom filters debunked: Dispelling 30 Years of bad math with Coq (gopiandcode.uk)

472 points by gopiandcode · 2262 days ago · 126 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.