type-level programming

A short Atlantic documentary on Cleveland's 1986 Balloonfest, when 1.5 million balloons were released at once and the attempt went badly wrong.

A documentary on the last day the New York Times was printed with linotype machines in 1978, following the process from the newsroom to the press. It marks the move to computerized typesetting.

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.

Strange Parts tours JLCPCB's large PCB factory in Huizhou, China, walking through the printed circuit board manufacturing process step by step. It shows the machinery, quality checks and scale behind cheap prototype boards.

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.

A French-language documentary on the history of Prolog, created in Marseille by Alain Colmerauer in the early 1970s, with interviews of many people involved. It traces the origins of logic programming and later developments of the language.

A Dartmouth-produced documentary on how professors John Kemeny and Tom Kurtz, with a group of undergraduates, invented the BASIC language. It covers the creation of BASIC and the early time-sharing environment at Dartmouth.

A 2001 VPRO Noorderlicht documentary episode, filmed in Austin in 2000, visiting Edsger Dijkstra and his views on thinking as a discipline. It is in Dutch with English subtitles.

Valve's feature-length documentary following three professional gamers competing in the first Dota 2 International tournament for a million dollar prize. It shows the sacrifices and pressures of top-level esports.

Official trailer for the documentary Into Eternity, about Finland's Onkalo repository, built to store high-level nuclear waste safely for 100,000 years. It raises how to warn and communicate with far-future humans.

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.

Tom Scott visits Onkalo in Finland, the planned deep geologic repository for high-level nuclear waste intended to be sealed for 100,000 years.

Cathode Ray Dude covers two bizarre HP 'Quick Start' features: QuickLook, an offline email client built on EFI firmware, and Daystarter, which hijacks the Windows boot process. It includes an explanation of EFI applications and why HP built these things.

Part 1 of a documentary on the Commodore Amiga, from the Lorraine prototype and the Atari and Commodore buyouts through the Amiga 1000 launch in the 1980s.

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.