Search-and-Inference, From First Principles
What a search-and-inference database really demands, why that demand pointed straight at Zig, and what we got for rebuilding Antfly's engine on it while we were still early.
ResearchRSS
Antfly Research
Deep technical work on distributed systems, formal verification, and the engineering that powers AntflyDB.
Cheap code means formal verification is reasonable now
How we use TLA+ and coding agents to formally model distributed systems, find race conditions, and turn speculative bug hunts into verified fixes.
Building a Distributed Search Engine in Pure Go
How we built the Antfly engine in Go: Multi-Raft consensus, SIMD-accelerated vectors, and local ML inference, all in one static binary.