roof tiles

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.

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.

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.

Gil Tene of Azul Systems explains common pitfalls in measuring latency and response time, including why averages mislead and the problem of coordinated omission. He introduces open source tools like HdrHistogram for better measurement and reporting.

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.

Oskar Stalberg explains how Wave Function Collapse assembles island dioramas from handcrafted tilesets in Bad North. He covers the theory, implementation, tooling, and how he blends art and technology.

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.

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.

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.

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.

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.

A two-minute clip recorded on a Kennedy Space Center tour showing a Space Shuttle thermal tile that can be held by hand while its surface is extremely hot. It demonstrates the tile's remarkable insulating properties.

Andreas Antonopoulos answers a Bitcoin Q&A question about energy consumption in mining. He argues that mining is arbitrage for the cheapest electricity, drives investment in renewables, and that the traditional financial system has hidden externalities.

Jason Turner's CppCon 2016 talk builds a simple Commodore 64 game using C++17, showing how constexpr and const let a modern compiler produce tight 6502 code. He walks through assembly output to show abstractions being optimized away.

Not Just Bikes argues that winter is not what stops Canadians cycling, using Oulu, Finland as proof that safe, well-maintained cycling infrastructure enables year-round biking despite harsh weather.

Casey Muratori shows how fast a terminal renderer can run, building a simple reference renderer that handles Unicode and colored text far quicker than Windows Terminal. He argues that common excuses for slow terminals do not hold up.

Audio of Charlie Munger's 1995 Harvard speech on the psychology of human misjudgment, laying out a framework of cognitive biases and mental models for decision making. It covers factors like incentives, social proof and denial.

Bruce Hauman live-codes Flappy Bird in ClojureScript in about six minutes, using figwheel to hot-reload changes into the running game. The demo shows game behavior being changed interactively without restarting.

The first lecture of N J Wildberger's History of Mathematics course, starting with Pythagoras' theorem and following Stillwell's text. It emphasizes the flow of ideas over proofs.

Eric Bier, a PARC research scientist, demonstrates the Cedar integrated programming environment and language, an evolution of Mesa from Xerox PARC. The demo shows the Tioga editor, garbage collection, and a full graphical workstation environment.

The first part of a long series documenting Dave Bull's Tokyo woodblock workshop as it produces a reproduction of Hokusai's The Great Wave. It follows the carving, proofing and printing of the reward print for Kickstarter backers.

Techmoan's beginner introduction to the compact cassette, testing metal tapes and Dolby S noise reduction on a Sony TC-S1 deck. He checks whether a cassette can sound close to a CD when good tape and equipment are used.

Big Clive tears down the Dubai lamp, a Philips LED bulb developed with Dubai's ruler for maximum efficiency and long life. He examines its construction and circuitry, including underrun LEDs and many filament strips.

Sam Zeloof shows the upgraded second iteration of his homemade silicon integrated circuit fabrication process, producing chips with around a thousand transistors in his garage. It is a short overview of what the home fab can now do.

Carl Sagan's December 1985 testimony to Congress on the greenhouse effect, about 15 minutes long. He lays out CO2 warming, the risk of runaway effects and the danger of continued coal burning.

Jim Pavloff rebuilds the Prodigy track Smack My Bitch Up in Ableton, identifying the samples used and recreating the track by hand.

A JSConf 2014 talk visually breaking down algorithms behind everyday UI patterns, such as dropdown menus that vanish when the mouse drifts and picking the nearest target to the cursor. It shows how these are implemented in JavaScript.

Mathologer examines the infamous Numberphile claim that 1+2+3+... equals -1/12, explaining what is wrong with the calculation and how it connects to real math like the zeta function and analytic continuation.