Research area
The shared foundations the products run on. Anvil, the event-sourced runtime: determinism as a correctness contract, replay, and time. Admission and usage accounting, and their control planes. And the evidence behind them: invariants, proofs, and measurement.
3 posts
Today we are open-sourcing Tollgate, a Rust library for quota admission and usage accounting in latency-critical services. It is MIT or Apache-2.0, its crates are on crates.io, and it ships with the evidence we use to…
The most expensive production bugs in trading systems are often not the ones that crash. They are the ones that cannot be reproduced. A signal changed, an order decision differed, a timeout fired in a different order,…
Most trading systems are tested the way most software is tested: feed an input, assert an output, hope the parts you did not assert on behaved. That works until the part you did not assert on is wall-clock time, or it…