✳flâneur — a map of the web's best reading

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

kirancodes.me · 2,595 words · saved by 1 readers

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:

Bloom filters debunked: Dispelling 30 Years of bad math with Coq! Warning This post was written before I began my transition. It may adopt a tone that I no longer feel is appropriate and the page may make use of design that is not consistent with the rest of the site. Bloom filters debunked: Dispelling 30 Years of bad math with Coq! 23 Jul, 2020     projects   research   coq   verification Introduction 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

Explore this link on the map →

saved by

related reading