Tap a claim on the ring to put it at the centre.
← A massive interest in automated testing and verification is following the recent 10x speedup in building software.
17 connected korrents · 18 moments from 20 Jan 2021 to 30 Sept 2026.
Everything filed under coding agents
coding agents
Everything filed under developer tools
developer tools
Everything filed under software quality
software quality
Everything filed under vibe coding
vibe coding
Everything filed under innovation
innovation
Everything filed under design
design
Everything filed under LLMs
LLMs 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: A massive interest in automated testing and verification is following the recent 10x speedup in building software. A massive interest in automated testing and verification is following the recent 10x speedup in building software. Last stated a week ago
30 Sept 2026
GO
Gergely Orosz — holds since 2026-09-30 — tap for who they are
Same subject: Software is not less rigorous than traditional engineering; its record-keeping and automated verification are better than most of that field's. — tap to centre the map on it Software is not less rigorous than traditional engineering; its record-keeping and automated verification are better than most of that field's. Last stated 6 years ago
20 Jan 2021
HW
Hillel Wayne — holds since 2021-01-20 — tap for who they are
Same subject: With AI, verification has become the bottleneck in producing work, whereas before it happened incidentally during creation. — tap to centre the map on it With AI, verification has become the bottleneck in producing work, whereas before it happened incidentally during creation. Last stated 3 months ago
29 Jun 2026
HH
Hamel Husain — holds since 2026-06-29 — tap for who they are
Same subject: It is now faster to build three versions of something and try them out. — tap to centre the map on it It is now faster to build three versions of something and try them out. Last stated 4 weeks ago
10 Sept 2026
AV
Ami Vora — holds since 2026-09-10 — tap for who they are
Same subject: Review became a worse bottleneck under AI, because companies removed the review automation they had once AI started writing the code. — tap to centre the map on it Review became a worse bottleneck under AI, because companies removed the review automation they had once AI started writing the code. Last stated 7 months ago
22 Mar 2026
NF
Nicole Forsgren — holds since 2026-03-22 — tap for who they are
Same subject: The industry is now accumulating code faster than it is accumulating trust, and trust only comes from having struggled to understand the domain yourself. — tap to centre the map on it The industry is now accumulating code faster than it is accumulating trust, and trust only comes from having struggled to understand the domain yourself. Last stated 3 months ago
1 Jul 2026
KB
Kent Beck — holds since 2026-07-01 — tap for who they are
Same subject: AI has moved the programmer's bottleneck from writing code to having good design ideas, and there is no verification loop for a design idea. — tap to centre the map on it AI has moved the programmer's bottleneck from writing code to having good design ideas, and there is no verification loop for a design idea. Last stated 6 months ago
7 Apr 2026
MN
Michael Nielsen — holds since 2026-04-07 — tap for who they are
Same subject: Cheap building will not mean making the same amount of software faster; it will mean making way more software. — tap to centre the map on it Cheap building will not mean making the same amount of software faster; it will mean making way more software. Last stated 2 weeks ago
23 Sept 2026
GT
Geoff Teehan — holds since 2026-09-23 — tap for who they are
Same subject: AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. — tap to centre the map on it AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. Last stated 6 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — 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 6 months ago
25 Mar 2026
MZ
Mario Zechner — holds since 2026-03-25 — tap for who they are
Same subject: A coding-agent company should not train its own model: it has to stay neutral ground for models to compete on. — tap to centre the map on it A coding-agent company should not train its own model: it has to stay neutral ground for models to compete on. Last stated a month ago
3 Sept 2026
DR
Dax Raad — holds since 2026-09-03 — tap for who they are
Same subject: A boring but non-superficial SaaS app that would have done well five years ago might now get no signups because tens of thousands can easily vibe code it. — tap to centre the map on it A boring but non-superficial SaaS app that would have done well five years ago might now get no signups because tens of thousands can easily vibe code it. Last stated a month ago
1 Sept 2026
PL
Pieter Levels — holds since 2026-09-01 — tap for who they are
Same subject: A person at maximum vibe-coding speed has about three productive hours a day, and a company that will not let them stop there is going to break. — tap to centre the map on it A person at maximum vibe-coding speed has about three productive hours a day, and a company that will not let them stop there is going to break. Last stated 7 months ago
11 Mar 2026
SY
Steve Yegge — holds since 2026-03-11 — tap for who they are
Same subject: A screenshot is the fastest, easiest way to build, without having to voice it or type it. — tap to centre the map on it A screenshot is the fastest, easiest way to build, without having to voice it or type it. Last stated 3 months ago
30 Jun 2026
MT
Meng To — holds since 2026-06-30 — 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 5 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: A good tool raises the floor of what people can build without lowering the ceiling, and almost every tool quietly lowers the ceiling. — tap to centre the map on it A good tool raises the floor of what people can build without lowering the ceiling, and almost every tool quietly lowers the ceiling. Last stated a year ago
18 Sept 2025
TL
Tobias Lütke — holds since 2025-09-18 — tap for who they are
Same subject: A new API framework that ignores how existing apps were historically built undermines its own introduction — tap to centre the map on it A new API framework that ignores how existing apps were historically built undermines its own introduction Last stated a month ago
31 Aug 2026
CH
Craig Hockenberry — holds since 2026-08-31 — tap for who they are
At the centre
A massive interest in automated testing and verification is following the recent 10x speedup in building software.
Holds Read this korrent →
Software is not less rigorous than traditional engineering; its record-keeping and automated verification are better than most of that field's.
Holds
With AI, verification has become the bottleneck in producing work, whereas before it happened incidentally during creation.
Holds
It is now faster to build three versions of something and try them out.
Holds
Review became a worse bottleneck under AI, because companies removed the review automation they had once AI started writing the code.
Holds
The industry is now accumulating code faster than it is accumulating trust, and trust only comes from having struggled to understand the domain yourself.
Holds
AI has moved the programmer's bottleneck from writing code to having good design ideas, and there is no verification loop for a design idea.
Holds
Cheap building will not mean making the same amount of software faster; it will mean making way more software.
Holds
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
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 company should not train its own model: it has to stay neutral ground for models to compete on.
Holds
A boring but non-superficial SaaS app that would have done well five years ago might now get no signups because tens of thousands can easily vibe code it.
Holds
A person at maximum vibe-coding speed has about three productive hours a day, and a company that will not let them stop there is going to break.
Holds
A screenshot is the fastest, easiest way to build, without having to voice it or type it.
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 good tool raises the floor of what people can build without lowering the ceiling, and almost every tool quietly lowers the ceiling.
Holds
A new API framework that ignores how existing apps were historically built undermines its own introduction
Holds