Published text

Structured research records

1. visual sciences · antithesis-quests · 2000–2009 (approximate)

   Original location · source-a323dce5579bce03633d · source-42b00cd4fc8fa1bae50f · source-4f1334391fc5b8514005

   Original structured fields

   {
     "dates": "2000–2009",
     "detail": "scherer and lavezzo's pre-foundationdb company — an early web-analytics/big-data platform where scherer first built a model-based simulation to hunt tail-latency pathologies. sold to omniture, later absorbed into adobe. the ancestral line of the determinator.",
     "id": "qst-visual-sciences",
     "owner": "scherer",
     "sourceIds": [
       "src-hp-equilar-scherer",
       "src-hp-startupgrind-lavezzo",
       "src-hp-sqlsync-adt"
     ],
     "status": "ended",
     "title": "visual sciences",
     "url": null
   }

2. foundationdb · antithesis-quests · 2009– (approximate)

   Original location · source-5285c389ea2eaefed2b8 · source-5001a216ee6f87b0e036 · source-fe95adaa7eee3494ea29

   Original structured fields

   {
     "dates": "2009–",
     "detail": "the prior venture — still open source under apple, powering cloudkit and deployed at snowflake. the simulation harness and flow language were its load-bearing idea; antithesis exists because the approach stayed trapped inside one database.",
     "id": "qst-foundationdb",
     "owner": "wilson",
     "sourceIds": [
       "src-ci-prnewswire-launch",
       "src-hp-fdb-docs-engineering",
       "src-hp-techcrunch-apple-fdb"
     ],
     "status": "handed-off",
     "title": "foundationdb",
     "url": "https://www.foundationdb.org"
   }

3. computational biodynamics · antithesis-quests · ~2004–2009 (approximate)

   Original location · source-c21c551b05495c225297 · source-4b440d383458def250a2

   Original structured fields

   {
     "dates": "~2004–2009",
     "detail": "wilson's first company, co-founded right after high school — a finite-element model of the human brainstem and spinal cord for injury diagnostics. irb-approved human studies, dod grants, an spie paper. the proof that wilson's career started in simulation, not testing.",
     "id": "qst-computational-biodynamics",
     "owner": "wilson",
     "sourceIds": [
       "src-hp-linkedin-wilson",
       "src-hp-strangeloop-2014"
     ],
     "status": "ended",
     "title": "computational biodynamics",
     "url": null
   }

4. vpython · antithesis-quests · ~2000 (approximate)

   Original location · source-a323dce5579bce03633d

   Original structured fields

   {
     "dates": "~2000",
     "detail": "scherer's cmu-era project — python bindings for real-time 3d graphics, used to teach intro physics for decades. the first time he built a simulated world for other people to think in.",
     "id": "qst-vpython",
     "owner": "scherer",
     "sourceIds": [
       "src-hp-equilar-scherer"
     ],
     "status": "handed-off",
     "title": "vpython",
     "url": null
   }

5. the nintendo corpus · antithesis-quests · 2023– (approximate)

   Original location · source-c2e2de562097e44cb4b3 · source-59796bcee8a58fba6799 · source-68484f5372808f6636ee · source-4eb13a04dea8159e1424

   Original structured fields

   {
     "dates": "2023–",
     "detail": "the nes program — super mario bros., zelda (real glitches found, incl. speedrunner exploits), metroid, castlevania. officially r&d for the exploration engine ('this is actually how we figured this stuff out'), unofficially the best demo loop in testing.",
     "id": "qst-nes",
     "owner": "company",
     "sourceIds": [
       "src-hp-antithesis-sdtalk",
       "src-hp-antithesis-zelda",
       "src-ci-antithesis-metroid",
       "src-ci-antithesis-castlevania"
     ],
     "status": "continuing",
     "title": "the nintendo corpus",
     "url": "https://antithesis.com/blog/sdtalk/"
   }

6. the open source giveaway · antithesis-quests · 2024– (approximate)

   Original location · source-70d5673ba78c15a8bc3f · source-ad7dce736953b7f18630

   Original structured fields

   {
     "dates": "2024–",
     "detail": "free deterministic-simulation testing for qualifying open-source projects — the standing answer to the launch-day 'no free tier' complaint, run as a program rather than a product tier.",
     "id": "qst-oss-giveaway",
     "owner": "company",
     "sourceIds": [
       "src-hp-author-wilson",
       "src-ci-antithesis-docs-welcome"
     ],
     "status": "continuing",
     "title": "the open source giveaway",
     "url": "https://antithesis.com/author/will-wilson/"
   }

7. bugbash · antithesis-quests · 2025– (approximate)

   Original location · source-0c02e19b51ea78f51bd4 · source-5c43ea9d88c0ab54615c · source-dd44509421b628a5b418 · source-23c1f2a1c750d37de9d5

   Original structured fields

   {
     "dates": "2025–",
     "detail": "the company's own conference — 'not a software testing conference, but a software correctness conference.' ~200 seats sold out in dc in 2025; bugbash europe announced for copenhagen, september 30, 2026. the bugbash podcast is at season two. wilson's strange-loop nostalgia, institutionalized.",
     "id": "qst-bugbash",
     "owner": "company",
     "sourceIds": [
       "src-ci-prnewswire-bugbash",
       "src-ci-bugbash2025",
       "src-hp-antithesis-home",
       "src-hp-antithesis-bugbash-pod"
     ],
     "status": "active",
     "title": "bugbash",
     "url": "https://antithesis.com/bugbash/"
   }

8. the jepsen glossary · antithesis-quests · 2025–2026 (approximate)

   Original location · source-6ddc9b68523a023755eb · source-db08b0c1c2901a13771b · source-23f80d8f1c6eec4f15d6

   Original structured fields

   {
     "dates": "2025–2026",
     "detail": "the co-authored distributed systems reliability glossary with jepsen — announced july 2025, published october — and jepsen 0.3.10's jepsen.antithesis module, pluggable rngs that 'can source entropy from an external system, like antithesis.' the rival-turned-collaborator quest.",
     "id": "qst-jepsen-glossary",
     "owner": "community",
     "sourceIds": [
       "src-ci-kingsbury-linkedin",
       "src-ci-jepsen-glossary",
       "src-ci-jepsen-0310"
     ],
     "status": "continuing",
     "title": "the jepsen glossary",
     "url": null
   }

9. hegel · antithesis-quests · 2026– (approximate)

   Original location · source-4527eccfebdec5f540ec · source-69b7f4ec3ef5ad0c4e7d · source-ad7dce736953b7f18630

   Original structured fields

   {
     "dates": "2026–",
     "detail": "david maciver and liam devoe's cross-language property-based-testing family — rust first, go/c++/ocaml/typescript announced — open source and integrating with antithesis. the hypothesis lineage made literal inside the company.",
     "id": "qst-hegel",
     "owner": "company",
     "sourceIds": [
       "src-ci-antithesis-hegel",
       "src-ci-hn-hegel",
       "src-ci-antithesis-docs-welcome"
     ],
     "status": "active",
     "title": "hegel",
     "url": "https://hegel.dev"
   }

10. bombadil · antithesis-quests · 2026– (approximate)

    Original location · source-ad7dce736953b7f18630 · source-02504aa6437cac15d3f6

    Original structured fields

    {
      "dates": "2026–",
      "detail": "property-based testing for web and terminal uis — the second open-source satellite alongside hegel. the proprietary hypervisor stays closed; the testing libraries are the commons.",
      "id": "qst-bombadil",
      "owner": "company",
      "sourceIds": [
        "src-ci-antithesis-docs-welcome",
        "src-ci-antithesis-problems-faq"
      ],
      "status": "active",
      "title": "bombadil",
      "url": "https://bombadil.bot"
    }

11. antithesis skills for agents · antithesis-quests · 2026– (approximate)

    Original location · source-c7c519878956f349adfb · source-8fe8812e808d5963bbe8 · source-6fff118c793c32279c90

    Original structured fields

    {
      "dates": "2026–",
      "detail": "the agent-skills repo and snouty cli — skills for research, setup, workload authoring, launch, triage, and debugging. the 2026 bet that an agent can navigate 'the sharp corners in our 8-page setup guide' and collapse onboarding cost.",
      "id": "qst-agent-skills",
      "owner": "company",
      "sourceIds": [
        "src-ci-antithesis-agent-skills",
        "src-ci-antithesis-skills-docs",
        "src-ci-antithesis-wal"
      ],
      "status": "active",
      "title": "antithesis skills for agents",
      "url": "https://github.com/antithesishq/antithesis-skills"
    }

12. breaking the wal · antithesis-quests · 2026 (year)

    Original location · source-6fff118c793c32279c90 · source-7898b388c64ee5d04531 · source-7378c81519ab01696dd8

    Original structured fields

    {
      "dates": "2026",
      "detail": "the flagship agent-era anecdote: claude, armed with antithesis skills, reproduces sqlite's wal-reset data race — present since 2010, never organically reproduced by sqlite's team, surfaced via tailscale's 2025 production outages — in ~15 minutes, 'from my phone.'",
      "id": "qst-wal-demo",
      "owner": "company",
      "sourceIds": [
        "src-ci-antithesis-wal",
        "src-ci-tailscale-wal",
        "src-ci-hn-wal"
      ],
      "status": "ended",
      "title": "breaking the wal",
      "url": "https://antithesis.com/blog/breaking_the_wal/"
    }