# antithesis: sources

> every source cited in the antithesis history, with its date and type.

- [nes/ag8i series kickoff](https://antithesis.com/blog/ag8bi/) — antithesis.com (2024-04-01, primary). nes/ag8i series kickoff; "never before completed by an autonomous system"
- [antithesis-research/setup/workload skills](https://antithesis.com/blog/2026/agent_skills/) — antithesis.com (2026, primary). antithesis-research/setup/workload skills; "navigates around all the sharp corners in our 8-page setup guide"
- [sometimes_each guidance](https://antithesis.com/blog/castlevania/) — antithesis.com (2024-09-20, primary). sometimes_each guidance; coverage-guided fuzzer analogy
- [extreme version of chaos engineering](https://antithesis.com/docs/introduction/how_antithesis_works/) — antithesis.com (undated, primary). "extreme version of chaos engineering"; rl guidance; multiverse timelines; pbt framing
- [core-hour metering](https://antithesis.com/docs/configuration/usage/) — antithesis.com (undated, primary). core-hour metering; ≥48 core-hours per wall-clock hour
- [hegel/bombadil open source](https://antithesis.com/docs/introduction/welcome/) — antithesis.com (undated, primary). hegel/bombadil open source; agent skills; "tests your software without you writing tests"
- [founder package](https://antithesis.com/blog/2025/antithesis_for_founders/) — antithesis.com (2025-04-30, primary). founder package; admission they turned away small buyers; enterprise-sales paradox
- [hegel launch](https://antithesis.com/blog/2026/hegel/) — antithesis.com (2026-03-24, primary). hegel launch; maciver+devoe joined nov 2025; rust first, go/c++/ocaml/ts next
- [how to make your own luck](https://antithesis.com/blog/2025/lessons_from_launch/) — antithesis.com (2025-02-13, primary). "how to make your own luck"; 6.5 years stealth; stealth's sales/recruiting costs
- [this is actually how we figured this stuff out — nes as r&d for the explorer](https://antithesis.com/blog/2025/metroid/) — antithesis.com (2025-08-22, primary). "this is actually how we figured this stuff out" — nes as r&d for the explorer
- [index-inconsistency corruption bug](https://antithesis.com/blog/mongo_bug/) — antithesis.com (2024-04-22, primary). index-inconsistency corruption bug; checkpoint probability analysis; per-100ms core dumps
- [an ounce of prevention](https://antithesis.com/blog/preventing_bugs/) — antithesis.com (undated, primary). "an ounce of prevention"; chaos-eng scope critique; hostile-by-default environment
- [aws marketplace private offers](https://antithesis.com/solutions/problems_we_solve/) — antithesis.com (undated, primary). aws marketplace private offers; no free tier ("compute-intensive by nature"); names dhyve, hegel, bombadil
- [how is antithesis different from chaos testing? faq](https://antithesis.com/product/) — antithesis.com (undated, primary). "how is antithesis different from chaos testing?" faq; deterministic hypervisor claims
- [skills catalog](https://antithesis.com/docs/ai/skills/) — antithesis.com (2026, primary). skills catalog; snouty cli; docker/podman; npm
- [breaking the wal](https://antithesis.com/blog/2026/wal-reset-bug/) — antithesis.com (2026-08-12, primary). "breaking the wal"; claude+skills reproduced sqlite wal-reset bug in ~15 min
- [$7,000/reserved-core/12-mo](https://aws.amazon.com/marketplace/pp/prodview-tznxbknxyozo4) — aws.amazon.com (undated, reference). $7,000/reserved-core/12-mo; private-offer pricing
- [trusted by palantir, mongodb, ethereum and many others](https://aws.amazon.com/marketplace/seller-profile?id=seller-r72bkjfiyczum) — aws.amazon.com (undated, reference). "trusted by palantir, mongodb, ethereum and many others"
- [kingsbury at bugbash](https://antithesis.com/bugbash/talks/finding-the-cracks/) — antithesis.com (2025, interview). kingsbury at bugbash; "simple tests" vs jepsen's complexity
- [kingsbury on the glossary](https://antithesis.com/bugbash/podcast/every-map-is-wrong/) — antithesis.com (2025, interview). kingsbury on the glossary; "reproducibility" as his unsolved problem
- [~200 seats, sold out](https://bugbash2025.antithesis.com/) — bugbash2025.antithesis.com (2025-04-03, primary). ~200 seats, sold out; yours truly dc
- [cncf-sponsored etcd×antithesis integration](https://www.cncf.io/blog/2025/09/25/autonomous-testing-of-etcds-robustness/) — cncf.io (2025-09-25, reporting). cncf-sponsored etcd×antithesis integration; v3.5 crisis context
- [peer eng org engaging determinism themes post-launch](https://www.cockroachlabs.com/blog/demonic-nondeterminism/) — cockroachlabs.com (2024-03-21, reporting). peer eng org engaging determinism themes post-launch
- [open-source deterministic hypervisor on bhyve, inspired by antithesis](https://github.com/pgraug/dhyve-src) — github (undated, reporting). open-source deterministic hypervisor on bhyve, "inspired by antithesis"
- [phil eatons dst explainer (https://notes](https://lobste.rs/s/ohajgb/what_s_big_deal_about_deterministic) — lobsters (2024-08-20, community). phil eaton's dst explainer (https://notes.eatonphil.com/2024-08-20-deterministic-simulation-testing.html); debate on where determinism belongs in the stack
- [emptysqua.re](https://emptysqua.re/blog/notes-from-antithesis-bugbash/) — emptysqua.re (2025-05-20, reporting). a. jesse jiryu davis; mongodb evaluated 2020; rare bugs reproduced in ~24h; "software correctness conference"
- [etcd-side account](https://etcd.io/blog/2025/autonomus_testing_with_antithesis/) — etcd.io (2025, reporting). etcd-side account; property-based declarative assertions; deterministic hypervisor
- [gofail→assert](https://github.com/etcd-io/etcd/blob/8ff746c2/tests/antithesis/README.md) — github (undated, primary). gofail→assert.reachable patch; antithesis-go-instrumentor; test composer config
- [foundationdb sigmod21 paper](https://www.foundationdb.org/files/fdb-paper.pdf) — foundationdb.org (2021, reporting). foundationdb sigmod'21 paper; simulation testing chapter
- [determinator on freebsd/bhyve](https://freebsdfoundation.org/antithesis-pioneering-deterministic-hypervisors-with-freebsd-and-bhyve/) — freebsdfoundation.org (2024-10, reporting). determinator on freebsd/bhyve; undated (lobste.rs proxy)
- [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) — globenewswire.com (2026-04-23, reporting). "independent, non-spoofable verification"; agents "attempt to cheat, e.g. by deleting tests"
- [cockroach labs demonic-nondeterminism post](https://news.ycombinator.com/item?id=39782761) — hacker news (2024-03-21, community). cockroach labs demonic-nondeterminism post; 138 pts
- [285 pts / 104 comments](https://news.ycombinator.com/item?id=47504094) — hacker news (2026-03-24, community). 285 pts / 104 comments
- [200 pts / 53 comments](https://news.ycombinator.com/item?id=39766222) — hacker news (2024-03-20, community). 200 pts / 53 comments
- [1,179 pts / 418 comments](https://news.ycombinator.com/item?id=39356920) — hacker news (2024-02-13, community). 1,179 pts / 418 comments; source of all verbatim hn quotes in §2–4
- [at the mountains of madness](https://news.ycombinator.com/item?id=40926439) — hacker news (2024-07-10, community). "at the mountains of madness"; 153 pts / 85 comments
- [147 pts / 32 comments](https://news.ycombinator.com/item?id=44984599) — hacker news (2025-08-22, community). 147 pts / 32 comments
- [debugging in the multiverse](https://news.ycombinator.com/item?id=41500405) — hacker news (2024-09-10, community). "debugging in the multiverse"; 201 pts / 58 comments
- [we interfaced single-threaded c++ with multi-threaded rust](https://news.ycombinator.com/item?id=46923825) — hacker news (2026-02-07, community). "we interfaced single-threaded c++ with multi-threaded rust"; 107 pts
- [how antithesis finds bugs](https://news.ycombinator.com/item?id=40068187) — hacker news (2024-04-17, community). "how antithesis finds bugs"; 160 pts / 53 comments
- [series a on hn](https://news.ycombinator.com/item?id=46134270) — hacker news (2025-12-03, community). series a on hn; 11 pts / 0 comments
- [what are skiplists good for?](https://news.ycombinator.com/item?id=47806021) — hacker news (2026-04-17, community). "what are skiplists good for?"; 290 pts / 70 comments
- [my quest to see all of tetris](https://news.ycombinator.com/item?id=48765999) — hacker news (2026-07-02, community). "my quest to see all of tetris"; 73 pts
- [162 pts / 52 comments](https://news.ycombinator.com/item?id=49277799) — hacker news (2026-08-12, community). 162 pts / 52 comments
- [from unit tests to whole universe tests video](https://news.ycombinator.com/item?id=45232596) — hacker news (2025-09-13, community). "from unit tests to whole universe tests" video; 36 pts
- [the worst bug we faced at antithesis](https://news.ycombinator.com/item?id=40428192) — hacker news (2024-05-21, community). "the worst bug we faced at antithesis"; 56 pts
- [jepsen](https://jepsen.io/blog/2025-12-02-jepsen-0.3.10) — jepsen.io (2025-12-02, reporting). jepsen.antithesis library; deterministic seeds; entropy from antithesis
- [jepsen+antithesis co-authored reliability glossary (canonical: antithesis](https://jepsen.io/blog/2025-10-20-distsys-glossary) — jepsen.io (2025-10-20, reporting). jepsen+antithesis co-authored reliability glossary (canonical: antithesis.com/docs/resources/reliability_glossary/)
- [jepsen readme](https://github.com/aphyr/jepsen/) — github (undated, reporting). jepsen readme; also lists tickloom (jepsen-integrated dst)
- [jepsen 0](https://jepsen.systems/) — jepsen.systems (undated, primary). jepsen 0.3.10 announcement; glossary; jepsen.antithesis
- [jepsen analysis](https://jepsen.io/analyses/tigerbeetle-0.16.11.pdf) — jepsen.io (2024, reference). jepsen analysis; footnote canonizes "pulse, simulant, foundationdb, and antithesis"
- [glossary announcement](https://www.linkedin.com/posts/kyle-kingsbury_a-distributed-systems-reliability-glossary-activity-7350897921749389312-dxfa) — linkedin (2025-07-15, community). glossary announcement
- [is this just fuzzing? debate](https://lobste.rs/s/hvxnh0/crushing_castlevania_with_antithesis) — lobsters (undated, community). "is this just fuzzing?" debate; employee: "we wrote our own fuzzer... iterated on it by playing a lot of nes games"
- [ahelwer/maxholl comments](https://lobste.rs/s/5j3o6o/antithesis_pioneering_deterministic) — lobsters (2024-10-14, community). ahelwer/maxholl comments; open-source desire; rr comparison
- [akshay shah, antithesis – the deterministic computer](https://mack.work/blog/antithesis) — mack.work (2026-01-20, reporting). akshay shah, "antithesis – the deterministic computer"; hn item 46694502 (10 pts)
- [risingwaves rust simulator](https://github.com/madsim-rs/madsim) — github (undated, reporting). risingwave's rust simulator; "main idea is borrowed from foundationdb and sled simulation guide"
- [surfaced novel failures](https://github.com/mongodb/mongo/wiki/Testing-MongoDB-with-Antithesis) — github (undated, reporting). "surfaced novel failures"; "improved code coverage"; ci-level integration
- [orosz + nilsson deep-dive](https://newsletter.pragmaticengineer.com/p/antithesis) — newsletter.pragmaticengineer.com (2024-11-12, primary). orosz + nilsson deep-dive; annually-reserved cores; polar signals pricing miss + in-house dst
- [bugbash announced](https://www.prnewswire.com/news-releases/antithesis-announces-its-bugbash-conference-302361415.html) — prnewswire (2025-01-28, reporting). bugbash announced; apr 3–4 2025 dc; speakers incl. mongodb/ava labs/pingcap
- [ramp, formance, tigerbeetle, hedge fund, retail trading platform](https://www.prnewswire.com/news-releases/antithesis-gains-massive-traction-in-the-fintech-world-302447002.html) — prnewswire (2025-05-06, reporting). ramp, formance, tigerbeetle, hedge fund, retail trading platform; koblov quote
- [launch](https://www.prnewswire.com/news-releases/antithesis-launches-out-of-stealth-to-revolutionize-software-reliability-302060173.html) — prnewswire (2024-02-13, reporting). launch; $47m seed; mongodb/palantir/ethereum named; danny ryan quote
- [risingwaves case for building madsim](https://risingwave.com/blog/deterministic-simulation-a-new-era-of-distributed-system-testing/) — risingwave.com (2022, primary). risingwave's case for building madsim
- [$30m feb 2025 round detail](https://sacra.com/c/antithesis/) — sacra (undated, reporting). $30m feb 2025 round detail; $20k–$100k+/yr deals; competition/risk framing
- [funding table incl](https://startupintros.com/orgs/antithesis) — startup intros (undated, reporting). funding table incl. feb 2025 $30m; $109m fy2025 revenue / ~40 clients claims (unverified)
- [embedded model checker + actor runtime](https://docs.rs/crate/stateright/latest/source/README.md) — docs.rs (undated, reporting). embedded model checker + actor runtime; tla+/tlc comparison
- [tailscales months-long wal-reset production ordeal](https://tailscale.com/blog/sqlite-wal-reset-bug) — tailscale.com (2026, reporting). tailscale's months-long wal-reset production ordeal; sqlite "never been able to reproduce the bug organically"
- [tbpn](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) — tbpndigest.com (2025-12-08, interview). tbpn; wilson on customer→investor conversion
- [lists jane street, mongodb, confluent as customers (weak source)](https://theconsensus.dev/company/antithesis.html) — theconsensus.dev (undated, reporting). lists jane street, mongodb, confluent as customers (weak source)
- [outside-in (jepsen/antithesis) vs inside-out protocol-aware dst](https://tigerbeetle.com/blog/2026-08-20-protocol-aware-dst/) — tigerbeetle.com (2026-08-20, reporting). outside-in (jepsen/antithesis) vs inside-out protocol-aware dst
- [vopr](https://github.com/tigerbeetle/tigerbeetle/blob/main/docs/internals/vopr.md) — github (undated, primary). vopr; "heavily inspired by the work of foundationdb and antithesis"
- [tokio-rs deterministic simulation family (net/fs/io_uring)](https://github.com/tokio-rs/turmoil) — github (undated, reporting). tokio-rs deterministic simulation family (net/fs/io_uring)
- [aivens 2,200 logical hours of antithesis chaos testing](https://aiven.io/blog/deterministic-simulation-testing-in-diskless-apache-kafka) — aiven.io (2025, primary). aiven's 2,200 logical hours of antithesis chaos testing
- [investor-authored dst primer](https://www.amplifypartners.com/blog-posts/a-dst-primer-for-unit-test-maxxers) — amplifypartners.com (2025, primary). investor-authored dst primer; "1 or 2 customer bugs" lore; kyle kingsbury/jepsen anecdote
- [company timeline (2009 fdb](https://antithesis.com/company/about/) — antithesis.com (2026, primary). 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
- [bug bash podcast s2e3 evidence of ongoing media arm](https://antithesis.com/bugbash/podcast/escaping-the-spaghetti/) — antithesis.com (2026-03-04, primary). bug bash podcast s2e3 evidence of ongoing media arm
- [wilson launch manifesto](https://antithesis.com/blog/is_something_bugging_you/) — antithesis.com (2024-02-13, primary). wilson launch manifesto; "$100 bill" quote; fdb simulation origin story verbatim
- [causality-analysis feature launch](https://antithesis.com/blog/2026/causality_analysis/) — antithesis.com (2026, primary). causality-analysis feature launch; kubecon etcd talk cross-ref
- [so you think you want to write a deterministic hypervisor?](https://antithesis.com/blog/deterministic_hypervisor/) — antithesis.com (2024, primary). "so you think you want to write a deterministic hypervisor?"; the determinator; whole-system determinism unit
- [dst primer](https://antithesis.com/docs/resources/deterministic_simulation_testing/) — antithesis.com (2026, primary). dst primer; credits fdb+aws simultaneous invention ~2010; cites wilson's 2014 talk as earliest recorded implementation discussion
- [cncf-sponsored etcd collaboration](https://antithesis.com/blog/2026/keeping-cloud-afloat/) — antithesis.com (2026-04-09, primary). cncf-sponsored etcd collaboration; kubecon talk; v3.5 consistency-error backstory


Published by @ben in profile revision 1.
Original document: https://hraness.com/antithesis/sources
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":"catalog","originalUrl":"https://hraness.com/antithesis/sources#catalog","title":"the catalog"}],"provenance":{"draftingDisclosure":"AI-drafted at Ben Guo's direct request and credited to Hraness; every claim links to its cataloged source.","originalAuthor":"Hraness","originalRevision":"e576f2c52788ced43cf6506b9b90aee4f6d881dd2da23d7747d21e1e542e1142","originalUrl":"https://hraness.com/antithesis/sources","source":"hraness"},"records":[],"sources":[{"author":null,"id":"source-294753e72eddd7314efe","note":"nes/ag8i series kickoff; \"never before completed by an autonomous system\"","originalId":"src-ci-ag8i","published":{"precision":"day","text":"2024-04-01"},"publisher":"antithesis.com","title":"nes/ag8i series kickoff","type":"primary","url":"https://antithesis.com/blog/ag8bi/"},{"author":null,"id":"source-db14f0730765f3426164","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-2a618c9f30b983357b86","note":"sometimes_each guidance; coverage-guided fuzzer analogy","originalId":"src-ci-antithesis-castlevania","published":{"precision":"day","text":"2024-09-20"},"publisher":"antithesis.com","title":"sometimes_each guidance","type":"primary","url":"https://antithesis.com/blog/castlevania/"},{"author":null,"id":"source-fc25e4c1e5fcf152723f","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-723014eeb246fe156c1b","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-bf04d5480d318e79f874","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-442b0cd33c81b7b820ff","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-0fb142dd0bd7194b3777","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-c52fa5298d9c68c996c5","note":"\"how to make your own luck\"; 6.5 years stealth; stealth's sales/recruiting costs","originalId":"src-ci-antithesis-make-luck","published":{"precision":"day","text":"2025-02-13"},"publisher":"antithesis.com","title":"how to make your own luck","type":"primary","url":"https://antithesis.com/blog/2025/lessons_from_launch/"},{"author":null,"id":"source-e240819d96443f43dcc2","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-8d70d230696c565ae269","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-f754f2e0dcef7ad9183b","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-1107cd97a9472cebcba9","note":"aws marketplace private offers; no free tier (\"compute-intensive by nature\"); names dhyve, hegel, bombadil","originalId":"src-ci-antithesis-problems-faq","published":{"precision":"unknown","text":"undated"},"publisher":"antithesis.com","title":"aws marketplace private offers","type":"primary","url":"https://antithesis.com/solutions/problems_we_solve/"},{"author":null,"id":"source-384238fd9e8043c6e799","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-61bdf707a0bc7e3ecfe7","note":"skills catalog; snouty cli; docker/podman; npm","originalId":"src-ci-antithesis-skills-docs","published":{"precision":"year","text":"2026"},"publisher":"antithesis.com","title":"skills catalog","type":"primary","url":"https://antithesis.com/docs/ai/skills/"},{"author":null,"id":"source-fda2d3471c080f5ced64","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-4a336967fda44ce9a7ec","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-c1238a9c1b0d7a829dcd","note":"\"trusted by palantir, mongodb, ethereum and many others\"","originalId":"src-ci-aws-seller","published":{"precision":"unknown","text":"undated"},"publisher":"aws.amazon.com","title":"trusted by palantir, mongodb, ethereum and many others","type":"reference","url":"https://aws.amazon.com/marketplace/seller-profile?id=seller-r72bkjfiyczum"},{"author":null,"id":"source-bb7362a11d6cfed24653","note":"kingsbury at bugbash; \"simple tests\" vs jepsen's complexity","originalId":"src-ci-bugbash-kingsbury-talk","published":{"precision":"year","text":"2025"},"publisher":"antithesis.com","title":"kingsbury at bugbash","type":"interview","url":"https://antithesis.com/bugbash/talks/finding-the-cracks/"},{"author":null,"id":"source-506f7d095b3ab592a17d","note":"kingsbury on the glossary; \"reproducibility\" as his unsolved problem","originalId":"src-ci-bugbash-podcast-kingsbury","published":{"precision":"year","text":"2025"},"publisher":"antithesis.com","title":"kingsbury on the glossary","type":"interview","url":"https://antithesis.com/bugbash/podcast/every-map-is-wrong/"},{"author":null,"id":"source-4e9eb00f7eba6ad97ed5","note":"~200 seats, sold out; yours truly dc","originalId":"src-ci-bugbash2025","published":{"precision":"day","text":"2025-04-03"},"publisher":"bugbash2025.antithesis.com","title":"~200 seats, sold out","type":"primary","url":"https://bugbash2025.antithesis.com/"},{"author":null,"id":"source-b9c27a4e16be9a1a7677","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-d44586a3e63bd188168c","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-c005902ee77c3026f522","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-3056baeae7755abd610c","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-4580cb8ca86c9f33cb36","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-754ef075eb6eb70bfd0c","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-1979d732e36b30231456","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-2dc0347d8900e6da36cc","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-f7d9b9ce955794264b71","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-35ccfa70f78b524f7c60","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-bea2420c191e6d51d59c","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-2a3274523fc50487e6f5","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-b7301eb6fe40d8dd37c1","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-fa14b6e4c14fbebbb578","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-136270c2b99b18d97189","note":"\"at the mountains of madness\"; 153 pts / 85 comments","originalId":"src-ci-hn-madness","published":{"precision":"day","text":"2024-07-10"},"publisher":"hacker news","title":"at the mountains of madness","type":"community","url":"https://news.ycombinator.com/item?id=40926439"},{"author":null,"id":"source-8e0de143e6318af57830","note":"147 pts / 32 comments","originalId":"src-ci-hn-metroid","published":{"precision":"day","text":"2025-08-22"},"publisher":"hacker news","title":"147 pts / 32 comments","type":"community","url":"https://news.ycombinator.com/item?id=44984599"},{"author":null,"id":"source-3b31f0835e2a92a3496e","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-4fd9b0310ccb797ce5af","note":"\"we interfaced single-threaded c++ with multi-threaded rust\"; 107 pts","originalId":"src-ci-hn-rustcpp","published":{"precision":"day","text":"2026-02-07"},"publisher":"hacker news","title":"we interfaced single-threaded c++ with multi-threaded rust","type":"community","url":"https://news.ycombinator.com/item?id=46923825"},{"author":null,"id":"source-ff88a7baa2f8f2910d66","note":"\"how antithesis finds bugs\"; 160 pts / 53 comments","originalId":"src-ci-hn-sdtalk","published":{"precision":"day","text":"2024-04-17"},"publisher":"hacker news","title":"how antithesis finds bugs","type":"community","url":"https://news.ycombinator.com/item?id=40068187"},{"author":null,"id":"source-cbf9a88c697a9954ab21","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-2ccb3306fe68c4a5d767","note":"\"what are skiplists good for?\"; 290 pts / 70 comments","originalId":"src-ci-hn-skiptrees","published":{"precision":"day","text":"2026-04-17"},"publisher":"hacker news","title":"what are skiplists good for?","type":"community","url":"https://news.ycombinator.com/item?id=47806021"},{"author":null,"id":"source-72104ca54d506a170c17","note":"\"my quest to see all of tetris\"; 73 pts","originalId":"src-ci-hn-tetris","published":{"precision":"day","text":"2026-07-02"},"publisher":"hacker news","title":"my quest to see all of tetris","type":"community","url":"https://news.ycombinator.com/item?id=48765999"},{"author":null,"id":"source-b3b188fed4b97c6b2d12","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-807a684013a4740ed7f3","note":"\"from unit tests to whole universe tests\" video; 36 pts","originalId":"src-ci-hn-wilson-video","published":{"precision":"day","text":"2025-09-13"},"publisher":"hacker news","title":"from unit tests to whole universe tests video","type":"community","url":"https://news.ycombinator.com/item?id=45232596"},{"author":null,"id":"source-a382d8a837a736e7ce3b","note":"\"the worst bug we faced at antithesis\"; 56 pts","originalId":"src-ci-hn-worstbug","published":{"precision":"day","text":"2024-05-21"},"publisher":"hacker news","title":"the worst bug we faced at antithesis","type":"community","url":"https://news.ycombinator.com/item?id=40428192"},{"author":null,"id":"source-4627c6e7550992ce308d","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-0ed8644320037ce17e99","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-e3ec816f90198e016546","note":"jepsen readme; also lists tickloom (jepsen-integrated dst)","originalId":"src-ci-jepsen-repo","published":{"precision":"unknown","text":"undated"},"publisher":"github","title":"jepsen readme","type":"reporting","url":"https://github.com/aphyr/jepsen/"},{"author":null,"id":"source-7918289e441d26a436ea","note":"jepsen 0.3.10 announcement; glossary; jepsen.antithesis","originalId":"src-ci-jepsen-systems","published":{"precision":"unknown","text":"undated"},"publisher":"jepsen.systems","title":"jepsen 0","type":"primary","url":"https://jepsen.systems/"},{"author":null,"id":"source-5970ec053007be14b88e","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-9a9da86002e6cf2ccfb8","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-aef54ec5eedaf9272b38","note":"\"is this just fuzzing?\" debate; employee: \"we wrote our own fuzzer... iterated on it by playing a lot of nes games\"","originalId":"src-ci-lobsters-castlevania","published":{"precision":"unknown","text":"undated"},"publisher":"lobsters","title":"is this just fuzzing? debate","type":"community","url":"https://lobste.rs/s/hvxnh0/crushing_castlevania_with_antithesis"},{"author":null,"id":"source-493000b611b79e91a891","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-ded86ed02f5cc1ec7170","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-5ca2b739ac52d1871f0d","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-d17a34596daf170e2d68","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-2fa17c5b74353d76ee37","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-6bbda919bab9173764ea","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-ef7deb7fe82742e69066","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-ffff66b3ab35c63795aa","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-dcfa4cfb9b157cf3a172","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-05ff40ade2ec7eb6d1c7","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-f7cd428713f9be581350","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-06613e915ab5bf5a7e17","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-a83ad147f2a1ab449b37","note":"tailscale's months-long wal-reset production ordeal; sqlite \"never been able to reproduce the bug organically\"","originalId":"src-ci-tailscale-wal","published":{"precision":"year","text":"2026"},"publisher":"tailscale.com","title":"tailscales months-long wal-reset production ordeal","type":"reporting","url":"https://tailscale.com/blog/sqlite-wal-reset-bug"},{"author":null,"id":"source-a72234a06c8801d06654","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-cab3e4f9f8d7a9b3e34b","note":"lists jane street, mongodb, confluent as customers (weak source)","originalId":"src-ci-theconsensus","published":{"precision":"unknown","text":"undated"},"publisher":"theconsensus.dev","title":"lists jane street, mongodb, confluent as customers (weak source)","type":"reporting","url":"https://theconsensus.dev/company/antithesis.html"},{"author":null,"id":"source-e5b7e17c25f36a8c98e5","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-ac2d81faf3f021ebcb07","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-f7f3cc5f24a4060ad0a7","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-52c343a97629afa1ca35","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-a2711a6079064b455fcf","note":"investor-authored dst primer; \"1 or 2 customer bugs\" lore; kyle kingsbury/jepsen anecdote","originalId":"src-hp-amplify-dst-primer","published":{"precision":"year","text":"2025"},"publisher":"amplifypartners.com","title":"investor-authored dst primer","type":"primary","url":"https://www.amplifypartners.com/blog-posts/a-dst-primer-for-unit-test-maxxers"},{"author":null,"id":"source-aeb3bad2b0a038ff48e9","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-e40c541cee2fd3c29e03","note":"bug bash podcast s2e3 evidence of ongoing media arm","originalId":"src-hp-antithesis-bugbash-pod","published":{"precision":"day","text":"2026-03-04"},"publisher":"antithesis.com","title":"bug bash podcast s2e3 evidence of ongoing media arm","type":"primary","url":"https://antithesis.com/bugbash/podcast/escaping-the-spaghetti/"},{"author":null,"id":"source-eb06162a94cc95ef4420","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-a9ade6644e922c0a1706","note":"causality-analysis feature launch; kubecon etcd talk cross-ref","originalId":"src-hp-antithesis-causality","published":{"precision":"year","text":"2026"},"publisher":"antithesis.com","title":"causality-analysis feature launch","type":"primary","url":"https://antithesis.com/blog/2026/causality_analysis/"},{"author":null,"id":"source-ad09d3b0fbd618cbcc88","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-a05d69a5a96ea95bb832","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-24c35b0d117bd10000df","note":"cncf-sponsored etcd collaboration; kubecon talk; v3.5 consistency-error backstory","originalId":"src-hp-antithesis-etcd","published":{"precision":"day","text":"2026-04-09"},"publisher":"antithesis.com","title":"cncf-sponsored etcd collaboration","type":"primary","url":"https://antithesis.com/blog/2026/keeping-cloud-afloat/"}]}
````