type theory

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.

The first part of a four-part Channel 4 (UK) documentary series presented by Howard Goodall, this episode covers melody and why tunes affect us so deeply. It explains how melody works in Western music with historical background and music theory.

A feature-length Defunctland documentary on the history of Disney's FastPass and FastPass+ expedited queue systems. It covers how the systems evolved and how they were designed, with simulation of their effects on park lines.

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.

Folding Ideas' long essay on why playing poorly in World of Warcraft feels rude. It traces how raiding culture shifted from relaxed fun to optimization, theorycrafting and wikis.

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 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.

Tantacrul's 76-minute deep dive into the history of western music notation and the many proposed replacements, such as piano rolls, colored notes and the jubilate. He explains why none have displaced the current system.

A NOVA documentary with neuroscientist Heather Berlin exploring the subconscious and what drives our decisions. It uses sleepwalking, anesthesia, improvised rap in an MRI and game theory to probe how much of the brain's work is hidden.

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.