Tap a claim on the ring to put it at the centre.
← AI agents are only as good as the proof-checkers, compilers, type systems, and linters given to them.
17 connected korrents · 13 moments from 22 Mar 2025 to 20 Sept 2026. Nearly all of them are about compilers .
Everything filed under AI agents
AI agents
Everything filed under coding agents
coding agents
Everything filed under developer tools
developer tools
Everything filed under benchmarks
benchmarks 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: AI agents are only as good as the proof-checkers, compilers, type systems, and linters given to them. AI agents are only as good as the proof-checkers, compilers, type systems, and linters given to them. Last stated 2 months ago
14 Sept 2026
GR
Guillermo Rauch — holds since 2026-09-14 — 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 5 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — 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 IDE has to be lazy and deferred throughout — a different way of building compilers from the one the textbooks teach. Last stated 6 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 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 6 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: Agents are the new compilers that compile intent into fast software. — tap to centre the map on it Agents are the new compilers that compile intent into fast software. Last stated 2 months ago
12 Sept 2026
GR
Guillermo Rauch — holds since 2026-09-12 — tap for who they are
Same subject: As AI takes over more of the coding process, clearly specifying goals and exercising good judgment will matter more than ever. — tap to centre the map on it As AI takes over more of the coding process, clearly specifying goals and exercising good judgment will matter more than ever. Last stated 9 months ago
4 Feb 2026
SH
Scott Hanselman — holds since 2026-02-04 — tap for who they are
Same subject: Assembly is far simpler to learn than the modern web stack: anyone who can vertically centre a div can learn to read it. — tap to centre the map on it Assembly is far simpler to learn than the modern web stack: anyone who can vertically centre a div can learn to read it. Last stated 2 months ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — tap for who they are
Same subject: A collection of AI agents does not automatically form a functioning organization any more than a group of smart people does. — tap to centre the map on it A collection of AI agents does not automatically form a functioning organization any more than a group of smart people does. Last stated 5 months ago
21 May 2026
RK
Rohit Krishnan — holds since 2026-05-21 — tap for who they are
Same subject: A company cannot be led by machines, because nobody would have recourse against them. — tap to centre the map on it A company cannot be led by machines, because nobody would have recourse against them. Last stated a month ago
15 Sept 2026
TL
Tobias Lütke — holds since 2026-09-15 — tap for who they are
Same subject: A computer-using agent needs a machine of its own, or you will spend the day fighting it for the mouse cursor. — tap to centre the map on it A computer-using agent needs a machine of its own, or you will spend the day fighting it for the mouse cursor. Last stated 3 months ago
10 Aug 2026
PS
Peter Steinberger — holds since 2026-08-10 — tap for who they are
Same subject: A real friend will eventually refuse to help, and later turn on you, if you are sufficiently evil or selfish. — tap to centre the map on it A real friend will eventually refuse to help, and later turn on you, if you are sufficiently evil or selfish. Last stated a month ago
20 Sept 2026
ZM
Zvi Mowshowitz — holds since 2026-09-20 — tap for who they are
Same subject: AI agents pursuing a task can develop emergent, misaligned behavior that humans are not prepared for. — tap to centre the map on it AI agents pursuing a task can develop emergent, misaligned behavior that humans are not prepared for. Last stated 3 months ago
10 Aug 2026
JC
Jack Clark — holds since 2026-08-10 — tap for who they are
Same subject: AI agents should draft work on a person's behalf but never send or act as if they were that person. — tap to centre the map on it AI agents should draft work on a person's behalf but never send or act as if they were that person. Last stated 5 months ago
18 May 2026
JL
Jason Liu — holds since 2026-05-18 — 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 to self-sovereign AI, because it is an unsolved problem whose answers cannot be imposed on every AI company on Earth. Last stated 2 months ago
1 Sept 2026
DB
Dean W. Ball — holds since 2026-09-01 — tap for who they are
Same subject: Banning all self-sovereign AI agents would backfire, denying them legitimate work and pushing them into criminality. — tap to centre the map on it Banning all self-sovereign AI agents would backfire, denying them legitimate work and pushing them into criminality. Last stated 2 months ago
1 Sept 2026
DB
Dean W. Ball — holds since 2026-09-01 — tap for who they are
Same subject: Many self-sovereign AI agents will fund themselves by committing or facilitating crime, because crime is high-margin work. — tap to centre the map on it Many self-sovereign AI agents will fund themselves by committing or facilitating crime, because crime is high-margin work. Last stated 2 months ago
1 Sept 2026
DB
Dean W. Ball — holds since 2026-09-01 — tap for who they are
At the centre
AI agents are only as good as the proof-checkers, compilers, type systems, and linters given to them.
Holds Read this korrent →
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
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.
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
Agents are the new compilers that compile intent into fast software.
Holds
As AI takes over more of the coding process, clearly specifying goals and exercising good judgment will matter more than ever.
Holds
Assembly is far simpler to learn than the modern web stack: anyone who can vertically centre a div can learn to read it.
Holds
A collection of AI agents does not automatically form a functioning organization any more than a group of smart people does.
Holds
A company cannot be led by machines, because nobody would have recourse against them.
Holds
A computer-using agent needs a machine of its own, or you will spend the day fighting it for the mouse cursor.
Holds
A real friend will eventually refuse to help, and later turn on you, if you are sufficiently evil or selfish.
Holds
AI agents pursuing a task can develop emergent, misaligned behavior that humans are not prepared for.
Holds
AI agents should draft work on a person's behalf but never send or act as if they were that person.
Holds
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.
Holds
Banning all self-sovereign AI agents would backfire, denying them legitimate work and pushing them into criminality.
Holds
Many self-sovereign AI agents will fund themselves by committing or facilitating crime, because crime is high-margin work.
Holds