logic programming

A one-minute clip of Peter Norvig saying that Google found programming contest success correlates negatively or poorly with job performance. The description links to a blog post discussing it.

The first video in Photon of Scoopex's Amiga hardware programming series. It shows how to set up an assembler and write a minimal 68000 program that waits for a left mouse click.

A very short clip from Yes, Prime Minister in which Sir Arnold and Sir Humphrey run through a piece of circular political reasoning. It is the origin of the so-called politician's logic.

Alan Kay demonstrates GRaIL, a graphical input language system from around 1968 in which hand-drawn strokes become boxes, connections and dataflow-style programs.

The Academy's 2014 Sci-Tech Awards segment honoring Matt Pharr, Greg Humphreys and Pat Hanrahan for their physically based rendering work and book. The authors give a short acceptance speech that thanks Donald Knuth for literate programming.

A short clip from the British panel show QI in which the panel discusses why there is no such thing as a fish as a biological category.

Matthias Wandel shows his wooden machine that adds binary numbers using marbles. It demonstrates computation with purely mechanical logic.

Short archival film footage of an 87-year-old farmer interviewed in 1929, born in 1842, talking about life and change.

A short clip of a TiVo paid-programming broadcast from the early 2000s, which TiVo used to send guide data and service updates to DVRs over cable TV before broadband was common.

A one-minute NCIS scene in which two characters type on the same keyboard to fight off a hacker. It is widely mocked as absurd TV hacking.

A short excerpt of Rob Pike's Lang.NEXT 2014 talk where he describes Go's target audience as young Google programmers who are not researchers. The language has to be easy for them to understand and adopt.

A 3-minute demo of a tiny IOCCC 2012 winning C program that simulates fluid dynamics in an 80x25 terminal, using any text (including its own source) as input. The video shows the simulation running to Handel's Water Music.

Dylan Beattie's parody of 'You Give Love a Bad Name' about hypermedia APIs and REST, performed with his band at developer conferences.

A short unscripted demo of writing FizzBuzz in JavaScript with a generator function on a steno keyboard, typos included. It gives a feel for what real coding in stenography looks like.

A brief demo of the Smalltalk debugger, including defining a method that doesn't exist yet while the program is stopped mid-crash.

A short sketch from That Mitchell and Webb Look in which the characters cheerfully propose a drastically callous solution to poverty. It is dark satirical comedy about cold policy logic.

A three-minute parody of Adam Curtis's documentary style, assembled from archive footage with his typical narration and leaps of logic.

A short clip of Steve Jobs describing the computer as a bicycle for the mind. He compares human efficiency of travel to what computers do for mental work.

A recording from real hardware of Tim Follin's multichannel 1-bit music for Agent X on the ZX Spectrum. It shows several voices coaxed out of the single-bit beeper.

A two-minute Yes Prime Minister scene in which Sir Humphrey persuades Jim Hacker to buy Trident, using tortured logic about nuclear deterrence.

Find the Longest Path is a comedic song by Daniel J. Barrett, a Billy Joel parody that describes the NP-hard longest path problem in informal terms.

A three-minute capture of SORTDEMO.BAS, the sorting visualization that shipped with QBasic. It animates insertion, bubble, heap, exchange, shell and quick sort with chiptune-like sound.

A short clip from Star Trek (2009) showing young Spock learning at a Vulcan school with an immersive, machine-driven teaching system.

A 2006 iPod commercial set to Daft Punk's Technologic, with dancing silhouettes and bright white headphones.

A short Simpsons clip in which Principal Skinner explains the cycle of introducing a new species to deal with a previous pest. It is a joke about ecological interventions that backfire.

Guardian News coverage of Mark Zuckerberg's 2021 reveal of Facebook's metaverse plans alongside the rename to Meta. It shows a glimpse of the VR and AR vision.

A short video of someone playing Doom on a TI-83+ graphing calculator, with a link to the version used.

A short hip-hop remix of the well-known 'The missile knows where it is' monologue about missile guidance logic. It is a meme-style piece taken from 4chan.

A 2-minute scene from the film Amadeus in which the emperor says Mozart's opera has simply too many notes and Mozart asks which few to cut.

A one-minute clip from the film Idiocracy featuring the slogan that Brawndo has what plants crave because it has electrolytes.

A That Mitchell and Webb Look sketch in which Stone Age workers are given an orientation about the arrival of bronze. It satirizes change management and resistance to new technology.

An old lab video of a decerebrate cat walking on a treadmill and shifting between gait patterns as the speed changes. It is used to illustrate that much locomotion control comes from the spinal cord and body mechanics rather than the brain.