Tap a claim on the ring to put it at the centre.
← Nuclear power plants, the standard example of software that must be…
17 connected korrents · 16 moments on record from 11 Jul 2006 to 3 Sept 2026. Nearly all of them are about energy and nuclear power .
Everything filed under formal proof
formal proof
Everything filed under data centers
data centers
Everything filed under batteries
batteries
Everything filed under solar
solar
Everything filed under America
America
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: 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. 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: 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: Nuclear is empirically the safest form of energy -- safer even than solar, once you count the people who fall off roofs. — tap to centre the map on it Nuclear is empirically the safest form of energy -- safer even than solar, once you count the people who fall off roofs. 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 dangerous, but not uniquely so among energy sources like coal, oil, and wind. — tap to centre the map on it Nuclear power is dangerous, but not uniquely so among energy sources like coal, oil, and wind. Last stated 18 years ago
3 Nov 2008
DM
David MacKay — holds since 2008-11-03 — 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: Nuclear power is the wrong technology for cutting carbon: efficiency and renewables can do the job without it. — tap to centre the map on it Nuclear power is the wrong technology for cutting carbon: efficiency and renewables can do the job without it. Last stated 15 years ago
21 Mar 2011
GM
George Monbiot — holds since 2006-07-11 — tap for who they are
GM
George Monbiot — no longer holds since 2011-03-21 — tap for who they are
Same subject: Societies have a pattern of drastically overreacting to a problem after one emotionally vivid incident, as with DDT, Y2K, and nuclear power — tap to centre the map on it Societies have a pattern of drastically overreacting to a problem after one emotionally vivid incident, as with DDT, Y2K, and nuclear power Last stated a week ago
1 Sept 2026
TC
Tyler Cowen — holds since 2026-09-01 — tap for who they are
Same subject: Solar power combined with batteries has surpassed nuclear power as the superior energy technology for most uses. — tap to centre the map on it Solar power combined with batteries has surpassed nuclear power as the superior energy technology for most uses. Last stated 5 days ago
3 Sept 2026
NS
Noah Smith — holds since 2026-09-03 — 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: About a fifth of the US grid could be freed for data centres just by covering the yearly peak with batteries or peaker plants. — tap to centre the map on it About a fifth of the US grid could be freed for data centres just by covering the yearly peak with batteries or peaker plants. Last stated 6 months ago
13 Mar 2026
DP
Dylan Patel — holds since 2026-03-13 — tap for who they are
Same subject: An off-grid data centre can delete its uninterruptible power supplies entirely, because the battery bank outside already is one. — tap to centre the map on it An off-grid data centre can delete its uninterruptible power supplies entirely, because the battery bank outside already is one. Last stated 2 years ago
18 Apr 2024
AV
Austin Vernon — holds since 2024-04-18 — tap for who they are
Same subject: Battery-electric airliners do not work even on optimistic assumptions, and the arithmetic said so before anyone built one. — tap to centre the map on it Battery-electric airliners do not work even on optimistic assumptions, and the arithmetic said so before anyone built one. Last stated 5 years ago
2 Apr 2021
BF
Bjorn Fehrm — holds since 2021-04-02 — tap for who they are
Same subject: A data centre earns its county far more tax revenue per gallon of water than a golf course does. — tap to centre the map on it A data centre earns its county far more tax revenue per gallon of water than a golf course does. Last stated 11 months ago
11 Oct 2025
AM
Andy Masley — holds since 2025-10-11 — tap for who they are
Same subject: A data centre should be split into independent power blocks fed directly at 1500 volts DC, rather than run through one central distribution system. — tap to centre the map on it A data centre should be split into independent power blocks fed directly at 1500 volts DC, rather than run through one central distribution system. Last stated 2 years ago
18 Apr 2024
AV
Austin Vernon — holds since 2024-04-18 — tap for who they are
Same subject: After the cloud exit, the next step is out of the data centre: home servers and multi-gigabit home connections make the garage startup literal again. — tap to centre the map on it After the cloud exit, the next step is out of the data centre: home servers and multi-gigabit home connections make the garage startup literal again. Last stated a year ago
12 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-12 — tap for who they are
At the centre
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 WayneRead this korrent →
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
Nuclear is empirically the safest form of energy -- safer even than solar, once you count the people who fall off roofs.
Holds IT Isaiah Taylor
Nuclear power is dangerous, but not uniquely so among energy sources like coal, oil, and wind.
Holds DM David MacKay
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
Nuclear power is the wrong technology for cutting carbon: efficiency and renewables can do the job without it.
No longer holds GM George Monbiot
Societies have a pattern of drastically overreacting to a problem after one emotionally vivid incident, as with DDT, Y2K, and nuclear power
Holds TC Tyler Cowen
Solar power combined with batteries has surpassed nuclear power as the superior energy technology for most uses.
Holds
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
About a fifth of the US grid could be freed for data centres just by covering the yearly peak with batteries or peaker plants.
Holds DP Dylan Patel
An off-grid data centre can delete its uninterruptible power supplies entirely, because the battery bank outside already is one.
Holds AV Austin Vernon
Battery-electric airliners do not work even on optimistic assumptions, and the arithmetic said so before anyone built one.
Holds BF Bjorn Fehrm
A data centre earns its county far more tax revenue per gallon of water than a golf course does.
Holds AM Andy Masley
A data centre should be split into independent power blocks fed directly at 1500 volts DC, rather than run through one central distribution system.
Holds AV Austin Vernon
After the cloud exit, the next step is out of the data centre: home servers and multi-gigabit home connections make the garage startup literal again.
Holds