sources

the catalog

every claim on this site carries source ids that resolve here. type marks the evidence role; dates keep the precision the source gave.

1. 2026-09-15docs-based fact table: endpoint, jev-latest alias, sdks, 32k budget, 255-option capactionbox.clouddocs-based fact table: endpoint, jev-latest alias, sdks, 32k budget, 255-option capreferencesrc-ci-actionbox
2. 2026-09-16dawsartificialintelligence-news.comdaws; doom ≈10 qps ≈$7/hr; wikiracing; two-stage >255-option scoringreportingsrc-ci-ainews-techforge
3. 2026-09-15launch thread w/ videoxlaunch thread w/ video; 4.21m views/19.9k likes per latent.space capturecommunitysrc-ci-almeida-tweet
4. 2026lies, damned lies, and benchmarks — benchmaxxing critiquetypesafe.ai"lies, damned lies, and benchmarks" — benchmaxxing critique; benchmarks as "a loan" of trustprimarysrc-ci-antibench
5. 2026the bitterest lesson: right task > data > compute > algorithmscompleteskeptic.com"the bitterest lesson": right task > data > compute > algorithms; instructgpt anecdoteprimarysrc-ci-bitterest
6. 2026-09-16vega/the jev file: three conflicting speed figuresdailytexasnews.comvega/"the jev file": three conflicting speed figures; 0% footnote verbatim; wikiracing reasoning-disabled; dspy-swap 15.9%/30.1%; aggregates near here + gsl + everyreferencesrc-ci-dailytexas
7. 2026-09-16explainerelsolitario.orgexplainer; notes no sdk/general access yetreportingsrc-ci-elsolitario
8. 2026-09-15mike taylor: 777 judgments <0everymike taylor: 777 judgments <0.7s ≈¼¢; 1,709 judgments <1¢; every ceo defect test 6/7 vs 7/7, 0.35s vs 8.83sreportingsrc-ci-every-taylor
9. 2026-09seed round noticefinsmesseed round notice; exec rolesreportingsrc-ci-finsmes
10. 2026-09-16goedecke: prefill+1-token replication argumentseangoedecke.comgoedecke: prefill+1-token replication argument; "no substantial technical moat"; calibration doubt; hopes it succeedsreportingsrc-ci-goedecke
11. 2026-09-15alex duffy: 91goodstartlabs.comalex duffy: 91.5% jev↔fable agreement on 6,003 checks; $160 vs $33k/m; 96.0% w/ sonnet 4.5; 10,500 calls zero failuresreportingsrc-ci-goodstartlabs
12. 2026-09-16reverse-engineered jev-like model — 69 pts/8 commentshacker news"reverse-engineered jev-like model" — 69 pts/8 comments; diffusiongemma jev-mode; 2-hour qwen clone satirecommunitysrc-ci-hn-jevlike
13. 2026-09-15hn #1: 1,790 pts / 473 commentshacker newshn #1: 1,790 pts / 473 comments; title changed from "jev: new frontier model 40-400x cheaper and 20-200x faster"; ceo + employees in threadcommunitysrc-ci-hn-main
14. 2026-09-16mit-licensed option-attention reimplementation (~228★/23 forks)githubmit-licensed option-attention reimplementation (~228★/23 forks); doom + chess demos; honest disclaimersreportingsrc-ci-jevlike-repo
15. 2026-09-15docs-basedkingy.aidocs-based; "supports the systems story… not the strongest intelligence story"referencesrc-ci-kingy
16. 2026-09-16ainews title storylatent spaceainews title story; tweet stats (4.21m views); x-reactor roundup; dspy-signature connection; aie preview disclosureprimarysrc-ci-latentspace
17. 2016-02-23old typesafe→lightbend rename (later akka)einpresswire.comold typesafe→lightbend rename (later akka); name lineage for the new coreportingsrc-ci-lightbend-history
18. 2026-09-16uk events co: jev-1nearhere.eventsuk events co: jev-1.13.0, 96% vs mistral 84% / gemini 86%; 0.59s; $0.043/1kreportingsrc-ci-nearhere
19. 2026-09-16claims to beat claude 193x… the numbers are its ownpasqualepillitteri.it"claims to beat claude 193x… the numbers are its own"reportingsrc-ci-pillitteri
20. 2026-09-15r/singularity thread (exists per techmemeredditr/singularity thread (exists per techmeme; comments not retrievable)communitysrc-ci-reddit-singularity
21. 2026-09-15merketruntimewire.commerket; early-access announcement coverage (via techmeme cluster)reportingsrc-ci-runtimewire
22. 2026-09-15model built to kill chatstartuphub.ai"model built to kill chat"; founder backgroundreportingsrc-ci-startuphub
23. 2026-09-15funding cluster: forbes leadtechmeme.comfunding cluster: forbes lead; runtimewire, rundown, finsmes; every ceo + reactor tweetsreportingsrc-ci-techmeme-260915
24. 2026-09-16launch cluster: register leadtechmeme.comlaunch cluster: register lead; ai news, every, neuron, digit; x/bluesky reactor list; r/singularity linkreportingsrc-ci-techmeme-260916
25. 2026-09-15rundown aithe rundownrundown ai; notes company's own comparison-methodology caveatprimarysrc-ci-therundown
26. 2026-09-15type safety is not factual correctness synthesistop5apps.ai"type safety is not factual correctness" synthesis; missed-defect reasoning gapreferencesrc-ci-top5apps
27. 2026-09-16agenccy.aiagenccy.ai67.8% agreement metric; gosain upworthy test details.reportingsrc-hp-agenccy
28. 2026-09-16notes kahneman naming, antibenchmaxxing post, hn reactionaibuzzwire.newsnotes kahneman naming, antibenchmaxxing post, hn reaction.reportingsrc-hp-aibuzzwire
29. 2026-07-01aie worlds fair slot 10:45am track 9 room 2016nextjs-conf-scheduler.sentry.devaie world's fair slot 10:45am track 9 room 2016; bio.referencesrc-hp-aie-schedule
30. 2026speaker bioai.engineerspeaker bio; instructgpt context.referencesrc-hp-aiengineer-bio
31. 2026-07-3118-min talk + transcript excerptsai.engineer18-min talk + transcript excerpts.primarysrc-hp-aiengineer-talk
32. 2021-06a generalizable approach to learning optimizers (openai)arxiv.org"a generalizable approach to learning optimizers" (openai).primarysrc-hp-arxiv-optimizers
33. 2026mts model capabilities posting: $150k–$250k + equityjobs.ashbyhq.commts model capabilities posting: $150k–$250k + equity; stack python/ts/k8s.primarysrc-hp-ashby-job
34. 2024-09-13typesafe in 2024 aws genai accelerator cohortaws.amazon.comtypesafe in 2024 aws genai accelerator cohort.primarysrc-hp-aws-accelerator
35. 2026-09-10the bitterest lesson essay (mirrors complete skeptic)typesafe.ai"the bitterest lesson" essay (mirrors complete skeptic).primarysrc-hp-blog-bitterest
36. 2026-09-15launch post by diogo almeidatypesafe.ailaunch post by diogo almeida; rlcd, primitives, evals, jevons naming.primarysrc-hp-blog-launch
37. 2026-06-19earliest blog posttypesafe.aiearliest blog post; video-format page.primarysrc-hp-blog-toogood
38. 2026-09-15press release: $40m seed led by dcvcbusinesswire.compress release: $40m seed led by dcvc; founded 2024; hardiman quote.primarysrc-hp-businesswire
39. 2026-09lists 9/17/2024 accelerator roundcb insightslists 9/17/2024 accelerator round; "11 investors" (obfuscated).referencesrc-hp-cbinsights
40. 2026-09seed roundcrunchbaseseed round; lead investor dcvc only.referencesrc-hp-crunchbase-round
41. 2026-09deal record sep 2026, $40m seed, dcvcapp.dealroom.codeal record sep 2026, $40m seed, dcvc.referencesrc-hp-dealroom
42. 2026-09-16skeptical eval-methodology notesthe-decoder.comskeptical eval-methodology notes.reportingsrc-hp-decoder
43. 2026-09hn-thread analysisdev.tohn-thread analysis; kahneman note.communitysrc-hp-devto
44. undatedpersonal site: harvard, invitae, freenome, ravel, consultancy timelineerikgafni.compersonal site: harvard, invitae, freenome, ravel, consultancy timeline.primarysrc-hp-erikgafni
45. 2026-09-16mike taylor mini-vibe check: typesafes jev judged everything ive written in 0everymike taylor "mini-vibe check: typesafe's jev judged everything i've written in 0.7 seconds".communitysrc-hp-every-taylor
46. 2026-09-15rashi shrivastavaforbesrashi shrivastava; $200m valuation (person familiar); almeida interview quotes.reportingsrc-hp-forbes
47. 2026-08talk summary/analysisfrontiermodels.cctalk summary/analysis.reportingsrc-hp-frontiermodels
48. 2026-09-16compact fact sheetgadgetsnow.indiatimes.comcompact fact sheet; dcvc lead.reportingsrc-hp-gadgetsnow
49. 2026oss: dagster-ray, dagster-polarsgithuboss: dagster-ray, dagster-polars; @typesafe-ai.reposrc-hp-github-dgafni
50. 2024-05-28org created 2024-05-28githuborg created 2024-05-28; 10 public repos incl. sdks, system-one-adapter-python, llada/vllm forks.reposrc-hp-github-org
51. 2016-02-23old typesafe → lightbend rename (disambiguation)globenewswire.comold typesafe → lightbend rename (disambiguation).primarysrc-hp-globenewswire-lightbend
52. 2026-08mirror of hn whos-hiring post: roles inclhirocareers.commirror of hn who's-hiring post: roles incl. gpu kernel eng, founding recruiter.referencesrc-hp-hirocareers
53. 2026-09-15smaller hn threadhacker newssmaller hn thread; "exrhizo" typesafe-employee comment.communitysrc-hp-hn-small
54. 2013-12-08zenlikethat submits nathanleclairehacker newszenlikethat submits nathanleclaire.com — ties handle to nathan leclaire.communitysrc-hp-hn-zenlike
55. 2026-09-16current homepage: 193typesafe.aicurrent homepage: "193.6x faster, 444.6x cheaper", $42/billion input tokens, faq, blog index.primarysrc-hp-homepage
56. 2026diogo publications/citations (instructgpt, gpt-4)kiphub.comdiogo publications/citations (instructgpt, gpt-4).referencesrc-hp-kiphub
57. 2026-0923 employees (+475% yoy)linkedin23 employees (+475% yoy); key-executive list.referencesrc-hp-linkedin-company
58. 2026-09mts apr 2026–linkedinmts apr 2026–; dagster labs pipes work.referencesrc-hp-linkedin-dgafni
59. 2026-09ceo jan 2024–linkedinceo jan 2024–; openai 2020–2024; google 2017–2018; sep 3 post.referencesrc-hp-linkedin-diogo
60. 2026-09ravel oct 2018–mar 2021, $9linkedinravel oct 2018–mar 2021, $9.5m, nature-publication claim.referencesrc-hp-linkedin-gafni
61. 2026-09mts mar 2025–linkedinmts mar 2025–; facebook 2013–2016 detail.referencesrc-hp-linkedin-kalaw
62. 2026-09founding devrellinkedinfounding devrel; ex-2k/trion/solarcity/autodesk; fysk teaser repost.referencesrc-hp-linkedin-laabs
63. 2026-09mts feb 2026–linkedinmts feb 2026–; ex-resolve ai/bauplan/docker; soc2 post jul 7.referencesrc-hp-linkedin-leclaire
64. 2026-09jeffrey lin, mtslinkedinjeffrey lin, mts.referencesrc-hp-linkedin-lin
65. 2026-09head of product/mtslinkedinhead of product/mts; aicouncil talk repost.referencesrc-hp-linkedin-liu
66. 2026-09mts mar 2026–linkedinmts mar 2026–; ex-wayvee analytics.referencesrc-hp-linkedin-norkin
67. 2026-09co-founder since may 2024linkedinco-founder since may 2024; deeplearners organizer 2017–2019.referencesrc-hp-linkedin-sasha
68. 2026-09evin sellin, mtslinkedinevin sellin, mts; dais/kimdae posts.referencesrc-hp-linkedin-sellin
69. 2026-09founding product designer, jul 2026–linkedinfounding product designer, jul 2026–.referencesrc-hp-linkedin-seo
70. 2026-09mts apr 2025–linkedinmts apr 2025–; ex-anthropic, teleport, october.referencesrc-hp-linkedin-shvarts
71. 2026-07kevin zhang hiring post (via shvarts like)linkedinkevin zhang hiring post (via shvarts like).referencesrc-hp-linkedin-shvarts-posts
72. 2026-09carl you, mtslinkedincarl you, mts; ex-plaid.referencesrc-hp-linkedin-you
73. 2026-09-16composable ai: build prod, not godtypesafe.ai"composable ai: build prod, not god"; tfp metric footnote.primarysrc-hp-manifesto
74. 2023shvarts uc davis applied math phd 2023mathgenealogy.orgshvarts uc davis applied math phd 2023.referencesrc-hp-mathgenealogy
75. undatedpersonal sitenathanleclaire.compersonal site; tensorscale/crypto workbench co-founder.primarysrc-hp-nathanleclaire
76. 2026-09-16aggregates every evals, pricing, doom cost figuresorcarouter.aiaggregates every evals, pricing, doom cost figures.reportingsrc-hp-orcarouter
77. 2026-09-16claims-vs-evidence table inclprogressiverobot.comclaims-vs-evidence table incl. every numbers.reportingsrc-hp-progressiverobot
78. undatedravel team pageravel.bioravel team page; gafni bio; nathan boley co-founder.primarysrc-hp-ravelbio
79. 2026-09-16thomas claburntheregister.comthomas claburn; doom demo, rlcd, jevons etymology, pricing comparison.reportingsrc-hp-register
80. 2021neurips 2021 havqa (first author)researchr.orgneurips 2021 havqa (first author); eccv 2022 mugen.referencesrc-hp-researchr-sheng
81. 2022-05-19scientific reports cfdna breast-cancer paper (gafni, boleydoi.orgscientific reports cfdna breast-cancer paper (gafni, boley; u. missouri collab).referencesrc-hp-scirep
82. 2026-09calibration/hallucination critique roundupsesamedisk.comcalibration/hallucination critique roundup.reportingsrc-hp-sesamedisk
83. 2026-09-16legal name typesafe ai incsiliconangle.comlegal name "typesafe ai inc."; $200m valuation citing forbes.reportingsrc-hp-siliconangle
84. 2026-07complete skeptic post list + launch recencycompleteskeptic.comcomplete skeptic post list + launch recency.primarysrc-hp-completeskeptic-archive
85. 2026-09-16founder bios + fun facts, culture, values, open-roles linktypesafe.aifounder bios + fun facts, culture, values, open-roles link.primarysrc-hp-team
86. 2026-09-16reproduces diogos x launch posttechstartups.comreproduces diogo's x launch post.reportingsrc-hp-techstartups
87. 2026-09-16jev on vercel ai gatewayverceljev on vercel ai gateway.primarysrc-hp-vercel
88. undatededucation: sjtu bs meche, stanford certweekday.workseducation: sjtu bs meche, stanford cert; yahoo, deeplearners.referencesrc-hp-weekday-sheng
89. 2024-05-07whois record for typesafe.aiwhois.nic.aiwhois nic.ai lookup for typesafe.ai — domain creation 2024-05-07, cloudflare registrar.referencesrc-hp-whois
90. 2026lightbend dba akkawikipedialightbend dba akka; founded 2011 by odersky, bonér, phillips.referencesrc-hp-wikipedia-lightbend
91. 2026-09-15company x: joined jan 2026, 52xcompany x: joined jan 2026, 52.2k followers; stealth-exit pin; vercel ai gateway; discord ama; poll.primarysrc-hp-x-typesafe