wwilson's submissions

1.		A Fighting Retreat (antithesis.com)
		1 point by wwilson 33 days ago \| past
2.		Formal Methods for Rust Unsafe (antithesis.com)
		4 points by wwilson 42 days ago \| past
3.		We interfaced single-threaded C++ with multi-threaded Rust and lived (antithesis.com)
		1 point by wwilson 3 months ago \| past
4.		Test ACID compliance with a ring test (antithesis.com)
		1 point by wwilson 4 months ago \| past
5.		When your customer leads your Series A (antithesis.com)
		16 points by wwilson 4 months ago \| past
6.		Startups promise to catch bugs in AI-generated software (ft.com)
		2 points by wwilson 4 months ago \| past
7.		They don't even have eyes (antithesis.com)
		5 points by wwilson 5 months ago \| past
8.		Did you get lucky or unlucky? (antithesis.com)
		2 points by wwilson 5 months ago \| past
9.		Global Crossing Is Reborn (pracap.com)
		2 points by wwilson 6 months ago \| past
10.		Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video] (youtube.com)
		2 points by wwilson 8 months ago \| past
11.		FoundationDB: From Idea to Apple Acquisition (youtube.com)
		4 points by wwilson 8 months ago \| past
12.		Let's all write good software [video] (youtube.com)
		2 points by wwilson 9 months ago \| past
13.		Fix the New Things First (antithesis.com)
		2 points by wwilson 10 months ago \| past
14.		Finding a way to make on-call better (antithesis.com)
		2 points by wwilson 10 months ago \| past
15.		The pragmatic magic of semi-formal methods (antithesis.com)
		3 points by wwilson 10 months ago \| past
16.		Antithesis for Founders (antithesis.com)
		6 points by wwilson 11 months ago \| past \| 3 comments
17.		Antithesis Driven Testing (sqlsync.dev)
		6 points by wwilson 11 months ago \| past
18.		Bug Bash 2025 conference writeup (concerningquality.com)
		5 points by wwilson 12 months ago \| past \| 1 comment
19.		Experience with semi-formal proofs [video] (youtube.com)
		3 points by wwilson on March 5, 2025 \| past
20.		BugBash 2025: Software reliability conference (antithesis.com)
		11 points by wwilson on Dec 17, 2024 \| past \| 1 comment
21.		Rolling for our new initiative: Test Composer (antithesis.com)
		5 points by wwilson on Nov 21, 2024 \| past
22.		How to debug large, distributed systems: Antithesis (pragmaticengineer.com)
		1 point by wwilson on Nov 12, 2024 \| past
23.		Debugging in the Multiverse (antithesis.com)
		201 points by wwilson on Sept 10, 2024 \| past \| 58 comments
24.		No Ghost Policy (antithesis.com)
		1 point by wwilson on Aug 24, 2024 \| past \| 1 comment
25.		Security at Antithesis: A Manifesto (antithesis.com)
		1 point by wwilson on Aug 6, 2024 \| past
26.		At the Mountains of Madness (antithesis.com)
		153 points by wwilson on July 10, 2024 \| past \| 85 comments
27.		Solving Zelda with the Antithesis SDK (antithesis.com)
		36 points by wwilson on June 4, 2024 \| past \| 8 comments
28.		How Antithesis finds bugs (antithesis.com)
		160 points by wwilson on April 17, 2024 \| past \| 53 comments
29.		Antithesis announces Artificial General 8-bit Intelligence (AG8I) (antithesis.com)
		21 points by wwilson on April 1, 2024 \| past
30.		So you think you want to write a deterministic hypervisor? (antithesis.com)
		200 points by wwilson on March 20, 2024 \| past \| 53 comments
		More

HN For You