The lab.
Deep dives, project stories, and engineering notes - anything we build that's worth writing about.
How We Cut a Client's JSON Bandwidth by 70% Without Breaking a Single Downstream Service
TSON is a self-describing binary format that speaks JSON's language, ships a fraction of the bytes, and lets hot-path services read fields straight off the wire - no schema, no migration.
Append-Only Storage and Two-Tier VACUUM: How KAI Handles Deletes Safely
Borrowing from PostgreSQL and LSM-tree databases, KAI's document store achieves zero-copy reads, crash-safe deletes, and background physical reclamation.
Training-Free Vector Quantization: Lloyd-Max Codebooks on the Unit Sphere
How KAI compresses 6 KB float32 vectors into ~768 bytes - without ever looking at your data - using the geometry of high-dimensional spheres and optimal scalar quantization theory.
Inside the SIMD Search Pipeline: How KAI Scans Millions of Vectors in Milliseconds
A deep dive into nibble-split lookup tables, blocked memory layouts, and architecture-specific SIMD kernels - the techniques that make sub-millisecond vector search possible.
Parsing BMP Files on a Microcontroller With Almost No RAM
How to read, decode, and draw Windows BMP images on a tiny microcontroller by streaming pixels straight from an SD card - no framebuffer, no megabytes, just a couple of rows of RAM.
Bridging Async and SIMD: The Tokio + Rayon Architecture of a High-Performance Rust Server
Building a vector search server that handles hundreds of concurrent HTTP requests while running SIMD operations at full CPU efficiency.