antithesis.com on Hacker News

Breaking the WAL(antithesis.com)

137 points by wwilson 2 months ago | 48 comments

My quest to see all of Tetris(antithesis.com)

55 points by wwilson 3 months ago | 14 comments

What are skiplists good for?(antithesis.com)

273 points by mfiguiere 6 months ago | 65 comments

Hypothesis, Antithesis, synthesis(antithesis.com)

267 points by alpaylan 7 months ago | 94 comments

We interfaced single-threaded C++ with multi-threaded Rust(antithesis.com)

92 points by lukastyrychtr 8 months ago | 8 comments

Obscure feature + obscure feature + obscure feature = compiler bug(antithesis.com)

20 points by jonstewart 1 year ago | 2 comments

Optimizing our way through Metroid(antithesis.com)

122 points by eatonphil 1 year ago | 22 comments

Debugging in the Multiverse(antithesis.com)

180 points by wwilson 2 years ago | 55 comments

In the Labyrinth of Unknown Unknowns(antithesis.com)

7 points by guergabo 2 years ago | 1 comments

At the Mountains of Madness(antithesis.com)

129 points by wwilson 2 years ago | 69 comments

So you think you want to write a deterministic hypervisor?(antithesis.com)

165 points by wwilson 2 years ago | 47 comments

Antithesis – Autonomous Testing(antithesis.com)

33 points by dbroockman 2 years ago | 4 comments

Is something bugging you?(antithesis.com)

1068 points by wwilson 2 years ago | 380 comments

Antithesis CEO Will Wilson's blog post announcing the company's emergence from five years in stealth and introducing its autonomous software testing platform.