{"slug": "antithesis", "name": "Antithesis", "category": "dev-libs", "category_name": "Libraries and frameworks", "description": "", "recommenders": 3, "commenters": 4, "warners": 0, "score": 3.045, "rising": 1.67, "first": "2026-01-08", "latest": "2026-10-02", "why": "There are companies like Antithesis that have done incredible work in this space.", "why_is_quote": true, "has_verdict": false, "sentiment": {"recommend": 3, "neutral": 1, "compare": 0, "warn": 0}, "spark": [0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1], "listed": true, "loved": [], "caveat": "", "short_quote": "There are companies like Antithesis that have done incredible work in this space.", "icon": true, "domain": "antithesis.com", "github_repo": null, "official_url": "https://antithesis.com", "pricing": "", "aliases": ["Antithesis"], "verdict": null, "praise": [{"label": "", "summary": "", "quotes": [{"id": 798973104, "item_id": 49935819, "url": "https://news.ycombinator.com/item?id=49935819", "by": "svieira", "date": "2026-10-02", "stance": "recommend", "quote": "You may want to check out what Antithesis is doing in this space", "excerpt": "> If you wanted to go absolutely wild, some hypervisors can checkpoint the memory of a running VM and revert back to a prior version memory and all. I can\u2019t imagine a way to make money off that You may want to check out what Antithesis is doing in this space - https://antithesis.com/ Specifically, https://antithesis.com/docs/resources/deterministic_simulation_testing/", "context": "", "use_case": "deterministic simulation testing", "switched_from": "", "story": "Pi Durable"}, {"id": 788267008, "item_id": 49266688, "url": "https://news.ycombinator.com/item?id=49266688", "by": "rubiquity", "date": "2026-08-11", "stance": "recommend", "quote": "I love what you all do!", "excerpt": "I love what you all do! I don\u2019t have any to submit. Enough time with consensus teaches you to avoid it unless it\u2019s really, truly needed.", "context": "", "use_case": "testing distributed systems", "switched_from": "", "story": "Why Go Is an Ideal Language for AI-Assisted Software Engineering"}, {"id": 744621264, "item_id": 46538829, "url": "https://news.ycombinator.com/item?id=46538829", "by": "chaitanyya", "date": "2026-01-08", "stance": "recommend", "quote": "There are companies like Antithesis that have done incredible work in this space.", "excerpt": "It's an interesting one. Every time I speak with engineering teams about reliability and correctness, they all want more of it, yet when it comes to investing in it, it's never really a priority. More often than not, people test the wrong things; they struggle to even identify the right properties to test. I question my worldview on this because I don't think it's a particularly difficult problem. There are companies", "context": "building automated property-based testing", "use_case": "autonomous software testing", "switched_from": "", "story": "Ask HN: What parts of software testing can realistically be autonomous today?"}]}], "caveats": [], "who": [{"by": "chaitanyya", "context": "building automated property-based testing", "url": "https://news.ycombinator.com/item?id=46538829", "date": "2026-01-08"}], "tags": [], "use_cases": ["deterministic simulation testing", "testing distributed systems", "fault testing", "autonomous software testing"], "compared": [], "makers": [{"id": 788454784, "item_id": 49278424, "url": "https://news.ycombinator.com/item?id=49278424", "by": "carlsverre", "date": "2026-08-12", "stance": "recommend", "quote": "how debugging with Antithesis works", "excerpt": "Hi! I'm the author and the person who was on a road trip when I decided to do this experiment back in July. I'm super excited to finally get the blog post out, and even better, alongside a post describing the root cause process that went into the project. You can read about Tailscale's story here: https://tailscale.com/blog/sqlite-wal-reset-bug I'm only sad that I didn't put SQLite under test earlier in the year, or ", "context": "author of the blog post", "use_case": "finding bugs via testing", "switched_from": "", "story": "Breaking the WAL"}, {"id": 788453824, "item_id": 49278364, "url": "https://news.ycombinator.com/item?id=49278364", "by": "carlsverre", "date": "2026-08-12", "stance": "recommend", "quote": "This generic workload found the bug without any special knowledge of the bug, due to how Antithesis works.", "excerpt": "Carl (author) here. This is a poor reading of the blog post. Notably, I built a general-purpose workload that simply exercises the write/checkpoint machinery. The exact same workload we use to break all kinds of transactional systems. This generic workload found the bug without any special knowledge of the bug, due to how Antithesis works.", "context": "author of the blog post", "use_case": "finding bugs in transactional systems", "switched_from": "", "story": "Breaking the WAL"}], "threads": [{"url": "https://news.ycombinator.com/item?id=49277799", "title": "Breaking the WAL", "mentions": 2}, {"url": "https://news.ycombinator.com/item?id=49925969", "title": "Pi Durable", "mentions": 1}, {"url": "https://news.ycombinator.com/item?id=49261133", "title": "Why Go Is an Ideal Language for AI-Assisted Software Engineering", "mentions": 1}, {"url": "https://news.ycombinator.com/item?id=49208535", "title": "Making Postgres 300x faster for analytics: batching, operator fusion, and SIMD", "mentions": 1}, {"url": "https://news.ycombinator.com/item?id=46510835", "title": "Ask HN: What parts of software testing can realistically be autonomous today?", "mentions": 1}], "sentiment_by_month": {"2025-11": {}, "2025-12": {}, "2026-01": {"recommend": 1}, "2026-02": {}, "2026-03": {}, "2026-04": {}, "2026-05": {}, "2026-06": {}, "2026-07": {}, "2026-08": {"neutral": 1, "recommend": 1}, "2026-09": {}, "2026-10": {"recommend": 1}}, "quotes": [{"id": 798973104, "item_id": 49935819, "url": "https://news.ycombinator.com/item?id=49935819", "by": "svieira", "date": "2026-10-02", "stance": "recommend", "quote": "You may want to check out what Antithesis is doing in this space", "excerpt": "> If you wanted to go absolutely wild, some hypervisors can checkpoint the memory of a running VM and revert back to a prior version memory and all. I can\u2019t imagine a way to make money off that You may want to check out what Antithesis is doing in this space - https://antithesis.com/ Specifically, https://antithesis.com/docs/resources/deterministic_simulation_testing/", "context": "", "use_case": "deterministic simulation testing", "switched_from": "", "story": "Pi Durable"}, {"id": 788267008, "item_id": 49266688, "url": "https://news.ycombinator.com/item?id=49266688", "by": "rubiquity", "date": "2026-08-11", "stance": "recommend", "quote": "I love what you all do!", "excerpt": "I love what you all do! I don\u2019t have any to submit. Enough time with consensus teaches you to avoid it unless it\u2019s really, truly needed.", "context": "", "use_case": "testing distributed systems", "switched_from": "", "story": "Why Go Is an Ideal Language for AI-Assisted Software Engineering"}, {"id": 787393282, "item_id": 49212080, "url": "https://news.ycombinator.com/item?id=49212080", "by": "malisper", "date": "2026-08-07", "stance": "neutral", "quote": "We've also entered engagements with Antithesis[1] to do Jepsen style fault testing", "excerpt": "Author here. Let me know if you have any questions! Let me take a shot at answering what I think will be the most common question: how can I trust this? Our #1 priority right now is correctness. Over the past two weeks, I've done a mix of formal verification and differential fuzz testing. We've been able to prove over 1000 user facing functions have the exact same logic in both pgrust and postgres (see the proofs dir", "context": "", "use_case": "fault testing", "switched_from": "", "story": "Making Postgres 300x faster for analytics: batching, operator fusion, and SIMD"}, {"id": 744621264, "item_id": 46538829, "url": "https://news.ycombinator.com/item?id=46538829", "by": "chaitanyya", "date": "2026-01-08", "stance": "recommend", "quote": "There are companies like Antithesis that have done incredible work in this space.", "excerpt": "It's an interesting one. Every time I speak with engineering teams about reliability and correctness, they all want more of it, yet when it comes to investing in it, it's never really a priority. More often than not, people test the wrong things; they struggle to even identify the right properties to test. I question my worldview on this because I don't think it's a particularly difficult problem. There are companies", "context": "building automated property-based testing", "use_case": "autonomous software testing", "switched_from": "", "story": "Ask HN: What parts of software testing can realistically be autonomous today?"}]}