Stories by wwilson

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?

Deterministic simulation testing for our entire SaaS

The Antithesis Open Source Giveaway Program

Antithesis: Debugging Debugging

1
2
3