Public dossier section · @ben
sources
This is @ben's profile revision 1. The original date and editorial confidence below are attributed to its publisher, not independent verification.
Original credited author: Hraness
AI-drafted at Ben Guo's direct request and credited to Hraness; every claim links to its cataloged source.
Back to the full profile · Markdown version · Original document
Published text
antithesis: sources
every source cited in the antithesis history, with its date and type.
- nes/ag8i series kickoff — antithesis.com (2024-04-01, primary). nes/ag8i series kickoff; "never before completed by an autonomous system"
- antithesis-research/setup/workload 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 — antithesis.com (2024-09-20, primary). sometimes_each guidance; coverage-guided fuzzer analogy
- extreme version of chaos engineering — antithesis.com (undated, primary). "extreme version of chaos engineering"; rl guidance; multiverse timelines; pbt framing
- core-hour metering — antithesis.com (undated, primary). core-hour metering; ≥48 core-hours per wall-clock hour
- hegel/bombadil open source — antithesis.com (undated, primary). hegel/bombadil open source; agent skills; "tests your software without you writing tests"
- founder package — antithesis.com (2025-04-30, primary). founder package; admission they turned away small buyers; enterprise-sales paradox
- hegel launch — 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 — 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 — 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 — antithesis.com (2024-04-22, primary). index-inconsistency corruption bug; checkpoint probability analysis; per-100ms core dumps
- an ounce of prevention — antithesis.com (undated, primary). "an ounce of prevention"; chaos-eng scope critique; hostile-by-default environment
- aws marketplace private offers — 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 — antithesis.com (undated, primary). "how is antithesis different from chaos testing?" faq; deterministic hypervisor claims
- skills catalog — antithesis.com (2026, primary). skills catalog; snouty cli; docker/podman; npm
- breaking the wal — 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 — aws.amazon.com (undated, reference). $7,000/reserved-core/12-mo; private-offer pricing
- trusted by palantir, mongodb, ethereum and many others — aws.amazon.com (undated, reference). "trusted by palantir, mongodb, ethereum and many others"
- kingsbury at bugbash — antithesis.com (2025, interview). kingsbury at bugbash; "simple tests" vs jepsen's complexity
- kingsbury on the glossary — antithesis.com (2025, interview). kingsbury on the glossary; "reproducibility" as his unsolved problem
- ~200 seats, sold out — bugbash2025.antithesis.com (2025-04-03, primary). ~200 seats, sold out; yours truly dc
- cncf-sponsored etcd×antithesis integration — cncf.io (2025-09-25, reporting). cncf-sponsored etcd×antithesis integration; v3.5 crisis context
- peer eng org engaging determinism themes post-launch — cockroachlabs.com (2024-03-21, reporting). peer eng org engaging determinism themes post-launch
- open-source deterministic hypervisor on bhyve, inspired by antithesis — github (undated, reporting). open-source deterministic hypervisor on bhyve, "inspired by antithesis"
- phil eatons dst explainer (https://notes — 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 — emptysqua.re (2025-05-20, reporting). a. jesse jiryu davis; mongodb evaluated 2020; rare bugs reproduced in ~24h; "software correctness conference"
- etcd-side account — etcd.io (2025, reporting). etcd-side account; property-based declarative assertions; deterministic hypervisor
- gofail→assert — github (undated, primary). gofail→assert.reachable patch; antithesis-go-instrumentor; test composer config
- foundationdb sigmod21 paper — foundationdb.org (2021, reporting). foundationdb sigmod'21 paper; simulation testing chapter
- determinator on freebsd/bhyve — freebsdfoundation.org (2024-10, reporting). determinator on freebsd/bhyve; undated (lobste.rs proxy)
- independent, non-spoofable verification — globenewswire.com (2026-04-23, reporting). "independent, non-spoofable verification"; agents "attempt to cheat, e.g. by deleting tests"
- cockroach labs demonic-nondeterminism post — hacker news (2024-03-21, community). cockroach labs demonic-nondeterminism post; 138 pts
- 285 pts / 104 comments — hacker news (2026-03-24, community). 285 pts / 104 comments
- 200 pts / 53 comments — hacker news (2024-03-20, community). 200 pts / 53 comments
- 1,179 pts / 418 comments — 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 — hacker news (2024-07-10, community). "at the mountains of madness"; 153 pts / 85 comments
- 147 pts / 32 comments — hacker news (2025-08-22, community). 147 pts / 32 comments
- debugging in the multiverse — hacker news (2024-09-10, community). "debugging in the multiverse"; 201 pts / 58 comments
- we interfaced single-threaded c++ with multi-threaded rust — hacker news (2026-02-07, community). "we interfaced single-threaded c++ with multi-threaded rust"; 107 pts
- how antithesis finds bugs — hacker news (2024-04-17, community). "how antithesis finds bugs"; 160 pts / 53 comments
- series a on hn — hacker news (2025-12-03, community). series a on hn; 11 pts / 0 comments
- what are skiplists good for? — hacker news (2026-04-17, community). "what are skiplists good for?"; 290 pts / 70 comments
- my quest to see all of tetris — hacker news (2026-07-02, community). "my quest to see all of tetris"; 73 pts
- 162 pts / 52 comments — hacker news (2026-08-12, community). 162 pts / 52 comments
- from unit tests to whole universe tests video — hacker news (2025-09-13, community). "from unit tests to whole universe tests" video; 36 pts
- the worst bug we faced at antithesis — hacker news (2024-05-21, community). "the worst bug we faced at antithesis"; 56 pts
- jepsen — jepsen.io (2025-12-02, reporting). jepsen.antithesis library; deterministic seeds; entropy from antithesis
- jepsen+antithesis co-authored reliability glossary (canonical: antithesis — jepsen.io (2025-10-20, reporting). jepsen+antithesis co-authored reliability glossary (canonical: antithesis.com/docs/resources/reliability_glossary/)
- jepsen readme — github (undated, reporting). jepsen readme; also lists tickloom (jepsen-integrated dst)
- jepsen 0 — jepsen.systems (undated, primary). jepsen 0.3.10 announcement; glossary; jepsen.antithesis
- jepsen analysis — jepsen.io (2024, reference). jepsen analysis; footnote canonizes "pulse, simulant, foundationdb, and antithesis"
- glossary announcement — linkedin (2025-07-15, community). glossary announcement
- is this just fuzzing? debate — 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 — lobsters (2024-10-14, community). ahelwer/maxholl comments; open-source desire; rr comparison
- akshay shah, antithesis – the deterministic computer — mack.work (2026-01-20, reporting). akshay shah, "antithesis – the deterministic computer"; hn item 46694502 (10 pts)
- risingwaves rust simulator — github (undated, reporting). risingwave's rust simulator; "main idea is borrowed from foundationdb and sled simulation guide"
- surfaced novel failures — github (undated, reporting). "surfaced novel failures"; "improved code coverage"; ci-level integration
- orosz + nilsson deep-dive — newsletter.pragmaticengineer.com (2024-11-12, primary). orosz + nilsson deep-dive; annually-reserved cores; polar signals pricing miss + in-house dst
- bugbash announced — 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 — prnewswire (2025-05-06, reporting). ramp, formance, tigerbeetle, hedge fund, retail trading platform; koblov quote
- launch — prnewswire (2024-02-13, reporting). launch; $47m seed; mongodb/palantir/ethereum named; danny ryan quote
- risingwaves case for building madsim — risingwave.com (2022, primary). risingwave's case for building madsim
- $30m feb 2025 round detail — sacra (undated, reporting). $30m feb 2025 round detail; $20k–$100k+/yr deals; competition/risk framing
- funding table incl — startup intros (undated, reporting). funding table incl. feb 2025 $30m; $109m fy2025 revenue / ~40 clients claims (unverified)
- embedded model checker + actor runtime — docs.rs (undated, reporting). embedded model checker + actor runtime; tla+/tlc comparison
- tailscales months-long wal-reset production ordeal — tailscale.com (2026, reporting). tailscale's months-long wal-reset production ordeal; sqlite "never been able to reproduce the bug organically"
- tbpn — tbpndigest.com (2025-12-08, interview). tbpn; wilson on customer→investor conversion
- lists jane street, mongodb, confluent as customers (weak source) — theconsensus.dev (undated, reporting). lists jane street, mongodb, confluent as customers (weak source)
- outside-in (jepsen/antithesis) vs inside-out protocol-aware dst — tigerbeetle.com (2026-08-20, reporting). outside-in (jepsen/antithesis) vs inside-out protocol-aware dst
- vopr — github (undated, primary). vopr; "heavily inspired by the work of foundationdb and antithesis"
- tokio-rs deterministic simulation family (net/fs/io_uring) — github (undated, reporting). tokio-rs deterministic simulation family (net/fs/io_uring)
- aivens 2,200 logical hours of antithesis chaos testing — aiven.io (2025, primary). aiven's 2,200 logical hours of antithesis chaos testing
- investor-authored dst primer — amplifypartners.com (2025, primary). investor-authored dst primer; "1 or 2 customer bugs" lore; kyle kingsbury/jepsen anecdote
- company timeline (2009 fdb — 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 — antithesis.com (2026-03-04, primary). bug bash podcast s2e3 evidence of ongoing media arm
- wilson launch manifesto — antithesis.com (2024-02-13, primary). wilson launch manifesto; "$100 bill" quote; fdb simulation origin story verbatim
- causality-analysis feature launch — antithesis.com (2026, primary). causality-analysis feature launch; kubecon etcd talk cross-ref
- so you think you want to write a deterministic hypervisor? — antithesis.com (2024, primary). "so you think you want to write a deterministic hypervisor?"; the determinator; whole-system determinism unit
- dst primer — 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 — antithesis.com (2026-04-09, primary). cncf-sponsored etcd collaboration; kubecon talk; v3.5 consistency-error backstory
Original source occurrences
- nes/ag8i series kickoff · antithesis.com · 2024-04-01 (day) · original ID: src-ci-ag8i · Other public citations of this URL
nes/ag8i series kickoff; "never before completed by an autonomous system"
- antithesis-research/setup/workload skills · antithesis.com · 2026 (year) · original ID: src-ci-antithesis-agent-skills · Other public citations of this URL
antithesis-research/setup/workload skills; "navigates around all the sharp corners in our 8-page setup guide"
- sometimes_each guidance · antithesis.com · 2024-09-20 (day) · original ID: src-ci-antithesis-castlevania · Other public citations of this URL
sometimes_each guidance; coverage-guided fuzzer analogy
- extreme version of chaos engineering · antithesis.com · undated (unknown) · original ID: src-ci-antithesis-docs-how · Other public citations of this URL
"extreme version of chaos engineering"; rl guidance; multiverse timelines; pbt framing
- core-hour metering · antithesis.com · undated (unknown) · original ID: src-ci-antithesis-docs-usage · Other public citations of this URL
core-hour metering; ≥48 core-hours per wall-clock hour
- hegel/bombadil open source · antithesis.com · undated (unknown) · original ID: src-ci-antithesis-docs-welcome · Other public citations of this URL
hegel/bombadil open source; agent skills; "tests your software without you writing tests"
- founder package · antithesis.com · 2025-04-30 (day) · original ID: src-ci-antithesis-founders · Other public citations of this URL
founder package; admission they turned away small buyers; enterprise-sales paradox
- hegel launch · antithesis.com · 2026-03-24 (day) · original ID: src-ci-antithesis-hegel · Other public citations of this URL
hegel launch; maciver+devoe joined nov 2025; rust first, go/c++/ocaml/ts next
- how to make your own luck · antithesis.com · 2025-02-13 (day) · original ID: src-ci-antithesis-make-luck · Other public citations of this URL
"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 · antithesis.com · 2025-08-22 (day) · original ID: src-ci-antithesis-metroid · Other public citations of this URL
"this is actually how we figured this stuff out" — nes as r&d for the explorer
- index-inconsistency corruption bug · antithesis.com · 2024-04-22 (day) · original ID: src-ci-antithesis-mongo-bug · Other public citations of this URL
index-inconsistency corruption bug; checkpoint probability analysis; per-100ms core dumps
- an ounce of prevention · antithesis.com · undated (unknown) · original ID: src-ci-antithesis-preventing-bugs · Other public citations of this URL
"an ounce of prevention"; chaos-eng scope critique; hostile-by-default environment
- aws marketplace private offers · antithesis.com · undated (unknown) · original ID: src-ci-antithesis-problems-faq · Other public citations of this URL
aws marketplace private offers; no free tier ("compute-intensive by nature"); names dhyve, hegel, bombadil
- how is antithesis different from chaos testing? faq · antithesis.com · undated (unknown) · original ID: src-ci-antithesis-product-faq · Other public citations of this URL
"how is antithesis different from chaos testing?" faq; deterministic hypervisor claims
- skills catalog · antithesis.com · 2026 (year) · original ID: src-ci-antithesis-skills-docs · Other public citations of this URL
skills catalog; snouty cli; docker/podman; npm
- breaking the wal · antithesis.com · 2026-08-12 (day) · original ID: src-ci-antithesis-wal · Other public citations of this URL
"breaking the wal"; claude+skills reproduced sqlite wal-reset bug in ~15 min
- $7,000/reserved-core/12-mo · aws.amazon.com · undated (unknown) · original ID: src-ci-aws-marketplace · Other public citations of this URL
$7,000/reserved-core/12-mo; private-offer pricing
- trusted by palantir, mongodb, ethereum and many others · aws.amazon.com · undated (unknown) · original ID: src-ci-aws-seller · Other public citations of this URL
"trusted by palantir, mongodb, ethereum and many others"
- kingsbury at bugbash · antithesis.com · 2025 (year) · original ID: src-ci-bugbash-kingsbury-talk · Other public citations of this URL
kingsbury at bugbash; "simple tests" vs jepsen's complexity
- kingsbury on the glossary · antithesis.com · 2025 (year) · original ID: src-ci-bugbash-podcast-kingsbury · Other public citations of this URL
kingsbury on the glossary; "reproducibility" as his unsolved problem
- ~200 seats, sold out · bugbash2025.antithesis.com · 2025-04-03 (day) · original ID: src-ci-bugbash2025 · Other public citations of this URL
~200 seats, sold out; yours truly dc
- cncf-sponsored etcd×antithesis integration · cncf.io · 2025-09-25 (day) · original ID: src-ci-cncf-etcd · Other public citations of this URL
cncf-sponsored etcd×antithesis integration; v3.5 crisis context
- peer eng org engaging determinism themes post-launch · cockroachlabs.com · 2024-03-21 (day) · original ID: src-ci-cockroachlabs-demonic · Other public citations of this URL
peer eng org engaging determinism themes post-launch
- open-source deterministic hypervisor on bhyve, inspired by antithesis · github · undated (unknown) · original ID: src-ci-dhyve · Other public citations of this URL
open-source deterministic hypervisor on bhyve, "inspired by antithesis"
- phil eatons dst explainer (https://notes · lobsters · 2024-08-20 (day) · original ID: src-ci-eatonphil-dst-notes · Other public citations of this URL
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 · emptysqua.re · 2025-05-20 (day) · original ID: src-ci-emptysquare-bugbash · Other public citations of this URL
a. jesse jiryu davis; mongodb evaluated 2020; rare bugs reproduced in ~24h; "software correctness conference"
- etcd-side account · etcd.io · 2025 (year) · original ID: src-ci-etcd-blog · Other public citations of this URL
etcd-side account; property-based declarative assertions; deterministic hypervisor
- gofail→assert · github · undated (unknown) · original ID: src-ci-etcd-github · Other public citations of this URL
gofail→assert.reachable patch; antithesis-go-instrumentor; test composer config
- foundationdb sigmod21 paper · foundationdb.org · 2021 (year) · original ID: src-ci-fdb-paper · Other public citations of this URL
foundationdb sigmod'21 paper; simulation testing chapter
- determinator on freebsd/bhyve · freebsdfoundation.org · 2024-10 (month) · original ID: src-ci-freebsd · Other public citations of this URL
determinator on freebsd/bhyve; undated (lobste.rs proxy)
- independent, non-spoofable verification · globenewswire.com · 2026-04-23 (day) · original ID: src-ci-globenewswire-ai · Other public citations of this URL
"independent, non-spoofable verification"; agents "attempt to cheat, e.g. by deleting tests"
- cockroach labs demonic-nondeterminism post · hacker news · 2024-03-21 (day) · original ID: src-ci-hn-cockroach · Other public citations of this URL
cockroach labs demonic-nondeterminism post; 138 pts
- 285 pts / 104 comments · hacker news · 2026-03-24 (day) · original ID: src-ci-hn-hegel · Other public citations of this URL
285 pts / 104 comments
- 200 pts / 53 comments · hacker news · 2024-03-20 (day) · original ID: src-ci-hn-hypervisor · Other public citations of this URL
200 pts / 53 comments
- 1,179 pts / 418 comments · hacker news · 2024-02-13 (day) · original ID: src-ci-hn-launch-thread · Other public citations of this URL
1,179 pts / 418 comments; source of all verbatim hn quotes in §2–4
- at the mountains of madness · hacker news · 2024-07-10 (day) · original ID: src-ci-hn-madness · Other public citations of this URL
"at the mountains of madness"; 153 pts / 85 comments
- 147 pts / 32 comments · hacker news · 2025-08-22 (day) · original ID: src-ci-hn-metroid · Other public citations of this URL
147 pts / 32 comments
- debugging in the multiverse · hacker news · 2024-09-10 (day) · original ID: src-ci-hn-multiverse · Other public citations of this URL
"debugging in the multiverse"; 201 pts / 58 comments
- we interfaced single-threaded c++ with multi-threaded rust · hacker news · 2026-02-07 (day) · original ID: src-ci-hn-rustcpp · Other public citations of this URL
"we interfaced single-threaded c++ with multi-threaded rust"; 107 pts
- how antithesis finds bugs · hacker news · 2024-04-17 (day) · original ID: src-ci-hn-sdtalk · Other public citations of this URL
"how antithesis finds bugs"; 160 pts / 53 comments
- series a on hn · hacker news · 2025-12-03 (day) · original ID: src-ci-hn-seriesa · Other public citations of this URL
series a on hn; 11 pts / 0 comments
- what are skiplists good for? · hacker news · 2026-04-17 (day) · original ID: src-ci-hn-skiptrees · Other public citations of this URL
"what are skiplists good for?"; 290 pts / 70 comments
- my quest to see all of tetris · hacker news · 2026-07-02 (day) · original ID: src-ci-hn-tetris · Other public citations of this URL
"my quest to see all of tetris"; 73 pts
- 162 pts / 52 comments · hacker news · 2026-08-12 (day) · original ID: src-ci-hn-wal · Other public citations of this URL
162 pts / 52 comments
- from unit tests to whole universe tests video · hacker news · 2025-09-13 (day) · original ID: src-ci-hn-wilson-video · Other public citations of this URL
"from unit tests to whole universe tests" video; 36 pts
- the worst bug we faced at antithesis · hacker news · 2024-05-21 (day) · original ID: src-ci-hn-worstbug · Other public citations of this URL
"the worst bug we faced at antithesis"; 56 pts
- jepsen · jepsen.io · 2025-12-02 (day) · original ID: src-ci-jepsen-0310 · Other public citations of this URL
jepsen.antithesis library; deterministic seeds; entropy from antithesis
- jepsen+antithesis co-authored reliability glossary (canonical: antithesis · jepsen.io · 2025-10-20 (day) · original ID: src-ci-jepsen-glossary · Other public citations of this URL
jepsen+antithesis co-authored reliability glossary (canonical: antithesis.com/docs/resources/reliability_glossary/)
- jepsen readme · github · undated (unknown) · original ID: src-ci-jepsen-repo · Other public citations of this URL
jepsen readme; also lists tickloom (jepsen-integrated dst)
- jepsen 0 · jepsen.systems · undated (unknown) · original ID: src-ci-jepsen-systems · Other public citations of this URL
jepsen 0.3.10 announcement; glossary; jepsen.antithesis
- jepsen analysis · jepsen.io · 2024 (year) · original ID: src-ci-jepsen-tigerbeetle · Other public citations of this URL
jepsen analysis; footnote canonizes "pulse, simulant, foundationdb, and antithesis"
- glossary announcement · linkedin · 2025-07-15 (day) · original ID: src-ci-kingsbury-linkedin · Other public citations of this URL
glossary announcement
- is this just fuzzing? debate · lobsters · undated (unknown) · original ID: src-ci-lobsters-castlevania · Other public citations of this URL
"is this just fuzzing?" debate; employee: "we wrote our own fuzzer... iterated on it by playing a lot of nes games"
- ahelwer/maxholl comments · lobsters · 2024-10-14 (day) · original ID: src-ci-lobsters-freebsd · Other public citations of this URL
ahelwer/maxholl comments; open-source desire; rr comparison
- akshay shah, antithesis – the deterministic computer · mack.work · 2026-01-20 (day) · original ID: src-ci-mackwork · Other public citations of this URL
akshay shah, "antithesis – the deterministic computer"; hn item 46694502 (10 pts)
- risingwaves rust simulator · github · undated (unknown) · original ID: src-ci-madsim · Other public citations of this URL
risingwave's rust simulator; "main idea is borrowed from foundationdb and sled simulation guide"
- surfaced novel failures · github · undated (unknown) · original ID: src-ci-mongo-wiki · Other public citations of this URL
"surfaced novel failures"; "improved code coverage"; ci-level integration
- orosz + nilsson deep-dive · newsletter.pragmaticengineer.com · 2024-11-12 (day) · original ID: src-ci-pragmatic-engineer · Other public citations of this URL
orosz + nilsson deep-dive; annually-reserved cores; polar signals pricing miss + in-house dst
- bugbash announced · prnewswire · 2025-01-28 (day) · original ID: src-ci-prnewswire-bugbash · Other public citations of this URL
bugbash announced; apr 3–4 2025 dc; speakers incl. mongodb/ava labs/pingcap
- ramp, formance, tigerbeetle, hedge fund, retail trading platform · prnewswire · 2025-05-06 (day) · original ID: src-ci-prnewswire-fintech · Other public citations of this URL
ramp, formance, tigerbeetle, hedge fund, retail trading platform; koblov quote
- launch · prnewswire · 2024-02-13 (day) · original ID: src-ci-prnewswire-launch · Other public citations of this URL
launch; $47m seed; mongodb/palantir/ethereum named; danny ryan quote
- risingwaves case for building madsim · risingwave.com · 2022 (year) · original ID: src-ci-risingwave-dst · Other public citations of this URL
risingwave's case for building madsim
- $30m feb 2025 round detail · sacra · undated (unknown) · original ID: src-ci-sacra · Other public citations of this URL
$30m feb 2025 round detail; $20k–$100k+/yr deals; competition/risk framing
- funding table incl · startup intros · undated (unknown) · original ID: src-ci-startupintros · Other public citations of this URL
funding table incl. feb 2025 $30m; $109m fy2025 revenue / ~40 clients claims (unverified)
- embedded model checker + actor runtime · docs.rs · undated (unknown) · original ID: src-ci-stateright · Other public citations of this URL
embedded model checker + actor runtime; tla+/tlc comparison
- tailscales months-long wal-reset production ordeal · tailscale.com · 2026 (year) · original ID: src-ci-tailscale-wal · Other public citations of this URL
tailscale's months-long wal-reset production ordeal; sqlite "never been able to reproduce the bug organically"
- tbpn · tbpndigest.com · 2025-12-08 (day) · original ID: src-ci-tbpn-wilson · Other public citations of this URL
tbpn; wilson on customer→investor conversion
- lists jane street, mongodb, confluent as customers (weak source) · theconsensus.dev · undated (unknown) · original ID: src-ci-theconsensus · Other public citations of this URL
lists jane street, mongodb, confluent as customers (weak source)
- outside-in (jepsen/antithesis) vs inside-out protocol-aware dst · tigerbeetle.com · 2026-08-20 (day) · original ID: src-ci-tigerbeetle-protocol-dst · Other public citations of this URL
outside-in (jepsen/antithesis) vs inside-out protocol-aware dst
- vopr · github · undated (unknown) · original ID: src-ci-tigerbeetle-vopr-docs · Other public citations of this URL
vopr; "heavily inspired by the work of foundationdb and antithesis"
- tokio-rs deterministic simulation family (net/fs/io_uring) · github · undated (unknown) · original ID: src-ci-turmoil · Other public citations of this URL
tokio-rs deterministic simulation family (net/fs/io_uring)
- aivens 2,200 logical hours of antithesis chaos testing · aiven.io · 2025 (year) · original ID: src-hp-aiven-dst · Other public citations of this URL
aiven's 2,200 logical hours of antithesis chaos testing
- investor-authored dst primer · amplifypartners.com · 2025 (year) · original ID: src-hp-amplify-dst-primer · Other public citations of this URL
investor-authored dst primer; "1 or 2 customer bugs" lore; kyle kingsbury/jepsen anecdote
- company timeline (2009 fdb · antithesis.com · 2026 (year) · original ID: src-hp-antithesis-about · Other public citations of this URL
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 · antithesis.com · 2026-03-04 (day) · original ID: src-hp-antithesis-bugbash-pod · Other public citations of this URL
bug bash podcast s2e3 evidence of ongoing media arm
- wilson launch manifesto · antithesis.com · 2024-02-13 (day) · original ID: src-hp-antithesis-bugging · Other public citations of this URL
wilson launch manifesto; "$100 bill" quote; fdb simulation origin story verbatim
- causality-analysis feature launch · antithesis.com · 2026 (year) · original ID: src-hp-antithesis-causality · Other public citations of this URL
causality-analysis feature launch; kubecon etcd talk cross-ref
- so you think you want to write a deterministic hypervisor? · antithesis.com · 2024 (year) · original ID: src-hp-antithesis-determinator · Other public citations of this URL
"so you think you want to write a deterministic hypervisor?"; the determinator; whole-system determinism unit
- dst primer · antithesis.com · 2026 (year) · original ID: src-hp-antithesis-dst-docs · Other public citations of this URL
dst primer; credits fdb+aws simultaneous invention ~2010; cites wilson's 2014 talk as earliest recorded implementation discussion
- cncf-sponsored etcd collaboration · antithesis.com · 2026-04-09 (day) · original ID: src-hp-antithesis-etcd · Other public citations of this URL
cncf-sponsored etcd collaboration; kubecon talk; v3.5 consistency-error backstory