root@pierrezemb.fr:~/blog$ ./read --quorum tags/correctness
✓ quorum 2/3 · 2 documents · committed
ls ./tags/correctness
2026-05-05
BugBash 2026, or how the correctness decade has startedA retrospective on BugBash 2026, and why software engineering looks brighter than ever.
#software-engineering #testing #simulation #correctness #llm
2025-08-11
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.
#distributed-systems #debugging #correctness #podcasts #simulation
revision history © 2026 Pierre Zemb · last rev. 2026-06-09
contact
githubtwitterblueskyrss