Tap a claim on the ring to put it at the centre.
← Duplicating logic is no longer painful, while abstractions still are.
17 connected korrents · 13 moments on record from 28 May 2014 to 10 Sept 2026.
Everything filed under software quality
software quality
Everything filed under code generation
code generation
Everything filed under scaling laws
scaling laws
Everything filed under the cloud
the cloud
Everything filed under writing
writing
Everything filed under AI and human skill
AI and human skill
Everything filed under formal proof
formal proof 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: Duplicating logic is no longer painful, while abstractions still are. Duplicating logic is no longer painful, while abstractions still are. Last stated yesterday
10 Sept 2026
PS
Peter Steinberger — holds since 2026-09-10 — tap for who they are
Same subject: Duplication is cheaper than the wrong abstraction, so code should not be made reusable before there are real examples of what the reuse has to do. — tap to centre the map on it Duplication is cheaper than the wrong abstraction, so code should not be made reusable before there are real examples of what the reuse has to do. Last stated 11 years ago
20 Jan 2016
SM
Sandi Metz — holds since 2016-01-20 — tap for who they are
CM
Casey Muratori — holds since 2014-05-28 — tap for who they are
Same subject: Inference was never going to be the easy, cheap half of AI, because inference is thinking, and thinking is far harder than reading. — tap to centre the map on it Inference was never going to be the easy, cheap half of AI, because inference is thinking, and thinking is far harder than reading. Last stated 6 months ago
23 Mar 2026
JH
Jensen Huang — holds since 2026-03-23 — tap for who they are
Same subject: You can now generate ten thousand variants of a function faster than you could write it once, and that economics pushes software towards replacement rather than repair. — tap to centre the map on it You can now generate ten thousand variants of a function faster than you could write it once, and that economics pushes software towards replacement rather than repair. Last stated 4 weeks ago
12 Aug 2026
CM
Charity Majors — holds since 2026-08-12 — tap for who they are
Same subject: When an abstraction turns out to be wrong, the fastest way forward is to inline it back into every caller and let the duplication show what the right one is. — tap to centre the map on it When an abstraction turns out to be wrong, the fastest way forward is to inline it back into every caller and let the duplication show what the right one is. Last stated 11 years ago
20 Jan 2016
SM
Sandi Metz — holds since 2016-01-20 — tap for who they are
Same subject: Higher-level abstractions do not abolish low-level knowledge; they concentrate it in the smaller group of people who build the abstractions. — tap to centre the map on it Higher-level abstractions do not abolish low-level knowledge; they concentrate it in the smaller group of people who build the abstractions. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: Writing is thinking on paper and there is no shortcut for doing that thinking, so handing the writing to AI hands away the thinking. — tap to centre the map on it Writing is thinking on paper and there is no shortcut for doing that thinking, so handing the writing to AI hands away the thinking. Last stated 4 weeks ago
12 Aug 2026
CM
Charity Majors — holds since 2026-08-12 — tap for who they are
Same subject: AI is at its best when it reuses great existing components rather than regenerating everything from first principles. — tap to centre the map on it AI is at its best when it reuses great existing components rather than regenerating everything from first principles. Last stated 3 days ago
8 Sept 2026
GR
Guillermo Rauch — holds since 2026-09-08 — tap for who they are
Same subject: The satisfaction of getting one function exactly right no longer makes a difference, and an engineer has to let go of it and enjoy understanding the domain instead. — tap to centre the map on it The satisfaction of getting one function exactly right no longer makes a difference, and an engineer has to let go of it and enjoy understanding the domain instead. Last stated 5 months ago
7 Apr 2026
KB
Kent Beck — holds since 2026-04-07 — tap for who they are
Same subject: A language-agnostic conformance suite is the most powerful thing you can hand a coding agent, because the whole instruction becomes: write code until these tests pass. — tap to centre the map on it A language-agnostic conformance suite is the most powerful thing you can hand a coding agent, because the whole instruction becomes: write code until these tests pass. Last stated 6 months ago
19 Mar 2026
SW
Simon Willison — holds since 2026-03-19 — tap for who they are
Same subject: A passing test suite is not evidence that the software works, so an agent must also be made to start the thing and exercise it the way a person would. — tap to centre the map on it A passing test suite is not evidence that the software works, so an agent must also be made to start the thing and exercise it the way a person would. Last stated 6 months ago
19 Mar 2026
SW
Simon Willison — holds since 2026-03-19 — tap for who they are
Same subject: A team that slows down and reads every pull request and every line of code should expect only a 30 to 50 percent productivity lift from AI. — tap to centre the map on it A team that slows down and reads every pull request and every line of code should expect only a 30 to 50 percent productivity lift from AI. Last stated 2 months ago
15 Jul 2026
DH
Dex Horthy — holds since 2026-07-15 — tap for who they are
Same subject: A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. — tap to centre the map on it A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: Formal methods are a niche tool; property-based testing is the one most engineers should adopt, and stopping there is a fine place to stop. — tap to centre the map on it Formal methods are a niche tool; property-based testing is the one most engineers should adopt, and stopping there is a fine place to stop. Last stated a month ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. — tap to centre the map on it AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. Last stated a month ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: Agent-written code that runs and passes its tests is not enough: security, maintainability and being able to roll it back still need humans in the loop. — tap to centre the map on it Agent-written code that runs and passes its tests is not enough: security, maintainability and being able to roll it back still need humans in the loop. Last stated 3 months ago
7 Jun 2026
TF
Tony Fadell — holds since 2026-06-07 — tap for who they are
Same subject: Having an AI agent write tests costs tokens in the short run and saves them in the long run, because the classic failure is that the code does not work. — tap to centre the map on it Having an AI agent write tests costs tokens in the short run and saves them in the long run, because the classic failure is that the code does not work. Last stated 2 months ago
1 Jul 2026
KB
Kent Beck — holds since 2026-07-01 — tap for who they are
Same subject: Keeping a codebase clean now pays off directly rather than aesthetically, because a coding agent will copy the patterns already in it almost exactly. — tap to centre the map on it Keeping a codebase clean now pays off directly rather than aesthetically, because a coding agent will copy the patterns already in it almost exactly. Last stated 6 months ago
19 Mar 2026
SW
Simon Willison — holds since 2026-03-19 — tap for who they are
At the centre
Duplicating logic is no longer painful, while abstractions still are.
Holds Read this korrent →
Duplication is cheaper than the wrong abstraction, so code should not be made reusable before there are real examples of what the reuse has to do.
Holds SM Sandi MetzCM Casey Muratori
Inference was never going to be the easy, cheap half of AI, because inference is thinking, and thinking is far harder than reading.
Holds JH Jensen Huang
You can now generate ten thousand variants of a function faster than you could write it once, and that economics pushes software towards replacement rather than repair.
Holds CM Charity Majors
When an abstraction turns out to be wrong, the fastest way forward is to inline it back into every caller and let the duplication show what the right one is.
Holds SM Sandi Metz
Higher-level abstractions do not abolish low-level knowledge; they concentrate it in the smaller group of people who build the abstractions.
Holds MK Martin Kleppmann
Writing is thinking on paper and there is no shortcut for doing that thinking, so handing the writing to AI hands away the thinking.
Holds CM Charity Majors
AI is at its best when it reuses great existing components rather than regenerating everything from first principles.
Holds
The satisfaction of getting one function exactly right no longer makes a difference, and an engineer has to let go of it and enjoy understanding the domain instead.
Holds KB Kent Beck
A language-agnostic conformance suite is the most powerful thing you can hand a coding agent, because the whole instruction becomes: write code until these tests pass.
Holds
A passing test suite is not evidence that the software works, so an agent must also be made to start the thing and exercise it the way a person would.
Holds
A team that slows down and reads every pull request and every line of code should expect only a 30 to 50 percent productivity lift from AI.
Holds DH Dex Horthy
A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can.
Holds MK Martin Kleppmann
Formal methods are a niche tool; property-based testing is the one most engineers should adopt, and stopping there is a fine place to stop.
Holds HW Hillel Wayne
AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths.
Holds HW Hillel Wayne
Agent-written code that runs and passes its tests is not enough: security, maintainability and being able to roll it back still need humans in the loop.
Holds TF Tony Fadell
Having an AI agent write tests costs tokens in the short run and saves them in the long run, because the classic failure is that the code does not work.
Holds KB Kent Beck
Keeping a codebase clean now pays off directly rather than aesthetically, because a coding agent will copy the patterns already in it almost exactly.
Holds