logic programming

Technology Connections takes apart the step-by-step electromechanical logic of a 1970s pinball machine. He shows how relays, steppers and switches track state and score without electronics.

Technology Connections takes a long, detailed look at how a 1970s electromechanical pinball machine works, from relays to stepper motors and mechanical logic. It is the first part of a series.

Arthur Keller gives a roughly half-hour crash course on environmental collapse, covering exponential growth, carrying capacity and ecological overshoot.

Retro Game Mechanics Explained shows how the Atari 2600 draws images with almost no video memory, by having the CPU race the CRT beam line by line. It walks through the techniques in detail.

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.

Technology Connections takes apart a 1970 Wurlitzer 3400 jukebox to show how electromechanical relays and switches automated its behavior without a computer.

PBS Space Time examines the Silurian hypothesis, the idea that an industrial civilization could have existed on Earth before humans. It looks at what traces such a civilization might leave in the geological record.