hraness
Theme
Appearance

sources

every source cited in the typesafe ai history, with its date and type.

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

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