history
the company, sourced and dated — foundationdb's simulation-first build, six years of stealth, the launch, and the jane street series a.
the simulation-first database2009–2015
scherer, rosenthal, and lavezzo build a database inside a simulation harness first — eighteen months before the first real packet. wilson joins in 2013, tells the story at strange loop, and apple buys the company in 2015.
- 2009foundationdb foundeddave scherer, dave rosenthal, and nick lavezzo found foundationdb in vienna, virginia — the trio had previously built visual sciences (2000), an early web-analytics platform sold into the omniture→adobe chain. will wilson is not a founder; he joins four years later.
- 2010simulation before the databasebefore writing the database, the team writes 'simulation' — a fully deterministic, event-based network simulator driven by one rng, enabled by their actor-model language flow. the whole cluster runs single-threaded; any bug replays from its seed. fdb is developed exclusively in simulation for its first ~18 months. scherer had built a model-based sim at visual sciences to hunt tail-latency pathologies; at fdb they 'flipped the idea on its head — what if the simulation was the implementation?'
- 2010dst's simultaneous inventionantithesis's own docs credit deterministic simulation testing as 'pioneered at foundationdb and amazon web services around 2010 — a case of simultaneous invention.' wilson publicly concedes aws's parallel work (marc brooker).
- 2013-04wilson joins foundationdbwill wilson — yale math and philosophy, fresh off a spinal-cord-modeling startup — joins foundationdb as a software engineer. he works on the simulation harness, later leads the document layer, and runs the early-access program.
- 2014-09the strange loop talkwilson's strange loop talk 'testing distributed systems w/ deterministic simulation' becomes the canonical public account of the approach — and already names its two failure modes: the sim 'is not brutal enough,' and 'we may just misunderstand the contracts of the operating systems.' per wilson it sat on the hacker news front page for three days.
- 2015-03-24apple acquires foundationdbapple acquires foundationdb — terms undisclosed; the company had raised $22.7m from sv angel, sutter hill, and crunchfund. 'everyone moves to california.' apple open-sources fdb in april 2018; it now underpins cloudkit and is used by snowflake.
- 2015the diasporathe diaspora years: wilson goes to apple then google; ben collins stays at apple to lead the fdb team 'from acquisition to core cloud data store,' launches it as open source, then goes to facebook. their shared discovery: nothing like the simulation framework existed anywhere else.
the stealth years2018–2024
wilson calls scherer about the hundred-dollar bill on the sidewalk. five and a half years of no website, a type-2 hypervisor on freebsd, and a first customer nobody will name.
- 2018-01antithesis foundedwilson calls 'his friend and former boss' dave scherer, foundationdb's chief architect: 'there's a $100 bill lying on the sidewalk here man.' they found antithesis in northern virginia — a deterministic hypervisor that forces determinism on unmodified customer software instead of requiring a purpose-built language like flow.
- 2019-09customer no. 1'customer no. 1 starts using antithesis.' the customer's identity has never been publicly disclosed; hn user kendallgclark (kendall clark, stardog) later self-identified in the launch thread as 'maybe the first or second.'
- 2020mongodb evaluates, then buysa. jesse jiryu davis evaluates antithesis for mongodb: 'we had several very rare replication bugs, including one that manifested once in many years of stress testing, and antithesis found them reliably in about 24 hours.' mongodb becomes a customer in 2021.
- 2021-09the ethereum engagementthe ethereum foundation engagement begins — about a year before the merge. antithesis runs a full simulated ethereum network under fault injection; danny ryan later says it was 'used extensively when testing the merge' and found bugs 'in very exotic states and scenarios.'
- 2023the stealth mario talkwilson gives a 'super stealth talk' at the inaugural systems distributed (hosted by tigerbeetle): antithesis autonomously beats super mario bros., treating the 1985 cartridge as 'a single-node, single-threaded distributed system.' the talk stays unpublished until after the 2024 launch.
the launch2024
out of stealth with a $47m seed and a launch post that sat on the hacker news front page — mongodb, palantir, and ethereum already on the customer list.
- 2024-02-13out of stealth, $47m seedout of stealth: a $47m seed led by amplify partners, tamarack global, and first in ventures — angels michael walrath and howard lerman — at a $215m valuation per reuters. the round aggregates stealth-era capital: wilson tells techcrunch existing investors 'came to us with a proposal to invest more on friendly terms.' named customers at launch: mongodb, palantir, ethereum.
- 2024-02-13the hn megathreadwilson posts 'is something bugging you?' to hacker news himself — 1,179 points, 418 comments, one of the biggest launches of 2024. the thread mixes foundationdb nostalgia with the modal stance 'skeptical of their claims but inspired by the vision' and the first wave of pricing complaints.
- 2024-02-28open source giveawaythe antithesis open source giveaway program launches — free deterministic-simulation testing for qualifying oss projects, the partial answer to the no-free-tier complaint.
- 2024-03-20the determininator revealed'so you think you want to write a deterministic hypervisor?' — the determininator post introduces the type-2 hypervisor on freebsd that emulates a deterministic computer. 200 points on hn; cockroach labs publishes 'taming demonic nondeterminism' the next day.
- 2024-04-17mario as test targetthe 2023 stealth talk goes public: 'how antithesis finds bugs (with help from the super mario bros.)' — the claimed first autonomous smb solve, ~45 minutes on a 2018 cpu. the nes series becomes r&d for the exploration engine.
- 2024-09-10multiverse debugging'debugging in the multiverse' — the time-machine feature goes ga: rewind a deterministic universe to a bash terminal mid-failure, fork timelines. 'if you can perfectly simulate something, then you can also perfectly simulate it up until 5 seconds from the end. then we can crack open that universe and give you a bash terminal inside of it.'
- 2024-11-12the pragmatic engineer lookgergely orosz's pragmatic engineer deep-dive publishes — the first detailed third-party account, including the polar signals pricing casualty: they evaluated antithesis, concluded 'the pricing didn't work,' and built in-house dst instead.
the institutionalization2025
bugbash, the cncf-sponsored etcd collaboration, the jepsen glossary, ramp and the fintech push — then jane street, a secret customer, leads the $105m series a.
- 2025-02-13$30m anniversary rounda $30m round led by amplify with spark capital participating lands on the one-year launch anniversary. lenny pruss joins the board; clay fisher becomes board observer. headcount +50% yoy; new verticals named: fintech, utilities, trading, travel, data streaming.
- 2025-04-03bugbashthe inaugural bugbash — ~200 seats, sold out, washington dc — positions itself as 'not a software testing conference, but a software correctness conference.' wilson's keynote coins 'pre-observability' and demos finding an etcd bug by querying stored execution histories; kyle kingsbury speaks.
- 2025-05-06the fintech clusterthe fintech push: ramp announced (vp eng nikolay koblov on record), plus formance, tigerbeetle — remarkable because tigerbeetle famously builds its own simulator, the vopr — 'a leading quantitative hedge fund,' and 'one of the largest retail trading platforms' unnamed.
- 2025-07-15the jepsen collaborationjepsen and antithesis announce a co-authored distributed systems reliability glossary — the aphyr relationship turns collaborative. in december, jepsen 0.3.10 ships jepsen.antithesis: pluggable rngs that 'can source entropy from an external system, like antithesis.'
- 2025-09-25etcd via cncfthe cncf-sponsored etcd collaboration goes public — antithesis integrated into etcd's robustness-testing workflow after the v3.5 consistency crisis. a joint kubecon talk follows in april 2026: 'keeping the cloud afloat with deterministic simulation testing.'
- 2025-11hypothesis joins antithesisdavid maciver — creator of hypothesis, the canonical property-based testing library — joins antithesis with core maintainer liam devoe. the pbt lineage becomes literal: they build hegel.
- 2025-12-03jane street leads $105mthe $105m series a is led by jane street — a secret customer until this announcement. 'that's crazy. nobody does that' was the first advice wilson got. syndicate: amplify, spark, tamarack, first in, teamworthy, hyperion; individuals patrick collison, dwarkesh patel, sholto douglas. total raised ≈$182m. hq now tysons corner.
- 2025-12the 12x claimcoindesk reports revenue 'rose more than 12x over the past two years' — company-reported, no filing exists. aggregators diverge: ~$182m total raised per caplight, $184.3m per cb insights; startup intros claims ~40 clients and $109m fy2025 revenue, unverified.
the agent era2026–
verification is the new bottleneck: agent skills, the hegel pbt family, and a demo where claude reproduces a fifteen-year-old sqlite bug from a phone.
- 2026-03-24hegelhegel launches — maciver's cross-language property-based-testing family (rust first; go, c++, ocaml, typescript announced), open source, integrating with antithesis. 285 points on hn. alongside bombadil (pbt for web/terminal uis) it's the open-source perimeter of a proprietary core.
- 2026-04-23verification is the new bottleneck'antithesis teaches ais to correct their own output' — the agent-era repositioning: agents 'will continue to hallucinate, be wrong about their mistakes, and attempt to cheat, e.g. by deleting tests — making external verification necessary.' the homepage now reads 'verification is the new bottleneck.'
- 2026-08-12the wal-reset demothe sqlite wal-reset demo: carl sverre has claude, armed with antithesis skills, reproduce a data race present in sqlite since 2010 — never organically reproduced by sqlite's own team, discovered in the wild via tailscale's months-long 2025 outages — in ~15 minutes. 'from my phone.' 162 points on hn.
- 2026-08-20inside-out vs outside-intigerbeetle draws the boundary: 'jepsen-style generative testing and antithesis-style deterministic hypervisors test the system from the outside in' — arguing their protocol-aware inside-out dst probes deeper invariants. the field now debates which dst is the end-state.
- 2026-03-23the fortune profilefortune's term sheet profiles the company — ~40 clients per the forbes fintech 50 debut. wilson: 'software increasingly controls literally everything'; 'every product sucks at something. i'm just going to tell you what it is'; ai 'is eating part of the software development life cycle… which was actually never the slow part or the hard part.'
- 2026-09-30bugbash goes to europebugbash europe announced for copenhagen — the scene-building arm exports. bugbash podcast reaches season 2. headcount estimates diverge wildly: ~231 per linkedin-derived counts vs 91 per pitchbook.
AI-drafted at Ben Guo's direct request and credited to Hraness; every claim links to its cataloged source.