sources
every source cited in the antithesis history, with its date and type.
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.