Technical blog
We write about what we build and measure: performance, architecture and the verification of concurrent systems, with the conditions and limits of every figure. We publish only what we have verified and have the right to tell. What we build on commission is confidential and belongs to the client: it is not published or released as open source unless the contract allows it or the client authorizes it, as our common terms state.
Work, finish, publish.
Formal verification of a C++ cache with SPIN/Promela
October 19, 2026
TL;DR — The cpp-cache repository includes a bounded Promela model of the cache’s single-flight protocol. SPIN checks 30 safety assertions and …
Read more100K Requests per Second: Single-Flight Caching, Hash Routing, and a Custom Scaler
April 5, 2026
TL;DR — An in-process cache with a single-flight protocol, combined with hash-based routing, a shared second cache tier, and horizontal scaling, was …
Read moreWhen a Cache Does More Than Cache
March 31, 2026
Most people think of a cache as a simple performance booster: store a result, reuse it later, move on. But in highly concurrent systems, a cache can …
Read more