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 from 3 Nov 2008 to 23 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 America
America
Everything filed under solar
solar
Everything filed under infrastructure
infrastructure
Everything filed under aviation
aviation
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 3 months 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 2 years ago
6 Apr 2025
MH
Molson Hart — holds since 2025-04-06 — tap for who they are
Same subject: Americans have repeatedly overreacted drastically to real problems like DDT, Y2K, and nuclear power, swept up in fear after one vivid incident. — tap to centre the map on it Americans have repeatedly overreacted drastically to real problems like DDT, Y2K, and nuclear power, swept up in fear after one vivid incident. Last stated 2 months ago
1 Sept 2026
TC
Tyler Cowen — holds since 2026-09-01 — tap for who they are
Same subject: Being strong, sovereign, hard-working and deeply competent, ideally also finishing ambitious infrastructure on budget and on time, makes every other problem melt away. — tap to centre the map on it Being strong, sovereign, hard-working and deeply competent, ideally also finishing ambitious infrastructure on budget and on time, makes every other problem melt away. Last stated a month ago
13 Sept 2026
TL
Tobias Lütke — holds since 2026-09-13 — 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: Frontier AI should be licensed like other high-risk critical technologies such as medicine, aviation, and nuclear energy. — tap to centre the map on it Frontier AI should be licensed like other high-risk critical technologies such as medicine, aviation, and nuclear energy. Last stated 4 weeks ago
23 Sept 2026
YB
Yoshua Bengio — holds since 2026-09-23 — 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 2 months 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: A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. — tap to centre the map on it A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. Last stated 6 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — 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 3 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: AI will increasingly produce mathematical proofs, just as it already writes most code. — tap to centre the map on it AI will increasingly produce mathematical proofs, just as it already writes most code. Last stated a month ago
11 Sept 2026
DL
Daniel Lemire — holds since 2026-09-11 — 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 7 months ago
13 Mar 2026
DP
Dylan Patel — holds since 2026-03-13 — tap for who they are
Same subject: Apple's risk is being reduced to hardware: people keep buying the best phone while everything they do on it comes from someone else's model. — tap to centre the map on it Apple's risk is being reduced to hardware: people keep buying the best phone while everything they do on it comes from someone else's model. Last stated a year ago
2 Sept 2025
BE
Benedict Evans — holds since 2025-09-02 — 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 6 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 a year ago
11 Oct 2025
AM
Andy Masley — holds since 2025-10-11 — tap for who they are
Same subject: A local SSD might as well be treated as one more layer of the memory cache hierarchy. — tap to centre the map on it A local SSD might as well be treated as one more layer of the memory cache hierarchy. Last stated 2 years ago
26 Sept 2024
KV
Kenton Varda — holds since 2024-09-26 — tap for who they are
Same subject: A server's real network throughput can exceed what its single fastest port suggests when a protocol supports channel bonding across multiple links. — tap to centre the map on it A server's real network throughput can exceed what its single fastest port suggests when a protocol supports channel bonding across multiple links. Last stated 2 months ago
23 Aug 2026
SH
Scott Hanselman — holds since 2026-08-23 — 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 Read this korrent →
American manufacturing output cannot meaningfully rise without first building large amounts of new electricity generation.
Holds
Americans have repeatedly overreacted drastically to real problems like DDT, Y2K, and nuclear power, swept up in fear after one vivid incident.
Holds
Being strong, sovereign, hard-working and deeply competent, ideally also finishing ambitious infrastructure on budget and on time, makes every other problem melt away.
Holds
Europe cannot meet its energy needs from renewables alone and will need nuclear power, solar power from deserts elsewhere, or both.
Holds
Frontier AI should be licensed like other high-risk critical technologies such as medicine, aviation, and nuclear energy.
Holds
Nuclear is empirically the safest form of energy -- safer even than solar, once you count the people who fall off roofs.
Holds
Nuclear power is dangerous, but not uniquely so among energy sources like coal, oil, and wind.
Holds
Nuclear power is politically unreliable as an answer to climate change, because every major accident freezes reactor construction worldwide for another decade.
Holds
A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can.
Holds
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
AI will increasingly produce mathematical proofs, just as it already writes most code.
Holds
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
Apple's risk is being reduced to hardware: people keep buying the best phone while everything they do on it comes from someone else's model.
Holds
Battery-electric airliners do not work even on optimistic assumptions, and the arithmetic said so before anyone built one.
Holds
A data centre earns its county far more tax revenue per gallon of water than a golf course does.
Holds
A local SSD might as well be treated as one more layer of the memory cache hierarchy.
Holds
A server's real network throughput can exceed what its single fastest port suggests when a protocol supports channel bonding across multiple links.
Holds