The GeekNarrator · 2026-04-20 · 1h 20m
Assertions vs Types: Design by Contract, Deterministic Simulation Testing, and Safety vs Availability (TigerBeetle Vol. 3)In this episode (volume 3), Kai talks with Alex about assertions, type systems, and design by contract, arguing it’s not “types vs assertions” but using both: types for cheap, structural guarantees and assertions where types become too costly or obscure logic. Alex defines assertions (in Zig) as a function that crashes the program on false, explains why disabling assertions in production is dangerous, and ties reliable assertion use to deterministic simulation/generative testing to exercise error paths. We discuss aiming for very high assertion density, repeating weak and strong assertions across call sites and callees to form an interlocking “net,” and note you don’t need special language features for DBC.
Many Databases 1 LSM Engine - OpenData80 / 100Fastest Browser infrastructure for AI Agents - KernelTigerStyle with matklad Vol. 2 (Systems Engineering)Databases and Engineering with @PlanetScale CEO - Sam LambertWhat is TigerStyle? Principles behind TigerBeetle ft. Joran