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 · 13 moments from 6 Nov 2023 to 9 Sept 2026.
Everything filed under developer tools
developer tools
Everything filed under coding agents
coding agents
Everything filed under compilers
compilers
Everything filed under software performance
software performance
Everything filed under formal proof
formal proof
Everything filed under design
design
Everything filed under TypeScript
TypeScript 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 5 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 5 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: Reliable, stable developer tooling matters more than which specific technical choices a team makes — tap to centre the map on it Reliable, stable developer tooling matters more than which specific technical choices a team makes Last stated 2 years ago
21 May 2024
NE
Nelson Elhage — holds since 2024-05-21 — tap for who they are
Same subject: One of the biggest barriers to using tools like Codex is assuming it can't do something; pushing past that keeps expanding the scope of what is possible. — tap to centre the map on it One of the biggest barriers to using tools like Codex is assuming it can't do something; pushing past that keeps expanding the scope of what is possible. Last stated a month ago
9 Sept 2026
EB
Ed Bayes — holds since 2026-09-09 — tap for who they are
Same subject: Moving from static design tools to prototypes in code has helped systems-level design work, because you cannot easily grasp the many combinations of states until you have something in some form of code. — tap to centre the map on it Moving from static design tools to prototypes in code has helped systems-level design work, because you cannot easily grasp the many combinations of states until you have something in some form of code. Last stated 2 months ago
18 Aug 2026
PM
Patrick Morgan — holds since 2026-08-18 — 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 5 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: React and TypeScript developers are infantilized by the ecosystem's thought leaders; anything beyond a simple CRUD app will need generics, mapped types and memoization. — tap to centre the map on it React and TypeScript developers are infantilized by the ecosystem's thought leaders; anything beyond a simple CRUD app will need generics, mapped types and memoization. Last stated 3 years ago
6 Nov 2023
DM
Dillon Mulroy — holds since 2023-11-06 — 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 5 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: "I don't know" becomes a kind of superpower when you can work with Claude Code to figure things out. — tap to centre the map on it "I don't know" becomes a kind of superpower when you can work with Claude Code to figure things out. Last stated 7 months ago
19 Mar 2026
KP
Kris Puckett — holds since 2026-03-19 — tap for who they are
Same subject: A coding agent does not learn from its mistakes the way a person does -- it repeats the same error indefinitely unless a human notices and writes it down. — tap to centre the map on it A coding agent does not learn from its mistakes the way a person does -- it repeats the same error indefinitely unless a human notices and writes it down. Last stated 7 months ago
25 Mar 2026
MZ
Mario Zechner — holds since 2026-03-25 — tap for who they are
Same subject: A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair. — tap to centre the map on it A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair. Last stated a year ago
18 Aug 2025
CB
Clay Bavor — holds since 2025-08-18 — 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 a change breaks turns refactoring into fixing errors until the compiler stops shouting. Last stated 5 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 a compiler but an experience: editing, running, debugging and the runtime library all have to fit together as one cycle. Last stated 5 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: A speed difference between languages that share the LLVM backend measures the benchmark author, not the languages. — tap to centre the map on it A speed difference between languages that share the LLVM backend measures the benchmark author, not the languages. Last stated 2 years ago
22 Mar 2025
TH
ThePrimeagen — holds since 2025-03-22 — tap for who they are
Same subject: "Is the page loaded?" was never a real question, and web performance only became measurable once it was broken into the distinct moments a user actually notices. — tap to centre the map on it "Is the page loaded?" was never a real question, and web performance only became measurable once it was broken into the distinct moments a user actually notices. Last stated 2 months ago
19 Aug 2026
AO
Addy Osmani — holds since 2026-08-19 — tap for who they are
Same subject: "Optimize it later" would be safe advice only if every engineer already knew how to avoid the architectural mistakes that no later optimization can remove. — tap to centre the map on it "Optimize it later" would be safe advice only if every engineer already knew how to avoid the architectural mistakes that no later optimization can remove. Last stated 2 months ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — tap for who they are
Same subject: A 300-millisecond response budget is not an achievement but an admission: 300 milliseconds is an eternity in computing, and a product pitching it shows how far the bar has fallen. — tap to centre the map on it A 300-millisecond response budget is not an achievement but an admission: 300 milliseconds is an eternity in computing, and a product pitching it shows how far the bar has fallen. Last stated 2 months ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — 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 Read 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
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
Reliable, stable developer tooling matters more than which specific technical choices a team makes
Holds
One of the biggest barriers to using tools like Codex is assuming it can't do something; pushing past that keeps expanding the scope of what is possible.
Holds
Moving from static design tools to prototypes in code has helped systems-level design work, because you cannot easily grasp the many combinations of states until you have something in some form of code.
Holds
What trips up newcomers to Rust is not the code but the shape of their data.
Holds
React and TypeScript developers are infantilized by the ecosystem's thought leaders; anything beyond a simple CRUD app will need generics, mapped types and memoization.
Holds
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
"I don't know" becomes a kind of superpower when you can work with Claude Code to figure things out.
Holds
A coding agent does not learn from its mistakes the way a person does -- it repeats the same error indefinitely unless a human notices and writes it down.
Holds
A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair.
Holds
A compiler that names every place a change breaks turns refactoring into fixing errors until the compiler stops shouting.
Holds
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.
Holds
A speed difference between languages that share the LLVM backend measures the benchmark author, not the languages.
Holds
"Is the page loaded?" was never a real question, and web performance only became measurable once it was broken into the distinct moments a user actually notices.
Holds
"Optimize it later" would be safe advice only if every engineer already knew how to avoid the architectural mistakes that no later optimization can remove.
Holds
A 300-millisecond response budget is not an achievement but an admission: 300 milliseconds is an eternity in computing, and a product pitching it shows how far the bar has fallen.
Holds