reactor roof

Professor Ruzic explains modular micro-reactors: self-contained nuclear units with passive safety whose fuel lasts about 20 years. He covers their use for process and district heat and where they can compete with diesel generation.

A 2008 Google Tech Talk making the case for the liquid fluoride thorium reactor as an abundant, safe source of electrical power. It covers the technical motivations and design of thorium molten-salt reactors.

Kirk Sorensen's Google Tech Talk on thorium molten-salt reactors (LFTR). He covers why the technology was shelved after early development and argues that now is the right time to revisit it.

Kirk Sorensen's Google Tech Talk on liquid-fluoride thorium reactors, a design that could burn nuclear waste and use thorium as fuel. It draws on Oak Ridge National Laboratory work from the 1950s and 60s.

The Primitive Technology channel shows the construction of a tiled roof hut in the bush using only primitive tools and materials made in earlier videos. It includes tiles, a kiln, clay walls and underfloor heating.

A 2011 remix of over six hours of talks by Kirk Sorensen and other thorium advocates, explaining thorium as a nuclear fuel and the liquid-fluoride thorium reactor (LFTR). It argues LFTRs could produce energy without long-lived transuranic waste.

A Ukrainian documentary about the liquidators who cleaned radioactive debris off the Chernobyl reactor roof in two-minute shifts. It presents their firsthand accounts and footage of the work.

An MIT colloquium by Dennis Whyte on power exhaust and first-wall cooling in fusion reactors, including recent innovations and the SPARC and ARC designs.

Quint BUILDs tests a rooftop water storage setup in which solar power pumps water up to the roof and a turbine generates power later. He works through the numbers to show how much energy it actually stores.

A long documentary-style film on the 1961 SL-1 reactor accident, where a control rod was withdrawn too far and the reactor went prompt-critical. The resulting steam explosion ejected control rods and shield plugs.

The first lecture of MIT 6.042J Mathematics for Computer Science, taught by Tom Leighton, introducing mathematical proofs. It covers propositions, implication and basic proof methods.

A POV video of climbers illegally scaling the 650 m Shanghai Tower while it was under construction, filmed on a helmet camera.

WIRED has UCLA professor Amit Sahai explain zero-knowledge proofs to a child, a teen, a college student, a grad student and an expert. Each round goes deeper into the cryptography and why it matters.

A one-minute clip of a crow repeatedly sliding down a snowy roof on a small lid, apparently just for fun.

Vladimir Voevodsky's IAS lecture starts from Godel's second incompleteness theorem to explore whether first-order arithmetic could be inconsistent. It motivates his vision of univalent foundations and computer-checked proofs.

3Blue1Brown explains the math and mechanics behind Bitcoin visually: ledgers, digital signatures, proof of work and the blockchain, building up a decentralized payment system from first principles.

A Google Tech Talk by Steve Weis that introduces modern cryptography and its use in practice and at Google. It covers proofs of security and security definitions and a special topic. HN commenters treat it as a talk on verifiable electronic voting.

Mathematician Kevin Buzzard explains why he believes the Lean theorem prover will shape the future of mathematics, and describes digitizing his university curriculum in Lean with undergraduates, plus the cultural challenges.

A professor from Illinois compares the cost of building, fueling and operating a nuclear plant against a natural gas plant, using visual charts. It shows how construction time and interest rates dominate, when the investment pays off and when costs cross over.

MIT 22.01 lecture by Michael Short explaining the Chernobyl accident technically, including RBMK reactor positive feedback, xenon poisoning and the cascade of human errors during the test.

A former fusion scientist argues why fusion power by 2040 is unrealistic, covering the physics challenges, neutron issues and optimistic company claims, with a brief note of good news.

David Christiansen gives a Strange Loop 2018 introduction to dependent types, where one language serves for both compile-time and run-time code and programs unite with proofs. It draws on his book The Little Typer.

Mark Rober builds a machine that plays the Cyclone arcade game with perfect timing and discovers the game is rigged so that perfect play still loses. The video explains the physics and electronics tricks behind carnival-style skill games.

Engineering Explained follows up on Tesla's claim that a Cybertruck towing a Porsche 911 could beat the 911 alone over a quarter mile. He walks through the MotorTrend drag race and explains why the claim did not hold up.

A two-minute clip from Silicon Valley season 1, episode 7 featuring the human heater idea that is rejected in a startup competition scene.

Louis Rossmann reviews the Lenovo ThinkPad P50, covering build, thermals and throttling, then spills liquid on it to test the keyboard drainage and spill protection.

An open Q&A with Python creator Guido van Rossum hosted by Microsoft Reactor, covering his career, PyCon's origins and his opinions on other languages.

A Gamereactor interview at E3 2012 with John Carmack, who shows his lag-free head-mounted display running DOOM 3 BFG Edition. He discusses what the headset could mean for the games industry.

3Blue1Brown walks through a very hard Putnam competition problem and its elegant solution, emphasizing the visual intuition and the thought process behind solving it.

Veritasium's explainer on Godel's incompleteness theorems and the limits of mathematical proof, tracing set theory, Hilbert's program and the road to Turing and modern computing.

The first lecture of Francis Su's Harvey Mudd real analysis course, covering the construction of the rational numbers. It begins a full lecture series that follows a standard analysis text.

Real Engineering's Brian McManus explains Helion's approach to nuclear fusion: colliding two plasma rings, compressing them magnetically, and capturing energy directly from the changing magnetic flux rather than boiling water. It covers why this pulsed design sidesteps problems of tokamaks and laser fusion.

Casey Muratori follows up his refterm proof-of-concept, a GPU-based terminal renderer, with a second part covering memory usage, glyph sizing and correct Unicode and VT handling. It is built to show that a terminal can be fast and correct without heroic effort.

A CAD-based animation from the Max Planck Institute for Plasma Physics showing how the Wendelstein 7-X stellarator is configured and what its fusion research aims to achieve. It runs about 11 minutes.

In a 2010 Google Tech Talk, Kirk Sorensen gives an economic analysis of what spent nuclear fuel actually contains. He argues it is mostly valuable material that can be partitioned and reused, not just waste to be isolated for 100,000 years.

Sabine Hossenfelder weighs the arguments for and against nuclear power, covering waste, fuel supply and newer reactor designs. She is skeptical that fast breeders and thorium solve the problems.

Cody's Lab builds a prototype algae growing panel as an experiment before making more. The channel also shows growing algae for consumption.

Real Engineering looks at why nuclear power plants are expensive and how their economics compare with fossil and renewable alternatives. It is based on a video from the Illinois Energy Professors.

A lecture for high school seniors and college freshmen making the case for nuclear power and answering common objections. It is an overview of the channel's more detailed videos on each topic.

Rachel and Jun film Toyota Home Aichi installing a prefabricated house unit in Japan, with the assembly and roof waterproofing completed in about half a day.