We further Cloudflare's mission to help build a better Internet by melding research with implementation Latest Research Updates → subscribe to our quarterly newsletter 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. In this blog post we take measure of them and discover why we ended up with so many PQ signatures. Introducing Speed Brain: helping web pages load 45% faster We are excited to announce the latest leap forward in speed – Speed Brain. Speed Brain uses the Speculation Rules API to prefetch content for the user's likely next navigations. The goal is to download a web page to the browser before a user navigates to it, allowing pages to load instantly.