#simulation

ls ./tags/simulation
2026-06-09~6 min
Designing Fakes That Prove Correctness

You 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 started

A retrospective on BugBash 2026, and why software engineering looks brighter than ever.

2026-03-26~8 min
Why Fakes Beat Mocks and Testcontainers

Trait-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 Fuzzing

How 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 FoundationDB

Can 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 Bugs

Patterns and principles for writing Rust simulation workloads that catch bugs before production does.

2025-10-30~22 min
Diving into FoundationDB's Simulation Framework

How FoundationDB achieves legendary reliability through deterministic simulation, interface swapping, and one trillion CPU-hours of testing

2025-09-08~6 min
Testing: prevention vs discovery

Most 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 About

Two 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.