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 on record from 22 Mar 2025 to 14 Sept 2026. Nearly all of them are about compilers .
Everything filed under AI agents
AI agents
Everything filed under benchmarks
benchmarks
Everything filed under coding agents
coding agents 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 today
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 4 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 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 a change breaks turns refactoring into fixing errors until the compiler stops 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 a compiler but an experience: editing, running, debugging and the runtime library all have to fit together as one 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 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 a year 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 days ago
12 Sept 2026
GR
Guillermo Rauch — holds since 2026-09-12 — 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 3 weeks ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — tap for who they are
Same subject: Deep compiler knowledge is still interesting, but it is no longer useful to a working engineer in any meaningful sense. — tap to centre the map on it Deep compiler knowledge is still interesting, but it is no longer useful to a working engineer in any meaningful sense. Last stated 6 months ago
11 Mar 2026
SY
Steve Yegge — holds since 2026-03-11 — 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 a month ago
10 Aug 2026
PS
Peter Steinberger — holds since 2026-08-10 — tap for who they are
Same subject: A future where agents run and improve an organisation is impossible unless humans can first see and understand the system themselves. — tap to centre the map on it A future where agents run and improve an organisation is impossible unless humans can first see and understand the system themselves. Last stated 6 months ago
22 Mar 2026
NF
Nicole Forsgren — holds since 2026-03-22 — 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 a handful of colleagues, because agents agree with you constantly and colleagues tell you where you are wrong. Last stated 6 months ago
22 Mar 2026
NF
Nicole Forsgren — holds since 2026-03-22 — 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 weeks 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 weeks 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 weeks ago
1 Sept 2026
DB
Dean W. Ball — holds since 2026-09-01 — tap for who they are
Same subject: Current prompt-injection defenses for AI agents (such as auto mode) are now reliable enough that agents can practically be assumed safe from successful injection attacks. — tap to centre the map on it Current prompt-injection defenses for AI agents (such as auto mode) are now reliable enough that agents can practically be assumed safe from successful injection attacks. Last stated a week ago
4 Sept 2026
ZM
Zvi Mowshowitz — holds since 2026-09-04 — tap for who they are
Same subject: Do not run a personal agent on a cheap or local model: weak models are gullible and easy to prompt-inject. — tap to centre the map on it Do not run a personal agent on a cheap or local model: weak models are gullible and easy to prompt-inject. Last stated 7 months ago
12 Feb 2026
PS
Peter Steinberger — holds since 2026-02-12 — tap for who they are
Same subject: Auto-mode does not yet convincingly fix prompt-injection risk for coding agents. — tap to centre the map on it Auto-mode does not yet convincingly fix prompt-injection risk for coding agents. Last stated a month ago
8 Aug 2026
SW
Simon Willison — holds since 2026-08-08 — 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 AR Alice Ryhl
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 AH Anders Hejlsberg
A compiler that names every place a change breaks turns refactoring into fixing errors until the compiler stops shouting.
Holds AR Alice Ryhl
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 AH Anders Hejlsberg
A speed difference between languages that share the LLVM backend measures the benchmark author, not the languages.
Holds TH ThePrimeagen
Agents are the new compilers that compile intent into fast software.
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 CM Casey Muratori
Deep compiler knowledge is still interesting, but it is no longer useful to a working engineer in any meaningful sense.
Holds SY Steve Yegge
A computer-using agent needs a machine of its own, or you will spend the day fighting it for the mouse cursor.
Holds
A future where agents run and improve an organisation is impossible unless humans can first see and understand the system themselves.
Holds NF Nicole Forsgren
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.
Holds NF Nicole Forsgren
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
Current prompt-injection defenses for AI agents (such as auto mode) are now reliable enough that agents can practically be assumed safe from successful injection attacks.
Holds ZM Zvi Mowshowitz
Do not run a personal agent on a cheap or local model: weak models are gullible and easy to prompt-inject.
Holds
Auto-mode does not yet convincingly fix prompt-injection risk for coding agents.
Holds