Top New Best Ask Show Jobs

wwilson

4,417 karma · joined May 20, 2013

Building something cool. Email me at: will.wilson@antithesis.com

submissions comments

Hegel-Rust OSS bug-finding

github.com·1 pts·wwilson·

Ways Research Teams Fail

antithesis.com·3 pts·wwilson·

Breaking the WAL

antithesis.com·162 pts·wwilson·

My quest to see all of Tetris

antithesis.com·73 pts·wwilson·

A Fighting Retreat

antithesis.com·1 pts·wwilson·

Formal Methods for Rust Unsafe

antithesis.com·4 pts·wwilson·

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

antithesis.com·1 pts·wwilson·

Test ACID compliance with a ring test

antithesis.com·1 pts·wwilson·

When your customer leads your Series A

antithesis.com·16 pts·wwilson·

Startups promise to catch bugs in AI-generated software

ft.com·2 pts·wwilson·

They don't even have eyes

antithesis.com·5 pts·wwilson·

Did you get lucky or unlucky?

antithesis.com·2 pts·wwilson·

Global Crossing Is Reborn

pracap.com·2 pts·wwilson·

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

youtube.com·2 pts·wwilson·

FoundationDB: From Idea to Apple Acquisition

youtube.com·4 pts·wwilson·

Let's all write good software [video]

youtube.com·2 pts·wwilson·

Fix the New Things First

antithesis.com·2 pts·wwilson·

Finding a way to make on-call better

antithesis.com·2 pts·wwilson·

The pragmatic magic of semi-formal methods

antithesis.com·3 pts·wwilson·

Antithesis for Founders

antithesis.com·6 pts·wwilson·

Antithesis Driven Testing

sqlsync.dev·6 pts·wwilson·

Bug Bash 2025 conference writeup

concerningquality.com·5 pts·wwilson·

Experience with semi-formal proofs [video]

youtube.com·3 pts·wwilson·

BugBash 2025: Software reliability conference

bugbash.antithesis.com·11 pts·wwilson·

Rolling for our new initiative: Test Composer

antithesis.com·5 pts·wwilson·

How to debug large, distributed systems: Antithesis

newsletter.pragmaticengineer.com·1 pts·wwilson·

Debugging in the Multiverse

antithesis.com·201 pts·wwilson·

No Ghost Policy

antithesis.com·1 pts·wwilson·

Security at Antithesis: A Manifesto

antithesis.com·1 pts·wwilson·

At the Mountains of Madness

antithesis.com·153 pts·wwilson·

Page 1 of 4Next →