Published text

Structured research records

1. the simulation-first database · antithesis-eras · 2009–2015 (approximate)

   Original location

   Original structured fields

   {
     "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"
   }

2. the stealth years · antithesis-eras · 2018–2024 (approximate)

   Original location

   Original structured fields

   {
     "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"
   }

3. the launch · antithesis-eras · 2024 (year)

   Original location

   Original structured fields

   {
     "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"
   }

4. the institutionalization · antithesis-eras · 2025 (year)

   Original location

   Original structured fields

   {
     "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"
   }

5. the agent era · antithesis-eras · 2026– (approximate)

   Original location

   Original structured fields

   {
     "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"
   }

6. foundationdb founded · antithesis-timeline · 2009 (year) · confirmed (original editorial confidence)

   Original location · source-4f3afebbef0573e08e55 · source-c9f89af4232d29ce9031 · source-5d5c23bfb99d04c8fbe2 · source-107540809cbc39cbb0b9

   Original structured fields

   {
     "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"
   }

7. simulation before the database · antithesis-timeline · 2010 (year) · confirmed (original editorial confidence)

   Original location · source-bfba1ae61a599b083315 · source-4937c4d67ee0b1093868 · source-bc832cef9030598176f4 · source-cb2223346ba4dbcc5107

   Original structured fields

   {
     "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"
   }

8. dst's simultaneous invention · antithesis-timeline · 2010 (year) · confirmed (original editorial confidence)

   Original location · source-504c5ca84df5242ca92b · source-79c5601860f206e283bc

   Original structured fields

   {
     "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"
   }

9. wilson joins foundationdb · antithesis-timeline · 2013-04 (month) · confirmed (original editorial confidence)

   Original location · source-4f3afebbef0573e08e55 · source-b3746e548e4161e172b9 · source-708ec9b69bbe753985ed

   Original structured fields

   {
     "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"
   }

10. the strange loop talk · antithesis-timeline · 2014-09 (month) · confirmed (original editorial confidence)

    Original location · source-708ec9b69bbe753985ed · source-b3746e548e4161e172b9

    Original structured fields

    {
      "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"
    }

11. apple acquires foundationdb · antithesis-timeline · 2015-03-24 (day) · confirmed (original editorial confidence)

    Original location · source-c9f89af4232d29ce9031 · source-4f3afebbef0573e08e55 · source-44ded0bce0e464a3d4a5

    Original structured fields

    {
      "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"
    }

12. the diaspora · antithesis-timeline · 2015 (year) · confirmed (original editorial confidence)

    Original location · source-13b942db935d4fbf514e · source-131cf36e7f9310eb72e1 · source-4f3afebbef0573e08e55

    Original structured fields

    {
      "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"
    }

13. antithesis founded · antithesis-timeline · 2018-01 (month) · confirmed (original editorial confidence)

    Original location · source-4f3afebbef0573e08e55 · source-bfba1ae61a599b083315 · source-8c6075d3f15a96b50100

    Original structured fields

    {
      "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"
    }

14. customer no. 1 · antithesis-timeline · 2019-09 (month) · confirmed (original editorial confidence)

    Original location · source-4f3afebbef0573e08e55 · source-657f3090fc86cc3631e9

    Original structured fields

    {
      "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"
    }

15. mongodb evaluates, then buys · antithesis-timeline · 2020 (year) · reported (original editorial confidence)

    Original location · source-0146aad03ca408d196df · source-30c5c82596c92897f6d7

    Original structured fields

    {
      "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"
    }

16. the ethereum engagement · antithesis-timeline · 2021-09 (month) · confirmed (original editorial confidence)

    Original location · source-c8eab1dcd0cefc5f1d5f · source-d3ba71960c1b24cdc3b8

    Original structured fields

    {
      "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"
    }

17. the stealth mario talk · antithesis-timeline · 2023 (year) · confirmed (original editorial confidence)

    Original location · source-7f21c87e962a1ea9d686 · source-5566c260711caad73d9a

    Original structured fields

    {
      "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"
    }

18. out of stealth, $47m seed · antithesis-timeline · 2024-02-13 (day) · confirmed (original editorial confidence)

    Original location · source-d3ba71960c1b24cdc3b8 · source-5bf1079132f2ac1f291b · source-3cf2887f2a02a7e49ba2 · source-4f3afebbef0573e08e55

    Original structured fields

    {
      "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"
    }

19. the hn megathread · antithesis-timeline · 2024-02-13 (day) · confirmed (original editorial confidence)

    Original location · source-657f3090fc86cc3631e9 · source-bfba1ae61a599b083315 · source-3c69e694d1e5a894a282

    Original structured fields

    {
      "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"
    }

20. open source giveaway · antithesis-timeline · 2024-02-28 (day) · confirmed (original editorial confidence)

    Original location · source-3a2319bbff184d8e42ff · source-c6e2711ac5da851e039f

    Original structured fields

    {
      "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"
    }

21. the determinator revealed · antithesis-timeline · 2024-03-20 (day) · confirmed (original editorial confidence)

    Original location · source-8c6075d3f15a96b50100 · source-0fa9039cea3b4a52530a · source-3dba960c1b83e89827ac

    Original structured fields

    {
      "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"
    }

22. mario as test target · antithesis-timeline · 2024-04-17 (day) · confirmed (original editorial confidence)

    Original location · source-7f21c87e962a1ea9d686 · source-74e8fd5ddde29b8af468 · source-fe4e4cf6f57217ab50c0

    Original structured fields

    {
      "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"
    }

23. multiverse debugging · antithesis-timeline · 2024-09-10 (day) · confirmed (original editorial confidence)

    Original location · source-05739e681547cf3e8edc · source-33cc12e36ff306b57253

    Original structured fields

    {
      "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"
    }

24. the pragmatic engineer look · antithesis-timeline · 2024-11-12 (day) · confirmed (original editorial confidence)

    Original location · source-bd21f65308c514f3f348

    Original structured fields

    {
      "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"
    }

25. $30m anniversary round · antithesis-timeline · 2025-02-13 (day) · confirmed (original editorial confidence)

    Original location · source-a5284a4c9061ec8bd047 · source-a939cd7a1fa227ef56bf · source-d90807579ec19daea3a5

    Original structured fields

    {
      "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"
    }

26. bugbash · antithesis-timeline · 2025-04-03 (day) · confirmed (original editorial confidence)

    Original location · source-05061b173679721c8e64 · source-6d244cf50e8262b4f34d · source-7abf179bd4d389a2913e · source-0146aad03ca408d196df

    Original structured fields

    {
      "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"
    }

27. the fintech cluster · antithesis-timeline · 2025-05-06 (day) · confirmed (original editorial confidence)

    Original location · source-810e9ee3261104ab736f · source-6d1da99aa2ae790cce82 · source-9f5f4652e3c18c3de92d

    Original structured fields

    {
      "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"
    }

28. the jepsen collaboration · antithesis-timeline · 2025-07-15 (day) · confirmed (original editorial confidence)

    Original location · source-81d889668301b0e342ff · source-1d079aaa5bfbc6904158 · source-663dced7c8522c996659

    Original structured fields

    {
      "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"
    }

29. etcd via cncf · antithesis-timeline · 2025-09-25 (day) · confirmed (original editorial confidence)

    Original location · source-6ad78acbcf3355af231f · source-ddb2fe1f4ff5dc2fe398 · source-28ac3ff9953f4b0f09bd

    Original structured fields

    {
      "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"
    }

30. hypothesis joins antithesis · antithesis-timeline · 2025-11 (month) · confirmed (original editorial confidence)

    Original location · source-eec4419472e1fecf4441

    Original structured fields

    {
      "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"
    }

31. jane street leads $105m · antithesis-timeline · 2025-12-03 (day) · confirmed (original editorial confidence)

    Original location · source-6a585c8a57e133c31094 · source-ba000d476bdb33725d9d · source-b7b415bbea1d22993344 · source-82435cedc46cbb611a13

    Original structured fields

    {
      "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"
    }

32. the 12x claim · antithesis-timeline · 2025-12 (month) · reported (original editorial confidence)

    Original location · source-b7b415bbea1d22993344 · source-f3f690a198686e962105 · source-834c972c143c6dea5d7a · source-3df388b7000a8d388ac2

    Original structured fields

    {
      "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"
    }

33. hegel · antithesis-timeline · 2026-03-24 (day) · confirmed (original editorial confidence)

    Original location · source-eec4419472e1fecf4441 · source-0bc90321f4437d962dad · source-c6e2711ac5da851e039f

    Original structured fields

    {
      "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"
    }

34. verification is the new bottleneck · antithesis-timeline · 2026-04-23 (day) · confirmed (original editorial confidence)

    Original location · source-036152fee95261f4d005 · source-9682b4498240b71bbd04 · source-61c53ca8526628736861

    Original structured fields

    {
      "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"
    }

35. the wal-reset demo · antithesis-timeline · 2026-08-12 (day) · confirmed (original editorial confidence)

    Original location · source-33ac35b21a4d94efe044 · source-651ff1171547c97bcb3a · source-a1b30f7f0779f80ab179

    Original structured fields

    {
      "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"
    }

36. inside-out vs outside-in · antithesis-timeline · 2026-08-20 (day) · confirmed (original editorial confidence)

    Original location · source-40840bbda7f2e79f8202 · source-9f5f4652e3c18c3de92d

    Original structured fields

    {
      "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"
    }

37. the fortune profile · antithesis-timeline · 2026-03-23 (day) · confirmed (original editorial confidence)

    Original location · source-18800d113405b1a821c0 · source-51e506595415ae93389b

    Original structured fields

    {
      "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"
    }

38. bugbash goes to europe · antithesis-timeline · 2026-09-30 (day) · confirmed (original editorial confidence)

    Original location · source-9682b4498240b71bbd04 · source-aff433f6dbf0dff1ecb8 · source-0d6a8460ee32d0377451 · source-a3fc58cd35ea99f10132

    Original structured fields

    {
      "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"
    }