type-level programming
6:35The Doomed Cleveland Balloonfest of '86
12.6M views • 8 years ago
The Atlantic
A short Atlantic documentary on Cleveland's 1986 Balloonfest, when 1.5 million balloons were released at once and the attempt went badly wrong.
11:52The Extreme Physics Pushing Moore’s Law to the Next Level
4.6M views • 7 years ago
Seeker
Seeker's Focal Point short documentary on ASML's extreme ultraviolet lithography machines, which make the most advanced chips. It shows how plasma-generated 13.5 nm light is used to push Moore's Law forward.
13:44The Story of Another World on the Amiga | MVG
350K views • 4 years ago
Modern Vintage Gamer
Modern Vintage Gamer explains how Eric Chahi built Another World on the Amiga 500, using 2D polygons, rotoscoping and clever techniques to run well on a stock 7MHz machine.
13:37Internet of food: Arduino-based, urban aquaponics in Oakland
995K views • 14 years ago
Kirsten Dirksen
A short documentary about Eric Maundu's Arduino-controlled aquaponics setup in West Oakland, where contaminated soil rules out ordinary farming. Fish and circulating water grow plants without soil.
6:09These tunnels are designed for 100,000 years
4.3M views • 7 years ago
Tom Scott
Tom Scott visits Onkalo in Finland, the planned deep geologic repository for high-level nuclear waste intended to be sealed for 100,000 years.
7:26Tomorrow's World: Nellie the School Computer 15 February 1969 - BBC
113K views • 16 years ago
BBC
A 1969 BBC Tomorrow's World segment about Nellie, a school computer used by pupils at Forest Grammar School to solve equations and play music. Students learn programming and maintenance, and act out binary arithmetic.