ls ./tags/simulation
2026-06-09~6 min
Designing Fakes That Prove CorrectnessYou fake the handful of methods your code actually calls, prove the fake stays honest, and then make it fail the way production does.
2026-05-05~5 min
BugBash 2026, or how the correctness decade has startedA retrospective on BugBash 2026, and why software engineering looks brighter than ever.
2026-03-26~8 min
Why Fakes Beat Mocks and TestcontainersTrait-based fakes test partial failures that mocks and Testcontainers fundamentally cannot simulate. They are also the on-ramp to simulation-driven development.
2026-03-23~13 min
Diving Into Coverage-Guided FuzzingHow a 600-line Rust fuzzer discovers a 3-byte crash sequence in 9,000 iterations instead of 16 million
2026-02-05~8 min
Simulating Leader Election on top of FoundationDBCan LLM-generated code be trusted for distributed systems? Only if you have the right feedback loop.
2025-12-09~13 min
Designing Rust FDB Workloads That Actually Find BugsPatterns and principles for writing Rust simulation workloads that catch bugs before production does.
2025-10-30~22 min
Diving into FoundationDB's Simulation FrameworkHow FoundationDB achieves legendary reliability through deterministic simulation, interface swapping, and one trillion CPU-hours of testing
2025-09-08~6 min
Testing: prevention vs discoveryMost testing prevents old bugs from returning. But what if we built systems where LLMs could actively discover new bugs instead?
2025-08-11~3 min
Two Podcast Episodes on Topics Developers Rarely Talk AboutTwo podcast episodes—one from Oxide and one from Antithesis—on debugging at the limits and building correctness into systems from day one.
2025-04-18~9 min
What if we embraced simulation-driven development?How deterministic simulation testing can help us build more reliable distributed systems and bridge the gap between development and production environments.
2025-04-11~6 min
So, You Want to Learn More About Deterministic Simulation Testing?A curated collection of resources about deterministic simulation testing for distributed systems.
revision history © 2026 Pierre Zemb · last rev. 2026-08-14
contact
githubtwitterblueskylinkedinmastodonrss