korrents

On the map

Tap a claim on the ring to put it at the centre.

← Giving consumer-facing models and API models separate brand names is needlessly confusing.

17 connected korrents · 15 moments on record from 21 Jan 2019 to 1 Sept 2026.

Everything filed under SaaS SaaS Everything filed under formal proof formal proof Everything filed under Google Google Everything filed under LLMs LLMs Everything filed under design design Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Read this korrent: Giving consumer-facing models and API models separate brand names is needlessly confusing. Giving consumer-facing models and APImodels separate brand names is needlesslyconfusing. Last stated a month ago 7 Aug 2026 SW Simon Willison — holds since 2026-08-07 — tap for who they are Same subject: A model can produce version two of a product that already exists, but the genuinely new version one still has to be made by people. — tap to centre the map on it A model can produce version two of aproduct that already exists, but thegenuinely new version one still hasto be made by people. Last stated 3 months ago 7 Jun 2026 TF Tony Fadell — holds since 2026-06-07 — tap for who they are Same subject: A model you have to fine-tune for each thing you want it to do is not a general-purpose model. — tap to centre the map on it A model you have to fine-tune foreach thing you want it to do is nota general-purpose model. Last stated 4 weeks ago 12 Aug 2026 CF Chelsea Finn — holds since 2026-08-12 — tap for who they are Same subject: The workable model right now is one super agent for a whole company, not a personal agent for every person. — tap to centre the map on it The workable model right now is onesuper agent for a whole company, nota personal agent for every person. Last stated 4 months ago 24 May 2026 DS Dan Shipper — holds since 2026-05-24 — tap for who they are Same subject: Models are far more differentiated from one another than clouds are, so AI will not commoditise the way cloud did. — tap to centre the map on it Models are far more differentiatedfrom one another than clouds are, soAI will not commoditise the waycloud did. Last stated 7 months ago 13 Feb 2026 DA Dario Amodei — holds since 2026-02-13 — tap for who they are Same subject: Newer model releases have got worse at producing text that is actually pleasant to read and understand. — tap to centre the map on it Newer model releases have got worseat producing text that is actuallypleasant to read and understand. Last stated 2 weeks ago 25 Aug 2026 AR Armin Ronacher — holds since 2026-08-25 — tap for who they are Same subject: Owning the dominant model is not worth chasing, because no user has ever cared which model produced a good answer. — tap to centre the map on it Owning the dominant model is notworth chasing, because no user hasever cared which model produced agood answer. Last stated 2 years ago 19 Jun 2024 AS Aravind Srinivas — holds since 2024-06-19 — tap for who they are Same subject: The app layer between the customer and the AI model is being removed, because customers can now clone the app themselves rather than pay for it. — tap to centre the map on it The app layer between the customerand the AI model is being removed,because customers can now clone theapp themselves rather than pay forit. Last stated 2 months ago 21 Jul 2026 PL Pieter Levels — holds since 2026-07-21 — tap for who they are Same subject: Slow models are better company than fast ones, because the minutes an agent spends working are the minutes two humans get to talk about the design. — tap to centre the map on it Slow models are better company thanfast ones, because the minutes anagent spends working are the minutestwo humans get to talk about thedesign. Last stated 5 months ago 7 Apr 2026 KB Kent Beck — holds since 2026-04-07 — tap for who they are Same subject: Agents will increase the number of users of SaaS rather than get rid of it. — tap to centre the map on it Agents will increase the number ofusers of SaaS rather than get rid ofit. Last stated 4 months ago 24 May 2026 DS Dan Shipper — holds since 2026-05-24 — tap for who they are Same subject: AI companies are disrupting entire industries, causing a partial collapse of the traditional SaaS business model. — tap to centre the map on it AI companies are disrupting entireindustries, causing a partialcollapse of the traditional SaaSbusiness model. Last stated a week ago 1 Sept 2026 PL Pieter Levels — holds since 2026-09-01 — tap for who they are Same subject: AI-assisted ('vibe') coding has made it so easy to build competing SaaS apps that a plain, unremarkable SaaS product can no longer easily attract signups. — tap to centre the map on it AI-assisted ('vibe') coding has madeit so easy to build competing SaaSapps that a plain, unremarkable SaaSproduct can no longer easily attractsignups. Last stated a week ago 1 Sept 2026 PL Pieter Levels — holds since 2026-09-01 — tap for who they are Same subject: Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying. — tap to centre the map on it Formalising a proof in Leancurrently takes about ten times theeffort of writing it out: doable,but annoying. Last stated a year ago 14 Jun 2025 TT Terence Tao — holds since 2025-06-14 — tap for who they are Same subject: Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost. — tap to centre the map on it Full formal verification is a wasteof money for most software:near-perfect is reachable withordinary techniques at a fraction ofthe cost. Last stated 8 years ago 21 Jan 2019 HW Hillel Wayne — holds since 2019-01-21 — tap for who they are Same subject: Lean and tools like GitHub will let experimental mathematics scale far beyond what one mathematician's spaghetti code allows today. — tap to centre the map on it Lean and tools like GitHub will letexperimental mathematics scale farbeyond what one mathematician'sspaghetti code allows today. Last stated a year ago 14 Jun 2025 TT Terence Tao — holds since 2025-06-14 — tap for who they are Same subject: A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost. — tap to centre the map on it A company's staff-engineer barshould be set against the bestcompanies in the industry ratherthan against its own history, whichis what makes title inflation a realcost. Last stated 5 months ago 1 Apr 2026 TP Thuan Pham — holds since 2026-04-01 — tap for who they are Same subject: A crewed rocket cannot be made safe by making the booster reliable, so the only real way to improve safety is to carry an escape system. — tap to centre the map on it A crewed rocket cannot be made safeby making the booster reliable, sothe only real way to improve safetyis to carry an escape system. Last stated 3 years ago 14 Dec 2023 JB Jeff Bezos — holds since 2023-12-14 — tap for who they are Same subject: A monopolist that can no longer grow by winning new users can only grow by making its product worse for the users it already has. — tap to centre the map on it A monopolist that can no longer growby winning new users can only growby making its product worse for theusers it already has. Last stated 3 years ago 28 Jul 2023 CD Cory Doctorow — holds since 2023-07-28 — tap for who they are
same subject or similar wordinga cloud: claims about one subject, named for itbar: when it was last stated, on a scale from 2015 to today — full is todaya face: someone on record holding the claim — tap it for who they are

At the centre Giving consumer-facing models and API models separate brand names is needlessly confusing. Last stated 7 Aug 2026 · a month ago Holds Simon Willison Read this korrent →