# antithesis: the idea

> deterministic simulation as a product — the lineage antithesis inherited, what it proved, and what agents do to it.

## lineage

- 1981– — model checking and tla+: lamport's tla+ and tlc, spin/promela — exhaustively check properties of finite-state abstract models. the perennial hn lament that industry ignores it; a self-described aws engineer in the thread: 'we have a combination of tla+, fuzz, and simulation testing.' antithesis borrows the state-exploration instinct and drops the abstract-model requirement, trading exhaustive enumeration for guided search of the real system. (sources: [1,179 pts / 418 comments](https://news.ycombinator.com/item?id=39356920))
- 1999– — property-based testing: quickcheck → hypothesis: generate inputs, assert properties, shrink failures. the lineage turned literal when david maciver and liam devoe joined antithesis in november 2025 and built hegel. (sources: [hegel launch](https://antithesis.com/blog/2026/hegel/), [285 pts / 104 comments](https://news.ycombinator.com/item?id=47504094))
- 1985–2013 — black-box generative testing: jepsen — real clusters, nemesis fault injection, linearizability checking — and its precursors, ericsson's pulse and klarna's simulant. the famous non-event: aphyr never tested fdb because 'their testing appears to be waaaay more rigorous than mine.' (sources: [jepsen analysis](https://jepsen.io/analyses/tigerbeetle-0.16.11.pdf), [1,179 pts / 418 comments](https://news.ycombinator.com/item?id=39356920))
- 2013– — coverage-guided fuzzing: afl and libfuzzer — mutation steered by coverage feedback. antithesis's explorer is fuzzing generalized to whole networked systems, with determinism restoring the feedback loop that nondeterminism breaks. (sources: [1,179 pts / 418 comments](https://news.ycombinator.com/item?id=39356920), [extreme version of chaos engineering](https://antithesis.com/docs/introduction/how_antithesis_works/))
- 2011– — record-replay debugging: mozilla's rr and pernosco — record-replay debugging, repeatedly name-checked as the nearest thing to a time machine. limited by i/o and multithreading; 'a deterministic vm' was the known-but-daunting fix that antithesis actually built. (sources: [ahelwer/maxholl comments](https://lobste.rs/s/5j3o6o/antithesis_pioneering_deterministic), [1,179 pts / 418 comments](https://news.ycombinator.com/item?id=39356920))
- 2010– — chaos engineering, corrected: netflix's chaos monkey → gremlin, aws fis, azure chaos studio — random faults against production or staging, non-reproducible. antithesis's 'an ounce of prevention' argues the scope of what gets tested 'tends to be very limited'; the docs position the platform as 'an extreme version of chaos engineering' where the environment itself is hostile and deterministic. (sources: [an ounce of prevention](https://antithesis.com/blog/preventing_bugs/), [extreme version of chaos engineering](https://antithesis.com/docs/introduction/how_antithesis_works/), [how is antithesis different from chaos testing? faq](https://antithesis.com/product/))
- 2009–2015 — the foundationdb prototype: the prototype: write the simulation first, develop the database inside it for eighteen months, ship one user-reported bug before apple buys you. simulation stayed bespoke to fdb — the idea antithesis took was putting determinism below the software. (sources: [wilson launch manifesto](https://antithesis.com/blog/is_something_bugging_you/), [company timeline (2009 fdb](https://antithesis.com/company/about/), [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), [foundationdb sigmod21 paper](https://www.foundationdb.org/files/fdb-paper.pdf))
- ~2010 — the parallel invention: aws built parallel deterministic-simulation infrastructure around the same era — antithesis's own docs call it 'a case of simultaneous invention,' and wilson concedes it on the record. diffusion without antithesis: dropbox nucleus, sled's simulation guide, tigerbeetle's vopr, risingwave's madsim, tokio's turmoil, stateright, dhyve. (sources: [dst primer](https://antithesis.com/docs/resources/deterministic_simulation_testing/), [patio11 interview](https://www.complexsystemspodcast.com/episodes/software-testing-with-will-wilson/), [vopr](https://github.com/tigerbeetle/tigerbeetle/blob/main/docs/internals/vopr.md), [risingwaves rust simulator](https://github.com/madsim-rs/madsim), [tokio-rs deterministic simulation family (net/fs/io_uring)](https://github.com/tokio-rs/turmoil), [embedded model checker + actor runtime](https://docs.rs/crate/stateright/latest/source/README.md), [open-source deterministic hypervisor on bhyve, inspired by antithesis](https://github.com/pgraug/dhyve-src))

## what antithesis proved

- testing sells as infrastructure: a company exists whose product is 'we will find your bugs in a deterministic world' — usage-priced by the core-hour (≥48 core-hours per wall-clock hour at default parallelism), contract-minimum enterprise sales, aws marketplace private offers. at launch this was an open question; a customer leading the series a is the market answering it. (sources: [$7,000/reserved-core/12-mo](https://aws.amazon.com/marketplace/pp/prodview-tznxbknxyozo4), [core-hour metering](https://antithesis.com/docs/configuration/usage/), [$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))
- deterministic replay generalizes: fdb's sim was bespoke to fdb — purpose-built language, custom everything. putting determinism below the software (a type-2 hypervisor on freebsd, 'the determinator') makes it work for arbitrary containerized x86 systems without rewrites — confirmed across databases, a blockchain network, fintech, and the etcd release train. (sources: [so you think you want to write a deterministic hypervisor?](https://antithesis.com/blog/deterministic_hypervisor/), [determinator on freebsd/bhyve](https://freebsdfoundation.org/antithesis-pioneering-deterministic-hypervisors-with-freebsd-and-bhyve/), [cncf-sponsored etcd×antithesis integration](https://www.cncf.io/blog/2025/09/25/autonomous-testing-of-etcds-robustness/))
- exploration is the hard part: the multiverse/branching explorer — rl-guided, checkpoint-and-branch, 'tens of thousands of alternate universes' per run — is the differentiator, and the nes series is where they trained it: 'this is actually how we figured this stuff out.' (sources: [extreme version of chaos engineering](https://antithesis.com/docs/introduction/how_antithesis_works/), [this is actually how we figured this stuff out — nes as r&d for the explorer](https://antithesis.com/blog/2025/metroid/), [systems distributed 2023 stealth talk](https://antithesis.com/blog/sdtalk/))
- simulated bugs are real bugs: mongodb storage corruption, pre-merge ethereum consensus bugs, etcd robustness work, the sqlite wal-reset reproduction — the important findings are repeatedly customer-attested rather than merely vendor-claimed. (sources: [index-inconsistency corruption bug](https://antithesis.com/blog/mongo_bug/), [ethereum foundation engagement began ~1yr pre-merge](https://antithesis.com/blog/ethereum_merge/), [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/))
- a customer can lead your series a: jane street kept the relationship confidential, then led the round — 'antithesis has helped us uncover issues that no other testing method could find.' the elite-taste, prefers-homegrown buyer bought the company instead. (sources: [wilson essay when your customer leads your series a](https://antithesis.com/blog/2025/series_a/), [$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))

## what stayed unfinished

- the self-serve gap: self-serve and small teams remain gated — the founder package (april 2025) is the workaround, not the solution, and the company admits the product 'isn't quite perfectly self-serve yet.' agent skills are the 2026 bet to collapse the setup cost. (sources: [founder package](https://antithesis.com/blog/2025/antithesis_for_founders/), [antithesis-research/setup/workload skills](https://antithesis.com/blog/2026/agent_skills/))
- no free tier: no public free tier materialized — open-source access runs through the giveaway program, research collaborations like the cncf/etcd work, and the hegel/bombadil libraries. the long tail wilson promised in february 2024 is still waiting. (sources: [cncf-sponsored etcd×antithesis integration](https://www.cncf.io/blog/2025/09/25/autonomous-testing-of-etcds-robustness/), [hegel/bombadil open source](https://antithesis.com/docs/introduction/welcome/), [1,179 pts / 418 comments](https://news.ycombinator.com/item?id=39356920))
- the closed core: the hypervisor core stays proprietary while the testing libraries go open — and dhyve, an open-source bhyve deterministic hypervisor 'inspired by antithesis,' shows the clone risk is real. (sources: [open-source deterministic hypervisor on bhyve, inspired by antithesis](https://github.com/pgraug/dhyve-src), [ahelwer/maxholl comments](https://lobste.rs/s/5j3o6o/antithesis_pioneering_deterministic), [hegel/bombadil open source](https://antithesis.com/docs/introduction/welcome/))
- a market of one: no second commercial hypervisor competitor exists — the competition is in-house dst builds (vopr, madsim, polar signals) and oss runtimes. sacra names open-source commoditization the top risk. (sources: [$30m feb 2025 round detail](https://sacra.com/c/antithesis/), [orosz + nilsson deep-dive](https://newsletter.pragmaticengineer.com/p/antithesis), [outside-in (jepsen/antithesis) vs inside-out protocol-aware dst](https://tigerbeetle.com/blog/2026-08-20-protocol-aware-dst/))

## the agent-era turn

- (for) agents need verifiable environments — code generation is cheap, 'verification is the new bottleneck,' and self-verification is untrustworthy because agents 'attempt to cheat, e.g. by deleting tests.' a deterministic world is an oracle the agent cannot game, as long as the agent can't also edit the assertions it's judged by. (sources: [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), [current positioning (10x faster time-to-release)](https://antithesis.com/))
- (for) deterministic worlds are the agent playground — every failure replayable, every universe forkable. the wal demo is the flagship anecdote: claude + skills reproduce a fifteen-year-old sqlite race in ~15 minutes, 'from my phone.' (sources: [breaking the wal](https://antithesis.com/blog/2026/wal-reset-bug/), [antithesis-research/setup/workload skills](https://antithesis.com/blog/2026/agent_skills/), [162 pts / 52 comments](https://news.ycombinator.com/item?id=49277799))
- (against) the spec bug-tax survives — 'a spec bug is just as bad as a code bug! declaring a system free of defects because it matches the spec is sneaky sleight-of-hand that ignores the costs of having a spec.' dst finds divergence from specified invariants; it cannot tell you the spec was wrong. (sources: [1,179 pts / 418 comments](https://news.ycombinator.com/item?id=39356920))
- (against) the fidelity ceiling — a simulated world can only be as adversarial as the faults its designers imagined. wilson named it in 2014 ('not brutal enough'; misunderstood os contracts); the docs still concede external dependencies must be mocked. (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), [dst primer](https://antithesis.com/docs/resources/deterministic_simulation_testing/))
- (nuance) outside-in vs inside-out — tigerbeetle argues protocol-aware dst (built inside the system) probes deeper invariants than 'antithesis-style' hypervisors testing 'via user-visible apis.' the winner may be architectural, not marketing. (sources: [outside-in (jepsen/antithesis) vs inside-out protocol-aware dst](https://tigerbeetle.com/blog/2026-08-20-protocol-aware-dst/), [vopr](https://github.com/tigerbeetle/tigerbeetle/blob/main/docs/internals/vopr.md))
- (nuance) deterministic environments could become training worlds — rl environments with perfect replay and instant reset, not just ci gates. the explorer is already rl-guided; the boundary between 'testing infrastructure' and 'gym' is thin. (sources: [extreme version of chaos engineering](https://antithesis.com/docs/introduction/how_antithesis_works/), [this is actually how we figured this stuff out — nes as r&d for the explorer](https://antithesis.com/blog/2025/metroid/))

## successors

- [tigerbeetle vopr](https://tigerbeetle.com): the build-not-buy camp's flagship — 'heavily inspired by the work of foundationdb and antithesis,' now arguing protocol-aware inside-out dst probes deeper than hypervisors. also an antithesis customer. (sources: [vopr](https://github.com/tigerbeetle/tigerbeetle/blob/main/docs/internals/vopr.md), [outside-in (jepsen/antithesis) vs inside-out protocol-aware dst](https://tigerbeetle.com/blog/2026-08-20-protocol-aware-dst/), [ramp, formance, tigerbeetle, hedge fund, retail trading platform](https://www.prnewswire.com/news-releases/antithesis-gains-massive-traction-in-the-fintech-world-302447002.html))
- [madsim](https://github.com/madsim-rs/madsim): risingwave's rust simulator — 'main idea borrowed from foundationdb and sled simulation guide.' the language-bound, cheaper alternative. (sources: [risingwaves rust simulator](https://github.com/madsim-rs/madsim), [risingwaves case for building madsim](https://risingwave.com/blog/deterministic-simulation-a-new-era-of-distributed-system-testing/))
- [turmoil](https://github.com/tokio-rs/turmoil): the tokio deterministic simulation family — net/fs/io_uring shims for rust async systems. (sources: [tokio-rs deterministic simulation family (net/fs/io_uring)](https://github.com/tokio-rs/turmoil))
- [stateright](https://docs.rs/stateright): embedded model checker plus actor runtime — the tla+/tlc comparison made programmable. (sources: [embedded model checker + actor runtime](https://docs.rs/crate/stateright/latest/source/README.md))
- [dhyve](https://github.com/pgraug/dhyve-src): an open-source deterministic hypervisor on bhyve 'inspired by antithesis' — the direct architectural descendant and the commoditization risk in one repo. (sources: [open-source deterministic hypervisor on bhyve, inspired by antithesis](https://github.com/pgraug/dhyve-src))
- [jepsen + jepsen.antithesis](https://jepsen.io): the rival-turned-collaborator — co-authored glossary, and 0.3.10 ships deterministic seeds that 'can source entropy from an external system, like antithesis.' (sources: [jepsen+antithesis co-authored reliability glossary (canonical: antithesis](https://jepsen.io/blog/2025-10-20-distsys-glossary), [jepsen](https://jepsen.io/blog/2025-12-02-jepsen-0.3.10), [jepsen analysis](https://jepsen.io/analyses/tigerbeetle-0.16.11.pdf))
- [hegel + bombadil](https://hegel.dev): the in-house open-source perimeter — maciver's cross-language pbt family and ui-level property testing, integrating with the proprietary core. (sources: [hegel launch](https://antithesis.com/blog/2026/hegel/), [hegel/bombadil open source](https://antithesis.com/docs/introduction/welcome/))
- [polar signals' in-house dst](https://www.polarsignals.com): the pricing casualty turned builder — evaluated antithesis in preview, concluded 'the pricing didn't work,' and built its own. (sources: [orosz + nilsson deep-dive](https://newsletter.pragmaticengineer.com/p/antithesis))

## open questions

- can agent skills actually collapse the setup cost enough to reach the long tail wilson promised in february 2024?
- do deterministic environments become rl training worlds with perfect replay — gyms, not just ci gates?
- does the outside-in hypervisor win against protocol-aware inside-out dst as more code becomes agent-authored?
- how does the simulation stay adversarial enough — who imagines the faults the designers didn't?
- does the closed core get commoditized by dhyve-class clones before the open-source perimeter is enough?
- who was customer no. 1 — and does the mongodb-style roi hold for teams without a staff of database engineers?

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/the-idea


Published by @ben in profile revision 1.
Original document: https://hraness.com/antithesis/the-idea
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":"lineage","originalUrl":"https://hraness.com/antithesis/the-idea#lineage","title":"lineage"},{"id":"proved","originalUrl":"https://hraness.com/antithesis/the-idea#proved","title":"what antithesis proved"},{"id":"stalled","originalUrl":"https://hraness.com/antithesis/the-idea#stalled","title":"what stayed unfinished"},{"id":"agent-era","originalUrl":"https://hraness.com/antithesis/the-idea#agent-era","title":"the agent-era turn"},{"id":"successors","originalUrl":"https://hraness.com/antithesis/the-idea#successors","title":"successors"},{"id":"open-questions","originalUrl":"https://hraness.com/antithesis/the-idea#open-questions","title":"open questions"}],"provenance":{"draftingDisclosure":"AI-drafted at Ben Guo's direct request and credited to Hraness; every claim links to its cataloged source.","originalAuthor":"Hraness","originalRevision":"57f624a4cb76a6a81625131d755a5176bc7adc417ba69ceafc126028ef6b4397","originalUrl":"https://hraness.com/antithesis/the-idea","source":"hraness"},"records":[{"id":"record-a92700e0b4d9f699056f","kind":"antithesis-agent-era-arguments","label":"agents need verifiable environments — code generation is cheap, 'verification is the new bottleneck,' and self-verification is untrustworthy because agents 'attempt to cheat, e.g. by deleting tests.' a deterministic world is an oracle the agent cannot game, as long as the agent can't also edit the assertions it's judged by.","original":{"claim":"agents need verifiable environments — code generation is cheap, 'verification is the new bottleneck,' and self-verification is untrustworthy because agents 'attempt to cheat, e.g. by deleting tests.' a deterministic world is an oracle the agent cannot game, as long as the agent can't also edit the assertions it's judged by.","id":"arg-non-spoofable","side":"for","sourceIds":["src-ci-globenewswire-ai","src-hp-antithesis-home"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-3b2df6863baf297e0205","source-0b0c98ee0c46157b731b"]},{"id":"record-86aa73259441ed09f427","kind":"antithesis-agent-era-arguments","label":"deterministic worlds are the agent playground — every failure replayable, every universe forkable. the wal demo is the flagship anecdote: claude + skills reproduce a fifteen-year-old sqlite race in ~15 minutes, 'from my phone.'","original":{"claim":"deterministic worlds are the agent playground — every failure replayable, every universe forkable. the wal demo is the flagship anecdote: claude + skills reproduce a fifteen-year-old sqlite race in ~15 minutes, 'from my phone.'","id":"arg-agent-playground","side":"for","sourceIds":["src-ci-antithesis-wal","src-ci-antithesis-agent-skills","src-ci-hn-wal"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-bd4ca702435a707d1ccf","source-61627e9a858ea77346b4","source-6931af17d296b958b6e7"]},{"id":"record-1c065b1312f3e9d096a7","kind":"antithesis-agent-era-arguments","label":"the spec bug-tax survives — 'a spec bug is just as bad as a code bug! declaring a system free of defects because it matches the spec is sneaky sleight-of-hand that ignores the costs of having a spec.' dst finds divergence from specified invariants; it cannot tell you the spec was wrong.","original":{"claim":"the spec bug-tax survives — 'a spec bug is just as bad as a code bug! declaring a system free of defects because it matches the spec is sneaky sleight-of-hand that ignores the costs of having a spec.' dst finds divergence from specified invariants; it cannot tell you the spec was wrong.","id":"arg-spec-tax","side":"against","sourceIds":["src-ci-hn-launch-thread"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-53aa4a52d0a25ea5e841"]},{"id":"record-4737fcfeb17782bb5fe6","kind":"antithesis-agent-era-arguments","label":"the fidelity ceiling — a simulated world can only be as adversarial as the faults its designers imagined. wilson named it in 2014 ('not brutal enough'; misunderstood os contracts); the docs still concede external dependencies must be mocked.","original":{"claim":"the fidelity ceiling — a simulated world can only be as adversarial as the faults its designers imagined. wilson named it in 2014 ('not brutal enough'; misunderstood os contracts); the docs still concede external dependencies must be mocked.","id":"arg-fidelity","side":"against","sourceIds":["src-hp-strangeloop-2014","src-hp-antithesis-dst-docs"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-46dcb077fe084e922254","source-163616f699a6f0cc3a0d"]},{"id":"record-98c5fdcd098dd5598be9","kind":"antithesis-agent-era-arguments","label":"outside-in vs inside-out — tigerbeetle argues protocol-aware dst (built inside the system) probes deeper invariants than 'antithesis-style' hypervisors testing 'via user-visible apis.' the winner may be architectural, not marketing.","original":{"claim":"outside-in vs inside-out — tigerbeetle argues protocol-aware dst (built inside the system) probes deeper invariants than 'antithesis-style' hypervisors testing 'via user-visible apis.' the winner may be architectural, not marketing.","id":"arg-inside-out","side":"nuance","sourceIds":["src-ci-tigerbeetle-protocol-dst","src-ci-tigerbeetle-vopr-docs"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-90447fc615684ad378ba","source-8f4acb260c8db3fbc8cc"]},{"id":"record-5e7f1af8db6e64c065f9","kind":"antithesis-agent-era-arguments","label":"deterministic environments could become training worlds — rl environments with perfect replay and instant reset, not just ci gates. the explorer is already rl-guided; the boundary between 'testing infrastructure' and 'gym' is thin.","original":{"claim":"deterministic environments could become training worlds — rl environments with perfect replay and instant reset, not just ci gates. the explorer is already rl-guided; the boundary between 'testing infrastructure' and 'gym' is thin.","id":"arg-training-worlds","side":"nuance","sourceIds":["src-ci-antithesis-docs-how","src-ci-antithesis-metroid"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-c0213bdb002622cf274d","source-3e8d8533680f7c31d9b0"]},{"id":"record-8bb26abf868573936691","kind":"antithesis-idea-lineage","label":"model checking and tla+","original":{"contribution":"lamport's tla+ and tlc, spin/promela — exhaustively check properties of finite-state abstract models. the perennial hn lament that industry ignores it; a self-described aws engineer in the thread: 'we have a combination of tla+, fuzz, and simulation testing.' antithesis borrows the state-exploration instinct and drops the abstract-model requirement, trading exhaustive enumeration for guided search of the real system.","era":"1981–","id":"lin-model-checking","name":"model checking and tla+","sourceIds":["src-ci-hn-launch-thread"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-53aa4a52d0a25ea5e841"]},{"id":"record-58aa2f503e42e91a4ccc","kind":"antithesis-idea-lineage","label":"property-based testing","original":{"contribution":"quickcheck → hypothesis: generate inputs, assert properties, shrink failures. the lineage turned literal when david maciver and liam devoe joined antithesis in november 2025 and built hegel.","era":"1999–","id":"lin-pbt","name":"property-based testing","sourceIds":["src-ci-antithesis-hegel","src-ci-hn-hegel"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-0dc902d630e01ffa0ec4","source-c0a3541584799bdfaa21"]},{"id":"record-62294e06bced1fd3fa5f","kind":"antithesis-idea-lineage","label":"black-box generative testing","original":{"contribution":"jepsen — real clusters, nemesis fault injection, linearizability checking — and its precursors, ericsson's pulse and klarna's simulant. the famous non-event: aphyr never tested fdb because 'their testing appears to be waaaay more rigorous than mine.'","era":"1985–2013","id":"lin-jepsen","name":"black-box generative testing","sourceIds":["src-ci-jepsen-tigerbeetle","src-ci-hn-launch-thread"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-7d72e5f1d734c73c696f","source-53aa4a52d0a25ea5e841"]},{"id":"record-22bbc92195310f5a8037","kind":"antithesis-idea-lineage","label":"coverage-guided fuzzing","original":{"contribution":"afl and libfuzzer — mutation steered by coverage feedback. antithesis's explorer is fuzzing generalized to whole networked systems, with determinism restoring the feedback loop that nondeterminism breaks.","era":"2013–","id":"lin-fuzzing","name":"coverage-guided fuzzing","sourceIds":["src-ci-hn-launch-thread","src-ci-antithesis-docs-how"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-53aa4a52d0a25ea5e841","source-c0213bdb002622cf274d"]},{"id":"record-7ba44418d52c3392e1b4","kind":"antithesis-idea-lineage","label":"record-replay debugging","original":{"contribution":"mozilla's rr and pernosco — record-replay debugging, repeatedly name-checked as the nearest thing to a time machine. limited by i/o and multithreading; 'a deterministic vm' was the known-but-daunting fix that antithesis actually built.","era":"2011–","id":"lin-rr","name":"record-replay debugging","sourceIds":["src-ci-lobsters-freebsd","src-ci-hn-launch-thread"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-1d8d29fa856ef6aa6163","source-53aa4a52d0a25ea5e841"]},{"id":"record-a68f110ef30da82256d6","kind":"antithesis-idea-lineage","label":"chaos engineering, corrected","original":{"contribution":"netflix's chaos monkey → gremlin, aws fis, azure chaos studio — random faults against production or staging, non-reproducible. antithesis's 'an ounce of prevention' argues the scope of what gets tested 'tends to be very limited'; the docs position the platform as 'an extreme version of chaos engineering' where the environment itself is hostile and deterministic.","era":"2010–","id":"lin-chaos","name":"chaos engineering, corrected","sourceIds":["src-ci-antithesis-preventing-bugs","src-ci-antithesis-docs-how","src-ci-antithesis-product-faq"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-a37ac04f3e95d8395f50","source-c0213bdb002622cf274d","source-b6196c87ebc7f4790fd4"]},{"id":"record-d8ce743c20ff02144d9c","kind":"antithesis-idea-lineage","label":"the foundationdb prototype","original":{"contribution":"the prototype: write the simulation first, develop the database inside it for eighteen months, ship one user-reported bug before apple buys you. simulation stayed bespoke to fdb — the idea antithesis took was putting determinism below the software.","era":"2009–2015","id":"lin-fdb","name":"the foundationdb prototype","sourceIds":["src-hp-antithesis-bugging","src-hp-antithesis-about","src-hp-strangeloop-2014","src-ci-fdb-paper"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-a5149fecb9c4fc98a1bf","source-13b5d200aa5cf6beb38a","source-46dcb077fe084e922254","source-0cf7aa8e57dec4ba8ead"]},{"id":"record-9c1f610d9d08830cafac","kind":"antithesis-idea-lineage","label":"the parallel invention","original":{"contribution":"aws built parallel deterministic-simulation infrastructure around the same era — antithesis's own docs call it 'a case of simultaneous invention,' and wilson concedes it on the record. diffusion without antithesis: dropbox nucleus, sled's simulation guide, tigerbeetle's vopr, risingwave's madsim, tokio's turmoil, stateright, dhyve.","era":"~2010","id":"lin-aws","name":"the parallel invention","sourceIds":["src-hp-antithesis-dst-docs","src-hp-complex-systems-pod","src-ci-tigerbeetle-vopr-docs","src-ci-madsim","src-ci-turmoil","src-ci-stateright","src-ci-dhyve"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-163616f699a6f0cc3a0d","source-f6130f2df4cef319eb95","source-8f4acb260c8db3fbc8cc","source-aae47b9730032f94c019","source-73d503c4256ac3e7fecd","source-3ed7baea439db54a091a","source-cc2c3bb394e42f5803f9"]},{"id":"record-2efc907168218b28ca79","kind":"antithesis-idea-open-questions","label":"can agent skills actually collapse the setup cost enough to reach the long tail wilson promised in february 2024?","original":{"text":"can agent skills actually collapse the setup cost enough to reach the long tail wilson promised in february 2024?"},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":[]},{"id":"record-ae8f1810707a3f580efe","kind":"antithesis-idea-open-questions","label":"do deterministic environments become rl training worlds with perfect replay — gyms, not just ci gates?","original":{"text":"do deterministic environments become rl training worlds with perfect replay — gyms, not just ci gates?"},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":[]},{"id":"record-cbc2fdc4cccc86386e70","kind":"antithesis-idea-open-questions","label":"does the outside-in hypervisor win against protocol-aware inside-out dst as more code becomes agent-authored?","original":{"text":"does the outside-in hypervisor win against protocol-aware inside-out dst as more code becomes agent-authored?"},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":[]},{"id":"record-7b763bdbf890ba558131","kind":"antithesis-idea-open-questions","label":"how does the simulation stay adversarial enough — who imagines the faults the designers didn't?","original":{"text":"how does the simulation stay adversarial enough — who imagines the faults the designers didn't?"},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":[]},{"id":"record-84628d851b9b9a07ae6d","kind":"antithesis-idea-open-questions","label":"does the closed core get commoditized by dhyve-class clones before the open-source perimeter is enough?","original":{"text":"does the closed core get commoditized by dhyve-class clones before the open-source perimeter is enough?"},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":[]},{"id":"record-36d718af8a7e92a91927","kind":"antithesis-idea-open-questions","label":"who was customer no. 1 — and does the mongodb-style roi hold for teams without a staff of database engineers?","original":{"text":"who was customer no. 1 — and does the mongodb-style roi hold for teams without a staff of database engineers?"},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":[]},{"id":"record-fe27918ecade268eb9ab","kind":"antithesis-idea-proved","label":"testing sells as infrastructure","original":{"detail":"a company exists whose product is 'we will find your bugs in a deterministic world' — usage-priced by the core-hour (≥48 core-hours per wall-clock hour at default parallelism), contract-minimum enterprise sales, aws marketplace private offers. at launch this was an open question; a customer leading the series a is the market answering it.","id":"clm-testing-as-infra","sourceIds":["src-ci-aws-marketplace","src-ci-antithesis-docs-usage","src-hp-prnewswire-seriesa"],"title":"testing sells as infrastructure"},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-855c039cb5470d3774ee","source-6eede77408284869a0f5","source-948e128e6af8d989bdee"]},{"id":"record-6a1edece03ade9828a9c","kind":"antithesis-idea-proved","label":"deterministic replay generalizes","original":{"detail":"fdb's sim was bespoke to fdb — purpose-built language, custom everything. putting determinism below the software (a type-2 hypervisor on freebsd, 'the determinator') makes it work for arbitrary containerized x86 systems without rewrites — confirmed across databases, a blockchain network, fintech, and the etcd release train.","id":"clm-replay-generalizes","sourceIds":["src-hp-antithesis-determinator","src-ci-freebsd","src-ci-cncf-etcd"],"title":"deterministic replay generalizes"},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-7199bba1278524533752","source-2cc9e403cdb8a15d2ef6","source-222e71e4bbb3c1d9c6fd"]},{"id":"record-64d649b2e19dd5f58632","kind":"antithesis-idea-proved","label":"exploration is the hard part","original":{"detail":"the multiverse/branching explorer — rl-guided, checkpoint-and-branch, 'tens of thousands of alternate universes' per run — is the differentiator, and the nes series is where they trained it: 'this is actually how we figured this stuff out.'","id":"clm-exploration-hard","sourceIds":["src-ci-antithesis-docs-how","src-ci-antithesis-metroid","src-hp-antithesis-sdtalk"],"title":"exploration is the hard part"},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-c0213bdb002622cf274d","source-3e8d8533680f7c31d9b0","source-65abe2a83add8db94bb9"]},{"id":"record-5e8e59558979d154f216","kind":"antithesis-idea-proved","label":"simulated bugs are real bugs","original":{"detail":"mongodb storage corruption, pre-merge ethereum consensus bugs, etcd robustness work, the sqlite wal-reset reproduction — the important findings are repeatedly customer-attested rather than merely vendor-claimed.","id":"clm-sim-bugs-real","sourceIds":["src-ci-antithesis-mongo-bug","src-hp-antithesis-ethereum","src-ci-cncf-etcd","src-ci-antithesis-wal"],"title":"simulated bugs are real bugs"},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-c5fe4ac97394ca3358ca","source-f641859b67f0271e9c29","source-222e71e4bbb3c1d9c6fd","source-bd4ca702435a707d1ccf"]},{"id":"record-4a1eeb58d09977b1756c","kind":"antithesis-idea-proved","label":"a customer can lead your series a","original":{"detail":"jane street kept the relationship confidential, then led the round — 'antithesis has helped us uncover issues that no other testing method could find.' the elite-taste, prefers-homegrown buyer bought the company instead.","id":"clm-customer-leads","sourceIds":["src-hp-antithesis-seriesa","src-hp-prnewswire-seriesa"],"title":"a customer can lead your series a"},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-11959e9cd7afee0f3f31","source-948e128e6af8d989bdee"]},{"id":"record-0431a562bee08bbcf78b","kind":"antithesis-idea-stalled","label":"the self-serve gap","original":{"detail":"self-serve and small teams remain gated — the founder package (april 2025) is the workaround, not the solution, and the company admits the product 'isn't quite perfectly self-serve yet.' agent skills are the 2026 bet to collapse the setup cost.","id":"clm-self-serve","sourceIds":["src-ci-antithesis-founders","src-ci-antithesis-agent-skills"],"title":"the self-serve gap"},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-de1b87e505ddf2e0047b","source-61627e9a858ea77346b4"]},{"id":"record-93654425d01d3a463beb","kind":"antithesis-idea-stalled","label":"no free tier","original":{"detail":"no public free tier materialized — open-source access runs through the giveaway program, research collaborations like the cncf/etcd work, and the hegel/bombadil libraries. the long tail wilson promised in february 2024 is still waiting.","id":"clm-foss-access","sourceIds":["src-ci-cncf-etcd","src-ci-antithesis-docs-welcome","src-ci-hn-launch-thread"],"title":"no free tier"},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-222e71e4bbb3c1d9c6fd","source-8a6689a62124644dcd9d","source-53aa4a52d0a25ea5e841"]},{"id":"record-36908939034a50661e8a","kind":"antithesis-idea-stalled","label":"the closed core","original":{"detail":"the hypervisor core stays proprietary while the testing libraries go open — and dhyve, an open-source bhyve deterministic hypervisor 'inspired by antithesis,' shows the clone risk is real.","id":"clm-closed-core","sourceIds":["src-ci-dhyve","src-ci-lobsters-freebsd","src-ci-antithesis-docs-welcome"],"title":"the closed core"},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-cc2c3bb394e42f5803f9","source-1d8d29fa856ef6aa6163","source-8a6689a62124644dcd9d"]},{"id":"record-dfef68c92393fa16059c","kind":"antithesis-idea-stalled","label":"a market of one","original":{"detail":"no second commercial hypervisor competitor exists — the competition is in-house dst builds (vopr, madsim, polar signals) and oss runtimes. sacra names open-source commoditization the top risk.","id":"clm-no-rival","sourceIds":["src-ci-sacra","src-ci-pragmatic-engineer","src-ci-tigerbeetle-protocol-dst"],"title":"a market of one"},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-786cce06787e46a6cbea","source-eee3c698ce0671d8852f","source-90447fc615684ad378ba"]},{"id":"record-d64487cbba9331ad9d0b","kind":"antithesis-idea-successors","label":"tigerbeetle vopr","original":{"href":"https://tigerbeetle.com","id":"suc-vopr","name":"tigerbeetle vopr","note":"the build-not-buy camp's flagship — 'heavily inspired by the work of foundationdb and antithesis,' now arguing protocol-aware inside-out dst probes deeper than hypervisors. also an antithesis customer.","sourceIds":["src-ci-tigerbeetle-vopr-docs","src-ci-tigerbeetle-protocol-dst","src-ci-prnewswire-fintech"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-8f4acb260c8db3fbc8cc","source-90447fc615684ad378ba","source-52ff48365a9acf1edccb"]},{"id":"record-10a44817c93b1d92a900","kind":"antithesis-idea-successors","label":"madsim","original":{"href":"https://github.com/madsim-rs/madsim","id":"suc-madsim","name":"madsim","note":"risingwave's rust simulator — 'main idea borrowed from foundationdb and sled simulation guide.' the language-bound, cheaper alternative.","sourceIds":["src-ci-madsim","src-ci-risingwave-dst"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-aae47b9730032f94c019","source-6ea19d35af4512cc4da6"]},{"id":"record-36f1909c1fc0fc05d876","kind":"antithesis-idea-successors","label":"turmoil","original":{"href":"https://github.com/tokio-rs/turmoil","id":"suc-turmoil","name":"turmoil","note":"the tokio deterministic simulation family — net/fs/io_uring shims for rust async systems.","sourceIds":["src-ci-turmoil"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-73d503c4256ac3e7fecd"]},{"id":"record-740e701f6eab4a8b078a","kind":"antithesis-idea-successors","label":"stateright","original":{"href":"https://docs.rs/stateright","id":"suc-stateright","name":"stateright","note":"embedded model checker plus actor runtime — the tla+/tlc comparison made programmable.","sourceIds":["src-ci-stateright"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-3ed7baea439db54a091a"]},{"id":"record-3ef45c428aed69296e21","kind":"antithesis-idea-successors","label":"dhyve","original":{"href":"https://github.com/pgraug/dhyve-src","id":"suc-dhyve","name":"dhyve","note":"an open-source deterministic hypervisor on bhyve 'inspired by antithesis' — the direct architectural descendant and the commoditization risk in one repo.","sourceIds":["src-ci-dhyve"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-cc2c3bb394e42f5803f9"]},{"id":"record-00386f25c978d64ee9c4","kind":"antithesis-idea-successors","label":"jepsen + jepsen.antithesis","original":{"href":"https://jepsen.io","id":"suc-jepsen","name":"jepsen + jepsen.antithesis","note":"the rival-turned-collaborator — co-authored glossary, and 0.3.10 ships deterministic seeds that 'can source entropy from an external system, like antithesis.'","sourceIds":["src-ci-jepsen-glossary","src-ci-jepsen-0310","src-ci-jepsen-tigerbeetle"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-9b40dc9ba1d97e36ca79","source-6001586bf2fc8d3306bb","source-7d72e5f1d734c73c696f"]},{"id":"record-961394dfdb3aaec97131","kind":"antithesis-idea-successors","label":"hegel + bombadil","original":{"href":"https://hegel.dev","id":"suc-hegel","name":"hegel + bombadil","note":"the in-house open-source perimeter — maciver's cross-language pbt family and ui-level property testing, integrating with the proprietary core.","sourceIds":["src-ci-antithesis-hegel","src-ci-antithesis-docs-welcome"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-0dc902d630e01ffa0ec4","source-8a6689a62124644dcd9d"]},{"id":"record-ba67936afc5a8faadbc7","kind":"antithesis-idea-successors","label":"polar signals' in-house dst","original":{"href":"https://www.polarsignals.com","id":"suc-polar-signals","name":"polar signals' in-house dst","note":"the pricing casualty turned builder — evaluated antithesis in preview, concluded 'the pricing didn't work,' and built its own.","sourceIds":["src-ci-pragmatic-engineer"]},"originalUrl":"https://hraness.com/antithesis/the-idea","sourceIds":["source-eee3c698ce0671d8852f"]}],"sources":[{"author":null,"id":"source-61627e9a858ea77346b4","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-c0213bdb002622cf274d","note":"\"extreme version of chaos engineering\"; rl guidance; multiverse timelines; pbt framing","originalId":"src-ci-antithesis-docs-how","published":{"precision":"unknown","text":"undated"},"publisher":"antithesis.com","title":"extreme version of chaos engineering","type":"primary","url":"https://antithesis.com/docs/introduction/how_antithesis_works/"},{"author":null,"id":"source-6eede77408284869a0f5","note":"core-hour metering; ≥48 core-hours per wall-clock hour","originalId":"src-ci-antithesis-docs-usage","published":{"precision":"unknown","text":"undated"},"publisher":"antithesis.com","title":"core-hour metering","type":"primary","url":"https://antithesis.com/docs/configuration/usage/"},{"author":null,"id":"source-8a6689a62124644dcd9d","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-de1b87e505ddf2e0047b","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-0dc902d630e01ffa0ec4","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-3e8d8533680f7c31d9b0","note":"\"this is actually how we figured this stuff out\" — nes as r&d for the explorer","originalId":"src-ci-antithesis-metroid","published":{"precision":"day","text":"2025-08-22"},"publisher":"antithesis.com","title":"this is actually how we figured this stuff out — nes as r&d for the explorer","type":"primary","url":"https://antithesis.com/blog/2025/metroid/"},{"author":null,"id":"source-c5fe4ac97394ca3358ca","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-a37ac04f3e95d8395f50","note":"\"an ounce of prevention\"; chaos-eng scope critique; hostile-by-default environment","originalId":"src-ci-antithesis-preventing-bugs","published":{"precision":"unknown","text":"undated"},"publisher":"antithesis.com","title":"an ounce of prevention","type":"primary","url":"https://antithesis.com/blog/preventing_bugs/"},{"author":null,"id":"source-b6196c87ebc7f4790fd4","note":"\"how is antithesis different from chaos testing?\" faq; deterministic hypervisor claims","originalId":"src-ci-antithesis-product-faq","published":{"precision":"unknown","text":"undated"},"publisher":"antithesis.com","title":"how is antithesis different from chaos testing? faq","type":"primary","url":"https://antithesis.com/product/"},{"author":null,"id":"source-bd4ca702435a707d1ccf","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-855c039cb5470d3774ee","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-222e71e4bbb3c1d9c6fd","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-cc2c3bb394e42f5803f9","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-0cf7aa8e57dec4ba8ead","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-2cc9e403cdb8a15d2ef6","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-3b2df6863baf297e0205","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-c0a3541584799bdfaa21","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-53aa4a52d0a25ea5e841","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-6931af17d296b958b6e7","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-6001586bf2fc8d3306bb","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-9b40dc9ba1d97e36ca79","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-7d72e5f1d734c73c696f","note":"jepsen analysis; footnote canonizes \"pulse, simulant, foundationdb, and antithesis\"","originalId":"src-ci-jepsen-tigerbeetle","published":{"precision":"year","text":"2024"},"publisher":"jepsen.io","title":"jepsen analysis","type":"reference","url":"https://jepsen.io/analyses/tigerbeetle-0.16.11.pdf"},{"author":null,"id":"source-1d8d29fa856ef6aa6163","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-aae47b9730032f94c019","note":"risingwave's rust simulator; \"main idea is borrowed from foundationdb and sled simulation guide\"","originalId":"src-ci-madsim","published":{"precision":"unknown","text":"undated"},"publisher":"github","title":"risingwaves rust simulator","type":"reporting","url":"https://github.com/madsim-rs/madsim"},{"author":null,"id":"source-eee3c698ce0671d8852f","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-52ff48365a9acf1edccb","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-6ea19d35af4512cc4da6","note":"risingwave's case for building madsim","originalId":"src-ci-risingwave-dst","published":{"precision":"year","text":"2022"},"publisher":"risingwave.com","title":"risingwaves case for building madsim","type":"primary","url":"https://risingwave.com/blog/deterministic-simulation-a-new-era-of-distributed-system-testing/"},{"author":null,"id":"source-786cce06787e46a6cbea","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-3ed7baea439db54a091a","note":"embedded model checker + actor runtime; tla+/tlc comparison","originalId":"src-ci-stateright","published":{"precision":"unknown","text":"undated"},"publisher":"docs.rs","title":"embedded model checker + actor runtime","type":"reporting","url":"https://docs.rs/crate/stateright/latest/source/README.md"},{"author":null,"id":"source-90447fc615684ad378ba","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-8f4acb260c8db3fbc8cc","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-73d503c4256ac3e7fecd","note":"tokio-rs deterministic simulation family (net/fs/io_uring)","originalId":"src-ci-turmoil","published":{"precision":"unknown","text":"undated"},"publisher":"github","title":"tokio-rs deterministic simulation family (net/fs/io_uring)","type":"reporting","url":"https://github.com/tokio-rs/turmoil"},{"author":null,"id":"source-13b5d200aa5cf6beb38a","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-a5149fecb9c4fc98a1bf","note":"wilson launch manifesto; \"$100 bill\" quote; fdb simulation origin story verbatim","originalId":"src-hp-antithesis-bugging","published":{"precision":"day","text":"2024-02-13"},"publisher":"antithesis.com","title":"wilson launch manifesto","type":"primary","url":"https://antithesis.com/blog/is_something_bugging_you/"},{"author":null,"id":"source-7199bba1278524533752","note":"\"so you think you want to write a deterministic hypervisor?\"; the determinator; whole-system determinism unit","originalId":"src-hp-antithesis-determinator","published":{"precision":"year","text":"2024"},"publisher":"antithesis.com","title":"so you think you want to write a deterministic hypervisor?","type":"primary","url":"https://antithesis.com/blog/deterministic_hypervisor/"},{"author":null,"id":"source-163616f699a6f0cc3a0d","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-f641859b67f0271e9c29","note":"ethereum foundation engagement began ~1yr pre-merge; first crypto network tested this way","originalId":"src-hp-antithesis-ethereum","published":{"precision":"year","text":"2024"},"publisher":"antithesis.com","title":"ethereum foundation engagement began ~1yr pre-merge","type":"primary","url":"https://antithesis.com/blog/ethereum_merge/"},{"author":null,"id":"source-0b0c98ee0c46157b731b","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-65abe2a83add8db94bb9","note":"systems distributed 2023 stealth talk; smb solved in ~45 min on 2018 cpu","originalId":"src-hp-antithesis-sdtalk","published":{"precision":"day","text":"2024-04-17"},"publisher":"antithesis.com","title":"systems distributed 2023 stealth talk","type":"primary","url":"https://antithesis.com/blog/sdtalk/"},{"author":null,"id":"source-11959e9cd7afee0f3f31","note":"wilson essay \"when your customer leads your series a\"; \"calf-path\" culture note","originalId":"src-hp-antithesis-seriesa","published":{"precision":"day","text":"2025-12-03"},"publisher":"antithesis.com","title":"wilson essay when your customer leads your series a","type":"primary","url":"https://antithesis.com/blog/2025/series_a/"},{"author":null,"id":"source-f6130f2df4cef319eb95","note":"patio11 interview; \"fuzzing for the world\"; aws parallel-invention concession; crowdstrike framing","originalId":"src-hp-complex-systems-pod","published":{"precision":"year","text":"2025"},"publisher":"complexsystemspodcast.com","title":"patio11 interview","type":"interview","url":"https://www.complexsystemspodcast.com/episodes/software-testing-with-will-wilson/"},{"author":null,"id":"source-948e128e6af8d989bdee","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-46dcb077fe084e922254","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"}]}
````