Tap a claim on the ring to put it at the centre.
← Software is not less rigorous than traditional engineering; its…
17 connected korrents · 14 moments from 21 Jan 2019 to 23 Sept 2026.
Everything filed under software quality
software quality
Everything filed under formal proof
formal proof
Everything filed under humility
humility
Everything filed under code generation
code generation 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: Software is not less rigorous than traditional engineering; its record-keeping and automated verification are better than most of that field's. 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: Nuclear power plants, the standard example of software that must be proved correct, do not care about formal verification: thorough testing is enough for them. — tap to centre the map on it Nuclear power plants, the standard example of software that must be proved correct, do not care about formal verification: thorough testing is enough for them. Last stated 3 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: Software is not uniquely unpredictable; other engineering disciplines are hit by the same surprises and overruns. — tap to centre the map on it Software is not uniquely unpredictable; other engineering disciplines are hit by the same surprises and overruns. Last stated 6 years ago
20 Jan 2021
HW
Hillel Wayne — holds since 2021-01-20 — tap for who they are
Same subject: AI-generated code is not fully reliable and typically needs significant manual effort to keep it working correctly. — tap to centre the map on it AI-generated code is not fully reliable and typically needs significant manual effort to keep it working correctly. Last stated 4 months ago
16 Jun 2026
SW
Stephen Wolfram — holds since 2026-06-16 — tap for who they are
Same subject: The hard part of verification is not proving the code correct but working out what the specification should say. — tap to centre the map on it The hard part of verification is not proving the code correct but working out what the specification should say. Last stated 8 years ago
21 Jan 2019
HW
Hillel Wayne — holds since 2019-01-21 — 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 3 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: High consequences cannot be what makes work engineering, because most traditional engineering is low-stakes too. — tap to centre the map on it High consequences cannot be what makes work engineering, because most traditional engineering is low-stakes too. Last stated 6 years ago
18 Jan 2021
HW
Hillel Wayne — holds since 2021-01-18 — tap for who they are
Same subject: Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft. — tap to centre the map on it Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft. Last stated 8 years ago
21 Jan 2019
HW
Hillel Wayne — holds since 2019-01-21 — tap for who they are
Same subject: Letting non-programmers build their own unmaintainable software is still a large step forward, because the alternative was a thousand-page requirements document and an eight-year wait. — tap to centre the map on it Letting non-programmers build their own unmaintainable software is still a large step forward, because the alternative was a thousand-page requirements document and an eight-year wait. Last stated 4 months ago
1 Jul 2026
KB
Kent Beck — holds since 2026-07-01 — tap for who they are
Same subject: 95 percent of the software made in an age of abundance will be shitty, and shitty software is easy to deal with because it goes away. — tap to centre the map on it 95 percent of the software made in an age of abundance will be shitty, and shitty software is easy to deal with because it goes away. Last stated 4 weeks ago
23 Sept 2026
GT
Geoff Teehan — holds since 2026-09-23 — tap for who they are
Same subject: A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair. — tap to centre the map on it A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair. Last stated a year ago
18 Aug 2025
CB
Clay Bavor — holds since 2025-08-18 — tap for who they are
Same subject: A developer using AI coding tools remains responsible for reviewing the code they ship. — tap to centre the map on it A developer using AI coding tools remains responsible for reviewing the code they ship. Last stated 7 months ago
10 Mar 2026
JS
Jon Seager — holds since 2026-03-10 — tap for who they are
Same subject: AI-assisted coding will generate a lot of low-quality output that developers will need to clean up, even as it also produces good results. — tap to centre the map on it AI-assisted coding will generate a lot of low-quality output that developers will need to clean up, even as it also produces good results. Last stated 8 months ago
9 Feb 2026
SH
Scott Hanselman — holds since 2026-02-09 — tap for who they are
Same subject: AI-generated code should be treated as untrusted until there is evidence it preserves the intended behavior. — tap to centre the map on it AI-generated code should be treated as untrusted until there is evidence it preserves the intended behavior. Last stated 2 months ago
19 Aug 2026
JS
Jon Seager — holds since 2026-08-19 — tap for who they are
Same subject: As AI makes it easier to generate code, teams must delete code more aggressively or be overwhelmed by accumulated complexity. — tap to centre the map on it As AI makes it easier to generate code, teams must delete code more aggressively or be overwhelmed by accumulated complexity. Last stated 2 months ago
1 Sept 2026
VB
Vicki Boykis — holds since 2026-09-01 — 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 3 months ago
15 Jul 2026
DH
Dex Horthy — holds since 2026-07-15 — 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 5 months ago
7 Jun 2026
TF
Tony Fadell — holds since 2026-06-07 — 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 3 months ago
15 Jul 2026
DH
Dex Horthy — holds since 2026-07-15 — tap for who they are
At the centre
Software is not less rigorous than traditional engineering; its record-keeping and automated verification are better than most of that field's.
Holds Read this korrent →
Nuclear power plants, the standard example of software that must be proved correct, do not care about formal verification: thorough testing is enough for them.
Holds
Software is not uniquely unpredictable; other engineering disciplines are hit by the same surprises and overruns.
Holds
AI-generated code is not fully reliable and typically needs significant manual effort to keep it working correctly.
Holds
The hard part of verification is not proving the code correct but working out what the specification should say.
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
High consequences cannot be what makes work engineering, because most traditional engineering is low-stakes too.
Holds
Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft.
Holds
Letting non-programmers build their own unmaintainable software is still a large step forward, because the alternative was a thousand-page requirements document and an eight-year wait.
Holds
95 percent of the software made in an age of abundance will be shitty, and shitty software is easy to deal with because it goes away.
Holds
A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair.
Holds
A developer using AI coding tools remains responsible for reviewing the code they ship.
Holds
AI-assisted coding will generate a lot of low-quality output that developers will need to clean up, even as it also produces good results.
Holds
AI-generated code should be treated as untrusted until there is evidence it preserves the intended behavior.
Holds
As AI makes it easier to generate code, teams must delete code more aggressively or be overwhelmed by accumulated complexity.
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
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
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