sources
the catalog — every source behind every claim, dated and typed.
the catalog
every claim on this site carries source ids that resolve here. type marks the evidence role; dates keep the precision the source gave.
- 2024-04-01nes/ag8i series kickoffantithesis.comnes/ag8i series kickoff; "never before completed by an autonomous system"
- 2026antithesis-research/setup/workload skillsantithesis.comantithesis-research/setup/workload skills; "navigates around all the sharp corners in our 8-page setup guide"
- 2024-09-20sometimes_each guidanceantithesis.comsometimes_each guidance; coverage-guided fuzzer analogy
- undatedextreme version of chaos engineeringantithesis.com"extreme version of chaos engineering"; rl guidance; multiverse timelines; pbt framing
- undatedcore-hour meteringantithesis.comcore-hour metering; ≥48 core-hours per wall-clock hour
- undatedhegel/bombadil open sourceantithesis.comhegel/bombadil open source; agent skills; "tests your software without you writing tests"
- 2025-04-30founder packageantithesis.comfounder package; admission they turned away small buyers; enterprise-sales paradox
- 2026-03-24hegel launchantithesis.comhegel launch; maciver+devoe joined nov 2025; rust first, go/c++/ocaml/ts next
- 2025-02-13how to make your own luckantithesis.com"how to make your own luck"; 6.5 years stealth; stealth's sales/recruiting costs
- 2025-08-22this is actually how we figured this stuff out — nes as r&d for the explorerantithesis.com"this is actually how we figured this stuff out" — nes as r&d for the explorer
- 2024-04-22index-inconsistency corruption bugantithesis.comindex-inconsistency corruption bug; checkpoint probability analysis; per-100ms core dumps
- undatedan ounce of preventionantithesis.com"an ounce of prevention"; chaos-eng scope critique; hostile-by-default environment
- undatedaws marketplace private offersantithesis.comaws marketplace private offers; no free tier ("compute-intensive by nature"); names dhyve, hegel, bombadil
- undatedhow is antithesis different from chaos testing? faqantithesis.com"how is antithesis different from chaos testing?" faq; deterministic hypervisor claims
- 2026skills catalogantithesis.comskills catalog; snouty cli; docker/podman; npm
- 2026-08-12breaking the walantithesis.com"breaking the wal"; claude+skills reproduced sqlite wal-reset bug in ~15 min
- undated$7,000/reserved-core/12-moaws.amazon.com$7,000/reserved-core/12-mo; private-offer pricing
- undatedtrusted by palantir, mongodb, ethereum and many othersaws.amazon.com"trusted by palantir, mongodb, ethereum and many others"
- 2025kingsbury at bugbashantithesis.comkingsbury at bugbash; "simple tests" vs jepsen's complexity
- 2025kingsbury on the glossaryantithesis.comkingsbury on the glossary; "reproducibility" as his unsolved problem
- 2025-04-03~200 seats, sold outbugbash2025.antithesis.com~200 seats, sold out; yours truly dc
- 2025-09-25cncf-sponsored etcd×antithesis integrationcncf.iocncf-sponsored etcd×antithesis integration; v3.5 crisis context
- 2024-03-21peer eng org engaging determinism themes post-launchcockroachlabs.compeer eng org engaging determinism themes post-launch
- undatedopen-source deterministic hypervisor on bhyve, inspired by antithesisgithubopen-source deterministic hypervisor on bhyve, "inspired by antithesis"
- 2024-08-20phil eatons dst explainer (https://noteslobstersphil eaton's dst explainer (https://notes.eatonphil.com/2024-08-20-deterministic-simulation-testing.html); debate on where determinism belongs in the stack
- 2025-05-20emptysqua.reemptysqua.rea. jesse jiryu davis; mongodb evaluated 2020; rare bugs reproduced in ~24h; "software correctness conference"
- 2025etcd-side accountetcd.ioetcd-side account; property-based declarative assertions; deterministic hypervisor
- undatedgofail→assertgithubgofail→assert.reachable patch; antithesis-go-instrumentor; test composer config
- 2021foundationdb sigmod21 paperfoundationdb.orgfoundationdb sigmod'21 paper; simulation testing chapter
- 2024-10determinator on freebsd/bhyvefreebsdfoundation.orgdeterminator on freebsd/bhyve; undated (lobste.rs proxy)
- 2026-04-23independent, non-spoofable verificationglobenewswire.com"independent, non-spoofable verification"; agents "attempt to cheat, e.g. by deleting tests"
- 2024-03-21cockroach labs demonic-nondeterminism posthacker newscockroach labs demonic-nondeterminism post; 138 pts
- 2026-03-24285 pts / 104 commentshacker news285 pts / 104 comments
- 2024-03-20200 pts / 53 commentshacker news200 pts / 53 comments
- 2024-02-131,179 pts / 418 commentshacker news1,179 pts / 418 comments; source of all verbatim hn quotes in §2–4
- 2024-07-10at the mountains of madnesshacker news"at the mountains of madness"; 153 pts / 85 comments
- 2025-08-22147 pts / 32 commentshacker news147 pts / 32 comments
- 2024-09-10debugging in the multiversehacker news"debugging in the multiverse"; 201 pts / 58 comments
- 2026-02-07we interfaced single-threaded c++ with multi-threaded rusthacker news"we interfaced single-threaded c++ with multi-threaded rust"; 107 pts
- 2024-04-17how antithesis finds bugshacker news"how antithesis finds bugs"; 160 pts / 53 comments
- 2025-12-03series a on hnhacker newsseries a on hn; 11 pts / 0 comments
- 2026-04-17what are skiplists good for?hacker news"what are skiplists good for?"; 290 pts / 70 comments
- 2026-07-02my quest to see all of tetrishacker news"my quest to see all of tetris"; 73 pts
- 2026-08-12162 pts / 52 commentshacker news162 pts / 52 comments
- 2025-09-13from unit tests to whole universe tests videohacker news"from unit tests to whole universe tests" video; 36 pts
- 2024-05-21the worst bug we faced at antithesishacker news"the worst bug we faced at antithesis"; 56 pts
- 2025-12-02jepsenjepsen.iojepsen.antithesis library; deterministic seeds; entropy from antithesis
- 2025-10-20jepsen+antithesis co-authored reliability glossary (canonical: antithesisjepsen.iojepsen+antithesis co-authored reliability glossary (canonical: antithesis.com/docs/resources/reliability_glossary/)
- undatedjepsen readmegithubjepsen readme; also lists tickloom (jepsen-integrated dst)
- undatedjepsen 0jepsen.systemsjepsen 0.3.10 announcement; glossary; jepsen.antithesis
- 2024jepsen analysisjepsen.iojepsen analysis; footnote canonizes "pulse, simulant, foundationdb, and antithesis"
- 2025-07-15glossary announcementlinkedinglossary announcement
- undatedis this just fuzzing? debatelobsters"is this just fuzzing?" debate; employee: "we wrote our own fuzzer... iterated on it by playing a lot of nes games"
- 2024-10-14ahelwer/maxholl commentslobstersahelwer/maxholl comments; open-source desire; rr comparison
- 2026-01-20akshay shah, antithesis – the deterministic computermack.workakshay shah, "antithesis – the deterministic computer"; hn item 46694502 (10 pts)
- undatedrisingwaves rust simulatorgithubrisingwave's rust simulator; "main idea is borrowed from foundationdb and sled simulation guide"
- undatedsurfaced novel failuresgithub"surfaced novel failures"; "improved code coverage"; ci-level integration
- 2024-11-12orosz + nilsson deep-divenewsletter.pragmaticengineer.comorosz + nilsson deep-dive; annually-reserved cores; polar signals pricing miss + in-house dst
- 2025-01-28bugbash announcedprnewswirebugbash announced; apr 3–4 2025 dc; speakers incl. mongodb/ava labs/pingcap
- 2025-05-06ramp, formance, tigerbeetle, hedge fund, retail trading platformprnewswireramp, formance, tigerbeetle, hedge fund, retail trading platform; koblov quote
- 2024-02-13launchprnewswirelaunch; $47m seed; mongodb/palantir/ethereum named; danny ryan quote
- 2022risingwaves case for building madsimrisingwave.comrisingwave's case for building madsim
- undated$30m feb 2025 round detailsacra$30m feb 2025 round detail; $20k–$100k+/yr deals; competition/risk framing
- undatedfunding table inclstartup introsfunding table incl. feb 2025 $30m; $109m fy2025 revenue / ~40 clients claims (unverified)
- undatedembedded model checker + actor runtimedocs.rsembedded model checker + actor runtime; tla+/tlc comparison
- 2026tailscales months-long wal-reset production ordealtailscale.comtailscale's months-long wal-reset production ordeal; sqlite "never been able to reproduce the bug organically"
- 2025-12-08tbpntbpndigest.comtbpn; wilson on customer→investor conversion
- undatedlists jane street, mongodb, confluent as customers (weak source)theconsensus.devlists jane street, mongodb, confluent as customers (weak source)
- 2026-08-20outside-in (jepsen/antithesis) vs inside-out protocol-aware dsttigerbeetle.comoutside-in (jepsen/antithesis) vs inside-out protocol-aware dst
- undatedvoprgithubvopr; "heavily inspired by the work of foundationdb and antithesis"
- undatedtokio-rs deterministic simulation family (net/fs/io_uring)githubtokio-rs deterministic simulation family (net/fs/io_uring)
- 2025aivens 2,200 logical hours of antithesis chaos testingaiven.ioaiven's 2,200 logical hours of antithesis chaos testing
- 2025investor-authored dst primeramplifypartners.cominvestor-authored dst primer; "1 or 2 customer bugs" lore; kyle kingsbury/jepsen anecdote
- 2026company timeline (2009 fdbantithesis.comcompany 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
- 2026-03-04bug bash podcast s2e3 evidence of ongoing media armantithesis.combug bash podcast s2e3 evidence of ongoing media arm
- 2024-02-13wilson launch manifestoantithesis.comwilson launch manifesto; "$100 bill" quote; fdb simulation origin story verbatim
- 2026causality-analysis feature launchantithesis.comcausality-analysis feature launch; kubecon etcd talk cross-ref
- 2024so you think you want to write a deterministic hypervisor?antithesis.com"so you think you want to write a deterministic hypervisor?"; the determinator; whole-system determinism unit
- 2026dst primerantithesis.comdst primer; credits fdb+aws simultaneous invention ~2010; cites wilson's 2014 talk as earliest recorded implementation discussion
- 2026-04-09cncf-sponsored etcd collaborationantithesis.comcncf-sponsored etcd collaboration; kubecon talk; v3.5 consistency-error backstory
- 2024ethereum foundation engagement began ~1yr pre-mergeantithesis.comethereum foundation engagement began ~1yr pre-merge; first crypto network tested this way
- 2026current positioning (10x faster time-to-release)antithesis.comcurrent positioning ("10x faster time-to-release"); bug bash copenhagen sept 30 2026; agent skills/hegel/bombadil links
- 2025mongodb customer since 2021antithesis.commongodb customer since 2021; 100+ bugs; mttr −47%; 10x roi (self-reported)
- 2024-09-10time-machine/multiverse debugging launchantithesis.comtime-machine/multiverse debugging launch; snapshotting; alex pshenichkin talk ref
- 2025-03-18nats/synadia raft data-loss bug hunt (marco primi)antithesis.comnats/synadia raft data-loss bug hunt (marco primi)
- 2024-04-17systems distributed 2023 stealth talkantithesis.comsystems distributed 2023 stealth talk; smb solved in ~45 min on 2018 cpu
- 2025-12-03wilson essay when your customer leads your series aantithesis.comwilson essay "when your customer leads your series a"; "calf-path" culture note
- 2024-05-21hypervisor = type-2 on freebsdantithesis.comhypervisor = type-2 on freebsd; ~1 crash / 2k machine-hours internal bug story
- 2025sdk demoantithesis.comsdk demo; found real zelda glitches (block clipping, khananakey)
- 2026complete 14-post essay list w/ datesantithesis.comcomplete 14-post essay list w/ dates; author bio
- 2025-02-13washington business journal on feb 2025 roundbizjournals.comwashington business journal on feb 2025 round
- 2026lists scherer as antithesis cto (title drift noted)bloomberglists scherer as antithesis cto (title drift noted)
- 2026round historycaplight.comround history; $182m total; potluck/bluewing investor names
- 2025customer list inclcasestudies.comcustomer list incl. ethereum (danny ryan), formance (clément salaün), mongodb, mysten labs (sam blackshear)
- 2026$184cb insights$184.3m total raised (divergent tally)
- 2025-12revenue 12x over two years (self-reported)citybiz.co"revenue 12x over two years" (self-reported); aws marketplace gtm
- 2025-12-03series acoindesk.comseries a; ethereum/merge usage
- 2025patio11 interviewcomplexsystemspodcast.compatio11 interview; "fuzzing for the world"; aws parallel-invention concession; crowdstrike framing
- 2025inaugural bug bash writeupconcerningquality.cominaugural bug bash writeup; wilson "pre-observability" keynote; etcd demo
- 2025-09-10from unit tests to whole universe tests (kris jenkins)youtube"from unit tests to whole universe tests" (kris jenkins)
- 2026collins bio: led the foundationdb team from acquisition to core cloud data storepeople.equilar.comcollins bio: "led the foundationdb team from acquisition to core cloud data store"
- 2026scherer bio: vpython, igf win, visual sciences 2000, fdb principal architectpeople.equilar.comscherer bio: vpython, igf win, visual sciences 2000, fdb principal architect
- undatedfirst 18 months entirely in simulationapple.github.iofirst 18 months entirely in simulation; deterministic whole-cluster sim
- undatedfdb simulation + flowapple.github.iofdb "simulation" + flow; ~1t cpu-hours claim; 10:1 time compression
- 2025-02-14confirms feb 2025 round detailsfinsmesconfirms feb 2025 round details
- 2025-05-07ramp dealfintechbusinessasia.comramp deal; formance/tigerbeetle; hedge fund + retail trading platform unnamed; koblov quote
- 2026cofounder bios/agesforbescofounder bios/ages; scherer listed as cto
- 2026-03-23term sheet profilefortuneterm sheet profile; wilson quotes; ~40 clients; seed raised "while in stealth"
- 2024category visionaries gtm interviewfrontlines.iocategory visionaries gtm interview
- 2025-0974–99 employees sep 2025 — divergent third-party estimategetlatka74–99 employees sep 2025 — divergent third-party estimate
- 2025web summit interviewhighagencypodcast.comweb summit interview; stealth team in dc
- 2026linkedinlinkedinben collins: fdb first hire, flow/simulation work, apple fdb lead, facebook, antithesis cto
- 2026~231 employees (+138% yoy)linkedin~231 employees (+138% yoy); 6 countries — third-party estimate
- 2026wilsons own cv: computational biodynamics, fdb document layer, apple/googlelinkedinwilson's own cv: computational biodynamics, fdb document layer, apple/google; "front page of hn for three days"
- 2025s&t transcript summary: math background, hypervisor-level determinism rationalenewsfilter.ios&t transcript summary: math background, hypervisor-level determinism rationale
- 2023deep technical account of fdb simulation/buggify mechanicspierrezemb.frdeep technical account of fdb simulation/buggify mechanics
- 202691 employees as of 2025 (divergent headcount)pitchbook91 employees as of 2025 (divergent headcount)
- 2025ashlee vance interviewpodscan.fmashlee vance interview; "five and a half years" stealth
- 2025-02-13$30m amplify+sparkprnewswire$30m amplify+spark; pruss board; +50% headcount; verticals incl. data streaming
- 2025-12-03$105m series aprnewswire$105m series a; jane street lead; full syndicate incl. collison/patel/douglas; doug patti quote; tysons corner dateline
- 2024-02-13$215m valuation at seedreuters$215m valuation at seed
- 2025i was actually a testing skeptic when i joined foundationdbrootly.com"i was actually a testing skeptic when i joined foundationdb"; post-apple path verbatim
- 2025-09se radio 685se-radio.netse radio 685; scherer/visual sciences model-based simulation origin story
- 2025jane street podcast w/ ron minskysignalsandthreads.comjane street podcast w/ ron minsky
- 2024-02-13seed led by amplify/tamarack/first insiliconangle.comseed led by amplify/tamarack/first in; legal name antithesis operations llc
- 2024-02-13third-party amplification of the launch-post quotesimonwillison.netthird-party amplification of the launch-post quote
- 2025-04carl sverre (graft) customer accountsqlsync.devcarl sverre (graft) customer account; scherer visual sciences simulation prehistory; customer advisory board existence
- 2025so podcastthe-stack-overflow-podcast.simplecast.comso podcast; "as far as we know, invented at foundationdb"
- 2013lavezzo profilestartupgrind.comlavezzo profile; scherer childhood friendship; visual sciences → omniture → adobe chain
- 2014-09wilsons canonical dst talk + his fdb-era bio (biotech start, yale math/philosophy)thestrangeloop.comwilson's canonical dst talk + his fdb-era bio (biotech start, yale math/philosophy)
- 2025streamnative.iostreamnative.ioantithesis (connor mckee) on testing kafka/kraft guarantees — streaming-vertical activity, not a confluent customer claim
- 2025-12series a analysistechcompanynews.comseries a analysis; "valuation under wraps"; speculative >$500m post-money (unverified)
- 2024-02-13launch coveragetechcrunchlaunch coverage; "existing investors… friendly terms" quote; product mechanics
- 2015-03-24apple acquisitiontechcrunchapple acquisition; fdb founders rosenthal/lavezzo/scherer; $22.7m raised
- 2024-02-13seed syndicate confirmationvcnewsdaily.comseed syndicate confirmation
- 2024warpstream customer-authored dst writeupwarpstream.comwarpstream customer-authored dst writeup
- 2025autonomous testing and the future of software development talkyoutube"autonomous testing and the future of software development" talk
- 2024-04youtubeyoutube"testing a single-node, single threaded, distributed system written in 1985" — full stealth talk
AI-drafted at Ben Guo's direct request and credited to Hraness; every claim links to its cataloged source.