Stories by wwilson

Breaking the WAL

My quest to see all of Tetris

A Fighting Retreat

Formal Methods for Rust Unsafe

We interfaced single-threaded C++ with multi-threaded Rust and lived

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

1 2 3 4