Blog
Built. Measured. Written down.
What we make, how we make it, and the numbers behind it, each with how it was measured.
- We put our web server in the ring with nginx Nexagate, our own web server, against nginx, HAProxy, rpxy, Pingora and Caddy on one bench. Where it came first, by how much, and the two places it did not. Read
- We don’t only test our Rust. We prove it. Phage, our code prover, checks every input a function can get, up to a size we choose. It found a real bug in our web server, proved the fix 3.6 to 31 times faster than Kani, and caught a bug in LLVM itself. Read
- Meet the AI engineer that refuses to guess Nexus, our AI engineer, does not call a fix done until the numbers say so. On a slowdown we hid for it, it cut each request from 3,337 to 281 nanoseconds, and proved it over seven runs side by side. Read
- DECK, a card trick made of 675 animations A film in 3D, 45 seconds long, with 52 cards, a camera and 675 animations on one timeline, drawn live by glimo, our animation engine. There is no video file. Read
Follow along with the RSS feed.