Tap a claim on the ring to put it at the centre.
← You cannot build good tooling without a type system — decent tooling…
17 connected korrents · 12 moments on record from 15 Oct 2019 to 26 Aug 2026.
Everything filed under design
design
Everything filed under TypeScript
TypeScript
Everything filed under coding agents
coding agents
Everything filed under software performance
software performance
Everything filed under JavaScript
JavaScript
Everything filed under simplicity
simplicity 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: You cannot build good tooling without a type system — decent tooling perhaps, but nothing that scales to a large team. You cannot build good tooling without a type system — decent tooling perhaps, but nothing that scales to a large team. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: People adopted TypeScript for the tooling, not the types: an erasable type system is worth having because of the productivity the tooling built on it delivers. — tap to centre the map on it People adopted TypeScript for the tooling, not the types: an erasable type system is worth having because of the productivity the tooling built on it delivers. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: There is one right way to build a type system, the way that gives you mathematical proofs, and every other kind of type system is simply worse and should be rejected. — tap to centre the map on it There is one right way to build a type system, the way that gives you mathematical proofs, and every other kind of type system is simply worse and should be rejected. Last stated a year ago
30 Apr 2025
TS
Tim Sweeney — holds since 2025-04-30 — 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 is not the code but the shape of their data. Last stated 4 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: A language can only give you the feeling that compiling means working if it has a type system — that is where it all starts. — tap to centre the map on it A language can only give you the feeling that compiling means working if it has a type system — that is where it all starts. Last stated 4 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: Building on a model is unlike any previous software engineering, because the thing you are building on cannot be designed up front. — tap to centre the map on it Building on a model is unlike any previous software engineering, because the thing you are building on cannot be designed up front. Last stated a month ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — tap for who they are
Same subject: Most organisations are bottlenecked on ideas, vision and taste rather than on implementation, so making code cheap does not make them productive. — tap to centre the map on it Most organisations are bottlenecked on ideas, vision and taste rather than on implementation, so making code cheap does not make them productive. Last stated 2 weeks ago
26 Aug 2026
DH
David Heinemeier Hansson — holds since 2026-08-26 — tap for who they are
Same subject: Code and files generated by tools are pollution: hand-writing them is worth the effort because the bloat slows everything down for everyone. — tap to centre the map on it Code and files generated by tools are pollution: hand-writing them is worth the effort because the bloat slows everything down for everyone. Last stated 7 years ago
15 Oct 2019
DS
Derek Sivers — holds since 2019-10-15 — tap for who they are
Same subject: You cannot be best of breed in an ecosystem by telling its developers to write in a different programming language. — tap to centre the map on it You cannot be best of breed in an ecosystem by telling its developers to write in a different programming language. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: A blank chat box is lazy: it violates the first rule of a good user experience, that it is obvious what you can do. — tap to centre the map on it A blank chat box is lazy: it violates the first rule of a good user experience, that it is obvious what you can do. Last stated a year ago
12 May 2025
JZ
Julie Zhuo — holds since 2025-05-12 — tap for who they are
Same subject: A company deserves everyone in it, the chief executive included, to spend as much time as possible in their zone of genius — which is an org design problem. — tap to centre the map on it A company deserves everyone in it, the chief executive included, to spend as much time as possible in their zone of genius — which is an org design problem. Last stated a year ago
23 Mar 2025
RV
Rahul Vohra — holds since 2025-03-23 — tap for who they are
Same subject: A computer meant for anyone has to be understandable without a manual, and it has to be friendly. — tap to centre the map on it A computer meant for anyone has to be understandable without a manual, and it has to be friendly. Last stated 3 weeks ago
14 Aug 2026
SK
Susan Kare — holds since 2026-08-14 — 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: 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: After a decade of Swiss minimalism, design is about to swing back to something far more expressive. — tap to centre the map on it After a decade of Swiss minimalism, design is about to swing back to something far more expressive. Last stated 11 months ago
16 Oct 2025
DF
Dylan Field — holds since 2025-10-16 — tap for who they are
Same subject: AI acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much. — tap to centre the map on it AI acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much. Last stated a month ago
26 Jul 2026
DH
David Heinemeier Hansson — holds since 2026-07-26 — tap for who they are
Same subject: Better design does not mean more design: the most obvious designs are often invisible. — tap to centre the map on it Better design does not mean more design: the most obvious designs are often invisible. Last stated 3 years ago
16 Nov 2023
JZ
Julie Zhuo — holds since 2023-11-16 — tap for who they are
At the centre
You cannot build good tooling without a type system — decent tooling perhaps, but nothing that scales to a large team.
Holds AH Anders HejlsbergRead this korrent →
People adopted TypeScript for the tooling, not the types: an erasable type system is worth having because of the productivity the tooling built on it delivers.
Holds AH Anders Hejlsberg
There is one right way to build a type system, the way that gives you mathematical proofs, and every other kind of type system is simply worse and should be rejected.
Holds TS Tim Sweeney
What trips up newcomers to Rust is not the code but the shape of their data.
Holds AR Alice Ryhl
A language can only give you the feeling that compiling means working if it has a type system — that is where it all starts.
Holds AR Alice Ryhl
Building on a model is unlike any previous software engineering, because the thing you are building on cannot be designed up front.
Holds
Most organisations are bottlenecked on ideas, vision and taste rather than on implementation, so making code cheap does not make them productive.
Holds
Code and files generated by tools are pollution: hand-writing them is worth the effort because the bloat slows everything down for everyone.
Holds
You cannot be best of breed in an ecosystem by telling its developers to write in a different programming language.
Holds AH Anders Hejlsberg
A blank chat box is lazy: it violates the first rule of a good user experience, that it is obvious what you can do.
Holds JZ Julie Zhuo
A company deserves everyone in it, the chief executive included, to spend as much time as possible in their zone of genius — which is an org design problem.
Holds RV Rahul Vohra
A computer meant for anyone has to be understandable without a manual, and it has to be friendly.
Holds SK Susan Kare
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
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
After a decade of Swiss minimalism, design is about to swing back to something far more expressive.
Holds DF Dylan Field
AI acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much.
Holds
Better design does not mean more design: the most obvious designs are often invisible.
Holds JZ Julie Zhuo