We further Cloudflare's mission to help build a better Internet by melding research with implementation Latest Research Updates → subscribe to our quarterly newsletter Sometimes I cache: implementing lock-free probabilistic caching If you want to know what cache revalidation is, how it works, and why it can involve rolling a die, read on. This blog post presents a lock-free probabilistic approach to cache revalidation, along How we prevent conflicts in authoritative DNS configuration using formal verification We describe how Cloudflare uses a custom Lisp-like programming language and formal verifier (written in Racket and Rosette) to prevent logical contradictions in our authoritative DNS nameserver’s behavior. A look at the latest post-quantum signature standardization candidates NIST has standardized four post-quantum signature schemes so far, and they’re not done yet: there are fourteen new candidates in the running for standardization.
