korrents

On the map

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

← Language models have codified formal written language at a moment in…

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

Everything filed under formal proof formal proof Everything filed under AI and human skill AI and human skill Everything filed under AI slop AI slop Everything filed under writing writing Everything filed under AGI AGI Everything filed under design design Everything filed under LLMs LLMs Everything filed under writing writing Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Read this korrent: Language models have codified formal written language at a moment in time, which leaves informal, inventive, in-group speech as the place where humanness still shows. Language models have codified formalwritten language at a moment in time,which leaves informal, inventive, in-groupspeech as the place where humanness stillshows. Last stated 4 years ago 31 Dec 2022 MA Maggie Appleton — holds since 2022-12-31 — tap for who they are Same subject: Language models have no culture — no written record they hand to one another — and that absence is one of the things holding them back. — tap to centre the map on it Language models have no culture — nowritten record they hand to oneanother — and that absence is one ofthe things holding them back. Last stated 11 months ago 17 Oct 2025 AK Andrej Karpathy — holds since 2025-10-17 — tap for who they are Same subject: Editing your writing with a model pulls it towards one homogeneous style, far enough that you lose track of what your own voice was. — tap to centre the map on it Editing your writing with a modelpulls it towards one homogeneousstyle, far enough that you losetrack of what your own voice was. Last stated 3 weeks ago 19 Aug 2026 AO Addy Osmani — holds since 2026-08-19 — tap for who they are Same subject: Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. — tap to centre the map on it Formal verification is about tobecome economical, because modelsare getting good enough at writingthe proofs that humans no longerhave to. Last stated 5 months ago 22 Apr 2026 MK Martin Kleppmann — holds since 2026-04-22 — tap for who they are Same subject: Language models are already a form of AGI; what the labs are chasing is a further step, not the arrival of general intelligence. — tap to centre the map on it Language models are already a formof AGI; what the labs are chasing isa further step, not the arrival ofgeneral intelligence. Last stated 2 years ago 3 Feb 2025 NL Nathan Lambert — holds since 2025-02-03 — tap for who they are Same subject: A language should be designed by a small group of people rather than by one person. — tap to centre the map on it A language should be designed by asmall group of people rather than byone person. Last stated 4 months ago 13 May 2026 AH Anders Hejlsberg — holds since 2026-05-13 — tap for who they are Same subject: Large language models do not reason formally: their performance collapses as a problem is made bigger, in the way a calculator's never does. — tap to centre the map on it Large language models do not reasonformally: their performancecollapses as a problem is madebigger, in the way a calculator'snever does. Last stated 2 years ago 11 Oct 2024 GM Gary Marcus — holds since 2024-10-11 — tap for who they are Same subject: AI-written prose is an inferior read because a model emits a statistical average -- code's audience is a machine, writing's audience is people. — tap to centre the map on it AI-written prose is an inferior readbecause a model emits a statisticalaverage -- code's audience is amachine, writing's audience ispeople. Last stated a week ago 1 Sept 2026 GO Gergely Orosz — holds since 2026-09-01 — tap for who they are Same subject: Letting more people write software in natural language does not reduce the work; it snowballs the amount of software that has to be maintained. — tap to centre the map on it Letting more people write softwarein natural language does not reducethe work; it snowballs the amount ofsoftware that has to be maintained. Last stated a year ago 22 Mar 2025 TH ThePrimeagen — holds since 2025-03-22 — 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: AI can be a shortcut around thinking or a way of thinking more rigorously, and for your core job function only the second one is wanted. — tap to centre the map on it AI can be a shortcut around thinkingor a way of thinking morerigorously, and for your core jobfunction only the second one iswanted. Last stated 4 weeks ago 12 Aug 2026 CM Charity Majors — holds since 2026-08-12 — tap for who they are Same subject: AI should be treated as an instrument to play rather than a tool to use, because there is no purpose to better machines if they do not also produce better humans. — tap to centre the map on it AI should be treated as aninstrument to play rather than atool to use, because there is nopurpose to better machines if theydo not also produce better humans. Last stated 11 months ago 20 Oct 2025 FC Frank Chimero — holds since 2025-10-20 — tap for who they are Same subject: Heavy AI use erodes understanding first and judgement second: cognitive debt turns into cognitive surrender, where the model's answer simply becomes your answer. — tap to centre the map on it Heavy AI use erodes understandingfirst and judgement second:cognitive debt turns into cognitivesurrender, where the model's answersimply becomes your answer. Last stated 3 weeks ago 19 Aug 2026 AO Addy Osmani — holds since 2026-08-19 — tap for who they are Same subject: A growing fraction of social media is AI slop influencers being replied to by bots — an echo of an echo of an echo. — tap to centre the map on it A growing fraction of social mediais AI slop influencers being repliedto by bots — an echo of an echo ofan echo. Last stated 2 weeks ago 23 Aug 2026 FC François Chollet — holds since 2026-08-23 — tap for who they are Same subject: A low-effort AI-designed landing page costs a product its audience before the product itself is ever judged. — tap to centre the map on it A low-effort AI-designed landingpage costs a product its audiencebefore the product itself is everjudged. Last stated 4 weeks ago 13 Aug 2026 MH Mitchell Hashimoto — holds since 2026-08-13 — tap for who they are Same subject: AI-generated writing tends to repeat the same themes, names, and underlying ideas across different outputs. — tap to centre the map on it AI-generated writing tends to repeatthe same themes, names, andunderlying ideas across differentoutputs. Last stated a week ago 31 Aug 2026 EM Ethan Mollick — holds since 2026-08-31 — 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 Language models have codified formal written language at a moment in time, which leaves informal, inventive, in-group speech as the place where humanness still shows. Last stated 31 Dec 2022 · 4 years ago Holds Maggie Appleton Read this korrent →