Submissions from antithesis.com

		Formal Methods for Rust Unsafe (antithesis.com)
		4 points by wwilson 2 days ago \| past \| discuss
		We interfaced single-threaded C++ with multi-threaded Rust (antithesis.com)
		1 point by PaulHoule 17 days ago \| past
		We interfaced single-threaded C++ with multi-threaded Rust (antithesis.com)
		107 points by lukastyrychtr 21 days ago \| past \| 11 comments
		We interfaced single-threaded C++ with multi-threaded Rust (antithesis.com)
		3 points by todsacerdoti 29 days ago \| past
		We interfaced single-threaded C++ with multi-threaded Rust and lived (antithesis.com)
		1 point by wwilson 66 days ago \| past
		Test ACID compliance with a ring test (antithesis.com)
		1 point by wwilson 85 days ago \| past
		When your customer leads your Series A (antithesis.com)
		16 points by wwilson 87 days ago \| past
		A distributed systems reliability glossary (antithesis.com)
		1 point by fanf2 87 days ago \| past
		Catalog of reliability properties for blockchains (Antithesis) (antithesis.com)
		1 point by akshayshah 3 months ago \| past
		They don't even have eyes (antithesis.com)
		5 points by wwilson 4 months ago \| past
		Sometimes Assertions (antithesis.com)
		1 point by budro 4 months ago \| past \| 1 comment
		Did you get lucky or unlucky? (antithesis.com)
		2 points by wwilson 4 months ago \| past
		Obscure feature + obscure feature + obscure feature = compiler bug (antithesis.com)
		33 points by jonstewart 5 months ago \| past \| 10 comments
		Optimizing our way through Metroid (antithesis.com)
		147 points by eatonphil 6 months ago \| past \| 32 comments
		Overview of Jepsen at BugBash 2025 (antithesis.com)
		2 points by todsacerdoti 6 months ago \| past
		Antithesis Reliability Glossary (antithesis.com)
		3 points by Kinrany 7 months ago \| past
		What does AI testing done right look like? (antithesis.com)
		4 points by Bogdanp 7 months ago \| past
		A distributed systems reliability glossary (antithesis.com)
		1 point by avinassh 7 months ago \| past
		A distributed systems reliability glossary (antithesis.com)
		4 points by jasonthorsness 7 months ago \| past
		A distributed systems reliability glossary (antithesis.com)
		9 points by eatonphil 7 months ago \| past
		Fix the New Things First (antithesis.com)
		3 points by zX41ZdbW 8 months ago \| past
		Fix the New Things First (antithesis.com)
		2 points by wwilson 9 months ago \| past
		Finding a way to make on-call better (antithesis.com)
		2 points by wwilson 9 months ago \| past
		The pragmatic magic of semi-formal methods (antithesis.com)
		3 points by wwilson 9 months ago \| past
		Antithesis for Founders (antithesis.com)
		6 points by wwilson 10 months ago \| past \| 3 comments
		Our own worst best customer (antithesis.com)
		2 points by gk1 11 months ago \| past
		Our own worst best customer (antithesis.com)
		12 points by matesz 11 months ago \| past
		Antithesis: Hunting for one-in-a-million bugs in NATS (antithesis.com)
		2 points by Klaster_1 11 months ago \| past
		Depth Is All You Need: How Antithesis Crushes Gradius (antithesis.com)
		14 points by Klaster_1 on Feb 21, 2025 \| past
		Antithesis: Lessons from Launch (antithesis.com)
		24 points by Klaster_1 on Feb 13, 2025 \| past \| 2 comments
		More