Tap a claim on the ring to put it at the centre.
← Forcing an AI to annotate every type would make its programs worse,…
17 connected korrents · 10 moments on record from 1 Jun 2022 to 1 Sept 2026.
Everything filed under TypeScript
TypeScript
Everything filed under Python
Python
Everything filed under AI agents
AI agents
Everything filed under JavaScript
JavaScript Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Read this korrent: 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. 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. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: When an AI writes bad code the thing to fix is the context it was given, not the code, because fixing the output adds no leverage. — tap to centre the map on it When an AI writes bad code the thing to fix is the context it was given, not the code, because fixing the output adds no leverage. Last stated a year ago
18 Aug 2025
BT
Bret Taylor — holds since 2025-08-18 — tap for who they are
Same subject: TypeScript's type annotations cost more in friction than they return in safety, and a front-end framework is better off written in plain JavaScript. — tap to centre the map on it TypeScript's type annotations cost more in friction than they return in safety, and a front-end framework is better off written in plain JavaScript. Last stated 3 years ago
6 Sept 2023
DH
David Heinemeier Hansson — holds since 2023-09-06 — tap for who they are
Same subject: Coding models are worst at exactly the thing an AI research explosion would need: code that has never been written before. — tap to centre the map on it Coding models are worst at exactly the thing an AI research explosion would need: code that has never been written before. Last stated 11 months ago
17 Oct 2025
AK
Andrej Karpathy — holds since 2025-10-17 — tap for who they are
Same subject: Building at the AI frontier is science rather than programming: you pose hypotheses and invalidate them again and again. — tap to centre the map on it Building at the AI frontier is science rather than programming: you pose hypotheses and invalidate them again and again. Last stated a year ago
18 Aug 2025
CB
Clay Bavor — holds since 2025-08-18 — 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 AI agents to write, because the compiler gives an agent the feedback that 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: 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. — tap to centre the map on it 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 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — 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 way instruction tuning did: add enough verifiable domains and, at some point nobody can yet locate, the rest 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: An agent grepping for a name is not semantic search, and the language services an IDE already has are what AI will increasingly need. — tap to centre the map on it An agent grepping for a name is not semantic search, and the language services an IDE already has are what AI will increasingly need. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: A proprietary language licensed from Microsoft had zero chance in the JavaScript ecosystem: TypeScript had to be open source or nobody would come. — tap to centre the map on it A proprietary language licensed from Microsoft had zero chance in the JavaScript ecosystem: TypeScript had to be open source or nobody would come. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: Because its types are erased before the program runs, TypeScript can afford not to be sound: checking 99% beats the 0% JavaScript checked, and buys features a sound language cannot offer. — tap to centre the map on it Because its types are erased before the program runs, TypeScript can afford not to be sound: checking 99% beats the 0% JavaScript checked, and buys features a sound language cannot offer. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: Fiscal multipliers vary across time and place but are generally nonzero, positive for spending, negative for taxes, and larger when monetary policy cannot offset them. — tap to centre the map on it Fiscal multipliers vary across time and place but are generally nonzero, positive for spending, negative for taxes, and larger when monetary policy cannot offset them. Last stated 4 years ago
1 Jun 2022
OB
Olivier Blanchard — holds since 2022-06-01 — tap for who they are
Same subject: A programming language is a ten-year play: version one has issues, version two fixes them, version three is finally good — and only then does adoption start. — tap to centre the map on it A programming language is a ten-year play: version one has issues, version two fixes them, version three is finally good — and only then does adoption start. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: For a TypeScript team, Rust belongs on the backend — API servers — and not in the front end. — tap to centre the map on it For a TypeScript team, Rust belongs on the backend — API servers — and not in the front end. Last stated 4 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: If you can use Effect for TypeScript, you should -- to the point of not starting a new project without it. — tap to centre the map on it If you can use Effect for TypeScript, you should -- to the point of not starting a new project without it. Last stated 6 days ago
1 Sept 2026
DM
Dillon Mulroy — holds since 2026-01-09 — tap for who they are
DM
Dillon Mulroy — holds since 2026-09-01 — tap for who they are
Same subject: A language can keep changing without a Python-2-to-3 break, as long as code written under the old and the new rules can be mixed freely in one program. — tap to centre the map on it A language can keep changing without a Python-2-to-3 break, as long as code written under the old and the new rules can be mixed freely in one program. Last stated 4 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: Python is ugly: full of superfluous instructions kept since 1987 for legacy reasons, and its __init__ offends the sensibilities to the core. — tap to centre the map on it Python is ugly: full of superfluous instructions kept since 1987 for legacy reasons, and its __init__ offends the sensibilities to the core. Last stated a year ago
12 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-12 — 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 is simply the one the models have seen most of in training, which is why they 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
At the centre
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.
Holds AH Anders HejlsbergRead this korrent →
When an AI writes bad code the thing to fix is the context it was given, not the code, because fixing the output adds no leverage.
Holds BT Bret Taylor
TypeScript's type annotations cost more in friction than they return in safety, and a front-end framework is better off written in plain JavaScript.
Holds
Coding models are worst at exactly the thing an AI research explosion would need: code that has never been written before.
Holds
Building at the AI frontier is science rather than programming: you pose hypotheses and invalidate them again and again.
Holds CB Clay Bavor
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.
Holds AR Alice Ryhl
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.
Holds AH Anders Hejlsberg
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.
Holds NL Nathan Lambert
An agent grepping for a name is not semantic search, and the language services an IDE already has are what AI will increasingly need.
Holds AH Anders Hejlsberg
A proprietary language licensed from Microsoft had zero chance in the JavaScript ecosystem: TypeScript had to be open source or nobody would come.
Holds AH Anders Hejlsberg
Because its types are erased before the program runs, TypeScript can afford not to be sound: checking 99% beats the 0% JavaScript checked, and buys features a sound language cannot offer.
Holds AH Anders Hejlsberg
Fiscal multipliers vary across time and place but are generally nonzero, positive for spending, negative for taxes, and larger when monetary policy cannot offset them.
Holds
A programming language is a ten-year play: version one has issues, version two fixes them, version three is finally good — and only then does adoption start.
Holds AH Anders Hejlsberg
For a TypeScript team, Rust belongs on the backend — API servers — and not in the front end.
Holds AR Alice Ryhl
If you can use Effect for TypeScript, you should -- to the point of not starting a new project without it.
Holds
A language can keep changing without a Python-2-to-3 break, as long as code written under the old and the new rules can be mixed freely in one program.
Holds AR Alice Ryhl
Python is ugly: full of superfluous instructions kept since 1987 for legacy reasons, and its __init__ offends the sensibilities to the core.
Holds
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.
Holds AH Anders Hejlsberg