Tap a claim on the ring to put it at the centre.
← User expectations for software quality and craft keep rising over time.
17 connected korrents · 15 moments on record from 12 Jul 2025 to 6 Sept 2026.
Everything filed under software quality
software quality
Everything filed under code generation
code generation
Everything filed under vibe coding
vibe coding
Everything filed under formal proof
formal proof
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: User expectations for software quality and craft keep rising over time. User expectations for software quality and craft keep rising over time. Last stated a year ago
4 Sept 2025
AW
Adam Wiggins — holds since 2025-09-04 — 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: Adding a config option so nobody breaks compounds into permutations no test suite can cover, because it is infinitely harder to evolve software that has users. — tap to centre the map on it Adding a config option so nobody breaks compounds into permutations no test suite can cover, because it is infinitely harder to evolve software that has users. Last stated a month ago
10 Aug 2026
PS
Peter Steinberger — holds since 2026-08-10 — tap for who they are
Same subject: Agentic code review raises the floor but cannot be trusted, because the model reading the code is the same model that wrote it, and it will tell you the code is great. — tap to centre the map on it Agentic code review raises the floor but cannot be trusted, because the model reading the code is the same model that wrote it, and it will tell you the code is great. Last stated 2 months ago
15 Jul 2026
DH
Dex Horthy — holds since 2026-07-15 — tap for who they are
Same subject: Apple has more reason to stumble now than ever: terribly behind on AI, faltering software quality, rivals catching up on silicon, and a leadership too old to relearn. — tap to centre the map on it Apple has more reason to stumble now than ever: terribly behind on AI, faltering software quality, rivals catching up on silicon, and a leadership too old to relearn. Last stated a year ago
12 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-12 — tap for who they are
Same subject: Astra writes weird Python slop when one step removed from normal code, and its unit tests are horrific. — tap to centre the map on it Astra writes weird Python slop when one step removed from normal code, and its unit tests are horrific. Last stated 2 weeks ago
6 Sept 2026
AR
Armin Ronacher — holds since 2026-09-06 — tap for who they are
Same subject: Building on a model is unlike any previous software engineering, because the thing you are building on cannot be designed up front. — tap to centre the map on it Building on a model is unlike any previous software engineering, because the thing you are building on cannot be designed up front. Last stated 2 months ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — tap for who they are
Same subject: Code quality still matters even as LLMs make writing code much faster. — tap to centre the map on it Code quality still matters even as LLMs make writing code much faster. Last stated 2 months ago
10 Jul 2026
FS
Fabien Sanglard — holds since 2026-07-10 — 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 6 months ago
11 Mar 2026
SY
Steve Yegge — holds since 2026-03-11 — tap for who they are
Same subject: A sense of achievement in software survives writing almost none of the code yourself. — tap to centre the map on it A sense of achievement in software survives writing almost none of the code yourself. Last stated 4 weeks ago
26 Aug 2026
DH
David Heinemeier Hansson — holds since 2026-08-26 — tap for who they are
Same subject: AI should be used as a failure machine that tests many ideas cheaply, not as a way to build one idea faster. — tap to centre the map on it AI should be used as a failure machine that tests many ideas cheaply, not as a way to build one idea faster. Last stated 3 months ago
14 Jun 2026
MP
Mark Pincus — holds since 2026-06-14 — tap for who they are
Same subject: A model can now port essentially any codebase from one programming language to another, work that used to take a team over a year. — tap to centre the map on it A model can now port essentially any codebase from one programming language to another, work that used to take a team over a year. Last stated 2 months ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — tap for who they are
Same subject: AI acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much. — tap to centre the map on it AI acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much. Last stated 2 months ago
26 Jul 2026
DH
David Heinemeier Hansson — holds since 2026-07-26 — tap for who they are
Same subject: AI has made it cheap to build the features that were never worth building, so shipping a new feature every day can make a product worse rather than better. — tap to centre the map on it AI has made it cheap to build the features that were never worth building, so shipping a new feature every day can make a product worse rather than better. Last stated 3 months ago
24 Jun 2026
NE
NeetCode — holds since 2026-06-24 — 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 2 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — 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 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit. — tap to centre the map on it Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit. Last stated 2 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
At the centre
User expectations for software quality and craft keep rising over time.
Holds Read this korrent →
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
Adding a config option so nobody breaks compounds into permutations no test suite can cover, because it is infinitely harder to evolve software that has users.
Holds
Agentic code review raises the floor but cannot be trusted, because the model reading the code is the same model that wrote it, and it will tell you the code is great.
Holds
Apple has more reason to stumble now than ever: terribly behind on AI, faltering software quality, rivals catching up on silicon, and a leadership too old to relearn.
Holds
Astra writes weird Python slop when one step removed from normal code, and its unit tests are horrific.
Holds
Building on a model is unlike any previous software engineering, because the thing you are building on cannot be designed up front.
Holds
Code quality still matters even as LLMs make writing code much faster.
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 sense of achievement in software survives writing almost none of the code yourself.
Holds
AI should be used as a failure machine that tests many ideas cheaply, not as a way to build one idea faster.
Holds
A model can now port essentially any codebase from one programming language to another, work that used to take a team over a year.
Holds
AI acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much.
Holds
AI has made it cheap to build the features that were never worth building, so shipping a new feature every day can make a product worse rather than better.
Holds
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
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds
Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit.
Holds