Tap a claim on the ring to put it at the centre.
← Conventional testing is not sufficient: crude purpose-built checking…
17 connected korrents · 15 moments from 12 Dec 2015 to 23 Sept 2026.
Everything filed under software quality
software quality
Everything filed under design
design
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: Conventional testing is not sufficient: crude purpose-built checking tools of a few thousand lines find bugs that testing does not. Conventional testing is not sufficient: crude purpose-built checking tools of a few thousand lines find bugs that testing does not. Last stated 11 years ago
12 Dec 2015
DL
Dan Luu — holds since 2015-12-12 — 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: When what is being tested is the underlying mental model, it is probably not worth polishing, because the thing might not make sense; knowing when craft and polish are needed is important. — tap to centre the map on it When what is being tested is the underlying mental model, it is probably not worth polishing, because the thing might not make sense; knowing when craft and polish are needed is important. Last stated 4 months ago
8 Jul 2026
MC
Meaghan Choi — holds since 2026-07-08 — tap for who they are
Same subject: Verifying a simplified model rather than the real system is worth doing even though the real system will still have bugs, because the bugs you designed in never get built. — tap to centre the map on it Verifying a simplified model rather than the real system is worth doing even though the real system will still have bugs, because the bugs you designed in never get built. Last stated 3 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — 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: Well-functioning systems succeed through continuous debugging rather than perfect initial design. — tap to centre the map on it Well-functioning systems succeed through continuous debugging rather than perfect initial design. Last stated 2 months ago
20 Aug 2026
JP
Jennifer Pahlka — holds since 2026-08-20 — tap for who they are
Same subject: Maybe higher-fidelity prototypes can be tested and validated much faster and still thrown away, because testing an idea is often the point of a prototype. — tap to centre the map on it Maybe higher-fidelity prototypes can be tested and validated much faster and still thrown away, because testing an idea is often the point of a prototype. Last stated 7 months ago
10 Mar 2026
LO
Luis Ouriach — holds since 2026-03-10 — tap for who they are
Same subject: If AI builds more and more of a system, it needs to verify as well as generate, including checking its own code. — tap to centre the map on it If AI builds more and more of a system, it needs to verify as well as generate, including checking its own code. Last stated 2 years ago
6 Oct 2024
MT
Michael Truell — holds since 2024-10-06 — 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: 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
Conventional testing is not sufficient: crude purpose-built checking tools of a few thousand lines find bugs that testing does not.
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
When what is being tested is the underlying mental model, it is probably not worth polishing, because the thing might not make sense; knowing when craft and polish are needed is important.
Holds
Verifying a simplified model rather than the real system is worth doing even though the real system will still have bugs, because the bugs you designed in never get built.
Holds
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
Well-functioning systems succeed through continuous debugging rather than perfect initial design.
Holds
Maybe higher-fidelity prototypes can be tested and validated much faster and still thrown away, because testing an idea is often the point of a prototype.
Holds
If AI builds more and more of a system, it needs to verify as well as generate, including checking its own code.
Holds
Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft.
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