#correctness
ls ./tags/correctness
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.
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.