Tap a claim on the ring to put it at the centre.
← Valar will get to the point of turning on a new reactor every few minutes.
17 connected korrents · 12 moments on record from 14 Dec 2023 to 15 Aug 2026.
Everything filed under nuclear power
nuclear power
Everything filed under energy
energy
Everything filed under solar
solar
Everything filed under formal proof
formal proof
Everything filed under AGI
AGI 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: Valar will get to the point of turning on a new reactor every few minutes. Valar will get to the point of turning on a new reactor every few minutes. Last stated 3 weeks ago
15 Aug 2026
IT
Isaiah Taylor — holds since 2026-08-15 — tap for who they are
Same subject: Shrinking below today's leading edge is still reachable, but it will be so expensive and difficult that no company can do it alone. — tap to centre the map on it Shrinking below today's leading edge is still reachable, but it will be so expensive and difficult that no company can do it alone. Last stated 3 months ago
18 Jun 2026
LT
Lip-Bu Tan — holds since 2026-06-18 — 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: Small modular reactors are the right idea, but you only reach them by iterating on real hardware -- which is what everyone else missed. — tap to centre the map on it Small modular reactors are the right idea, but you only reach them by iterating on real hardware -- which is what everyone else missed. Last stated 3 weeks ago
15 Aug 2026
IT
Isaiah Taylor — holds since 2026-08-15 — tap for who they are
Same subject: Within a few years, the majority of newly broken-ground data centres will be mostly solar-powered. — tap to centre the map on it Within a few years, the majority of newly broken-ground data centres will be mostly solar-powered. Last stated a year ago
15 Aug 2025
CH
Casey Handmer — holds since 2025-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 road to AGI is going to be a giant power struggle, and anyone building it should expect that rather than hope to avoid it. — tap to centre the map on it The road to AGI is going to be a giant power struggle, and anyone building it should expect that rather than hope to avoid it. Last stated 2 years ago
18 Mar 2024
SA
Sam Altman — holds since 2024-03-18 — tap for who they are
Same subject: The confusion about who does what is a storming phase every transformative technology causes, and AI is in the middle of it. — tap to centre the map on it The confusion about who does what is a storming phase every transformative technology causes, and AI is in the middle of it. Last stated 2 months ago
19 Jul 2026
ES
Elizabeth Stone — holds since 2026-07-19 — tap for who they are
Same subject: Nuclear has never had its Ford moment: reactors have to be manufactured rather than constructed before fission can be cheap. — tap to centre the map on it Nuclear has never had its Ford moment: reactors have to be manufactured rather than constructed before fission can be cheap. Last stated 3 weeks ago
15 Aug 2026
IT
Isaiah Taylor — holds since 2026-08-15 — 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: 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
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
Valar will get to the point of turning on a new reactor every few minutes.
Holds IT Isaiah TaylorRead this korrent →
Shrinking below today's leading edge is still reachable, but it will be so expensive and difficult that no company can do it alone.
Holds LT Lip-Bu Tan
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
Small modular reactors are the right idea, but you only reach them by iterating on real hardware -- which is what everyone else missed.
Holds IT Isaiah Taylor
Within a few years, the majority of newly broken-ground data centres will be mostly solar-powered.
Holds CH Casey Handmer
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 road to AGI is going to be a giant power struggle, and anyone building it should expect that rather than hope to avoid it.
Holds
The confusion about who does what is a storming phase every transformative technology causes, and AI is in the middle of it.
Holds ES Elizabeth Stone
Nuclear has never had its Ford moment: reactors have to be manufactured rather than constructed before fission can be cheap.
Holds IT Isaiah Taylor
"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
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
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