Submissions from antithesis.com

		Introduction to Property-Based Testing (antithesis.com)
		6 points by alpaylan 19 days ago \| past
		Ways Research Teams Fail (antithesis.com)
		3 points by wwilson 23 days ago \| past
		Breaking the WAL (antithesis.com)
		162 points by wwilson 31 days ago \| past \| 52 comments
		Beating Castlevania with Antithesis (antithesis.com)
		3 points by luu 39 days ago \| past \| 1 comment
		Finding Bugs in Raft Implementations (antithesis.com)
		28 points by Klaster_1 47 days ago \| past
		My quest to see all of Tetris (antithesis.com)
		73 points by wwilson 72 days ago \| past \| 17 comments
		A distributed systems reliability glossary (antithesis.com)
		3 points by mooreds 3 months ago \| past \| 1 comment
		Techniques for Better Software Testing (antithesis.com)
		2 points by birdculture 4 months ago \| past
		What are skiplists good for? (antithesis.com)
		290 points by mfiguiere 4 months ago \| past \| 70 comments
		What Are Skiplists Good For? (antithesis.com)
		3 points by tanelpoder 4 months ago \| past
		Antithesis Skills for Agents (antithesis.com)
		3 points by tanelpoder 5 months ago \| past
		Hypothesis, Antithesis, synthesis (antithesis.com)
		285 points by alpaylan 5 months ago \| past \| 104 comments
		A Fighting Retreat (antithesis.com)
		1 point by wwilson 6 months ago \| past
		Formal Methods for Rust Unsafe (antithesis.com)
		4 points by wwilson 6 months ago \| past
		We interfaced single-threaded C++ with multi-threaded Rust (antithesis.com)
		1 point by PaulHoule 7 months ago \| past
		We interfaced single-threaded C++ with multi-threaded Rust (antithesis.com)
		107 points by lukastyrychtr 7 months ago \| past \| 11 comments
		We interfaced single-threaded C++ with multi-threaded Rust (antithesis.com)
		3 points by todsacerdoti 7 months ago \| past
		We interfaced single-threaded C++ with multi-threaded Rust and lived (antithesis.com)
		1 point by wwilson 8 months ago \| past
		Test ACID compliance with a ring test (antithesis.com)
		1 point by wwilson 9 months ago \| past
		When your customer leads your Series A (antithesis.com)
		16 points by wwilson 9 months ago \| past
		A distributed systems reliability glossary (antithesis.com)
		1 point by fanf2 9 months ago \| past
		Catalog of reliability properties for blockchains (Antithesis) (antithesis.com)
		1 point by akshayshah 10 months ago \| past
		They don't even have eyes (antithesis.com)
		5 points by wwilson 10 months ago \| past
		Sometimes Assertions (antithesis.com)
		1 point by budro 10 months ago \| past \| 1 comment
		Did you get lucky or unlucky? (antithesis.com)
		2 points by wwilson 11 months ago \| past
		Obscure feature + obscure feature + obscure feature = compiler bug (antithesis.com)
		33 points by jonstewart 11 months ago \| past \| 10 comments
		Optimizing our way through Metroid (antithesis.com)
		147 points by eatonphil on Aug 22, 2025 \| past \| 32 comments
		Overview of Jepsen at BugBash 2025 (antithesis.com)
		2 points by todsacerdoti on Aug 8, 2025 \| past
		Antithesis Reliability Glossary (antithesis.com)
		3 points by Kinrany on July 30, 2025 \| past
		What does AI testing done right look like? (antithesis.com)
		4 points by Bogdanp on July 29, 2025 \| past
		More