logic programming

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

The 1972 documentary based on Alvin Toffler's book Future Shock, narrated by Orson Welles. It is a dystopian look at the accelerating pace of technological change and its psychological toll.

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.

The first episode of James Burke's 1978 BBC series Connections traces modern dependence on complex technological networks, starting with the 1965 New York blackout, and moves through ancient agriculture to Kuwait's oil-driven leap.

Fredrik Knudsen's 86-minute documentary on Terry A. Davis, creator of TempleOS, tracing his work, his schizophrenia and his decline. It is a chronological video essay built on his public posts and videos.

An episode of Gwynne Dyer's 1983 documentary series War, about how military basic training turns recruits into soldiers. It covers the psychological side of conditioning.

First episode of the Norwegian documentary series Hjernevask, in which Harald Eia interviews researchers on the nature versus nurture debate. It focuses on the gender equality paradox and gender differences in career choice.

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.

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.