Tap a claim on the ring to put it at the centre.
← Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft.
17 connected korrents · 10 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 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: Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft. 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: 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 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 used everywhere because for most real problems writing down what the function should do is itself a nightmare, and a program that is right ninety-nine per cent of the time is good enough. — tap to centre the map on it Formal methods are not used everywhere because for most real problems writing down what the function should do is itself a nightmare, and a program that is right ninety-nine per cent of the time is good enough. Last stated a month ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — 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: Formal methods shine in highly computational domains and struggle wherever the problem is embedded in human business behaviour. — tap to centre the map on it Formal methods shine in highly computational domains and struggle wherever the problem is embedded in human business behaviour. 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 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: 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: 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: 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: "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
Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft.
Holds HW Hillel WayneRead this korrent →
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 HW Hillel Wayne
Formal methods are not used everywhere because for most real problems writing down what the function should do is itself a nightmare, and a program that is right ninety-nine per cent of the time is good enough.
Holds HW Hillel Wayne
The hard part of verification is not proving the code correct but working out what the specification should say.
Holds HW Hillel Wayne
Formal methods shine in highly computational domains and struggle wherever the problem is embedded in human business behaviour.
Holds HW Hillel Wayne
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
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
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
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
"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