Tap a claim on the ring to put it at the centre.
← Nuclear's costs are largely fake -- an industry that has not built…
17 connected korrents · 11 moments on record from 3 Nov 2008 to 15 Aug 2026.
Everything filed under nuclear power
nuclear power
Everything filed under America
America
Everything filed under formal proof
formal proof
Everything filed under solar
solar
Everything filed under energy
energy
Everything filed under design
design
Everything filed under government
government 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: Nuclear's costs are largely fake -- an industry that has not built anything in forty years charging for what it can no longer do. Nuclear's costs are largely fake -- an industry that has not built anything in forty years charging for what it can no longer do. Last stated 3 weeks ago
15 Aug 2026
IT
Isaiah Taylor — holds since 2026-08-15 — tap for who they are
Same subject: Most of the nuclear industry is a modelling and simulation business producing paper reactors, not a business that builds them. — tap to centre the map on it Most of the nuclear industry is a modelling and simulation business producing paper reactors, not a business that builds them. Last stated 3 weeks ago
15 Aug 2026
IT
Isaiah Taylor — holds since 2026-08-15 — tap for who they are
Same subject: The price of nuclear power is dominated by construction and decommissioning costs, not fuel costs. — tap to centre the map on it The price of nuclear power is dominated by construction and decommissioning costs, not fuel costs. Last stated 18 years ago
3 Nov 2008
DM
David MacKay — holds since 2008-11-03 — tap for who they are
Same subject: Fission will make energy a thousand times cheaper than it is today; the only open question is whether that takes decades or centuries. — tap to centre the map on it Fission will make energy a thousand times cheaper than it is today; the only open question is whether that takes decades or centuries. Last stated 3 weeks ago
15 Aug 2026
IT
Isaiah Taylor — holds since 2026-08-15 — tap for who they are
Same subject: The economics of nuclear are set by how fast and cheaply you can produce plants, not by fuel -- uranium is already cheap. — tap to centre the map on it The economics of nuclear are set by how fast and cheaply you can produce plants, not by fuel -- uranium is already cheap. Last stated 3 weeks ago
15 Aug 2026
IT
Isaiah Taylor — holds since 2026-08-15 — tap for who they are
Same subject: Nuclear is a hardware execution problem, not a design problem, and the companies treating it as a design problem are mistaken. — tap to centre the map on it Nuclear is a hardware execution problem, not a design problem, and the companies treating it as a design problem are mistaken. Last stated 3 weeks ago
15 Aug 2026
IT
Isaiah Taylor — holds since 2026-08-15 — tap for who they are
Same subject: The cheapest energy will come from a simple mass-produced reactor rather than the best design -- nuclear's problem is the Toyota Camry problem. — tap to centre the map on it The cheapest energy will come from a simple mass-produced reactor rather than the best design -- nuclear's problem is the Toyota Camry problem. Last stated 3 weeks ago
15 Aug 2026
IT
Isaiah Taylor — holds since 2026-08-15 — tap for who they are
Same subject: Nuclear power is politically unreliable as an answer to climate change, because every major accident freezes reactor construction worldwide for another decade. — tap to centre the map on it Nuclear power is politically unreliable as an answer to climate change, because every major accident freezes reactor construction worldwide for another decade. Last stated 3 years ago
4 Mar 2024
SP
Serhii Plokhy — holds since 2024-03-04 — tap for who they are
Same subject: The legal pathway to test new reactors sat unused in American law for forty years, waiting for an administration to use it. — tap to centre the map on it The legal pathway to test new reactors sat unused in American law for forty years, waiting for an administration to use it. Last stated 3 weeks ago
15 Aug 2026
IT
Isaiah Taylor — holds since 2026-08-15 — 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-powered data centre can cut its power draw a great deal while giving up very little compute, which is how it survives a run of bad weather. — tap to centre the map on it A solar-powered data centre can cut its power draw a great deal while giving up very little compute, which is how it survives a run of bad weather. Last stated a year ago
15 Aug 2025
CH
Casey Handmer — holds since 2025-08-15 — tap for who they are
Same subject: A spacecraft built to service satellites is also a weapon, because the same robotic arm that refuels one can disable one. — tap to centre the map on it A spacecraft built to service satellites is also a weapon, because the same robotic arm that refuels one can disable one. Last stated 2 years ago
25 Mar 2024
BC
Brian G. Chow — holds since 2024-03-25 — 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: A government taking a stake in its chipmaker is ordinary infrastructure policy — Taiwan, Japan and Singapore all did it. — tap to centre the map on it A government taking a stake in its chipmaker is ordinary infrastructure policy — Taiwan, Japan and Singapore all did it. Last stated 3 months ago
18 Jun 2026
LT
Lip-Bu Tan — holds since 2026-06-18 — tap for who they are
Same subject: American shipyards are unproductive rather than expensive: their workers are paid about what Korean and Japanese shipyard workers are paid. — tap to centre the map on it American shipyards are unproductive rather than expensive: their workers are paid about what Korean and Japanese shipyard workers are paid. Last stated 3 years ago
3 Jan 2024
AV
Austin Vernon — holds since 2024-01-03 — tap for who they are
Same subject: Commercial shipbuilding keeps moving to whichever country has the cheapest labour, and America has never been that country. — tap to centre the map on it Commercial shipbuilding keeps moving to whichever country has the cheapest labour, and America has never been that country. Last stated 2 years ago
5 Sept 2024
BP
Brian Potter — holds since 2024-09-05 — tap for who they are
At the centre
Nuclear's costs are largely fake -- an industry that has not built anything in forty years charging for what it can no longer do.
Holds IT Isaiah TaylorRead this korrent →
Most of the nuclear industry is a modelling and simulation business producing paper reactors, not a business that builds them.
Holds IT Isaiah Taylor
The price of nuclear power is dominated by construction and decommissioning costs, not fuel costs.
Holds DM David MacKay
Fission will make energy a thousand times cheaper than it is today; the only open question is whether that takes decades or centuries.
Holds IT Isaiah Taylor
The economics of nuclear are set by how fast and cheaply you can produce plants, not by fuel -- uranium is already cheap.
Holds IT Isaiah Taylor
Nuclear is a hardware execution problem, not a design problem, and the companies treating it as a design problem are mistaken.
Holds IT Isaiah Taylor
The cheapest energy will come from a simple mass-produced reactor rather than the best design -- nuclear's problem is the Toyota Camry problem.
Holds IT Isaiah Taylor
Nuclear power is politically unreliable as an answer to climate change, because every major accident freezes reactor construction worldwide for another decade.
Holds SP Serhii Plokhy
The legal pathway to test new reactors sat unused in American law for forty years, waiting for an administration to use it.
Holds IT Isaiah Taylor
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-powered data centre can cut its power draw a great deal while giving up very little compute, which is how it survives a run of bad weather.
Holds CH Casey Handmer
A spacecraft built to service satellites is also a weapon, because the same robotic arm that refuels one can disable one.
Holds BC Brian G. Chow
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
A government taking a stake in its chipmaker is ordinary infrastructure policy — Taiwan, Japan and Singapore all did it.
Holds LT Lip-Bu Tan
American shipyards are unproductive rather than expensive: their workers are paid about what Korean and Japanese shipyard workers are paid.
Holds AV Austin Vernon
Commercial shipbuilding keeps moving to whichever country has the cheapest labour, and America has never been that country.
Holds BP Brian Potter