https://nexaaly.com/blog/ What Nexaaly builds, how, and the numbers behind it. en https://nexaaly.com/blog/repomap/ https://nexaaly.com/blog/repomap/ Thu, 01 Oct 2026 08:00:00 GMT AI Repomap shows an AI agent where to look in code it has never seen. It beats a plain text search, and an agent reading its maps finds 87% of the right files in five picks. https://nexaaly.com/blog/six-reverse-proxies/ https://nexaaly.com/blog/six-reverse-proxies/ Thu, 01 Oct 2026 08:00:00 GMT Engineering 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. https://nexaaly.com/blog/proving-rust/ https://nexaaly.com/blog/proving-rust/ Thu, 01 Oct 2026 08:00:00 GMT Engineering 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. https://nexaaly.com/blog/nexus-measures-first/ https://nexaaly.com/blog/nexus-measures-first/ Thu, 01 Oct 2026 08:00:00 GMT AI 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. https://nexaaly.com/blog/deck/ https://nexaaly.com/blog/deck/ Thu, 01 Oct 2026 08:00:00 GMT Craft 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.