Stories by wwilson

Let's all write good software [video]

Fix the New Things First

Finding a way to make on-call better

The pragmatic magic of semi-formal methods

Antithesis for Founders

Antithesis Driven Testing

Bug Bash 2025 conference writeup

Experience with semi-formal proofs [video]

BugBash 2025: Software reliability conference

Rolling for our new initiative: Test Composer

How to debug large, distributed systems: Antithesis

Debugging in the Multiverse

No Ghost Policy

Security at Antithesis: A Manifesto

At the Mountains of Madness

Solving Zelda with the Antithesis SDK

How Antithesis finds bugs

Antithesis announces Artificial General 8-bit Intelligence (AG8I)

So you think you want to write a deterministic hypervisor?

1
2
3