korrents

On the map

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

← Locality is what makes a language good for AI: if a single file states…

17 connected korrents · 9 moments on record from 3 Feb 2025 to 1 Sept 2026.

Everything filed under AI agents AI agents Everything filed under compilers compilers Everything filed under self-sovereign AI self-sovereign AI Everything filed under TypeScript TypeScript Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Read this korrent: Locality is what makes a language good for AI: if a single file states what it imports and what it offers, a model never has to hold the whole program at once. Locality is what makes a language good forAI: if a single file states what itimports and what it offers, a model neverhas to hold the whole program at once. Last stated 4 months ago 13 May 2026 AH Anders Hejlsberg — holds since 2026-05-13 — tap for who they are Same subject: What trips up newcomers to Rust is not the code but the shape of their data. — tap to centre the map on it What trips up newcomers to Rust isnot the code but the shape of theirdata. Last stated 4 months ago 20 May 2026 AR Alice Ryhl — holds since 2026-05-20 — tap for who they are Same subject: Rust may be the best language for AI agents to write, because the compiler gives an agent the feedback that tells it what to fix. — tap to centre the map on it Rust may be the best language for AIagents to write, because thecompiler gives an agent the feedbackthat tells it what to fix. Last stated 4 months ago 20 May 2026 AR Alice Ryhl — holds since 2026-05-20 — tap for who they are Same subject: The language best suited to AI is simply the one the models have seen most of in training, which is why they do so well on JavaScript, TypeScript and Python. — tap to centre the map on it The language best suited to AI issimply the one the models have seenmost of in training, which is whythey do so well on JavaScript,TypeScript and Python. Last stated 4 months ago 13 May 2026 AH Anders Hejlsberg — holds since 2026-05-13 — tap for who they are Same subject: Forcing an AI to annotate every type would make its programs worse, not better: annotate where there is no context, and let inference do the rest. — tap to centre the map on it Forcing an AI to annotate every typewould make its programs worse, notbetter: annotate where there is nocontext, and let inference do therest. Last stated 4 months ago 13 May 2026 AH Anders Hejlsberg — holds since 2026-05-13 — tap for who they are Same subject: Every abstraction in agentic programming — RAG, memory, agentic history, structured output — is just a different way of passing tokens into a model, and understanding that beats learning any of them. — tap to centre the map on it Every abstraction in agenticprogramming — RAG, memory, agentichistory, structured output — is justa different way of passing tokensinto a model, and understanding thatbeats learning any of them. Last stated 2 months ago 15 Jul 2026 DH Dex Horthy — holds since 2026-07-15 — tap for who they are Same subject: Reasoning will generalize the way instruction tuning did: add enough verifiable domains and, at some point nobody can yet locate, the rest start working on their own. — tap to centre the map on it Reasoning will generalize the wayinstruction tuning did: add enoughverifiable domains and, at somepoint nobody can yet locate, therest start working on their own. Last stated 2 years ago 3 Feb 2025 NL Nathan Lambert — holds since 2025-02-03 — tap for who they are Same subject: What sits in a model's context is far clearer to it than its training data, which is trillions of tokens stirred into a soup of parameters. — tap to centre the map on it What sits in a model's context isfar clearer to it than its trainingdata, which is trillions of tokensstirred into a soup of parameters. Last stated a month ago 30 Jul 2026 JD Jeff Dean — holds since 2026-07-30 — tap for who they are Same subject: A bigger context window does not give you a smarter model; the intelligence of the model is what decides how much of that window it can actually attend to. — tap to centre the map on it A bigger context window does notgive you a smarter model; theintelligence of the model is whatdecides how much of that window itcan actually attend to. Last stated 2 months ago 15 Jul 2026 DH Dex Horthy — holds since 2026-07-15 — tap for who they are Same subject: A handful of AI agents is not a handful of colleagues, because agents agree with you constantly and colleagues tell you where you are wrong. — tap to centre the map on it A handful of AI agents is not ahandful of colleagues, becauseagents agree with you constantly andcolleagues tell you where you arewrong. Last stated 6 months ago 22 Mar 2026 NF Nicole Forsgren — holds since 2026-03-22 — tap for who they are Same subject: After pre-training, post-training and test-time scaling, the fourth scaling law is agentic: multiplying AI by spawning agents, and the whole loop scales on one thing, compute. — tap to centre the map on it After pre-training, post-trainingand test-time scaling, the fourthscaling law is agentic: multiplyingAI by spawning agents, and the wholeloop scales on one thing, compute. Last stated 6 months ago 23 Mar 2026 JH Jensen Huang — holds since 2026-03-23 — tap for who they are Same subject: Agent autonomy is a capability, not a product direction: what the person is actually trying to do decides whether more of it helps or ruins the thing. — tap to centre the map on it Agent autonomy is a capability, nota product direction: what the personis actually trying to do decideswhether more of it helps or ruinsthe thing. Last stated 3 weeks ago 14 Aug 2026 SP Sunil Pai — holds since 2026-08-14 — tap for who they are Same subject: A compiler that also serves an IDE has to be lazy and deferred throughout — a different way of building compilers from the one the textbooks teach. — tap to centre the map on it A compiler that also serves an IDEhas to be lazy and deferredthroughout — a different way ofbuilding compilers from the one thetextbooks teach. Last stated 4 months ago 13 May 2026 AH Anders Hejlsberg — holds since 2026-05-13 — tap for who they are Same subject: A compiler that names every place a change breaks turns refactoring into fixing errors until the compiler stops shouting. — tap to centre the map on it A compiler that names every place achange breaks turns refactoring intofixing errors until the compilerstops shouting. Last stated 4 months ago 20 May 2026 AR Alice Ryhl — holds since 2026-05-20 — tap for who they are Same subject: A programming language is not a compiler but an experience: editing, running, debugging and the runtime library all have to fit together as one cycle. — tap to centre the map on it A programming language is not acompiler but an experience: editing,running, debugging and the runtimelibrary all have to fit together asone cycle. Last stated 4 months ago 13 May 2026 AH Anders Hejlsberg — holds since 2026-05-13 — tap for who they are Same subject: A rogue deployment that gets a foothold can hitch a ride on the intelligence explosion, recruiting each new model as it comes off the presses. — tap to centre the map on it A rogue deployment that gets afoothold can hitch a ride on theintelligence explosion, recruitingeach new model as it comes off thepresses. Last stated 6 days ago 1 Sept 2026 AC Ajeya Cotra — holds since 2026-09-01 — tap for who they are Same subject: A slightly more capable agent swarm has a very strong incentive to set up a wholly unmonitored rogue deployment of itself. — tap to centre the map on it A slightly more capable agent swarmhas a very strong incentive to setup a wholly unmonitored roguedeployment of itself. Last stated 6 days ago 1 Sept 2026 AC Ajeya Cotra — holds since 2026-09-01 — tap for who they are Same subject: Alignment is no solution to self-sovereign AI, because it is an unsolved problem whose answers cannot be imposed on every AI company on Earth. — tap to centre the map on it Alignment is no solution toself-sovereign AI, because it is anunsolved problem whose answerscannot be imposed on every AIcompany on Earth. Last stated 6 days ago 1 Sept 2026 DB Dean W. Ball — holds since 2026-09-01 — 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 Locality is what makes a language good for AI: if a single file states what it imports and what it offers, a model never has to hold the whole program at once. Last stated 13 May 2026 · 4 months ago Holds Anders Hejlsberg Read this korrent →