Gopiandcode > Who am I? personal blog
Bloom filters debunked: Dispelling 30 Years of bad math with Coq
There's this rather nifty feature of modern web browsers (such as Firefox or Chrome ) where the browser will automatically warn the user if they happen to navigate to a " malicious " URL:
- Points
- 472
- HN comments
- 126
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsSoftware Engineering2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jul 25, 2020 | Bloom filters debunked: Dispelling 30 Years of bad math with Coq by gopiandcode | 472 | 126 |
