Tap a claim on the ring to put it at the centre.
← Conventional testing is not sufficient: crude purpose-built checking…
17 connected korrents · 14 moments on record from 3 Nov 2008 to 15 Aug 2026.
Everything filed under energy
energy
Everything filed under formal proof
formal proof
Everything filed under coding agents
coding agents
Everything filed under nuclear power
nuclear power 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: 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 a month 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 a month ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — 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: The answer to weak studies of programming practice is to fund better ones, not to conclude that the question cannot be measured. — tap to centre the map on it The answer to weak studies of programming practice is to fund better ones, not to conclude that the question cannot be measured. Last stated 12 years ago
7 Nov 2014
DL
Dan Luu — holds since 2014-11-07 — 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: In an agent-written codebase the agent-written tests are equally untrustworthy; manually using the product is the only reliable measure of whether it works. — tap to centre the map on it In an agent-written codebase the agent-written tests are equally untrustworthy; manually using the product is the only reliable measure of whether it works. Last stated 5 months ago
25 Mar 2026
MZ
Mario Zechner — holds since 2026-03-25 — tap for who they are
Same subject: Standardised testing is a good idea badly executed: the tests in common use are the problem, not testing itself. — tap to centre the map on it Standardised testing is a good idea badly executed: the tests in common use are the problem, not testing itself. Last stated a year ago
15 Apr 2025
BC
Bryan Caplan — holds since 2025-04-15 — tap for who they are
Same subject: "Food from thin air" is not from thin air: it runs on water, minerals, ammonia and industrial plant. — tap to centre the map on it "Food from thin air" is not from thin air: it runs on water, minerals, ammonia and industrial plant. Last stated 2 months ago
30 Jun 2026
CS
Chris Smaje — holds since 2026-06-30 — tap for who they are
Same subject: A country outside the AI supply chain should just buy the index — which works only in the world where AI ends up commoditised rather than concentrated. — tap to centre the map on it A country outside the AI supply chain should just buy the index — which works only in the world where AI ends up commoditised rather than concentrated. Last stated 3 months ago
4 Jun 2026
AI
Alex Imas — holds since 2026-06-04 — tap for who they are
Same subject: A future of constrained energy will need more people working the land, and that is not the same as going back to the past. — tap to centre the map on it A future of constrained energy will need more people working the land, and that is not the same as going back to the past. Last stated 2 months ago
30 Jun 2026
CS
Chris Smaje — holds since 2026-06-30 — 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: Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. — tap to centre the map on it Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying. — tap to centre the map on it Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
Same subject: American manufacturing output cannot meaningfully rise without first building large amounts of new electricity generation. — tap to centre the map on it American manufacturing output cannot meaningfully rise without first building large amounts of new electricity generation. Last stated a year ago
6 Apr 2025
MH
Molson Hart — holds since 2025-04-06 — tap for who they are
Same subject: Europe cannot meet its energy needs from renewables alone and will need nuclear power, solar power from deserts elsewhere, or both. — tap to centre the map on it Europe cannot meet its energy needs from renewables alone and will need nuclear power, solar power from deserts elsewhere, or both. Last stated 18 years ago
3 Nov 2008
DM
David MacKay — holds since 2008-11-03 — tap for who they are
Same subject: Most nuclear companies will not have this solved by 2031, and many still will not by 2035, because they have the wrong mindset. — tap to centre the map on it Most nuclear companies will not have this solved by 2031, and many still will not by 2035, because they have the wrong mindset. Last stated 3 weeks ago
15 Aug 2026
IT
Isaiah Taylor — holds since 2026-08-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 DL Dan LuuRead 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 HW Hillel Wayne
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 HW Hillel Wayne
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 HW Hillel Wayne
Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft.
Holds HW Hillel Wayne
The answer to weak studies of programming practice is to fund better ones, not to conclude that the question cannot be measured.
Holds DL Dan Luu
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
In an agent-written codebase the agent-written tests are equally untrustworthy; manually using the product is the only reliable measure of whether it works.
Holds
Standardised testing is a good idea badly executed: the tests in common use are the problem, not testing itself.
Holds BC Bryan Caplan
"Food from thin air" is not from thin air: it runs on water, minerals, ammonia and industrial plant.
Holds CS Chris Smaje
A country outside the AI supply chain should just buy the index — which works only in the world where AI ends up commoditised rather than concentrated.
Holds AI Alex Imas
A future of constrained energy will need more people working the land, and that is not the same as going back to the past.
Holds CS Chris Smaje
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds MK Martin Kleppmann
Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to.
Holds MK Martin Kleppmann
Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying.
Holds TT Terence Tao
American manufacturing output cannot meaningfully rise without first building large amounts of new electricity generation.
Holds MH Molson Hart
Europe cannot meet its energy needs from renewables alone and will need nuclear power, solar power from deserts elsewhere, or both.
Holds DM David MacKay
Most nuclear companies will not have this solved by 2031, and many still will not by 2035, because they have the wrong mindset.
Holds IT Isaiah Taylor