# antithesis: 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 database (2009–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.

- 2009 — foundationdb founded: dave 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. (confirmed; sources: [company timeline (2009 fdb](https://antithesis.com/company/about/), [apple acquisition](https://techcrunch.com/2015/03/24/apple-acquires-durable-database-company-foundationdb/), [scherer bio: vpython, igf win, visual sciences 2000, fdb principal architect](https://people.equilar.com/bio/person/dave-scherer-antithesis/66894169), [lavezzo profile](https://www.startupgrind.com/blog/foundationdb-how-this-startup-got-funded-by-ron-conway/))
- 2010 — simulation before the database: before 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?' (confirmed; sources: [wilson launch manifesto](https://antithesis.com/blog/is_something_bugging_you/), [fdb simulation + flow](https://apple.github.io/foundationdb/testing.html), [first 18 months entirely in simulation](https://apple.github.io/foundationdb/engineering.html), [carl sverre (graft) customer account](https://sqlsync.dev/posts/antithesis-driven-testing/))
- 2010 — dst's simultaneous invention: antithesis'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). (confirmed; sources: [dst primer](https://antithesis.com/docs/resources/deterministic_simulation_testing/), [patio11 interview](https://www.complexsystemspodcast.com/episodes/software-testing-with-will-wilson/))
- 2013-04 — wilson joins foundationdb: will 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. (confirmed; sources: [company timeline (2009 fdb](https://antithesis.com/company/about/), [wilsons own cv: computational biodynamics, fdb document layer, apple/google](https://www.linkedin.com/in/will-wilson-330276112), [wilsons canonical dst talk + his fdb-era bio (biotech start, yale math/philosophy)](https://www.thestrangeloop.com/2014/testing-distributed-systems-w-slash-deterministic-simulation.html))
- 2014-09 — the strange loop talk: wilson'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. (confirmed; sources: [wilsons canonical dst talk + his fdb-era bio (biotech start, yale math/philosophy)](https://www.thestrangeloop.com/2014/testing-distributed-systems-w-slash-deterministic-simulation.html), [wilsons canonical dst talk + his fdb-era bio (biotech start, yale math/philosophy)](https://www.thestrangeloop.com/2014/testing-distributed-systems-w-slash-deterministic-simulation.html), [wilsons own cv: computational biodynamics, fdb document layer, apple/google](https://www.linkedin.com/in/will-wilson-330276112))
- 2015-03-24 — apple acquires foundationdb: apple 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. (confirmed; sources: [apple acquisition](https://techcrunch.com/2015/03/24/apple-acquires-durable-database-company-foundationdb/), [company timeline (2009 fdb](https://antithesis.com/company/about/), [foundationdb sigmod21 paper](https://www.foundationdb.org/files/fdb-paper.pdf))
- 2015 — the diaspora: the 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. (confirmed; sources: [i was actually a testing skeptic when i joined foundationdb](https://rootly.com/humans-of-reliability/will-wilson-antithesis), [collins bio: led the foundationdb team from acquisition to core cloud data store](https://people.equilar.com/bio/person/ben-collins-antithesis/66894163), [company timeline (2009 fdb](https://antithesis.com/company/about/))

## the stealth years (2018–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-01 — antithesis founded: wilson 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. (confirmed; sources: [company timeline (2009 fdb](https://antithesis.com/company/about/), [wilson launch manifesto](https://antithesis.com/blog/is_something_bugging_you/), [so you think you want to write a deterministic hypervisor?](https://antithesis.com/blog/deterministic_hypervisor/))
- 2019-09 — customer 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.' (confirmed; sources: [company timeline (2009 fdb](https://antithesis.com/company/about/), [1,179 pts / 418 comments](https://news.ycombinator.com/item?id=39356920))
- 2020 — mongodb evaluates, then buys: a. 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. (reported; sources: [emptysqua.re](https://emptysqua.re/blog/notes-from-antithesis-bugbash/), [mongodb customer since 2021](https://antithesis.com/blog/mongodb_productivity/))
- 2021-09 — the ethereum engagement: the 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.' (confirmed; sources: [ethereum foundation engagement began ~1yr pre-merge](https://antithesis.com/blog/ethereum_merge/), [ethereum foundation engagement began ~1yr pre-merge](https://antithesis.com/blog/ethereum_merge/), [launch](https://www.prnewswire.com/news-releases/antithesis-launches-out-of-stealth-to-revolutionize-software-reliability-302060173.html))
- 2023 — the stealth mario talk: wilson 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. (confirmed; sources: [systems distributed 2023 stealth talk](https://antithesis.com/blog/sdtalk/), [youtube](https://www.youtube.com/watch?v=m3HwXlQPCEU))

## the launch (2024)

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-13 — out of stealth, $47m seed: out 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. (confirmed; sources: [launch](https://www.prnewswire.com/news-releases/antithesis-launches-out-of-stealth-to-revolutionize-software-reliability-302060173.html), [$215m valuation at seed](https://www.reuters.com/technology/code-testing-startup-antithesis-raises-seed-funding-215-mln-valuation-2024-02-13/), [launch coverage](https://techcrunch.com/2024/02/13/antithesis-raises-47m-to-launch-an-automated-testing-platform-for-software/), [company timeline (2009 fdb](https://antithesis.com/company/about/))
- 2024-02-13 — the hn megathread: wilson 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. (confirmed; sources: [1,179 pts / 418 comments](https://news.ycombinator.com/item?id=39356920), [wilson launch manifesto](https://antithesis.com/blog/is_something_bugging_you/), [third-party amplification of the launch-post quote](https://simonwillison.net/2024/Feb/13/foundationdb/))
- 2024-02-28 — open source giveaway: the antithesis open source giveaway program launches — free deterministic-simulation testing for qualifying oss projects, the partial answer to the no-free-tier complaint. (confirmed; sources: [complete 14-post essay list w/ dates](https://antithesis.com/author/will-wilson/), [hegel/bombadil open source](https://antithesis.com/docs/introduction/welcome/))
- 2024-03-20 — the determinator revealed: 'so you think you want to write a deterministic hypervisor?' — the determinator 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. (confirmed; sources: [so you think you want to write a deterministic hypervisor?](https://antithesis.com/blog/deterministic_hypervisor/), [200 pts / 53 comments](https://news.ycombinator.com/item?id=39766222), [peer eng org engaging determinism themes post-launch](https://www.cockroachlabs.com/blog/demonic-nondeterminism/))
- 2024-04-17 — mario as test target: the 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. (confirmed; sources: [systems distributed 2023 stealth talk](https://antithesis.com/blog/sdtalk/), [how antithesis finds bugs](https://news.ycombinator.com/item?id=40068187), [nes/ag8i series kickoff](https://antithesis.com/blog/ag8bi/))
- 2024-09-10 — multiverse 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.' (confirmed; sources: [time-machine/multiverse debugging launch](https://antithesis.com/blog/multiverse_debugging/), [debugging in the multiverse](https://news.ycombinator.com/item?id=41500405))
- 2024-11-12 — the pragmatic engineer look: gergely 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. (confirmed; sources: [orosz + nilsson deep-dive](https://newsletter.pragmaticengineer.com/p/antithesis), [orosz + nilsson deep-dive](https://newsletter.pragmaticengineer.com/p/antithesis))

## the institutionalization (2025)

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 round: a $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. (confirmed; sources: [$30m amplify+spark](https://www.prnewswire.com/news-releases/antithesis-marks-one-year-anniversary-with-customer-growth-new-funding-company-expansion-302375489.html), [confirms feb 2025 round details](https://www.finsmes.com/2025/02/antithesis-raises-30m-in-funding.html), [$30m feb 2025 round detail](https://sacra.com/c/antithesis/))
- 2025-04-03 — bugbash: the 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. (confirmed; sources: [bugbash announced](https://www.prnewswire.com/news-releases/antithesis-announces-its-bugbash-conference-302361415.html), [~200 seats, sold out](https://bugbash2025.antithesis.com/), [inaugural bug bash writeup](https://concerningquality.com/bug-bash-2025/), [emptysqua.re](https://emptysqua.re/blog/notes-from-antithesis-bugbash/))
- 2025-05-06 — the fintech cluster: the 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. (confirmed; sources: [ramp, formance, tigerbeetle, hedge fund, retail trading platform](https://www.prnewswire.com/news-releases/antithesis-gains-massive-traction-in-the-fintech-world-302447002.html), [ramp deal](https://www.fintechbusinessasia.com/news/35/475/antithesis-expands-footprint-in-fintech-powering-reliability-for-industry-leaders-like-ramp-and-top-hedge-funds.html), [vopr](https://github.com/tigerbeetle/tigerbeetle/blob/main/docs/internals/vopr.md))
- 2025-07-15 — the jepsen collaboration: jepsen 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.' (confirmed; sources: [glossary announcement](https://www.linkedin.com/posts/kyle-kingsbury_a-distributed-systems-reliability-glossary-activity-7350897921749389312-dxfa), [jepsen+antithesis co-authored reliability glossary (canonical: antithesis](https://jepsen.io/blog/2025-10-20-distsys-glossary), [jepsen](https://jepsen.io/blog/2025-12-02-jepsen-0.3.10))
- 2025-09-25 — etcd via cncf: the 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.' (confirmed; sources: [cncf-sponsored etcd×antithesis integration](https://www.cncf.io/blog/2025/09/25/autonomous-testing-of-etcds-robustness/), [etcd-side account](https://etcd.io/blog/2025/autonomus_testing_with_antithesis/), [cncf-sponsored etcd collaboration](https://antithesis.com/blog/2026/keeping-cloud-afloat/))
- 2025-11 — hypothesis joins antithesis: david 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. (confirmed; sources: [hegel launch](https://antithesis.com/blog/2026/hegel/))
- 2025-12-03 — jane street leads $105m: the $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. (confirmed; sources: [$105m series a](https://www.prnewswire.com/news-releases/jane-street-leads-antithesiss-105m-series-a-to-make-deterministic-simulation-testing-the-new-standard-302631076.html), [wilson essay when your customer leads your series a](https://antithesis.com/blog/2025/series_a/), [series a](https://www.coindesk.com/business/2025/12/03/jane-street-leads-usd105m-funding-for-antithesis-a-testing-tool-used-by-ethereum-network), [round history](https://www.caplight.com/company/antithesis))
- 2025-12 — the 12x claim: coindesk 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. (reported; sources: [series a](https://www.coindesk.com/business/2025/12/03/jane-street-leads-usd105m-funding-for-antithesis-a-testing-tool-used-by-ethereum-network), [revenue 12x over two years (self-reported)](https://www.citybiz.co/article/778993/jane-street-leads-antithesiss-105m-series-a/), [funding table incl](https://startupintros.com/orgs/antithesis), [$184](https://www.cbinsights.com/company/antithesis))

## the agent era (2026–)

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-24 — hegel: hegel 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. (confirmed; sources: [hegel launch](https://antithesis.com/blog/2026/hegel/), [285 pts / 104 comments](https://news.ycombinator.com/item?id=47504094), [hegel/bombadil open source](https://antithesis.com/docs/introduction/welcome/))
- 2026-04-23 — verification 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.' (confirmed; sources: [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), [current positioning (10x faster time-to-release)](https://antithesis.com/), [antithesis-research/setup/workload skills](https://antithesis.com/blog/2026/agent_skills/))
- 2026-08-12 — the wal-reset demo: the 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. (confirmed; sources: [breaking the wal](https://antithesis.com/blog/2026/wal-reset-bug/), [tailscales months-long wal-reset production ordeal](https://tailscale.com/blog/sqlite-wal-reset-bug), [162 pts / 52 comments](https://news.ycombinator.com/item?id=49277799))
- 2026-08-20 — inside-out vs outside-in: tigerbeetle 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. (confirmed; sources: [outside-in (jepsen/antithesis) vs inside-out protocol-aware dst](https://tigerbeetle.com/blog/2026-08-20-protocol-aware-dst/), [vopr](https://github.com/tigerbeetle/tigerbeetle/blob/main/docs/internals/vopr.md))
- 2026-03-23 — the fortune profile: fortune'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.' (confirmed; sources: [term sheet profile](https://fortune.com/2026/03/23/antithesis-janestreet-ethereum-will-wilson-foundationdb-software/), [cofounder bios/ages](https://www.forbes.com/companies/antithesis/))
- 2026-09-30 — bugbash goes to europe: bugbash 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. (confirmed; sources: [current positioning (10x faster time-to-release)](https://antithesis.com/), [bug bash podcast s2e3 evidence of ongoing media arm](https://antithesis.com/bugbash/podcast/escaping-the-spaghetti/), [~231 employees (+138% yoy)](https://linkedin.com/company/antithesis-operations), [91 employees as of 2025 (divergent headcount)](https://pitchbook.com/profiles/company/433266-67))

AI-drafted at Ben Guo's direct request and credited to Hraness; every claim links to its cataloged source.

Canonical page: https://hraness.com/antithesis/history


Published by @ben in profile revision 1.
Original document: https://hraness.com/antithesis/history
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":"foundationdb","originalUrl":"https://hraness.com/antithesis/history#foundationdb","title":"the simulation-first database"},{"id":"stealth","originalUrl":"https://hraness.com/antithesis/history#stealth","title":"the stealth years"},{"id":"launch","originalUrl":"https://hraness.com/antithesis/history#launch","title":"the launch"},{"id":"institutional","originalUrl":"https://hraness.com/antithesis/history#institutional","title":"the institutionalization"},{"id":"agent","originalUrl":"https://hraness.com/antithesis/history#agent","title":"the agent era"}],"provenance":{"draftingDisclosure":"AI-drafted at Ben Guo's direct request and credited to Hraness; every claim links to its cataloged source.","originalAuthor":"Hraness","originalRevision":"8c2ec26d7986f01578eeebe8a85cb7f6bb10bbee99becb8102f3d501478cf740","originalUrl":"https://hraness.com/antithesis/history","source":"hraness"},"records":[{"date":{"precision":"approximate","text":"2009–2015"},"id":"record-7be5a8a99b8c9d86faa0","kind":"antithesis-eras","label":"the simulation-first database","original":{"id":"foundationdb","range":"2009–2015","summary":"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.","title":"the simulation-first database"},"originalUrl":"https://hraness.com/antithesis/history","sourceIds":[]},{"date":{"precision":"approximate","text":"2018–2024"},"id":"record-4157ad72f968e44033a7","kind":"antithesis-eras","label":"the stealth years","original":{"id":"stealth","range":"2018–2024","summary":"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.","title":"the stealth years"},"originalUrl":"https://hraness.com/antithesis/history","sourceIds":[]},{"date":{"precision":"year","text":"2024"},"id":"record-58cb6e977ca48c14ee98","kind":"antithesis-eras","label":"the launch","original":{"id":"launch","range":"2024","summary":"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.","title":"the launch"},"originalUrl":"https://hraness.com/antithesis/history","sourceIds":[]},{"date":{"precision":"year","text":"2025"},"id":"record-ff40c4c2582904a2a77e","kind":"antithesis-eras","label":"the institutionalization","original":{"id":"institutional","range":"2025","summary":"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.","title":"the institutionalization"},"originalUrl":"https://hraness.com/antithesis/history","sourceIds":[]},{"date":{"precision":"approximate","text":"2026–"},"id":"record-f0c685e74a47d98f56b7","kind":"antithesis-eras","label":"the agent era","original":{"id":"agent","range":"2026–","summary":"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.","title":"the agent era"},"originalUrl":"https://hraness.com/antithesis/history","sourceIds":[]},{"confidence":"confirmed","date":{"precision":"year","text":"2009"},"id":"record-a82e87762621ba799276","kind":"antithesis-timeline","label":"foundationdb founded","original":{"confidence":"confirmed","date":"2009","detail":"dave 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.","era":"foundationdb","id":"evt-fdb-founded","sourceIds":["src-hp-antithesis-about","src-hp-techcrunch-apple-fdb","src-hp-equilar-scherer","src-hp-startupgrind-lavezzo"],"title":"foundationdb founded"},"originalUrl":"https://hraness.com/antithesis/history#foundationdb","sourceIds":["source-4f3afebbef0573e08e55","source-c9f89af4232d29ce9031","source-5d5c23bfb99d04c8fbe2","source-107540809cbc39cbb0b9"]},{"confidence":"confirmed","date":{"precision":"year","text":"2010"},"id":"record-a859f4490a3d7ffbd59a","kind":"antithesis-timeline","label":"simulation before the database","original":{"confidence":"confirmed","date":"2010","detail":"before 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?'","era":"foundationdb","id":"evt-fdb-simulation","sourceIds":["src-hp-antithesis-bugging","src-hp-fdb-docs-testing","src-hp-fdb-docs-engineering","src-hp-sqlsync-adt"],"title":"simulation before the database"},"originalUrl":"https://hraness.com/antithesis/history#foundationdb","sourceIds":["source-bfba1ae61a599b083315","source-4937c4d67ee0b1093868","source-bc832cef9030598176f4","source-cb2223346ba4dbcc5107"]},{"confidence":"confirmed","date":{"precision":"year","text":"2010"},"id":"record-c0c17f4732340ace03ca","kind":"antithesis-timeline","label":"dst's simultaneous invention","original":{"confidence":"confirmed","date":"2010","detail":"antithesis'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).","era":"foundationdb","id":"evt-dst-coinvented","sourceIds":["src-hp-antithesis-dst-docs","src-hp-complex-systems-pod"],"title":"dst's simultaneous invention"},"originalUrl":"https://hraness.com/antithesis/history#foundationdb","sourceIds":["source-504c5ca84df5242ca92b","source-79c5601860f206e283bc"]},{"confidence":"confirmed","date":{"precision":"month","text":"2013-04"},"id":"record-009dc2351ff26390b7e3","kind":"antithesis-timeline","label":"wilson joins foundationdb","original":{"confidence":"confirmed","date":"2013-04","detail":"will 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.","era":"foundationdb","id":"evt-wilson-joins-fdb","sourceIds":["src-hp-antithesis-about","src-hp-linkedin-wilson","src-hp-strangeloop-2014"],"title":"wilson joins foundationdb"},"originalUrl":"https://hraness.com/antithesis/history#foundationdb","sourceIds":["source-4f3afebbef0573e08e55","source-b3746e548e4161e172b9","source-708ec9b69bbe753985ed"]},{"confidence":"confirmed","date":{"precision":"month","text":"2014-09"},"id":"record-f67617f5757a21d85488","kind":"antithesis-timeline","label":"the strange loop talk","original":{"confidence":"confirmed","date":"2014-09","detail":"wilson'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.","era":"foundationdb","id":"evt-strange-loop","sourceIds":["src-hp-strangeloop-2014","src-hp-strangeloop-2014","src-hp-linkedin-wilson"],"title":"the strange loop talk"},"originalUrl":"https://hraness.com/antithesis/history#foundationdb","sourceIds":["source-708ec9b69bbe753985ed","source-b3746e548e4161e172b9"]},{"confidence":"confirmed","date":{"precision":"day","text":"2015-03-24"},"id":"record-6ed1e9f69327c41d5d24","kind":"antithesis-timeline","label":"apple acquires foundationdb","original":{"confidence":"confirmed","date":"2015-03-24","detail":"apple 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.","era":"foundationdb","id":"evt-apple-acquires","sourceIds":["src-hp-techcrunch-apple-fdb","src-hp-antithesis-about","src-ci-fdb-paper"],"title":"apple acquires foundationdb"},"originalUrl":"https://hraness.com/antithesis/history#foundationdb","sourceIds":["source-c9f89af4232d29ce9031","source-4f3afebbef0573e08e55","source-44ded0bce0e464a3d4a5"]},{"confidence":"confirmed","date":{"precision":"year","text":"2015"},"id":"record-522ab23e54dee3830056","kind":"antithesis-timeline","label":"the diaspora","original":{"confidence":"confirmed","date":"2015","detail":"the 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.","era":"foundationdb","id":"evt-diaspora","sourceIds":["src-hp-rootly-wilson","src-hp-equilar-collins","src-hp-antithesis-about"],"title":"the diaspora"},"originalUrl":"https://hraness.com/antithesis/history#foundationdb","sourceIds":["source-13b942db935d4fbf514e","source-131cf36e7f9310eb72e1","source-4f3afebbef0573e08e55"]},{"confidence":"confirmed","date":{"precision":"month","text":"2018-01"},"id":"record-65b70cfa02014a9518bc","kind":"antithesis-timeline","label":"antithesis founded","original":{"confidence":"confirmed","date":"2018-01","detail":"wilson 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.","era":"stealth","id":"evt-antithesis-founded","sourceIds":["src-hp-antithesis-about","src-hp-antithesis-bugging","src-hp-antithesis-determinator"],"title":"antithesis founded"},"originalUrl":"https://hraness.com/antithesis/history#stealth","sourceIds":["source-4f3afebbef0573e08e55","source-bfba1ae61a599b083315","source-8c6075d3f15a96b50100"]},{"confidence":"confirmed","date":{"precision":"month","text":"2019-09"},"id":"record-46f7e03bdb19b6f2d604","kind":"antithesis-timeline","label":"customer no. 1","original":{"confidence":"confirmed","date":"2019-09","detail":"'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.'","era":"stealth","id":"evt-customer-one","sourceIds":["src-hp-antithesis-about","src-ci-hn-launch-thread"],"title":"customer no. 1"},"originalUrl":"https://hraness.com/antithesis/history#stealth","sourceIds":["source-4f3afebbef0573e08e55","source-657f3090fc86cc3631e9"]},{"confidence":"reported","date":{"precision":"year","text":"2020"},"id":"record-316f3d2957375d34874d","kind":"antithesis-timeline","label":"mongodb evaluates, then buys","original":{"confidence":"reported","date":"2020","detail":"a. 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.","era":"stealth","id":"evt-mongodb-eval","sourceIds":["src-ci-emptysquare-bugbash","src-hp-antithesis-mongodb"],"title":"mongodb evaluates, then buys"},"originalUrl":"https://hraness.com/antithesis/history#stealth","sourceIds":["source-0146aad03ca408d196df","source-30c5c82596c92897f6d7"]},{"confidence":"confirmed","date":{"precision":"month","text":"2021-09"},"id":"record-351466e6f565c8466e4c","kind":"antithesis-timeline","label":"the ethereum engagement","original":{"confidence":"confirmed","date":"2021-09","detail":"the 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.'","era":"stealth","id":"evt-ethereum-merge","sourceIds":["src-hp-antithesis-ethereum","src-hp-antithesis-ethereum","src-ci-prnewswire-launch"],"title":"the ethereum engagement"},"originalUrl":"https://hraness.com/antithesis/history#stealth","sourceIds":["source-c8eab1dcd0cefc5f1d5f","source-d3ba71960c1b24cdc3b8"]},{"confidence":"confirmed","date":{"precision":"year","text":"2023"},"id":"record-ff75014e101e820efd25","kind":"antithesis-timeline","label":"the stealth mario talk","original":{"confidence":"confirmed","date":"2023","detail":"wilson 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.","era":"stealth","id":"evt-stealth-talk","sourceIds":["src-hp-antithesis-sdtalk","src-hp-youtube-mario"],"title":"the stealth mario talk"},"originalUrl":"https://hraness.com/antithesis/history#stealth","sourceIds":["source-7f21c87e962a1ea9d686","source-5566c260711caad73d9a"]},{"confidence":"confirmed","date":{"precision":"day","text":"2024-02-13"},"id":"record-fa57e90c0bbaf83da6a8","kind":"antithesis-timeline","label":"out of stealth, $47m seed","original":{"confidence":"confirmed","date":"2024-02-13","detail":"out 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.","era":"launch","id":"evt-launch","sourceIds":["src-ci-prnewswire-launch","src-hp-reuters-seed","src-hp-techcrunch-47m","src-hp-antithesis-about"],"title":"out of stealth, $47m seed"},"originalUrl":"https://hraness.com/antithesis/history#launch","sourceIds":["source-d3ba71960c1b24cdc3b8","source-5bf1079132f2ac1f291b","source-3cf2887f2a02a7e49ba2","source-4f3afebbef0573e08e55"]},{"confidence":"confirmed","date":{"precision":"day","text":"2024-02-13"},"id":"record-9c6a904b9eec53f24ff3","kind":"antithesis-timeline","label":"the hn megathread","original":{"confidence":"confirmed","date":"2024-02-13","detail":"wilson 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.","era":"launch","id":"evt-hn-launch","sourceIds":["src-ci-hn-launch-thread","src-hp-antithesis-bugging","src-hp-simonwillison-quote"],"title":"the hn megathread"},"originalUrl":"https://hraness.com/antithesis/history#launch","sourceIds":["source-657f3090fc86cc3631e9","source-bfba1ae61a599b083315","source-3c69e694d1e5a894a282"]},{"confidence":"confirmed","date":{"precision":"day","text":"2024-02-28"},"id":"record-2c095fddf2ae9b2cd5ed","kind":"antithesis-timeline","label":"open source giveaway","original":{"confidence":"confirmed","date":"2024-02-28","detail":"the antithesis open source giveaway program launches — free deterministic-simulation testing for qualifying oss projects, the partial answer to the no-free-tier complaint.","era":"launch","id":"evt-oss-giveaway","sourceIds":["src-hp-author-wilson","src-ci-antithesis-docs-welcome"],"title":"open source giveaway"},"originalUrl":"https://hraness.com/antithesis/history#launch","sourceIds":["source-3a2319bbff184d8e42ff","source-c6e2711ac5da851e039f"]},{"confidence":"confirmed","date":{"precision":"day","text":"2024-03-20"},"id":"record-396bbd6b3c0199ced994","kind":"antithesis-timeline","label":"the determinator revealed","original":{"confidence":"confirmed","date":"2024-03-20","detail":"'so you think you want to write a deterministic hypervisor?' — the determinator 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.","era":"launch","id":"evt-determinator","sourceIds":["src-hp-antithesis-determinator","src-ci-hn-hypervisor","src-ci-cockroachlabs-demonic"],"title":"the determinator revealed"},"originalUrl":"https://hraness.com/antithesis/history#launch","sourceIds":["source-8c6075d3f15a96b50100","source-0fa9039cea3b4a52530a","source-3dba960c1b83e89827ac"]},{"confidence":"confirmed","date":{"precision":"day","text":"2024-04-17"},"id":"record-b8a05c69acc4e995afd5","kind":"antithesis-timeline","label":"mario as test target","original":{"confidence":"confirmed","date":"2024-04-17","detail":"the 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.","era":"launch","id":"evt-mario-post","sourceIds":["src-hp-antithesis-sdtalk","src-ci-hn-sdtalk","src-ci-ag8i"],"title":"mario as test target"},"originalUrl":"https://hraness.com/antithesis/history#launch","sourceIds":["source-7f21c87e962a1ea9d686","source-74e8fd5ddde29b8af468","source-fe4e4cf6f57217ab50c0"]},{"confidence":"confirmed","date":{"precision":"day","text":"2024-09-10"},"id":"record-438afaa34e71b4135a2a","kind":"antithesis-timeline","label":"multiverse debugging","original":{"confidence":"confirmed","date":"2024-09-10","detail":"'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.'","era":"launch","id":"evt-multiverse","sourceIds":["src-hp-antithesis-multiverse","src-ci-hn-multiverse"],"title":"multiverse debugging"},"originalUrl":"https://hraness.com/antithesis/history#launch","sourceIds":["source-05739e681547cf3e8edc","source-33cc12e36ff306b57253"]},{"confidence":"confirmed","date":{"precision":"day","text":"2024-11-12"},"id":"record-de49e48e3f79d739ba6b","kind":"antithesis-timeline","label":"the pragmatic engineer look","original":{"confidence":"confirmed","date":"2024-11-12","detail":"gergely 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.","era":"launch","id":"evt-pragmatic","sourceIds":["src-ci-pragmatic-engineer","src-ci-pragmatic-engineer"],"title":"the pragmatic engineer look"},"originalUrl":"https://hraness.com/antithesis/history#launch","sourceIds":["source-bd21f65308c514f3f348"]},{"confidence":"confirmed","date":{"precision":"day","text":"2025-02-13"},"id":"record-22599512a7f23f8c45ca","kind":"antithesis-timeline","label":"$30m anniversary round","original":{"confidence":"confirmed","date":"2025-02-13","detail":"a $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.","era":"institutional","id":"evt-30m-round","sourceIds":["src-hp-prnewswire-30m","src-hp-finsmes-30m","src-ci-sacra"],"title":"$30m anniversary round"},"originalUrl":"https://hraness.com/antithesis/history#institutional","sourceIds":["source-a5284a4c9061ec8bd047","source-a939cd7a1fa227ef56bf","source-d90807579ec19daea3a5"]},{"confidence":"confirmed","date":{"precision":"day","text":"2025-04-03"},"id":"record-e35656b254a26fddd908","kind":"antithesis-timeline","label":"bugbash","original":{"confidence":"confirmed","date":"2025-04-03","detail":"the 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.","era":"institutional","id":"evt-bugbash-2025","sourceIds":["src-ci-prnewswire-bugbash","src-ci-bugbash2025","src-hp-concerningquality-bugbash","src-ci-emptysquare-bugbash"],"title":"bugbash"},"originalUrl":"https://hraness.com/antithesis/history#institutional","sourceIds":["source-05061b173679721c8e64","source-6d244cf50e8262b4f34d","source-7abf179bd4d389a2913e","source-0146aad03ca408d196df"]},{"confidence":"confirmed","date":{"precision":"day","text":"2025-05-06"},"id":"record-670dc75cb2918ddded0f","kind":"antithesis-timeline","label":"the fintech cluster","original":{"confidence":"confirmed","date":"2025-05-06","detail":"the 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.","era":"institutional","id":"evt-fintech-push","sourceIds":["src-ci-prnewswire-fintech","src-hp-fintechasia-ramp","src-ci-tigerbeetle-vopr-docs"],"title":"the fintech cluster"},"originalUrl":"https://hraness.com/antithesis/history#institutional","sourceIds":["source-810e9ee3261104ab736f","source-6d1da99aa2ae790cce82","source-9f5f4652e3c18c3de92d"]},{"confidence":"confirmed","date":{"precision":"day","text":"2025-07-15"},"id":"record-b10919d3211fe1402a11","kind":"antithesis-timeline","label":"the jepsen collaboration","original":{"confidence":"confirmed","date":"2025-07-15","detail":"jepsen 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.'","era":"institutional","id":"evt-jepsen-glossary","sourceIds":["src-ci-kingsbury-linkedin","src-ci-jepsen-glossary","src-ci-jepsen-0310"],"title":"the jepsen collaboration"},"originalUrl":"https://hraness.com/antithesis/history#institutional","sourceIds":["source-81d889668301b0e342ff","source-1d079aaa5bfbc6904158","source-663dced7c8522c996659"]},{"confidence":"confirmed","date":{"precision":"day","text":"2025-09-25"},"id":"record-6eed6282afc9c8eaa966","kind":"antithesis-timeline","label":"etcd via cncf","original":{"confidence":"confirmed","date":"2025-09-25","detail":"the 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.'","era":"institutional","id":"evt-etcd-cncf","sourceIds":["src-ci-cncf-etcd","src-ci-etcd-blog","src-hp-antithesis-etcd"],"title":"etcd via cncf"},"originalUrl":"https://hraness.com/antithesis/history#institutional","sourceIds":["source-6ad78acbcf3355af231f","source-ddb2fe1f4ff5dc2fe398","source-28ac3ff9953f4b0f09bd"]},{"confidence":"confirmed","date":{"precision":"month","text":"2025-11"},"id":"record-b8ab0697a3a68196252f","kind":"antithesis-timeline","label":"hypothesis joins antithesis","original":{"confidence":"confirmed","date":"2025-11","detail":"david 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.","era":"institutional","id":"evt-maciver-joins","sourceIds":["src-ci-antithesis-hegel"],"title":"hypothesis joins antithesis"},"originalUrl":"https://hraness.com/antithesis/history#institutional","sourceIds":["source-eec4419472e1fecf4441"]},{"confidence":"confirmed","date":{"precision":"day","text":"2025-12-03"},"id":"record-60bd0fe81baecf3c2f7e","kind":"antithesis-timeline","label":"jane street leads $105m","original":{"confidence":"confirmed","date":"2025-12-03","detail":"the $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.","era":"institutional","id":"evt-series-a","sourceIds":["src-hp-prnewswire-seriesa","src-hp-antithesis-seriesa","src-hp-coindesk-seriesa","src-hp-caplight"],"title":"jane street leads $105m"},"originalUrl":"https://hraness.com/antithesis/history#institutional","sourceIds":["source-6a585c8a57e133c31094","source-ba000d476bdb33725d9d","source-b7b415bbea1d22993344","source-82435cedc46cbb611a13"]},{"confidence":"reported","date":{"precision":"month","text":"2025-12"},"id":"record-f712ce9e66bcad3adf3f","kind":"antithesis-timeline","label":"the 12x claim","original":{"confidence":"reported","date":"2025-12","detail":"coindesk 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.","era":"institutional","id":"evt-revenue-claims","sourceIds":["src-hp-coindesk-seriesa","src-hp-citybiz-seriesa","src-ci-startupintros","src-hp-cbinsights"],"title":"the 12x claim"},"originalUrl":"https://hraness.com/antithesis/history#institutional","sourceIds":["source-b7b415bbea1d22993344","source-f3f690a198686e962105","source-834c972c143c6dea5d7a","source-3df388b7000a8d388ac2"]},{"confidence":"confirmed","date":{"precision":"day","text":"2026-03-24"},"id":"record-1b6c89e5e2478c7c3fbb","kind":"antithesis-timeline","label":"hegel","original":{"confidence":"confirmed","date":"2026-03-24","detail":"hegel 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.","era":"agent","id":"evt-hegel","sourceIds":["src-ci-antithesis-hegel","src-ci-hn-hegel","src-ci-antithesis-docs-welcome"],"title":"hegel"},"originalUrl":"https://hraness.com/antithesis/history#agent","sourceIds":["source-eec4419472e1fecf4441","source-0bc90321f4437d962dad","source-c6e2711ac5da851e039f"]},{"confidence":"confirmed","date":{"precision":"day","text":"2026-04-23"},"id":"record-03c6c950bd9a06c07479","kind":"antithesis-timeline","label":"verification is the new bottleneck","original":{"confidence":"confirmed","date":"2026-04-23","detail":"'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.'","era":"agent","id":"evt-agent-pivot","sourceIds":["src-ci-globenewswire-ai","src-hp-antithesis-home","src-ci-antithesis-agent-skills"],"title":"verification is the new bottleneck"},"originalUrl":"https://hraness.com/antithesis/history#agent","sourceIds":["source-036152fee95261f4d005","source-9682b4498240b71bbd04","source-61c53ca8526628736861"]},{"confidence":"confirmed","date":{"precision":"day","text":"2026-08-12"},"id":"record-033cef3a13bcadcbdfcf","kind":"antithesis-timeline","label":"the wal-reset demo","original":{"confidence":"confirmed","date":"2026-08-12","detail":"the 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.","era":"agent","id":"evt-sqlite-wal","sourceIds":["src-ci-antithesis-wal","src-ci-tailscale-wal","src-ci-hn-wal"],"title":"the wal-reset demo"},"originalUrl":"https://hraness.com/antithesis/history#agent","sourceIds":["source-33ac35b21a4d94efe044","source-651ff1171547c97bcb3a","source-a1b30f7f0779f80ab179"]},{"confidence":"confirmed","date":{"precision":"day","text":"2026-08-20"},"id":"record-1c14e08dac811ca291db","kind":"antithesis-timeline","label":"inside-out vs outside-in","original":{"confidence":"confirmed","date":"2026-08-20","detail":"tigerbeetle 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.","era":"agent","id":"evt-protocol-dst","sourceIds":["src-ci-tigerbeetle-protocol-dst","src-ci-tigerbeetle-vopr-docs"],"title":"inside-out vs outside-in"},"originalUrl":"https://hraness.com/antithesis/history#agent","sourceIds":["source-40840bbda7f2e79f8202","source-9f5f4652e3c18c3de92d"]},{"confidence":"confirmed","date":{"precision":"day","text":"2026-03-23"},"id":"record-068c2b73c1c1b5f39255","kind":"antithesis-timeline","label":"the fortune profile","original":{"confidence":"confirmed","date":"2026-03-23","detail":"fortune'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.'","era":"agent","id":"evt-fortune-profile","sourceIds":["src-hp-fortune-2026","src-hp-forbes-profile"],"title":"the fortune profile"},"originalUrl":"https://hraness.com/antithesis/history#agent","sourceIds":["source-18800d113405b1a821c0","source-51e506595415ae93389b"]},{"confidence":"confirmed","date":{"precision":"day","text":"2026-09-30"},"id":"record-68accf22575209cfb16e","kind":"antithesis-timeline","label":"bugbash goes to europe","original":{"confidence":"confirmed","date":"2026-09-30","detail":"bugbash 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.","era":"agent","id":"evt-bugbash-eu","sourceIds":["src-hp-antithesis-home","src-hp-antithesis-bugbash-pod","src-hp-linkedin-company","src-hp-pitchbook"],"title":"bugbash goes to europe"},"originalUrl":"https://hraness.com/antithesis/history#agent","sourceIds":["source-9682b4498240b71bbd04","source-aff433f6dbf0dff1ecb8","source-0d6a8460ee32d0377451","source-a3fc58cd35ea99f10132"]}],"sources":[{"author":null,"id":"source-fe4e4cf6f57217ab50c0","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-61c53ca8526628736861","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-c6e2711ac5da851e039f","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-eec4419472e1fecf4441","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-33ac35b21a4d94efe044","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-6d244cf50e8262b4f34d","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-6ad78acbcf3355af231f","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-3dba960c1b83e89827ac","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-0146aad03ca408d196df","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-ddb2fe1f4ff5dc2fe398","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-44ded0bce0e464a3d4a5","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-036152fee95261f4d005","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-0bc90321f4437d962dad","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-0fa9039cea3b4a52530a","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-657f3090fc86cc3631e9","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-33cc12e36ff306b57253","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-74e8fd5ddde29b8af468","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-a1b30f7f0779f80ab179","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-663dced7c8522c996659","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-1d079aaa5bfbc6904158","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-81d889668301b0e342ff","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-bd21f65308c514f3f348","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-05061b173679721c8e64","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-810e9ee3261104ab736f","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-d3ba71960c1b24cdc3b8","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-d90807579ec19daea3a5","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-834c972c143c6dea5d7a","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-651ff1171547c97bcb3a","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-40840bbda7f2e79f8202","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-9f5f4652e3c18c3de92d","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-4f3afebbef0573e08e55","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-aff433f6dbf0dff1ecb8","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-bfba1ae61a599b083315","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-8c6075d3f15a96b50100","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-504c5ca84df5242ca92b","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-28ac3ff9953f4b0f09bd","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/"},{"author":null,"id":"source-c8eab1dcd0cefc5f1d5f","note":"ethereum foundation engagement began ~1yr pre-merge; first crypto network tested this way","originalId":"src-hp-antithesis-ethereum","published":{"precision":"year","text":"2024"},"publisher":"antithesis.com","title":"ethereum foundation engagement began ~1yr pre-merge","type":"primary","url":"https://antithesis.com/blog/ethereum_merge/"},{"author":null,"id":"source-9682b4498240b71bbd04","note":"current positioning (\"10x faster time-to-release\"); bug bash copenhagen sept 30 2026; agent skills/hegel/bombadil links","originalId":"src-hp-antithesis-home","published":{"precision":"year","text":"2026"},"publisher":"antithesis.com","title":"current positioning (10x faster time-to-release)","type":"primary","url":"https://antithesis.com/"},{"author":null,"id":"source-30c5c82596c92897f6d7","note":"mongodb customer since 2021; 100+ bugs; mttr −47%; 10x roi (self-reported)","originalId":"src-hp-antithesis-mongodb","published":{"precision":"year","text":"2025"},"publisher":"antithesis.com","title":"mongodb customer since 2021","type":"primary","url":"https://antithesis.com/blog/mongodb_productivity/"},{"author":null,"id":"source-05739e681547cf3e8edc","note":"time-machine/multiverse debugging launch; snapshotting; alex pshenichkin talk ref","originalId":"src-hp-antithesis-multiverse","published":{"precision":"day","text":"2024-09-10"},"publisher":"antithesis.com","title":"time-machine/multiverse debugging launch","type":"primary","url":"https://antithesis.com/blog/multiverse_debugging/"},{"author":null,"id":"source-7f21c87e962a1ea9d686","note":"systems distributed 2023 stealth talk; smb solved in ~45 min on 2018 cpu","originalId":"src-hp-antithesis-sdtalk","published":{"precision":"day","text":"2024-04-17"},"publisher":"antithesis.com","title":"systems distributed 2023 stealth talk","type":"primary","url":"https://antithesis.com/blog/sdtalk/"},{"author":null,"id":"source-ba000d476bdb33725d9d","note":"wilson essay \"when your customer leads your series a\"; \"calf-path\" culture note","originalId":"src-hp-antithesis-seriesa","published":{"precision":"day","text":"2025-12-03"},"publisher":"antithesis.com","title":"wilson essay when your customer leads your series a","type":"primary","url":"https://antithesis.com/blog/2025/series_a/"},{"author":null,"id":"source-3a2319bbff184d8e42ff","note":"complete 14-post essay list w/ dates; author bio","originalId":"src-hp-author-wilson","published":{"precision":"year","text":"2026"},"publisher":"antithesis.com","title":"complete 14-post essay list w/ dates","type":"primary","url":"https://antithesis.com/author/will-wilson/"},{"author":null,"id":"source-82435cedc46cbb611a13","note":"round history; $182m total; potluck/bluewing investor names","originalId":"src-hp-caplight","published":{"precision":"year","text":"2026"},"publisher":"caplight.com","title":"round history","type":"reference","url":"https://www.caplight.com/company/antithesis"},{"author":null,"id":"source-3df388b7000a8d388ac2","note":"$184.3m total raised (divergent tally)","originalId":"src-hp-cbinsights","published":{"precision":"year","text":"2026"},"publisher":"cb insights","title":"$184","type":"reference","url":"https://www.cbinsights.com/company/antithesis"},{"author":null,"id":"source-f3f690a198686e962105","note":"\"revenue 12x over two years\" (self-reported); aws marketplace gtm","originalId":"src-hp-citybiz-seriesa","published":{"precision":"month","text":"2025-12"},"publisher":"citybiz.co","title":"revenue 12x over two years (self-reported)","type":"reporting","url":"https://www.citybiz.co/article/778993/jane-street-leads-antithesiss-105m-series-a/"},{"author":null,"id":"source-b7b415bbea1d22993344","note":"series a; ethereum/merge usage","originalId":"src-hp-coindesk-seriesa","published":{"precision":"day","text":"2025-12-03"},"publisher":"coindesk.com","title":"series a","type":"reporting","url":"https://www.coindesk.com/business/2025/12/03/jane-street-leads-usd105m-funding-for-antithesis-a-testing-tool-used-by-ethereum-network"},{"author":null,"id":"source-79c5601860f206e283bc","note":"patio11 interview; \"fuzzing for the world\"; aws parallel-invention concession; crowdstrike framing","originalId":"src-hp-complex-systems-pod","published":{"precision":"year","text":"2025"},"publisher":"complexsystemspodcast.com","title":"patio11 interview","type":"interview","url":"https://www.complexsystemspodcast.com/episodes/software-testing-with-will-wilson/"},{"author":null,"id":"source-7abf179bd4d389a2913e","note":"inaugural bug bash writeup; wilson \"pre-observability\" keynote; etcd demo","originalId":"src-hp-concerningquality-bugbash","published":{"precision":"year","text":"2025"},"publisher":"concerningquality.com","title":"inaugural bug bash writeup","type":"community","url":"https://concerningquality.com/bug-bash-2025/"},{"author":null,"id":"source-131cf36e7f9310eb72e1","note":"collins bio: \"led the foundationdb team from acquisition to core cloud data store\"","originalId":"src-hp-equilar-collins","published":{"precision":"year","text":"2026"},"publisher":"people.equilar.com","title":"collins bio: led the foundationdb team from acquisition to core cloud data store","type":"reference","url":"https://people.equilar.com/bio/person/ben-collins-antithesis/66894163"},{"author":null,"id":"source-5d5c23bfb99d04c8fbe2","note":"scherer bio: vpython, igf win, visual sciences 2000, fdb principal architect","originalId":"src-hp-equilar-scherer","published":{"precision":"year","text":"2026"},"publisher":"people.equilar.com","title":"scherer bio: vpython, igf win, visual sciences 2000, fdb principal architect","type":"reference","url":"https://people.equilar.com/bio/person/dave-scherer-antithesis/66894169"},{"author":null,"id":"source-bc832cef9030598176f4","note":"first 18 months entirely in simulation; deterministic whole-cluster sim","originalId":"src-hp-fdb-docs-engineering","published":{"precision":"unknown","text":"undated"},"publisher":"apple.github.io","title":"first 18 months entirely in simulation","type":"reference","url":"https://apple.github.io/foundationdb/engineering.html"},{"author":null,"id":"source-4937c4d67ee0b1093868","note":"fdb \"simulation\" + flow; ~1t cpu-hours claim; 10:1 time compression","originalId":"src-hp-fdb-docs-testing","published":{"precision":"unknown","text":"undated"},"publisher":"apple.github.io","title":"fdb simulation + flow","type":"reference","url":"https://apple.github.io/foundationdb/testing.html"},{"author":null,"id":"source-a939cd7a1fa227ef56bf","note":"confirms feb 2025 round details","originalId":"src-hp-finsmes-30m","published":{"precision":"day","text":"2025-02-14"},"publisher":"finsmes","title":"confirms feb 2025 round details","type":"reporting","url":"https://www.finsmes.com/2025/02/antithesis-raises-30m-in-funding.html"},{"author":null,"id":"source-6d1da99aa2ae790cce82","note":"ramp deal; formance/tigerbeetle; hedge fund + retail trading platform unnamed; koblov quote","originalId":"src-hp-fintechasia-ramp","published":{"precision":"day","text":"2025-05-07"},"publisher":"fintechbusinessasia.com","title":"ramp deal","type":"primary","url":"https://www.fintechbusinessasia.com/news/35/475/antithesis-expands-footprint-in-fintech-powering-reliability-for-industry-leaders-like-ramp-and-top-hedge-funds.html"},{"author":null,"id":"source-51e506595415ae93389b","note":"cofounder bios/ages; scherer listed as cto","originalId":"src-hp-forbes-profile","published":{"precision":"year","text":"2026"},"publisher":"forbes","title":"cofounder bios/ages","type":"reporting","url":"https://www.forbes.com/companies/antithesis/"},{"author":null,"id":"source-18800d113405b1a821c0","note":"term sheet profile; wilson quotes; ~40 clients; seed raised \"while in stealth\"","originalId":"src-hp-fortune-2026","published":{"precision":"day","text":"2026-03-23"},"publisher":"fortune","title":"term sheet profile","type":"reporting","url":"https://fortune.com/2026/03/23/antithesis-janestreet-ethereum-will-wilson-foundationdb-software/"},{"author":null,"id":"source-0d6a8460ee32d0377451","note":"~231 employees (+138% yoy); 6 countries — third-party estimate","originalId":"src-hp-linkedin-company","published":{"precision":"year","text":"2026"},"publisher":"linkedin","title":"~231 employees (+138% yoy)","type":"reference","url":"https://linkedin.com/company/antithesis-operations"},{"author":null,"id":"source-b3746e548e4161e172b9","note":"wilson's own cv: computational biodynamics, fdb document layer, apple/google; \"front page of hn for three days\"","originalId":"src-hp-linkedin-wilson","published":{"precision":"year","text":"2026"},"publisher":"linkedin","title":"wilsons own cv: computational biodynamics, fdb document layer, apple/google","type":"primary","url":"https://www.linkedin.com/in/will-wilson-330276112"},{"author":null,"id":"source-a3fc58cd35ea99f10132","note":"91 employees as of 2025 (divergent headcount)","originalId":"src-hp-pitchbook","published":{"precision":"year","text":"2026"},"publisher":"pitchbook","title":"91 employees as of 2025 (divergent headcount)","type":"reference","url":"https://pitchbook.com/profiles/company/433266-67"},{"author":null,"id":"source-a5284a4c9061ec8bd047","note":"$30m amplify+spark; pruss board; +50% headcount; verticals incl. data streaming","originalId":"src-hp-prnewswire-30m","published":{"precision":"day","text":"2025-02-13"},"publisher":"prnewswire","title":"$30m amplify+spark","type":"primary","url":"https://www.prnewswire.com/news-releases/antithesis-marks-one-year-anniversary-with-customer-growth-new-funding-company-expansion-302375489.html"},{"author":null,"id":"source-6a585c8a57e133c31094","note":"$105m series a; jane street lead; full syndicate incl. collison/patel/douglas; doug patti quote; tysons corner dateline","originalId":"src-hp-prnewswire-seriesa","published":{"precision":"day","text":"2025-12-03"},"publisher":"prnewswire","title":"$105m series a","type":"primary","url":"https://www.prnewswire.com/news-releases/jane-street-leads-antithesiss-105m-series-a-to-make-deterministic-simulation-testing-the-new-standard-302631076.html"},{"author":null,"id":"source-5bf1079132f2ac1f291b","note":"$215m valuation at seed","originalId":"src-hp-reuters-seed","published":{"precision":"day","text":"2024-02-13"},"publisher":"reuters","title":"$215m valuation at seed","type":"reporting","url":"https://www.reuters.com/technology/code-testing-startup-antithesis-raises-seed-funding-215-mln-valuation-2024-02-13/"},{"author":null,"id":"source-13b942db935d4fbf514e","note":"\"i was actually a testing skeptic when i joined foundationdb\"; post-apple path verbatim","originalId":"src-hp-rootly-wilson","published":{"precision":"year","text":"2025"},"publisher":"rootly.com","title":"i was actually a testing skeptic when i joined foundationdb","type":"interview","url":"https://rootly.com/humans-of-reliability/will-wilson-antithesis"},{"author":null,"id":"source-3c69e694d1e5a894a282","note":"third-party amplification of the launch-post quote","originalId":"src-hp-simonwillison-quote","published":{"precision":"day","text":"2024-02-13"},"publisher":"simonwillison.net","title":"third-party amplification of the launch-post quote","type":"community","url":"https://simonwillison.net/2024/Feb/13/foundationdb/"},{"author":null,"id":"source-cb2223346ba4dbcc5107","note":"carl sverre (graft) customer account; scherer visual sciences simulation prehistory; customer advisory board existence","originalId":"src-hp-sqlsync-adt","published":{"precision":"month","text":"2025-04"},"publisher":"sqlsync.dev","title":"carl sverre (graft) customer account","type":"community","url":"https://sqlsync.dev/posts/antithesis-driven-testing/"},{"author":null,"id":"source-107540809cbc39cbb0b9","note":"lavezzo profile; scherer childhood friendship; visual sciences → omniture → adobe chain","originalId":"src-hp-startupgrind-lavezzo","published":{"precision":"year","text":"2013"},"publisher":"startupgrind.com","title":"lavezzo profile","type":"interview","url":"https://www.startupgrind.com/blog/foundationdb-how-this-startup-got-funded-by-ron-conway/"},{"author":null,"id":"source-708ec9b69bbe753985ed","note":"wilson's canonical dst talk + his fdb-era bio (biotech start, yale math/philosophy)","originalId":"src-hp-strangeloop-2014","published":{"precision":"month","text":"2014-09"},"publisher":"thestrangeloop.com","title":"wilsons canonical dst talk + his fdb-era bio (biotech start, yale math/philosophy)","type":"primary","url":"https://www.thestrangeloop.com/2014/testing-distributed-systems-w-slash-deterministic-simulation.html"},{"author":null,"id":"source-3cf2887f2a02a7e49ba2","note":"launch coverage; \"existing investors… friendly terms\" quote; product mechanics","originalId":"src-hp-techcrunch-47m","published":{"precision":"day","text":"2024-02-13"},"publisher":"techcrunch","title":"launch coverage","type":"reporting","url":"https://techcrunch.com/2024/02/13/antithesis-raises-47m-to-launch-an-automated-testing-platform-for-software/"},{"author":null,"id":"source-c9f89af4232d29ce9031","note":"apple acquisition; fdb founders rosenthal/lavezzo/scherer; $22.7m raised","originalId":"src-hp-techcrunch-apple-fdb","published":{"precision":"day","text":"2015-03-24"},"publisher":"techcrunch","title":"apple acquisition","type":"reporting","url":"https://techcrunch.com/2015/03/24/apple-acquires-durable-database-company-foundationdb/"},{"author":null,"id":"source-5566c260711caad73d9a","note":"\"testing a single-node, single threaded, distributed system written in 1985\" — full stealth talk","originalId":"src-hp-youtube-mario","published":{"precision":"month","text":"2024-04"},"publisher":"youtube","title":"youtube","type":"primary","url":"https://www.youtube.com/watch?v=m3HwXlQPCEU"}]}
````