Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

wwilson

4,417 karmajoined May 20, 2013On HN

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

Recent submissions

Hegel-Rust OSS bug-finding github.com/DRMacIver
1wwilson7ddiscuss
Ways Research Teams Fail antithesis.com
3wwilson23ddiscuss
Breaking the WAL antithesis.com
162wwilson1mo52 comments
My quest to see all of Tetris antithesis.com
73wwilson2mo17 comments
A Fighting Retreat antithesis.com
1wwilson6modiscuss
Formal Methods for Rust Unsafe antithesis.com
4wwilson6modiscuss
We interfaced single-threaded C++ with multi-threaded Rust and lived antithesis.com
1wwilson8modiscuss
Test ACID compliance with a ring test antithesis.com
1wwilson9modiscuss
When your customer leads your Series A antithesis.com
16wwilson9modiscuss
Startups promise to catch bugs in AI-generated software ft.com
2wwilson9modiscuss
They don't even have eyes antithesis.com
5wwilson10modiscuss
Did you get lucky or unlucky?antithesis.com
2wwilson10modiscuss
Global Crossing Is Reborn pracap.com
2wwilson11modiscuss
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video]youtube.com
2wwilson1ydiscuss
FoundationDB: From Idea to Apple Acquisition youtube.com
4wwilson1ydiscuss
Let's all write good software [video]youtube.com
2wwilson1ydiscuss
Fix the New Things First antithesis.com
2wwilson1ydiscuss
Finding a way to make on-call better antithesis.com
2wwilson1ydiscuss
The pragmatic magic of semi-formal methods antithesis.com
3wwilson1ydiscuss
Antithesis for Founders antithesis.com
6wwilson1y3 comments
Antithesis Driven Testing sqlsync.dev
6wwilson1ydiscuss
Bug Bash 2025 conference writeup concerningquality.com
5wwilson1y1 comment
Experience with semi-formal proofs [video]youtube.com
3wwilson1ydiscuss
BugBash 2025: Software reliability conference bugbash.antithesis.com
11wwilson1y1 comment
Rolling for our new initiative: Test Composer antithesis.com
5wwilson1ydiscuss
How to debug large, distributed systems: Antithesis newsletter.pragmaticengineer.com
1wwilson1ydiscuss

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.