type-level programming

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.

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.

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.

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.