Tap a claim on the ring to put it at the centre.
← Most nuclear companies will not have this solved by 2031, and many…
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 energy
energy
Everything filed under formal proof
formal proof
Everything filed under solar
solar
Everything filed under design
design
Everything filed under AGI
AGI
Everything filed under climate change
climate change 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: Most nuclear companies will not have this solved by 2031, and many still will not by 2035, because they have the wrong mindset. 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: Continual learning will probably be solved within a year or two, but the trillions of dollars do not depend on solving it. — tap to centre the map on it Continual learning will probably be solved within a year or two, but the trillions of dollars do not depend on solving it. Last stated 7 months ago
13 Feb 2026
DA
Dario Amodei — holds since 2026-02-13 — 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: There is a coin-flip chance that AGI arrives by 2030. — tap to centre the map on it There is a coin-flip chance that AGI arrives by 2030. Last stated a year ago
23 Jul 2025
DH
Demis Hassabis — holds since 2025-07-23 — 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: 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: A Mars base is not a backup plan for climate change or nuclear war, because self-sufficiency there is centuries away. — tap to centre the map on it A Mars base is not a backup plan for climate change or nuclear war, because self-sufficiency there is centuries away. Last stated 2 years ago
22 Dec 2024
AF
Adam Frank — holds since 2024-12-22 — tap for who they are
Same subject: Assuming the nuclear fusion problem will be solved is reckless, even though estimating fusion's potential power output is still worthwhile. — tap to centre the map on it Assuming the nuclear fusion problem will be solved is reckless, even though estimating fusion's potential power output is still worthwhile. Last stated 18 years ago
3 Nov 2008
DM
David MacKay — holds since 2008-11-03 — 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: Nuclear safety should be pursued by reducing the consequence of an accident rather than its odds, because something unpredictable always happens. — tap to centre the map on it Nuclear safety should be pursued by reducing the consequence of an accident rather than its odds, because something unpredictable always happens. Last stated 3 weeks ago
15 Aug 2026
IT
Isaiah Taylor — holds since 2026-08-15 — tap for who they are
Same subject: Nuclear's costs are largely fake -- an industry that has not built anything in forty years charging for what it can no longer do. — tap to centre the map on it 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: 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
At the centre
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 TaylorRead this korrent →
Continual learning will probably be solved within a year or two, but the trillions of dollars do not depend on solving it.
Holds DA Dario Amodei
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
There is a coin-flip chance that AGI arrives by 2030.
Holds DH Demis Hassabis
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
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
A Mars base is not a backup plan for climate change or nuclear war, because self-sufficiency there is centuries away.
Holds AF Adam Frank
Assuming the nuclear fusion problem will be solved is reckless, even though estimating fusion's potential power output is still worthwhile.
Holds DM David MacKay
Most of the nuclear industry is a modelling and simulation business producing paper reactors, not a business that builds them.
Holds IT Isaiah Taylor
Nuclear safety should be pursued by reducing the consequence of an accident rather than its odds, because something unpredictable always happens.
Holds IT Isaiah Taylor
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 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