Stories by wwilson

Test ACID compliance with a ring test

When your customer leads your Series A

Startups promise to catch bugs in AI-generated software

They don't even have eyes

Did you get lucky or unlucky?

Global Crossing Is Reborn

Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video]

FoundationDB: From Idea to Apple Acquisition

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

1
2
3