# antithesis: coverage

> what the discourse made of antithesis — the launch thread, the engineering-blog canon, the pricing complaints, and the agent-era reframing.

## coverage

- 2024-02-13 — [antithesis launches out of stealth to revolutionize software reliability](https://www.prnewswire.com/news-releases/antithesis-launches-out-of-stealth-to-revolutionize-software-reliability-302060173.html) (prnewswire) — positive. the company's own launch release — $47m seed led by amplify, tamarack, and first in; angels walrath and lerman; mongodb, palantir, and ethereum named as customers; danny ryan on record about the merge.
- 2024-02-13 — [antithesis raises $47m to launch an automated testing platform for software](https://techcrunch.com/2024/02/13/antithesis-raises-47m-to-launch-an-automated-testing-platform-for-software/) (techcrunch, kyle wiggers) — mixed. neutral-positive launch coverage with the caveat that defines the genre: 'that's assuming antithesis' tech works as advertised.' notes the round is 'unusually large for a seed.'
- 2024-02-13 — [code testing startup antithesis raises seed funding at $215 mln valuation](https://www.reuters.com/technology/code-testing-startup-antithesis-raises-seed-funding-215-mln-valuation-2024-02-13/) (reuters, krystal hu) — mixed. breaks the $215m valuation 'via a source familiar with the matter' — the only hard number on the seed's price.
- 2024-02-13 — [foundationdb team's new venture, antithesis, raises $47m](https://siliconangle.com/2024/02/13/foundationdb-teams-new-venture-antithesis-raises-47m-enhance-software-testing/) (siliconangle) — positive. positive; flags 'if so, it would be one of the biggest seed rounds on record' — and surfaces the legal name, antithesis operations llc.
- 2024-02-13 — [is something bugging you? — launch thread](https://news.ycombinator.com/item?id=39356920) (hacker news) — mixed. the launch megathread — posted by wilson himself. modal sentiment: 'skeptical of their claims but inspired by the vision.' foundationdb nostalgia, the jepsen-never-tested-fdb anecdote, and the first pricing complaints all live here. traction: 1,179 points, 418 comments
- 2024-03-21 — [antithesis of a one-in-a-million bug: taming demonic nondeterminism](https://www.cockroachlabs.com/blog/demonic-nondeterminism/) (cockroach labs) — positive. cockroach labs — a peer engineering org — publishes 'taming demonic nondeterminism' the day after the determinator post. the field engaging the idea on its own blog cadence. traction: 138 points on hn
- 2024-08-20 — [what's the big deal about deterministic simulation testing?](https://notes.eatonphil.com/2024-08-20-whats-the-big-deal-about-deterministic-simulation-testing.html) (notes.eatonphil.com / lobste.rs, phil eaton) — mixed. the dst explainer that seeded the lobste.rs debate: where should determinism live — hardware, os, runtime, or hypervisor? eaton asked for a foss tier in the launch thread; a year later he was an antithesis employee.
- 2024-11-12 — [antithesis: the deep dive](https://newsletter.pragmaticengineer.com/p/antithesis) (the pragmatic engineer, gergely orosz) — mixed. the first deep third-party account — favorable on the tech, candid on the pricing: polar signals evaluated antithesis, concluded 'the pricing didn't work,' and built in-house dst.
- 2024-10 — [the determinator on freebsd](https://freebsdfoundation.org/) (freebsd foundation) — positive. the freebsd foundation case study — the determinator runs on freebsd/bhyve; the os vendor telling the story back. traction: lobste.rs submission 2024-10-14
- 2025-05-20 — [bugbash 2025 field notes](https://emptysqua.re/blog/) (emptysqua.re, a. jesse jiryu davis) — positive. the mongodb engineer's account of evaluating antithesis in 2020 — 'several very rare replication bugs, including one that manifested once in many years of stress testing… found reliably in about 24 hours' — plus his bugbash field notes.
- 2025 — [testing mongodb with antithesis](https://github.com/mongodb/mongo/wiki/Testing-MongoDB-with-Antithesis) (mongodb wiki) — positive. the mongodb wiki on ci-level integration: antithesis 'surfaced novel failures that were not detected using the continuousstepdown hook,' with 'improved code coverage and improved rate of discovering new failures.'
- 2024-04-22 — [the index-inconsistency bug](https://antithesis.com/blog/mongodb_bug/) (antithesis blog, dan gottlieb) — positive. a former mongodb senior staff engineer guest-posts the walkthrough: an index-inconsistency data-corruption bug antithesis found, root-caused via per-100ms core dumps.
- 2024 — [deterministic simulation testing for our entire saas](https://www.warpstream.com/blog/deterministic-simulation-testing-for-our-entire-saas) (warpstream) — positive. the customer-authored dst writeup — warpstream ran its entire diskless-kafka saas through the determinator.
- 2025 — [deterministic simulation testing in diskless apache kafka](https://aiven.io/blog/deterministic-simulation-testing-in-diskless-apache-kafka) (aiven) — positive. aiven runs 'diskless kafka' through ~2,200 logical hours of antithesis chaos testing — the customer-authored scale number.
- 2025-05-06 — [antithesis expands footprint in fintech](https://www.fintechbusinessasia.com/news/35/475/antithesis-expands-footprint-in-fintech-powering-reliability-for-industry-leaders-like-ramp-and-top-hedge-funds.html) (prnewswire) — positive. the fintech cluster: ramp on record (vp eng nikolay koblov: 'high-impact issues in complex code paths that are rarely exercised in production'), formance, tigerbeetle — which builds its own simulator and still buys — plus an unnamed hedge fund and retail trading platform.
- 2025-09-25 — [etcd robustness testing with antithesis](https://etcd.io/blog/) (cncf / etcd) — positive. the cncf-sponsored etcd integration goes public — deterministic simulation inside the kubernetes release train, after the v3.5 consistency crisis.
- 2025-02-13 — [antithesis marks one-year anniversary with customer growth, new funding](https://www.prnewswire.com/news-releases/antithesis-marks-one-year-anniversary-with-customer-growth-new-funding-company-expansion-302375489.html) (prnewswire / finsmes) — positive. the $30m anniversary round — amplify leads, spark participates; pruss joins the board. disclosed in passing, not launched with fanfare.
- 2025-12-03 — [jane street leads antithesis's $105m series a](https://www.prnewswire.com/news-releases/jane-street-leads-antithesiss-105m-series-a-to-make-deterministic-simulation-testing-the-new-standard-302631076.html) (prnewswire) — positive. the $105m series a — led by jane street, a secret customer. the strongest third-party validation in the file: 'antithesis has helped us uncover issues that no other testing method could find.'
- 2025-12-03 — [jane street leads $105m round in antithesis](https://www.coindesk.com/business/2025/12/03/jane-street-leads-usd105m-funding-for-antithesis-a-testing-tool-used-by-ethereum-network) (coindesk) — positive. neutral-positive coindesk coverage — 'a testing tool used by ethereum network' — carrying the company-reported 'revenue rose more than 12x over the past two years.'
- 2025-12-03 — [series a thread](https://news.ycombinator.com/item?id=39356920) (hacker news) — mixed. the counterfactual datapoint — the series a on hacker news: 11 points, 0 comments. the funding event did not reproduce launch-day virality. traction: 11 points, 0 comments
- 2025-12-08 — [will wilson on tbpn](https://tbpn.com) (tbpn) — positive. tbpn on the jane street structure: the customer→investor conversion as 'a reasonable signal about how the product performs in high-stakes production environments.'
- 2025-04-12 — [bugbash 2025](https://concerningquality.com/bug-bash-2025/) (concerning quality) — positive. concerning quality's bugbash writeup: 'the first conference that i felt a part of… never been in a room where almost every single person raised their hand when a speaker asked who's familiar with property-based testing' — evidence antithesis catalyzed a scene, not just a product.
- 2025-10-20 — [a distributed systems reliability glossary](https://jepsen.io/) (jepsen, kyle kingsbury) — positive. the co-authored distributed systems reliability glossary — the man jepsen is named for writing the vocabulary with the company. jepsen 0.3.10 ships jepsen.antithesis weeks later.
- 2026-01-20 — [antithesis – the deterministic computer](https://mack.work/) (mack.work, akshay shah) — positive. 'antithesis – the deterministic computer' — the field-cto-adjacent essay framing the product as a new computing primitive rather than a test tool.
- 2026-03-23 — [antithesis, jane street, ethereum, and the future of software](https://fortune.com/2026/03/23/antithesis-janestreet-ethereum-will-wilson-foundationdb-software/) (fortune) — positive. the fortune term-sheet profile — wilson: 'software increasingly controls literally everything'; 'every product sucks at something. i'm just going to tell you what it is.' ~40 clients per forbes fintech 50.
- 2026-04-23 — [antithesis teaches ais to correct their own output](https://www.globenewswire.com/) (globenewswire) — mixed. the agent-era repositioning release: antithesis as 'independent, non-spoofable verification' for agent-written code — agents 'will continue to hallucinate… and attempt to cheat, e.g. by deleting tests.'
- 2026-03-24 — [hypothesis, antithesis, synthesis](https://news.ycombinator.com/item?id=39356920) (hacker news) — positive. the hegel launch thread — 285 points. the hypothesis creator's pbt family, built inside antithesis, open source. traction: 285 points, 104 comments
- 2026-08-12 — [breaking the wal](https://news.ycombinator.com/item?id=48765999) (hacker news) — positive. the wal-reset thread — claude + antithesis skills reproduce a fifteen-year-old sqlite data race in ~15 minutes. the agent-era demo that merged both narratives. traction: 162 points, 52 comments
- 2026-08-20 — [protocol-aware dst](https://tigerbeetle.com/blog/2026-08-20-protocol-aware-dst/) (tigerbeetle) — mixed. tigerbeetle's protocol-aware dst post draws the boundary: 'jepsen-style generative testing and antithesis-style deterministic hypervisors test the system from the outside in' — the inside-out counter-thesis from a customer that also builds.

## controversies

- 2024– — the $7,000 core: pricing opacity and the enterprise gate — at launch: '$2 per hour per cpu (or $7000 per year per cpu if reserved), no free tier for hobby or foss… ouch.' aws marketplace lists $7,000 per reserved core per year via private offer; sacra reports typical deals of $20k–$100k+ per year. concrete casualty: polar signals evaluated antithesis, concluded 'the pricing didn't work,' and built in-house dst. reaction: wilson acknowledged it in-thread — single-tenant dedicated hardware 'means there's a bit of per-customer overhead that we have to recoup' — and the 2025 founder package concedes they 'had to turn away some incredible people and companies who wanted to buy a small amount of testing.' (sources: [1,179 pts / 418 comments](https://news.ycombinator.com/item?id=39356920), [$7,000/reserved-core/12-mo](https://aws.amazon.com/marketplace/pp/prodview-tznxbknxyozo4), [$30m feb 2025 round detail](https://sacra.com/c/antithesis/), [orosz + nilsson deep-dive](https://newsletter.pragmaticengineer.com/p/antithesis), [founder package](https://antithesis.com/blog/2025/antithesis_for_founders/))
- 2024– — the workload tax: the lock-in question — 'workloads seem to be effectively equivalent to integration tests… if i have to deploy to some new environment anyways and tailor the workloads anyways, why would i pay extra for vendor lock-in?' workload and property authoring is real work regardless of who runs the simulator. reaction: the 2026 answer is agent skills — let the agent write the workload and navigate the setup guide — which reframes the objection rather than removing it. (sources: [1,179 pts / 418 comments](https://news.ycombinator.com/item?id=39356920), [antithesis-research/setup/workload skills](https://antithesis.com/blog/2026/agent_skills/))
- 2024– — fuzzer for docker images: the 'just a fuzzer' reduction — 'seems more like a fuzzer for docker images… it won't tell you whether the software works correctly, it will just tell you if it raises an exception or crashes'; 'if i wrote a compiler, how would antithesis generate mostly valid source code for it?' reaction: the counter-evidence is customer-attested: mongodb storage-engine corruption, pre-merge ethereum consensus bugs, etcd consistency work, the sqlite wal-reset reproduction. the honest scope: antithesis shines on crashes and assertable invariants in systems you can containerize — it cannot test what you cannot bring into the sandbox. (sources: [1,179 pts / 418 comments](https://news.ycombinator.com/item?id=39356920), [index-inconsistency corruption bug](https://antithesis.com/blog/mongo_bug/), [cncf-sponsored etcd×antithesis integration](https://www.cncf.io/blog/2025/09/25/autonomous-testing-of-etcds-robustness/), [breaking the wal](https://antithesis.com/blog/2026/wal-reset-bug/))
- 2014– — is the sim brutal enough: the simulation-fidelity objection — the deepest technical critique, raised by wilson himself at strange loop in 2014: the sim 'is not brutal enough' and 'we may just misunderstand the contracts of the operating systems.' hn echoed it: 'how they are checking for equivalence between the simulator and existing os's… sounds like a non-trivial task.' reaction: antithesis's own docs concede external dependencies must be 'mocked or otherwise plugged to ensure determinism.' the fidelity question is now the industry's to answer at scale. (sources: [wilsons canonical dst talk + his fdb-era bio (biotech start, yale math/philosophy)](https://www.thestrangeloop.com/2014/testing-distributed-systems-w-slash-deterministic-simulation.html), [1,179 pts / 418 comments](https://news.ycombinator.com/item?id=39356920), [dst primer](https://antithesis.com/docs/resources/deterministic_simulation_testing/))
- 2024– — the proprietary hypervisor: the closed-core concern — 'i'd be happier if it were in the public domain and i could run it on my own hardware.' the hypervisor remains proprietary; hegel and bombadil are open source, and dhyve (an open-source bhyve deterministic hypervisor 'inspired by antithesis') shows the clone risk is real. reaction: the company's answer is perimeter open source plus the oss giveaway program — the determinator itself stays closed. (sources: [ahelwer/maxholl comments](https://lobste.rs/s/5j3o6o/antithesis_pioneering_deterministic), [hegel/bombadil open source](https://antithesis.com/docs/introduction/welcome/), [open-source deterministic hypervisor on bhyve, inspired by antithesis](https://github.com/pgraug/dhyve-src))
- 2025–2026 — the numbers are the company's own: the self-reported ledger — 'one user-reported bug' at foundationdb; 'revenue rose more than 12x' per coindesk; mongodb's 100+ critical bugs, −47% mttr, ~10x roi; '~40 clients' and '$109m fy2025 revenue' per aggregators; headcount anywhere from 74 to 231 depending on who's counting. reaction: no external audit exists; the dossier marks each number self-reported rather than reconciling them silently. (sources: [company timeline (2009 fdb](https://antithesis.com/company/about/), [series a](https://www.coindesk.com/business/2025/12/03/jane-street-leads-usd105m-funding-for-antithesis-a-testing-tool-used-by-ethereum-network), [mongodb customer since 2021](https://antithesis.com/blog/mongodb_productivity/), [funding table incl](https://startupintros.com/orgs/antithesis), [~231 employees (+138% yoy)](https://linkedin.com/company/antithesis-operations), [91 employees as of 2025 (divergent headcount)](https://pitchbook.com/profiles/company/433266-67))

## sentiment eras

- 2014–2023 — underground legend (positive): company invisible; the idea circulates via the strange loop 2014 talk, the fdb paper, and word of mouth — jesse's 2020 mongodb evaluation, stardog as possibly first customer. 'antithesis was in quiet mode until mid-2024 when they suddenly turned on the marketing switch.' (sources: [wilsons canonical dst talk + his fdb-era bio (biotech start, yale math/philosophy)](https://www.thestrangeloop.com/2014/testing-distributed-systems-w-slash-deterministic-simulation.html), [emptysqua.re](https://emptysqua.re/blog/notes-from-antithesis-bugbash/), [foundationdb sigmod21 paper](https://www.foundationdb.org/files/fdb-paper.pdf))
- 2024 — launch euphoria, structural skepticism (mixed): the 1,179-point launch thread — modal stance 'skeptical of their claims but inspired by the vision.' complaints concentrate on pricing, access, and fuzzer-reductionism — not the idea's legitimacy. (sources: [1,179 pts / 418 comments](https://news.ycombinator.com/item?id=39356920), [launch coverage](https://techcrunch.com/2024/02/13/antithesis-raises-47m-to-launch-an-automated-testing-platform-for-software/))
- 2024 — credibility by blog cadence (positive): the engineering blog becomes a recurring hn front-pager — hypervisor, mario, multiverse, the nes series. the freebsd case study and the pragmatic engineer deep-dive give third-party depth. (sources: [200 pts / 53 comments](https://news.ycombinator.com/item?id=39766222), [debugging in the multiverse](https://news.ycombinator.com/item?id=41500405), [orosz + nilsson deep-dive](https://newsletter.pragmaticengineer.com/p/antithesis), [determinator on freebsd/bhyve](https://freebsdfoundation.org/antithesis-pioneering-deterministic-hypervisors-with-freebsd-and-bhyve/))
- 2025 — the institutionalization (positive): bugbash sells out; cncf sponsors the etcd work; jepsen co-authors the glossary and ships jepsen.antithesis; then a secret customer leads the $105m series a — the strongest third-party validation yet. (sources: [bugbash announced](https://www.prnewswire.com/news-releases/antithesis-announces-its-bugbash-conference-302361415.html), [cncf-sponsored etcd×antithesis integration](https://www.cncf.io/blog/2025/09/25/autonomous-testing-of-etcds-robustness/), [jepsen](https://jepsen.io/blog/2025-12-02-jepsen-0.3.10), [$105m series a](https://www.prnewswire.com/news-releases/jane-street-leads-antithesiss-105m-series-a-to-make-deterministic-simulation-testing-the-new-standard-302631076.html))
- 2026 — the agent-era reframing (positive): 'verification is the new bottleneck' — the homepage, the april release, and the wal demo reframe the product for agent-written code. the community now treats antithesis as the reference implementation of dst while debating outside-in vs. protocol-aware inside-out. (sources: [current positioning (10x faster time-to-release)](https://antithesis.com/), [independent, non-spoofable verification](https://www.globenewswire.com/news-release/2026/04/23/3280089/0/en/Antithesis-Teaches-AIs-To-Correct-Their-Own-Output.html), [breaking the wal](https://antithesis.com/blog/2026/wal-reset-bug/), [outside-in (jepsen/antithesis) vs inside-out protocol-aware dst](https://tigerbeetle.com/blog/2026-08-20-protocol-aware-dst/))

AI-drafted at Ben Guo's direct request and credited to Hraness; every claim links to its cataloged source.

Canonical page: https://hraness.com/antithesis/coverage


Published by @ben in profile revision 1.
Original document: https://hraness.com/antithesis/coverage
Original credited author: Hraness
AI-drafted at Ben Guo's direct request and credited to Hraness; every claim links to its cataloged source.

## Structured source and record data

````json
{"anchors":[{"id":"launch","originalUrl":"https://hraness.com/antithesis/coverage#launch","title":"the launch"},{"id":"technical","originalUrl":"https://hraness.com/antithesis/coverage#technical","title":"the technical coverage"},{"id":"customers","originalUrl":"https://hraness.com/antithesis/coverage#customers","title":"the customers"},{"id":"funding","originalUrl":"https://hraness.com/antithesis/coverage#funding","title":"the funding"},{"id":"discourse","originalUrl":"https://hraness.com/antithesis/coverage#discourse","title":"the discourse"},{"id":"agent-era","originalUrl":"https://hraness.com/antithesis/coverage#agent-era","title":"the agent era"},{"id":"controversies","originalUrl":"https://hraness.com/antithesis/coverage#controversies","title":"controversies"},{"id":"eras","originalUrl":"https://hraness.com/antithesis/coverage#eras","title":"sentiment eras"}],"provenance":{"draftingDisclosure":"AI-drafted at Ben Guo's direct request and credited to Hraness; every claim links to its cataloged source.","originalAuthor":"Hraness","originalRevision":"e229bf350582d8fe97b5527c5e2867de5a2b7a92889fbe3087ede8ba90bfde79","originalUrl":"https://hraness.com/antithesis/coverage","source":"hraness"},"records":[{"date":{"precision":"approximate","text":"2024–"},"id":"record-4fe7096c1ffb59ecb0e7","kind":"antithesis-coverage-controversies","label":"the $7,000 core","original":{"date":"2024–","detail":"pricing opacity and the enterprise gate — at launch: '$2 per hour per cpu (or $7000 per year per cpu if reserved), no free tier for hobby or foss… ouch.' aws marketplace lists $7,000 per reserved core per year via private offer; sacra reports typical deals of $20k–$100k+ per year. concrete casualty: polar signals evaluated antithesis, concluded 'the pricing didn't work,' and built in-house dst.","id":"cty-pricing","reaction":"wilson acknowledged it in-thread — single-tenant dedicated hardware 'means there's a bit of per-customer overhead that we have to recoup' — and the 2025 founder package concedes they 'had to turn away some incredible people and companies who wanted to buy a small amount of testing.'","sourceIds":["src-ci-hn-launch-thread","src-ci-aws-marketplace","src-ci-sacra","src-ci-pragmatic-engineer","src-ci-antithesis-founders"],"title":"the $7,000 core"},"originalUrl":"https://hraness.com/antithesis/coverage","sourceIds":["source-4f62469d56136e9335ca","source-d1f7f5494c6df1304eeb","source-b984a905c778581b1cf3","source-13deaded050233a5ffb3","source-a5b2f5c2a838bb6cc7ef"]},{"date":{"precision":"approximate","text":"2024–"},"id":"record-fac1d5fa7d47b6426afd","kind":"antithesis-coverage-controversies","label":"the workload tax","original":{"date":"2024–","detail":"the lock-in question — 'workloads seem to be effectively equivalent to integration tests… if i have to deploy to some new environment anyways and tailor the workloads anyways, why would i pay extra for vendor lock-in?' workload and property authoring is real work regardless of who runs the simulator.","id":"cty-lockin","reaction":"the 2026 answer is agent skills — let the agent write the workload and navigate the setup guide — which reframes the objection rather than removing it.","sourceIds":["src-ci-hn-launch-thread","src-ci-antithesis-agent-skills"],"title":"the workload tax"},"originalUrl":"https://hraness.com/antithesis/coverage","sourceIds":["source-4f62469d56136e9335ca","source-f6930d736862f19f65a7"]},{"date":{"precision":"approximate","text":"2024–"},"id":"record-9902ec6a6657e2371c36","kind":"antithesis-coverage-controversies","label":"fuzzer for docker images","original":{"date":"2024–","detail":"the 'just a fuzzer' reduction — 'seems more like a fuzzer for docker images… it won't tell you whether the software works correctly, it will just tell you if it raises an exception or crashes'; 'if i wrote a compiler, how would antithesis generate mostly valid source code for it?'","id":"cty-just-a-fuzzer","reaction":"the counter-evidence is customer-attested: mongodb storage-engine corruption, pre-merge ethereum consensus bugs, etcd consistency work, the sqlite wal-reset reproduction. the honest scope: antithesis shines on crashes and assertable invariants in systems you can containerize — it cannot test what you cannot bring into the sandbox.","sourceIds":["src-ci-hn-launch-thread","src-ci-antithesis-mongo-bug","src-ci-cncf-etcd","src-ci-antithesis-wal"],"title":"fuzzer for docker images"},"originalUrl":"https://hraness.com/antithesis/coverage","sourceIds":["source-4f62469d56136e9335ca","source-9c4dfea26688ec92d716","source-6aea454f7056d2f69842","source-7f2adbb7a70b5de52545"]},{"date":{"precision":"approximate","text":"2014–"},"id":"record-c7e3703694da6ef62ef0","kind":"antithesis-coverage-controversies","label":"is the sim brutal enough","original":{"date":"2014–","detail":"the simulation-fidelity objection — the deepest technical critique, raised by wilson himself at strange loop in 2014: the sim 'is not brutal enough' and 'we may just misunderstand the contracts of the operating systems.' hn echoed it: 'how they are checking for equivalence between the simulator and existing os's… sounds like a non-trivial task.'","id":"cty-fidelity","reaction":"antithesis's own docs concede external dependencies must be 'mocked or otherwise plugged to ensure determinism.' the fidelity question is now the industry's to answer at scale.","sourceIds":["src-hp-strangeloop-2014","src-ci-hn-launch-thread","src-hp-antithesis-dst-docs"],"title":"is the sim brutal enough"},"originalUrl":"https://hraness.com/antithesis/coverage","sourceIds":["source-df55bce34e388c23cbcc","source-4f62469d56136e9335ca","source-5a6b5353909da749df7f"]},{"date":{"precision":"approximate","text":"2024–"},"id":"record-8f3ba87f0432ddebcc3c","kind":"antithesis-coverage-controversies","label":"the proprietary hypervisor","original":{"date":"2024–","detail":"the closed-core concern — 'i'd be happier if it were in the public domain and i could run it on my own hardware.' the hypervisor remains proprietary; hegel and bombadil are open source, and dhyve (an open-source bhyve deterministic hypervisor 'inspired by antithesis') shows the clone risk is real.","id":"cty-closed-core","reaction":"the company's answer is perimeter open source plus the oss giveaway program — the determinator itself stays closed.","sourceIds":["src-ci-lobsters-freebsd","src-ci-antithesis-docs-welcome","src-ci-dhyve"],"title":"the proprietary hypervisor"},"originalUrl":"https://hraness.com/antithesis/coverage","sourceIds":["source-2b4f48ad549b0b4f2313","source-0eb54c34743ce58a0427","source-43f09451093e3c5a0007"]},{"date":{"precision":"approximate","text":"2025–2026"},"id":"record-775084dd544ec25ffcf4","kind":"antithesis-coverage-controversies","label":"the numbers are the company's own","original":{"date":"2025–2026","detail":"the self-reported ledger — 'one user-reported bug' at foundationdb; 'revenue rose more than 12x' per coindesk; mongodb's 100+ critical bugs, −47% mttr, ~10x roi; '~40 clients' and '$109m fy2025 revenue' per aggregators; headcount anywhere from 74 to 231 depending on who's counting.","id":"cty-self-reported","reaction":"no external audit exists; the dossier marks each number self-reported rather than reconciling them silently.","sourceIds":["src-hp-antithesis-about","src-hp-coindesk-seriesa","src-hp-antithesis-mongodb","src-ci-startupintros","src-hp-linkedin-company","src-hp-pitchbook"],"title":"the numbers are the company's own"},"originalUrl":"https://hraness.com/antithesis/coverage","sourceIds":["source-d279436bdcadbcbba261","source-034bc1f9a1391f2d4f76","source-e306964db4ad939d9689","source-cde8d239137b1eaf87ba","source-687270670c09e67edcf4","source-897b7e8e52dff295d101"]},{"date":{"precision":"day","text":"2024-02-13"},"id":"record-2fb43a5c81656acb126a","kind":"antithesis-coverage-items","label":"antithesis launches out of stealth to revolutionize software reliability","original":{"author":null,"date":"2024-02-13","gist":"the company's own launch release — $47m seed led by amplify, tamarack, and first in; angels walrath and lerman; mongodb, palantir, and ethereum named as customers; danny ryan on record about the merge.","id":"cov-prnewswire-launch","publisher":"prnewswire","section":"launch","sentiment":"positive","sourceIds":["src-ci-prnewswire-launch"],"title":"antithesis launches out of stealth to revolutionize software reliability","traction":null,"url":"https://www.prnewswire.com/news-releases/antithesis-launches-out-of-stealth-to-revolutionize-software-reliability-302060173.html"},"originalUrl":"https://hraness.com/antithesis/coverage#launch","sourceIds":["source-fb5c88e6f9d76a4220ce"]},{"date":{"precision":"day","text":"2024-02-13"},"id":"record-73228bf14c23bc9999e6","kind":"antithesis-coverage-items","label":"antithesis raises $47m to launch an automated testing platform for software","original":{"author":"kyle wiggers","date":"2024-02-13","gist":"neutral-positive launch coverage with the caveat that defines the genre: 'that's assuming antithesis' tech works as advertised.' notes the round is 'unusually large for a seed.'","id":"cov-techcrunch-launch","publisher":"techcrunch","section":"launch","sentiment":"mixed","sourceIds":["src-hp-techcrunch-47m"],"title":"antithesis raises $47m to launch an automated testing platform for software","traction":null,"url":"https://techcrunch.com/2024/02/13/antithesis-raises-47m-to-launch-an-automated-testing-platform-for-software/"},"originalUrl":"https://hraness.com/antithesis/coverage#launch","sourceIds":["source-89e580559d91a8ed05b2"]},{"date":{"precision":"day","text":"2024-02-13"},"id":"record-532c826cac6357302bf9","kind":"antithesis-coverage-items","label":"code testing startup antithesis raises seed funding at $215 mln valuation","original":{"author":"krystal hu","date":"2024-02-13","gist":"breaks the $215m valuation 'via a source familiar with the matter' — the only hard number on the seed's price.","id":"cov-reuters-seed","publisher":"reuters","section":"launch","sentiment":"mixed","sourceIds":["src-hp-reuters-seed"],"title":"code testing startup antithesis raises seed funding at $215 mln valuation","traction":null,"url":"https://www.reuters.com/technology/code-testing-startup-antithesis-raises-seed-funding-215-mln-valuation-2024-02-13/"},"originalUrl":"https://hraness.com/antithesis/coverage#launch","sourceIds":["source-82cc15f5fe07e95e8a94"]},{"date":{"precision":"day","text":"2024-02-13"},"id":"record-f4d1e6af4b720621dae9","kind":"antithesis-coverage-items","label":"foundationdb team's new venture, antithesis, raises $47m","original":{"author":null,"date":"2024-02-13","gist":"positive; flags 'if so, it would be one of the biggest seed rounds on record' — and surfaces the legal name, antithesis operations llc.","id":"cov-siliconangle-launch","publisher":"siliconangle","section":"launch","sentiment":"positive","sourceIds":["src-hp-siliconangle-47m","src-hp-siliconangle-47m"],"title":"foundationdb team's new venture, antithesis, raises $47m","traction":null,"url":"https://siliconangle.com/2024/02/13/foundationdb-teams-new-venture-antithesis-raises-47m-enhance-software-testing/"},"originalUrl":"https://hraness.com/antithesis/coverage#launch","sourceIds":["source-44e566a7286f28620faf"]},{"date":{"precision":"day","text":"2024-02-13"},"id":"record-715a2bf1eefa2fb90ab3","kind":"antithesis-coverage-items","label":"is something bugging you? — launch thread","original":{"author":null,"date":"2024-02-13","gist":"the launch megathread — posted by wilson himself. modal sentiment: 'skeptical of their claims but inspired by the vision.' foundationdb nostalgia, the jepsen-never-tested-fdb anecdote, and the first pricing complaints all live here.","id":"cov-hn-launch","publisher":"hacker news","section":"launch","sentiment":"mixed","sourceIds":["src-ci-hn-launch-thread"],"title":"is something bugging you? — launch thread","traction":"1,179 points, 418 comments","url":"https://news.ycombinator.com/item?id=39356920"},"originalUrl":"https://hraness.com/antithesis/coverage#launch","sourceIds":["source-4f62469d56136e9335ca"]},{"date":{"precision":"day","text":"2024-03-21"},"id":"record-7ec8c1a90dc1490ac7f8","kind":"antithesis-coverage-items","label":"antithesis of a one-in-a-million bug: taming demonic nondeterminism","original":{"author":null,"date":"2024-03-21","gist":"cockroach labs — a peer engineering org — publishes 'taming demonic nondeterminism' the day after the determinator post. the field engaging the idea on its own blog cadence.","id":"cov-cockroach-demonic","publisher":"cockroach labs","section":"technical","sentiment":"positive","sourceIds":["src-ci-cockroachlabs-demonic","src-ci-hn-cockroach"],"title":"antithesis of a one-in-a-million bug: taming demonic nondeterminism","traction":"138 points on hn","url":"https://www.cockroachlabs.com/blog/demonic-nondeterminism/"},"originalUrl":"https://hraness.com/antithesis/coverage#technical","sourceIds":["source-be0e27b48dcf60fe988e","source-389d78507f6481848ec6"]},{"date":{"precision":"day","text":"2024-08-20"},"id":"record-158a86d80d47d97469cd","kind":"antithesis-coverage-items","label":"what's the big deal about deterministic simulation testing?","original":{"author":"phil eaton","date":"2024-08-20","gist":"the dst explainer that seeded the lobste.rs debate: where should determinism live — hardware, os, runtime, or hypervisor? eaton asked for a foss tier in the launch thread; a year later he was an antithesis employee.","id":"cov-eaton-notes","publisher":"notes.eatonphil.com / lobste.rs","section":"discourse","sentiment":"mixed","sourceIds":["src-ci-eatonphil-dst-notes","src-ci-lobsters-freebsd"],"title":"what's the big deal about deterministic simulation testing?","traction":null,"url":"https://notes.eatonphil.com/2024-08-20-whats-the-big-deal-about-deterministic-simulation-testing.html"},"originalUrl":"https://hraness.com/antithesis/coverage#discourse","sourceIds":["source-d87af54bad0ad6ee8a01","source-2b4f48ad549b0b4f2313"]},{"date":{"precision":"day","text":"2024-11-12"},"id":"record-62eee8b4911b1ca6edd3","kind":"antithesis-coverage-items","label":"antithesis: the deep dive","original":{"author":"gergely orosz","date":"2024-11-12","gist":"the first deep third-party account — favorable on the tech, candid on the pricing: polar signals evaluated antithesis, concluded 'the pricing didn't work,' and built in-house dst.","id":"cov-pragmatic","publisher":"the pragmatic engineer","section":"technical","sentiment":"mixed","sourceIds":["src-ci-pragmatic-engineer","src-ci-pragmatic-engineer"],"title":"antithesis: the deep dive","traction":null,"url":"https://newsletter.pragmaticengineer.com/p/antithesis"},"originalUrl":"https://hraness.com/antithesis/coverage#technical","sourceIds":["source-13deaded050233a5ffb3"]},{"date":{"precision":"month","text":"2024-10"},"id":"record-aa5cf73afee64d53e89e","kind":"antithesis-coverage-items","label":"the determinator on freebsd","original":{"author":null,"date":"2024-10","gist":"the freebsd foundation case study — the determinator runs on freebsd/bhyve; the os vendor telling the story back.","id":"cov-freebsd","publisher":"freebsd foundation","section":"technical","sentiment":"positive","sourceIds":["src-ci-freebsd"],"title":"the determinator on freebsd","traction":"lobste.rs submission 2024-10-14","url":"https://freebsdfoundation.org/"},"originalUrl":"https://hraness.com/antithesis/coverage#technical","sourceIds":["source-41701b3075c34ef22599"]},{"date":{"precision":"day","text":"2025-05-20"},"id":"record-6e1f602d458473270009","kind":"antithesis-coverage-items","label":"bugbash 2025 field notes","original":{"author":"a. jesse jiryu davis","date":"2025-05-20","gist":"the mongodb engineer's account of evaluating antithesis in 2020 — 'several very rare replication bugs, including one that manifested once in many years of stress testing… found reliably in about 24 hours' — plus his bugbash field notes.","id":"cov-emptysquare","publisher":"emptysqua.re","section":"customers","sentiment":"positive","sourceIds":["src-ci-emptysquare-bugbash"],"title":"bugbash 2025 field notes","traction":null,"url":"https://emptysqua.re/blog/"},"originalUrl":"https://hraness.com/antithesis/coverage#customers","sourceIds":["source-f87257d6dce496eb5a6d"]},{"date":{"precision":"year","text":"2025"},"id":"record-e69c3237cb7fe98e1e12","kind":"antithesis-coverage-items","label":"testing mongodb with antithesis","original":{"author":null,"date":"2025","gist":"the mongodb wiki on ci-level integration: antithesis 'surfaced novel failures that were not detected using the continuousstepdown hook,' with 'improved code coverage and improved rate of discovering new failures.'","id":"cov-mongo-wiki","publisher":"mongodb wiki","section":"customers","sentiment":"positive","sourceIds":["src-ci-mongo-wiki","src-ci-antithesis-mongo-bug"],"title":"testing mongodb with antithesis","traction":null,"url":"https://github.com/mongodb/mongo/wiki/Testing-MongoDB-with-Antithesis"},"originalUrl":"https://hraness.com/antithesis/coverage#customers","sourceIds":["source-9263ae0634a37256016d","source-9c4dfea26688ec92d716"]},{"date":{"precision":"day","text":"2024-04-22"},"id":"record-331caa3e1aca5a919f9f","kind":"antithesis-coverage-items","label":"the index-inconsistency bug","original":{"author":"dan gottlieb","date":"2024-04-22","gist":"a former mongodb senior staff engineer guest-posts the walkthrough: an index-inconsistency data-corruption bug antithesis found, root-caused via per-100ms core dumps.","id":"cov-mongo-bug","publisher":"antithesis blog","section":"customers","sentiment":"positive","sourceIds":["src-ci-antithesis-mongo-bug"],"title":"the index-inconsistency bug","traction":null,"url":"https://antithesis.com/blog/mongodb_bug/"},"originalUrl":"https://hraness.com/antithesis/coverage#customers","sourceIds":["source-9c4dfea26688ec92d716"]},{"date":{"precision":"year","text":"2024"},"id":"record-2db91e831eabfe40fb0f","kind":"antithesis-coverage-items","label":"deterministic simulation testing for our entire saas","original":{"author":null,"date":"2024","gist":"the customer-authored dst writeup — warpstream ran its entire diskless-kafka saas through the determinator.","id":"cov-warpstream","publisher":"warpstream","section":"customers","sentiment":"positive","sourceIds":["src-hp-warpstream-dst"],"title":"deterministic simulation testing for our entire saas","traction":null,"url":"https://www.warpstream.com/blog/deterministic-simulation-testing-for-our-entire-saas"},"originalUrl":"https://hraness.com/antithesis/coverage#customers","sourceIds":["source-f84e9ea579f92a45e6b4"]},{"date":{"precision":"year","text":"2025"},"id":"record-87932f78c97511904269","kind":"antithesis-coverage-items","label":"deterministic simulation testing in diskless apache kafka","original":{"author":null,"date":"2025","gist":"aiven runs 'diskless kafka' through ~2,200 logical hours of antithesis chaos testing — the customer-authored scale number.","id":"cov-aiven","publisher":"aiven","section":"customers","sentiment":"positive","sourceIds":["src-hp-aiven-dst"],"title":"deterministic simulation testing in diskless apache kafka","traction":null,"url":"https://aiven.io/blog/deterministic-simulation-testing-in-diskless-apache-kafka"},"originalUrl":"https://hraness.com/antithesis/coverage#customers","sourceIds":["source-9921f52b1fc50a6e2c23"]},{"date":{"precision":"day","text":"2025-05-06"},"id":"record-461df5072d7d387c24a2","kind":"antithesis-coverage-items","label":"antithesis expands footprint in fintech","original":{"author":null,"date":"2025-05-06","gist":"the fintech cluster: ramp on record (vp eng nikolay koblov: 'high-impact issues in complex code paths that are rarely exercised in production'), formance, tigerbeetle — which builds its own simulator and still buys — plus an unnamed hedge fund and retail trading platform.","id":"cov-fintech-cluster","publisher":"prnewswire","section":"customers","sentiment":"positive","sourceIds":["src-ci-prnewswire-fintech","src-hp-fintechasia-ramp"],"title":"antithesis expands footprint in fintech","traction":null,"url":"https://www.fintechbusinessasia.com/news/35/475/antithesis-expands-footprint-in-fintech-powering-reliability-for-industry-leaders-like-ramp-and-top-hedge-funds.html"},"originalUrl":"https://hraness.com/antithesis/coverage#customers","sourceIds":["source-e4e9809164479c1c0374","source-1d9bb4a10127170b5486"]},{"date":{"precision":"day","text":"2025-09-25"},"id":"record-4e31840c6d5ced3cf86f","kind":"antithesis-coverage-items","label":"etcd robustness testing with antithesis","original":{"author":null,"date":"2025-09-25","gist":"the cncf-sponsored etcd integration goes public — deterministic simulation inside the kubernetes release train, after the v3.5 consistency crisis.","id":"cov-etcd","publisher":"cncf / etcd","section":"customers","sentiment":"positive","sourceIds":["src-ci-cncf-etcd","src-ci-etcd-blog","src-ci-etcd-github"],"title":"etcd robustness testing with antithesis","traction":null,"url":"https://etcd.io/blog/"},"originalUrl":"https://hraness.com/antithesis/coverage#customers","sourceIds":["source-6aea454f7056d2f69842","source-9986986e74fc354a5c75","source-7e2e38972c8ed6be941e"]},{"date":{"precision":"day","text":"2025-02-13"},"id":"record-d8e6a0518cd87fdcf722","kind":"antithesis-coverage-items","label":"antithesis marks one-year anniversary with customer growth, new funding","original":{"author":null,"date":"2025-02-13","gist":"the $30m anniversary round — amplify leads, spark participates; pruss joins the board. disclosed in passing, not launched with fanfare.","id":"cov-30m","publisher":"prnewswire / finsmes","section":"funding","sentiment":"positive","sourceIds":["src-hp-prnewswire-30m","src-hp-finsmes-30m"],"title":"antithesis marks one-year anniversary with customer growth, new funding","traction":null,"url":"https://www.prnewswire.com/news-releases/antithesis-marks-one-year-anniversary-with-customer-growth-new-funding-company-expansion-302375489.html"},"originalUrl":"https://hraness.com/antithesis/coverage#funding","sourceIds":["source-e703ef7d85c644007406","source-5f78873c23d9c71da7b0"]},{"date":{"precision":"day","text":"2025-12-03"},"id":"record-d2677e6ec8d762e634d4","kind":"antithesis-coverage-items","label":"jane street leads antithesis's $105m series a","original":{"author":null,"date":"2025-12-03","gist":"the $105m series a — led by jane street, a secret customer. the strongest third-party validation in the file: 'antithesis has helped us uncover issues that no other testing method could find.'","id":"cov-seriesa","publisher":"prnewswire","section":"funding","sentiment":"positive","sourceIds":["src-hp-prnewswire-seriesa","src-hp-prnewswire-seriesa"],"title":"jane street leads antithesis's $105m series a","traction":null,"url":"https://www.prnewswire.com/news-releases/jane-street-leads-antithesiss-105m-series-a-to-make-deterministic-simulation-testing-the-new-standard-302631076.html"},"originalUrl":"https://hraness.com/antithesis/coverage#funding","sourceIds":["source-e4ea51cfa3c85edd36a3"]},{"date":{"precision":"day","text":"2025-12-03"},"id":"record-5f3c752c66fca46ae1e6","kind":"antithesis-coverage-items","label":"jane street leads $105m round in antithesis","original":{"author":null,"date":"2025-12-03","gist":"neutral-positive coindesk coverage — 'a testing tool used by ethereum network' — carrying the company-reported 'revenue rose more than 12x over the past two years.'","id":"cov-coindesk","publisher":"coindesk","section":"funding","sentiment":"positive","sourceIds":["src-hp-coindesk-seriesa","src-hp-coindesk-seriesa"],"title":"jane street leads $105m round in antithesis","traction":null,"url":"https://www.coindesk.com/business/2025/12/03/jane-street-leads-usd105m-funding-for-antithesis-a-testing-tool-used-by-ethereum-network"},"originalUrl":"https://hraness.com/antithesis/coverage#funding","sourceIds":["source-034bc1f9a1391f2d4f76"]},{"date":{"precision":"day","text":"2025-12-03"},"id":"record-38260a793eeff5cf81d5","kind":"antithesis-coverage-items","label":"series a thread","original":{"author":null,"date":"2025-12-03","gist":"the counterfactual datapoint — the series a on hacker news: 11 points, 0 comments. the funding event did not reproduce launch-day virality.","id":"cov-hn-seriesa","publisher":"hacker news","section":"funding","sentiment":"mixed","sourceIds":["src-ci-hn-seriesa"],"title":"series a thread","traction":"11 points, 0 comments","url":"https://news.ycombinator.com/item?id=39356920"},"originalUrl":"https://hraness.com/antithesis/coverage#funding","sourceIds":["source-b9d9fcb1b78127af2f2c"]},{"date":{"precision":"day","text":"2025-12-08"},"id":"record-7cf0a562c33894e85ee5","kind":"antithesis-coverage-items","label":"will wilson on tbpn","original":{"author":null,"date":"2025-12-08","gist":"tbpn on the jane street structure: the customer→investor conversion as 'a reasonable signal about how the product performs in high-stakes production environments.'","id":"cov-tbpn","publisher":"tbpn","section":"funding","sentiment":"positive","sourceIds":["src-ci-tbpn-wilson"],"title":"will wilson on tbpn","traction":null,"url":"https://tbpn.com"},"originalUrl":"https://hraness.com/antithesis/coverage#funding","sourceIds":["source-ea61d1e0d29bda55d128"]},{"date":{"precision":"day","text":"2025-04-12"},"id":"record-49b66fb50f9b3c0deb60","kind":"antithesis-coverage-items","label":"bugbash 2025","original":{"author":null,"date":"2025-04-12","gist":"concerning quality's bugbash writeup: 'the first conference that i felt a part of… never been in a room where almost every single person raised their hand when a speaker asked who's familiar with property-based testing' — evidence antithesis catalyzed a scene, not just a product.","id":"cov-concerningquality","publisher":"concerning quality","section":"discourse","sentiment":"positive","sourceIds":["src-hp-concerningquality-bugbash"],"title":"bugbash 2025","traction":null,"url":"https://concerningquality.com/bug-bash-2025/"},"originalUrl":"https://hraness.com/antithesis/coverage#discourse","sourceIds":["source-28265c256ced83007fab"]},{"date":{"precision":"day","text":"2025-10-20"},"id":"record-3e3254d607dd5bcf8ca2","kind":"antithesis-coverage-items","label":"a distributed systems reliability glossary","original":{"author":"kyle kingsbury","date":"2025-10-20","gist":"the co-authored distributed systems reliability glossary — the man jepsen is named for writing the vocabulary with the company. jepsen 0.3.10 ships jepsen.antithesis weeks later.","id":"cov-jepsen-glossary","publisher":"jepsen","section":"discourse","sentiment":"positive","sourceIds":["src-ci-jepsen-glossary","src-ci-jepsen-0310","src-ci-kingsbury-linkedin"],"title":"a distributed systems reliability glossary","traction":null,"url":"https://jepsen.io/"},"originalUrl":"https://hraness.com/antithesis/coverage#discourse","sourceIds":["source-62b775265596af43d0d7","source-953133227387d288a9bf","source-73e3415c2c0fdd29a8ba"]},{"date":{"precision":"day","text":"2026-01-20"},"id":"record-dbeabcb677dc97c4d7f6","kind":"antithesis-coverage-items","label":"antithesis – the deterministic computer","original":{"author":"akshay shah","date":"2026-01-20","gist":"'antithesis – the deterministic computer' — the field-cto-adjacent essay framing the product as a new computing primitive rather than a test tool.","id":"cov-mackwork","publisher":"mack.work","section":"discourse","sentiment":"positive","sourceIds":["src-ci-mackwork"],"title":"antithesis – the deterministic computer","traction":null,"url":"https://mack.work/"},"originalUrl":"https://hraness.com/antithesis/coverage#discourse","sourceIds":["source-bed6670ed1dde51c45e7"]},{"date":{"precision":"day","text":"2026-03-23"},"id":"record-09c32ffec4a91f1f7d14","kind":"antithesis-coverage-items","label":"antithesis, jane street, ethereum, and the future of software","original":{"author":null,"date":"2026-03-23","gist":"the fortune term-sheet profile — wilson: 'software increasingly controls literally everything'; 'every product sucks at something. i'm just going to tell you what it is.' ~40 clients per forbes fintech 50.","id":"cov-fortune","publisher":"fortune","section":"agent-era","sentiment":"positive","sourceIds":["src-hp-fortune-2026","src-hp-forbes-profile"],"title":"antithesis, jane street, ethereum, and the future of software","traction":null,"url":"https://fortune.com/2026/03/23/antithesis-janestreet-ethereum-will-wilson-foundationdb-software/"},"originalUrl":"https://hraness.com/antithesis/coverage#agent-era","sourceIds":["source-7375c344d115b707eaa6","source-c2f97b52c22d9a67dd30"]},{"date":{"precision":"day","text":"2026-04-23"},"id":"record-e3e48945cfa2d5b7e4a9","kind":"antithesis-coverage-items","label":"antithesis teaches ais to correct their own output","original":{"author":null,"date":"2026-04-23","gist":"the agent-era repositioning release: antithesis as 'independent, non-spoofable verification' for agent-written code — agents 'will continue to hallucinate… and attempt to cheat, e.g. by deleting tests.'","id":"cov-globenewswire-ai","publisher":"globenewswire","section":"agent-era","sentiment":"mixed","sourceIds":["src-ci-globenewswire-ai"],"title":"antithesis teaches ais to correct their own output","traction":null,"url":"https://www.globenewswire.com/"},"originalUrl":"https://hraness.com/antithesis/coverage#agent-era","sourceIds":["source-9086c069e4b9edcd97b1"]},{"date":{"precision":"day","text":"2026-03-24"},"id":"record-89103de4701f4a85d44f","kind":"antithesis-coverage-items","label":"hypothesis, antithesis, synthesis","original":{"author":null,"date":"2026-03-24","gist":"the hegel launch thread — 285 points. the hypothesis creator's pbt family, built inside antithesis, open source.","id":"cov-hn-hegel","publisher":"hacker news","section":"agent-era","sentiment":"positive","sourceIds":["src-ci-hn-hegel","src-ci-antithesis-hegel"],"title":"hypothesis, antithesis, synthesis","traction":"285 points, 104 comments","url":"https://news.ycombinator.com/item?id=39356920"},"originalUrl":"https://hraness.com/antithesis/coverage#agent-era","sourceIds":["source-a5989cb74eb66fe0e864","source-adf1df05ec278ba5da7f"]},{"date":{"precision":"day","text":"2026-08-12"},"id":"record-7e3bfa02cd8e01375e7a","kind":"antithesis-coverage-items","label":"breaking the wal","original":{"author":null,"date":"2026-08-12","gist":"the wal-reset thread — claude + antithesis skills reproduce a fifteen-year-old sqlite data race in ~15 minutes. the agent-era demo that merged both narratives.","id":"cov-hn-wal","publisher":"hacker news","section":"agent-era","sentiment":"positive","sourceIds":["src-ci-hn-wal","src-ci-antithesis-wal"],"title":"breaking the wal","traction":"162 points, 52 comments","url":"https://news.ycombinator.com/item?id=48765999"},"originalUrl":"https://hraness.com/antithesis/coverage#agent-era","sourceIds":["source-d27e1a096706cb7730b4","source-7f2adbb7a70b5de52545"]},{"date":{"precision":"day","text":"2026-08-20"},"id":"record-ab970d1578757db1e164","kind":"antithesis-coverage-items","label":"protocol-aware dst","original":{"author":null,"date":"2026-08-20","gist":"tigerbeetle's protocol-aware dst post draws the boundary: 'jepsen-style generative testing and antithesis-style deterministic hypervisors test the system from the outside in' — the inside-out counter-thesis from a customer that also builds.","id":"cov-tigerbeetle-protocol","publisher":"tigerbeetle","section":"discourse","sentiment":"mixed","sourceIds":["src-ci-tigerbeetle-protocol-dst","src-ci-tigerbeetle-vopr-docs"],"title":"protocol-aware dst","traction":null,"url":"https://tigerbeetle.com/blog/2026-08-20-protocol-aware-dst/"},"originalUrl":"https://hraness.com/antithesis/coverage#discourse","sourceIds":["source-fb38acb6fa71c0aa509c","source-2e9b8369cbd693ecd807"]},{"date":{"precision":"approximate","text":"2014–2023"},"id":"record-d9e0b75df999a8f69932","kind":"antithesis-sentiment-phases","label":"underground legend","original":{"evidence":"company invisible; the idea circulates via the strange loop 2014 talk, the fdb paper, and word of mouth — jesse's 2020 mongodb evaluation, stardog as possibly first customer. 'antithesis was in quiet mode until mid-2024 when they suddenly turned on the marketing switch.'","id":"phs-underground","name":"underground legend","range":"2014–2023","sentiment":"positive","sourceIds":["src-hp-strangeloop-2014","src-ci-emptysquare-bugbash","src-ci-fdb-paper"]},"originalUrl":"https://hraness.com/antithesis/coverage","sourceIds":["source-df55bce34e388c23cbcc","source-f87257d6dce496eb5a6d","source-b7bd65800921dfc85bfe"]},{"date":{"precision":"year","text":"2024"},"id":"record-295c555088775e3d9a75","kind":"antithesis-sentiment-phases","label":"launch euphoria, structural skepticism","original":{"evidence":"the 1,179-point launch thread — modal stance 'skeptical of their claims but inspired by the vision.' complaints concentrate on pricing, access, and fuzzer-reductionism — not the idea's legitimacy.","id":"phs-launch","name":"launch euphoria, structural skepticism","range":"2024","sentiment":"mixed","sourceIds":["src-ci-hn-launch-thread","src-hp-techcrunch-47m"]},"originalUrl":"https://hraness.com/antithesis/coverage","sourceIds":["source-4f62469d56136e9335ca","source-89e580559d91a8ed05b2"]},{"date":{"precision":"year","text":"2024"},"id":"record-d68d03cdb2ba7e40d9b2","kind":"antithesis-sentiment-phases","label":"credibility by blog cadence","original":{"evidence":"the engineering blog becomes a recurring hn front-pager — hypervisor, mario, multiverse, the nes series. the freebsd case study and the pragmatic engineer deep-dive give third-party depth.","id":"phs-credibility","name":"credibility by blog cadence","range":"2024","sentiment":"positive","sourceIds":["src-ci-hn-hypervisor","src-ci-hn-multiverse","src-ci-pragmatic-engineer","src-ci-freebsd"]},"originalUrl":"https://hraness.com/antithesis/coverage","sourceIds":["source-998fd3e06144f772e0d3","source-f34d63ee5ad7f8be0409","source-13deaded050233a5ffb3","source-41701b3075c34ef22599"]},{"date":{"precision":"year","text":"2025"},"id":"record-4cbab265ee544e39b3e3","kind":"antithesis-sentiment-phases","label":"the institutionalization","original":{"evidence":"bugbash sells out; cncf sponsors the etcd work; jepsen co-authors the glossary and ships jepsen.antithesis; then a secret customer leads the $105m series a — the strongest third-party validation yet.","id":"phs-institutional","name":"the institutionalization","range":"2025","sentiment":"positive","sourceIds":["src-ci-prnewswire-bugbash","src-ci-cncf-etcd","src-ci-jepsen-0310","src-hp-prnewswire-seriesa"]},"originalUrl":"https://hraness.com/antithesis/coverage","sourceIds":["source-5e4548d757e646ca5d07","source-6aea454f7056d2f69842","source-953133227387d288a9bf","source-e4ea51cfa3c85edd36a3"]},{"date":{"precision":"year","text":"2026"},"id":"record-601d33de3a5bc4289eb1","kind":"antithesis-sentiment-phases","label":"the agent-era reframing","original":{"evidence":"'verification is the new bottleneck' — the homepage, the april release, and the wal demo reframe the product for agent-written code. the community now treats antithesis as the reference implementation of dst while debating outside-in vs. protocol-aware inside-out.","id":"phs-agent-era","name":"the agent-era reframing","range":"2026","sentiment":"positive","sourceIds":["src-hp-antithesis-home","src-ci-globenewswire-ai","src-ci-antithesis-wal","src-ci-tigerbeetle-protocol-dst"]},"originalUrl":"https://hraness.com/antithesis/coverage","sourceIds":["source-0e49b316c6a7c05a5d49","source-9086c069e4b9edcd97b1","source-7f2adbb7a70b5de52545","source-fb38acb6fa71c0aa509c"]}],"sources":[{"author":null,"id":"source-f6930d736862f19f65a7","note":"antithesis-research/setup/workload skills; \"navigates around all the sharp corners in our 8-page setup guide\"","originalId":"src-ci-antithesis-agent-skills","published":{"precision":"year","text":"2026"},"publisher":"antithesis.com","title":"antithesis-research/setup/workload skills","type":"primary","url":"https://antithesis.com/blog/2026/agent_skills/"},{"author":null,"id":"source-0eb54c34743ce58a0427","note":"hegel/bombadil open source; agent skills; \"tests your software without you writing tests\"","originalId":"src-ci-antithesis-docs-welcome","published":{"precision":"unknown","text":"undated"},"publisher":"antithesis.com","title":"hegel/bombadil open source","type":"primary","url":"https://antithesis.com/docs/introduction/welcome/"},{"author":null,"id":"source-a5b2f5c2a838bb6cc7ef","note":"founder package; admission they turned away small buyers; enterprise-sales paradox","originalId":"src-ci-antithesis-founders","published":{"precision":"day","text":"2025-04-30"},"publisher":"antithesis.com","title":"founder package","type":"primary","url":"https://antithesis.com/blog/2025/antithesis_for_founders/"},{"author":null,"id":"source-adf1df05ec278ba5da7f","note":"hegel launch; maciver+devoe joined nov 2025; rust first, go/c++/ocaml/ts next","originalId":"src-ci-antithesis-hegel","published":{"precision":"day","text":"2026-03-24"},"publisher":"antithesis.com","title":"hegel launch","type":"primary","url":"https://antithesis.com/blog/2026/hegel/"},{"author":null,"id":"source-9c4dfea26688ec92d716","note":"index-inconsistency corruption bug; checkpoint probability analysis; per-100ms core dumps","originalId":"src-ci-antithesis-mongo-bug","published":{"precision":"day","text":"2024-04-22"},"publisher":"antithesis.com","title":"index-inconsistency corruption bug","type":"primary","url":"https://antithesis.com/blog/mongo_bug/"},{"author":null,"id":"source-7f2adbb7a70b5de52545","note":"\"breaking the wal\"; claude+skills reproduced sqlite wal-reset bug in ~15 min","originalId":"src-ci-antithesis-wal","published":{"precision":"day","text":"2026-08-12"},"publisher":"antithesis.com","title":"breaking the wal","type":"primary","url":"https://antithesis.com/blog/2026/wal-reset-bug/"},{"author":null,"id":"source-d1f7f5494c6df1304eeb","note":"$7,000/reserved-core/12-mo; private-offer pricing","originalId":"src-ci-aws-marketplace","published":{"precision":"unknown","text":"undated"},"publisher":"aws.amazon.com","title":"$7,000/reserved-core/12-mo","type":"reference","url":"https://aws.amazon.com/marketplace/pp/prodview-tznxbknxyozo4"},{"author":null,"id":"source-6aea454f7056d2f69842","note":"cncf-sponsored etcd×antithesis integration; v3.5 crisis context","originalId":"src-ci-cncf-etcd","published":{"precision":"day","text":"2025-09-25"},"publisher":"cncf.io","title":"cncf-sponsored etcd×antithesis integration","type":"reporting","url":"https://www.cncf.io/blog/2025/09/25/autonomous-testing-of-etcds-robustness/"},{"author":null,"id":"source-be0e27b48dcf60fe988e","note":"peer eng org engaging determinism themes post-launch","originalId":"src-ci-cockroachlabs-demonic","published":{"precision":"day","text":"2024-03-21"},"publisher":"cockroachlabs.com","title":"peer eng org engaging determinism themes post-launch","type":"reporting","url":"https://www.cockroachlabs.com/blog/demonic-nondeterminism/"},{"author":null,"id":"source-43f09451093e3c5a0007","note":"open-source deterministic hypervisor on bhyve, \"inspired by antithesis\"","originalId":"src-ci-dhyve","published":{"precision":"unknown","text":"undated"},"publisher":"github","title":"open-source deterministic hypervisor on bhyve, inspired by antithesis","type":"reporting","url":"https://github.com/pgraug/dhyve-src"},{"author":null,"id":"source-d87af54bad0ad6ee8a01","note":"phil eaton's dst explainer (https://notes.eatonphil.com/2024-08-20-deterministic-simulation-testing.html); debate on where determinism belongs in the stack","originalId":"src-ci-eatonphil-dst-notes","published":{"precision":"day","text":"2024-08-20"},"publisher":"lobsters","title":"phil eatons dst explainer (https://notes","type":"community","url":"https://lobste.rs/s/ohajgb/what_s_big_deal_about_deterministic"},{"author":null,"id":"source-f87257d6dce496eb5a6d","note":"a. jesse jiryu davis; mongodb evaluated 2020; rare bugs reproduced in ~24h; \"software correctness conference\"","originalId":"src-ci-emptysquare-bugbash","published":{"precision":"day","text":"2025-05-20"},"publisher":"emptysqua.re","title":"emptysqua.re","type":"reporting","url":"https://emptysqua.re/blog/notes-from-antithesis-bugbash/"},{"author":null,"id":"source-9986986e74fc354a5c75","note":"etcd-side account; property-based declarative assertions; deterministic hypervisor","originalId":"src-ci-etcd-blog","published":{"precision":"year","text":"2025"},"publisher":"etcd.io","title":"etcd-side account","type":"reporting","url":"https://etcd.io/blog/2025/autonomus_testing_with_antithesis/"},{"author":null,"id":"source-7e2e38972c8ed6be941e","note":"gofail→assert.reachable patch; antithesis-go-instrumentor; test composer config","originalId":"src-ci-etcd-github","published":{"precision":"unknown","text":"undated"},"publisher":"github","title":"gofail→assert","type":"primary","url":"https://github.com/etcd-io/etcd/blob/8ff746c2/tests/antithesis/README.md"},{"author":null,"id":"source-b7bd65800921dfc85bfe","note":"foundationdb sigmod'21 paper; simulation testing chapter","originalId":"src-ci-fdb-paper","published":{"precision":"year","text":"2021"},"publisher":"foundationdb.org","title":"foundationdb sigmod21 paper","type":"reporting","url":"https://www.foundationdb.org/files/fdb-paper.pdf"},{"author":null,"id":"source-41701b3075c34ef22599","note":"determinator on freebsd/bhyve; undated (lobste.rs proxy)","originalId":"src-ci-freebsd","published":{"precision":"month","text":"2024-10"},"publisher":"freebsdfoundation.org","title":"determinator on freebsd/bhyve","type":"reporting","url":"https://freebsdfoundation.org/antithesis-pioneering-deterministic-hypervisors-with-freebsd-and-bhyve/"},{"author":null,"id":"source-9086c069e4b9edcd97b1","note":"\"independent, non-spoofable verification\"; agents \"attempt to cheat, e.g. by deleting tests\"","originalId":"src-ci-globenewswire-ai","published":{"precision":"day","text":"2026-04-23"},"publisher":"globenewswire.com","title":"independent, non-spoofable verification","type":"reporting","url":"https://www.globenewswire.com/news-release/2026/04/23/3280089/0/en/Antithesis-Teaches-AIs-To-Correct-Their-Own-Output.html"},{"author":null,"id":"source-389d78507f6481848ec6","note":"cockroach labs demonic-nondeterminism post; 138 pts","originalId":"src-ci-hn-cockroach","published":{"precision":"day","text":"2024-03-21"},"publisher":"hacker news","title":"cockroach labs demonic-nondeterminism post","type":"community","url":"https://news.ycombinator.com/item?id=39782761"},{"author":null,"id":"source-a5989cb74eb66fe0e864","note":"285 pts / 104 comments","originalId":"src-ci-hn-hegel","published":{"precision":"day","text":"2026-03-24"},"publisher":"hacker news","title":"285 pts / 104 comments","type":"community","url":"https://news.ycombinator.com/item?id=47504094"},{"author":null,"id":"source-998fd3e06144f772e0d3","note":"200 pts / 53 comments","originalId":"src-ci-hn-hypervisor","published":{"precision":"day","text":"2024-03-20"},"publisher":"hacker news","title":"200 pts / 53 comments","type":"community","url":"https://news.ycombinator.com/item?id=39766222"},{"author":null,"id":"source-4f62469d56136e9335ca","note":"1,179 pts / 418 comments; source of all verbatim hn quotes in §2–4","originalId":"src-ci-hn-launch-thread","published":{"precision":"day","text":"2024-02-13"},"publisher":"hacker news","title":"1,179 pts / 418 comments","type":"community","url":"https://news.ycombinator.com/item?id=39356920"},{"author":null,"id":"source-f34d63ee5ad7f8be0409","note":"\"debugging in the multiverse\"; 201 pts / 58 comments","originalId":"src-ci-hn-multiverse","published":{"precision":"day","text":"2024-09-10"},"publisher":"hacker news","title":"debugging in the multiverse","type":"community","url":"https://news.ycombinator.com/item?id=41500405"},{"author":null,"id":"source-b9d9fcb1b78127af2f2c","note":"series a on hn; 11 pts / 0 comments","originalId":"src-ci-hn-seriesa","published":{"precision":"day","text":"2025-12-03"},"publisher":"hacker news","title":"series a on hn","type":"community","url":"https://news.ycombinator.com/item?id=46134270"},{"author":null,"id":"source-d27e1a096706cb7730b4","note":"162 pts / 52 comments","originalId":"src-ci-hn-wal","published":{"precision":"day","text":"2026-08-12"},"publisher":"hacker news","title":"162 pts / 52 comments","type":"community","url":"https://news.ycombinator.com/item?id=49277799"},{"author":null,"id":"source-953133227387d288a9bf","note":"jepsen.antithesis library; deterministic seeds; entropy from antithesis","originalId":"src-ci-jepsen-0310","published":{"precision":"day","text":"2025-12-02"},"publisher":"jepsen.io","title":"jepsen","type":"reporting","url":"https://jepsen.io/blog/2025-12-02-jepsen-0.3.10"},{"author":null,"id":"source-62b775265596af43d0d7","note":"jepsen+antithesis co-authored reliability glossary (canonical: antithesis.com/docs/resources/reliability_glossary/)","originalId":"src-ci-jepsen-glossary","published":{"precision":"day","text":"2025-10-20"},"publisher":"jepsen.io","title":"jepsen+antithesis co-authored reliability glossary (canonical: antithesis","type":"reporting","url":"https://jepsen.io/blog/2025-10-20-distsys-glossary"},{"author":null,"id":"source-73e3415c2c0fdd29a8ba","note":"glossary announcement","originalId":"src-ci-kingsbury-linkedin","published":{"precision":"day","text":"2025-07-15"},"publisher":"linkedin","title":"glossary announcement","type":"community","url":"https://www.linkedin.com/posts/kyle-kingsbury_a-distributed-systems-reliability-glossary-activity-7350897921749389312-dxfa"},{"author":null,"id":"source-2b4f48ad549b0b4f2313","note":"ahelwer/maxholl comments; open-source desire; rr comparison","originalId":"src-ci-lobsters-freebsd","published":{"precision":"day","text":"2024-10-14"},"publisher":"lobsters","title":"ahelwer/maxholl comments","type":"community","url":"https://lobste.rs/s/5j3o6o/antithesis_pioneering_deterministic"},{"author":null,"id":"source-bed6670ed1dde51c45e7","note":"akshay shah, \"antithesis – the deterministic computer\"; hn item 46694502 (10 pts)","originalId":"src-ci-mackwork","published":{"precision":"day","text":"2026-01-20"},"publisher":"mack.work","title":"akshay shah, antithesis – the deterministic computer","type":"reporting","url":"https://mack.work/blog/antithesis"},{"author":null,"id":"source-9263ae0634a37256016d","note":"\"surfaced novel failures\"; \"improved code coverage\"; ci-level integration","originalId":"src-ci-mongo-wiki","published":{"precision":"unknown","text":"undated"},"publisher":"github","title":"surfaced novel failures","type":"reporting","url":"https://github.com/mongodb/mongo/wiki/Testing-MongoDB-with-Antithesis"},{"author":null,"id":"source-13deaded050233a5ffb3","note":"orosz + nilsson deep-dive; annually-reserved cores; polar signals pricing miss + in-house dst","originalId":"src-ci-pragmatic-engineer","published":{"precision":"day","text":"2024-11-12"},"publisher":"newsletter.pragmaticengineer.com","title":"orosz + nilsson deep-dive","type":"primary","url":"https://newsletter.pragmaticengineer.com/p/antithesis"},{"author":null,"id":"source-5e4548d757e646ca5d07","note":"bugbash announced; apr 3–4 2025 dc; speakers incl. mongodb/ava labs/pingcap","originalId":"src-ci-prnewswire-bugbash","published":{"precision":"day","text":"2025-01-28"},"publisher":"prnewswire","title":"bugbash announced","type":"reporting","url":"https://www.prnewswire.com/news-releases/antithesis-announces-its-bugbash-conference-302361415.html"},{"author":null,"id":"source-e4e9809164479c1c0374","note":"ramp, formance, tigerbeetle, hedge fund, retail trading platform; koblov quote","originalId":"src-ci-prnewswire-fintech","published":{"precision":"day","text":"2025-05-06"},"publisher":"prnewswire","title":"ramp, formance, tigerbeetle, hedge fund, retail trading platform","type":"reporting","url":"https://www.prnewswire.com/news-releases/antithesis-gains-massive-traction-in-the-fintech-world-302447002.html"},{"author":null,"id":"source-fb5c88e6f9d76a4220ce","note":"launch; $47m seed; mongodb/palantir/ethereum named; danny ryan quote","originalId":"src-ci-prnewswire-launch","published":{"precision":"day","text":"2024-02-13"},"publisher":"prnewswire","title":"launch","type":"reporting","url":"https://www.prnewswire.com/news-releases/antithesis-launches-out-of-stealth-to-revolutionize-software-reliability-302060173.html"},{"author":null,"id":"source-b984a905c778581b1cf3","note":"$30m feb 2025 round detail; $20k–$100k+/yr deals; competition/risk framing","originalId":"src-ci-sacra","published":{"precision":"unknown","text":"undated"},"publisher":"sacra","title":"$30m feb 2025 round detail","type":"reporting","url":"https://sacra.com/c/antithesis/"},{"author":null,"id":"source-cde8d239137b1eaf87ba","note":"funding table incl. feb 2025 $30m; $109m fy2025 revenue / ~40 clients claims (unverified)","originalId":"src-ci-startupintros","published":{"precision":"unknown","text":"undated"},"publisher":"startup intros","title":"funding table incl","type":"reporting","url":"https://startupintros.com/orgs/antithesis"},{"author":null,"id":"source-ea61d1e0d29bda55d128","note":"tbpn; wilson on customer→investor conversion","originalId":"src-ci-tbpn-wilson","published":{"precision":"day","text":"2025-12-08"},"publisher":"tbpndigest.com","title":"tbpn","type":"interview","url":"https://www.tbpndigest.com/story/2025-12-08/will-wilson-antithesis-uses-deterministic-simulation-to-find-rare-bugs-jane-street-went-from-customer-to-strategic-investor"},{"author":null,"id":"source-fb38acb6fa71c0aa509c","note":"outside-in (jepsen/antithesis) vs inside-out protocol-aware dst","originalId":"src-ci-tigerbeetle-protocol-dst","published":{"precision":"day","text":"2026-08-20"},"publisher":"tigerbeetle.com","title":"outside-in (jepsen/antithesis) vs inside-out protocol-aware dst","type":"reporting","url":"https://tigerbeetle.com/blog/2026-08-20-protocol-aware-dst/"},{"author":null,"id":"source-2e9b8369cbd693ecd807","note":"vopr; \"heavily inspired by the work of foundationdb and antithesis\"","originalId":"src-ci-tigerbeetle-vopr-docs","published":{"precision":"unknown","text":"undated"},"publisher":"github","title":"vopr","type":"primary","url":"https://github.com/tigerbeetle/tigerbeetle/blob/main/docs/internals/vopr.md"},{"author":null,"id":"source-9921f52b1fc50a6e2c23","note":"aiven's 2,200 logical hours of antithesis chaos testing","originalId":"src-hp-aiven-dst","published":{"precision":"year","text":"2025"},"publisher":"aiven.io","title":"aivens 2,200 logical hours of antithesis chaos testing","type":"primary","url":"https://aiven.io/blog/deterministic-simulation-testing-in-diskless-apache-kafka"},{"author":null,"id":"source-d279436bdcadbcbba261","note":"company timeline (2009 fdb; apr 2013 wilson joins; mar 2015 apple; jan 2018 founding; sep 2019 customer #1; feb 2024 seed/stealth-exit; dec 2025 series a) + full leadership roster","originalId":"src-hp-antithesis-about","published":{"precision":"year","text":"2026"},"publisher":"antithesis.com","title":"company timeline (2009 fdb","type":"primary","url":"https://antithesis.com/company/about/"},{"author":null,"id":"source-5a6b5353909da749df7f","note":"dst primer; credits fdb+aws simultaneous invention ~2010; cites wilson's 2014 talk as earliest recorded implementation discussion","originalId":"src-hp-antithesis-dst-docs","published":{"precision":"year","text":"2026"},"publisher":"antithesis.com","title":"dst primer","type":"primary","url":"https://antithesis.com/docs/resources/deterministic_simulation_testing/"},{"author":null,"id":"source-0e49b316c6a7c05a5d49","note":"current positioning (\"10x faster time-to-release\"); bug bash copenhagen sept 30 2026; agent skills/hegel/bombadil links","originalId":"src-hp-antithesis-home","published":{"precision":"year","text":"2026"},"publisher":"antithesis.com","title":"current positioning (10x faster time-to-release)","type":"primary","url":"https://antithesis.com/"},{"author":null,"id":"source-e306964db4ad939d9689","note":"mongodb customer since 2021; 100+ bugs; mttr −47%; 10x roi (self-reported)","originalId":"src-hp-antithesis-mongodb","published":{"precision":"year","text":"2025"},"publisher":"antithesis.com","title":"mongodb customer since 2021","type":"primary","url":"https://antithesis.com/blog/mongodb_productivity/"},{"author":null,"id":"source-034bc1f9a1391f2d4f76","note":"series a; ethereum/merge usage","originalId":"src-hp-coindesk-seriesa","published":{"precision":"day","text":"2025-12-03"},"publisher":"coindesk.com","title":"series a","type":"reporting","url":"https://www.coindesk.com/business/2025/12/03/jane-street-leads-usd105m-funding-for-antithesis-a-testing-tool-used-by-ethereum-network"},{"author":null,"id":"source-28265c256ced83007fab","note":"inaugural bug bash writeup; wilson \"pre-observability\" keynote; etcd demo","originalId":"src-hp-concerningquality-bugbash","published":{"precision":"year","text":"2025"},"publisher":"concerningquality.com","title":"inaugural bug bash writeup","type":"community","url":"https://concerningquality.com/bug-bash-2025/"},{"author":null,"id":"source-5f78873c23d9c71da7b0","note":"confirms feb 2025 round details","originalId":"src-hp-finsmes-30m","published":{"precision":"day","text":"2025-02-14"},"publisher":"finsmes","title":"confirms feb 2025 round details","type":"reporting","url":"https://www.finsmes.com/2025/02/antithesis-raises-30m-in-funding.html"},{"author":null,"id":"source-1d9bb4a10127170b5486","note":"ramp deal; formance/tigerbeetle; hedge fund + retail trading platform unnamed; koblov quote","originalId":"src-hp-fintechasia-ramp","published":{"precision":"day","text":"2025-05-07"},"publisher":"fintechbusinessasia.com","title":"ramp deal","type":"primary","url":"https://www.fintechbusinessasia.com/news/35/475/antithesis-expands-footprint-in-fintech-powering-reliability-for-industry-leaders-like-ramp-and-top-hedge-funds.html"},{"author":null,"id":"source-c2f97b52c22d9a67dd30","note":"cofounder bios/ages; scherer listed as cto","originalId":"src-hp-forbes-profile","published":{"precision":"year","text":"2026"},"publisher":"forbes","title":"cofounder bios/ages","type":"reporting","url":"https://www.forbes.com/companies/antithesis/"},{"author":null,"id":"source-7375c344d115b707eaa6","note":"term sheet profile; wilson quotes; ~40 clients; seed raised \"while in stealth\"","originalId":"src-hp-fortune-2026","published":{"precision":"day","text":"2026-03-23"},"publisher":"fortune","title":"term sheet profile","type":"reporting","url":"https://fortune.com/2026/03/23/antithesis-janestreet-ethereum-will-wilson-foundationdb-software/"},{"author":null,"id":"source-687270670c09e67edcf4","note":"~231 employees (+138% yoy); 6 countries — third-party estimate","originalId":"src-hp-linkedin-company","published":{"precision":"year","text":"2026"},"publisher":"linkedin","title":"~231 employees (+138% yoy)","type":"reference","url":"https://linkedin.com/company/antithesis-operations"},{"author":null,"id":"source-897b7e8e52dff295d101","note":"91 employees as of 2025 (divergent headcount)","originalId":"src-hp-pitchbook","published":{"precision":"year","text":"2026"},"publisher":"pitchbook","title":"91 employees as of 2025 (divergent headcount)","type":"reference","url":"https://pitchbook.com/profiles/company/433266-67"},{"author":null,"id":"source-e703ef7d85c644007406","note":"$30m amplify+spark; pruss board; +50% headcount; verticals incl. data streaming","originalId":"src-hp-prnewswire-30m","published":{"precision":"day","text":"2025-02-13"},"publisher":"prnewswire","title":"$30m amplify+spark","type":"primary","url":"https://www.prnewswire.com/news-releases/antithesis-marks-one-year-anniversary-with-customer-growth-new-funding-company-expansion-302375489.html"},{"author":null,"id":"source-e4ea51cfa3c85edd36a3","note":"$105m series a; jane street lead; full syndicate incl. collison/patel/douglas; doug patti quote; tysons corner dateline","originalId":"src-hp-prnewswire-seriesa","published":{"precision":"day","text":"2025-12-03"},"publisher":"prnewswire","title":"$105m series a","type":"primary","url":"https://www.prnewswire.com/news-releases/jane-street-leads-antithesiss-105m-series-a-to-make-deterministic-simulation-testing-the-new-standard-302631076.html"},{"author":null,"id":"source-82cc15f5fe07e95e8a94","note":"$215m valuation at seed","originalId":"src-hp-reuters-seed","published":{"precision":"day","text":"2024-02-13"},"publisher":"reuters","title":"$215m valuation at seed","type":"reporting","url":"https://www.reuters.com/technology/code-testing-startup-antithesis-raises-seed-funding-215-mln-valuation-2024-02-13/"},{"author":null,"id":"source-44e566a7286f28620faf","note":"seed led by amplify/tamarack/first in; legal name antithesis operations llc","originalId":"src-hp-siliconangle-47m","published":{"precision":"day","text":"2024-02-13"},"publisher":"siliconangle.com","title":"seed led by amplify/tamarack/first in","type":"reporting","url":"https://siliconangle.com/2024/02/13/foundationdb-teams-new-venture-antithesis-raises-47m-enhance-software-testing/"},{"author":null,"id":"source-df55bce34e388c23cbcc","note":"wilson's canonical dst talk + his fdb-era bio (biotech start, yale math/philosophy)","originalId":"src-hp-strangeloop-2014","published":{"precision":"month","text":"2014-09"},"publisher":"thestrangeloop.com","title":"wilsons canonical dst talk + his fdb-era bio (biotech start, yale math/philosophy)","type":"primary","url":"https://www.thestrangeloop.com/2014/testing-distributed-systems-w-slash-deterministic-simulation.html"},{"author":null,"id":"source-89e580559d91a8ed05b2","note":"launch coverage; \"existing investors… friendly terms\" quote; product mechanics","originalId":"src-hp-techcrunch-47m","published":{"precision":"day","text":"2024-02-13"},"publisher":"techcrunch","title":"launch coverage","type":"reporting","url":"https://techcrunch.com/2024/02/13/antithesis-raises-47m-to-launch-an-automated-testing-platform-for-software/"},{"author":null,"id":"source-f84e9ea579f92a45e6b4","note":"warpstream customer-authored dst writeup","originalId":"src-hp-warpstream-dst","published":{"precision":"year","text":"2024"},"publisher":"warpstream.com","title":"warpstream customer-authored dst writeup","type":"primary","url":"https://www.warpstream.com/blog/deterministic-simulation-testing-for-our-entire-saas"}]}
````