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 on record from 3 Nov 2008 to 15 Aug 2026.
Everything filed under energy
energy
Everything filed under solar
solar
Everything filed under LLMs
LLMs
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: 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 a month 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: 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 a month 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 2 months ago
1 Jul 2026
KB
Kent Beck — holds since 2026-07-01 — 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: "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: 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
Same subject: A data centre powered by solar and batteries alone needs an array so oversized that the design is not worth building. — tap to centre the map on it A data centre powered by solar and batteries alone needs an array so oversized that the design is not worth building. Last stated 2 years ago
18 Apr 2024
AV
Austin Vernon — holds since 2024-04-18 — tap for who they are
Same subject: A solar panel is a manufactured object that produces wealth rather than consuming it, at a hundred times the rate of the best farmland. — tap to centre the map on it A solar panel is a manufactured object that produces wealth rather than consuming it, at a hundred times the rate of the best farmland. Last stated 2 years ago
9 Nov 2024
CH
Casey Handmer — holds since 2024-11-09 — tap for who they are
Same subject: A solar system holding a trillion humans is the right thing to aim at, because a population that size would have a thousand Mozarts and a thousand Einsteins alive at once. — tap to centre the map on it A solar system holding a trillion humans is the right thing to aim at, because a population that size would have a thousand Mozarts and a thousand Einsteins alive at once. Last stated 3 years ago
14 Dec 2023
JB
Jeff Bezos — holds since 2023-12-14 — 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 HW Hillel WayneRead 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 HW Hillel Wayne
Software is not uniquely unpredictable; other engineering disciplines are hit by the same surprises and overruns.
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
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
High consequences cannot be what makes work engineering, because most traditional engineering is low-stakes too.
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
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 KB Kent Beck
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
"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
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
A data centre powered by solar and batteries alone needs an array so oversized that the design is not worth building.
Holds AV Austin Vernon
A solar panel is a manufactured object that produces wealth rather than consuming it, at a hundred times the rate of the best farmland.
Holds CH Casey Handmer
A solar system holding a trillion humans is the right thing to aim at, because a population that size would have a thousand Mozarts and a thousand Einsteins alive at once.
Holds JB Jeff Bezos