TigerStyle! (Or How To Design Safer Systems in Less Time) by Joran Dirk Greef
In brief
Joran Dirk Greef's Systems Distributed '23 talk on TigerStyle, the engineering methodology behind TigerBeetle. It covers designing safer systems in less time through up-front design, assertions, and deterministic simulation.