Distributed systemstalk
"Testing Distributed Systems w/ Deterministic Simulation" by Will Wilson
Strange Loop Conference
Documented HN sourceHN 13.5
Quick Take
HN treats it as the canonical talk on simulation testing and a mind-blowing example of how far rigorous testing can go.