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

Bill Hammack of engineerguy uses slow motion video to show how the IBM Selectric typewriter works. He focuses on its fully mechanical digital-to-analog converter, which turns key presses into rotation of the type ball.

A one-minute Tesla clip showing a prototype robotic snake charger that finds a Model S's charge port and plugs itself in.

A short demonstration of radioteletype (RTTY), a digital communication mode used in amateur radio, showing what the signal sounds like.

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

A short Coding Secrets episode explaining why hitting a Sonic 3D cartridge triggers a hidden level select. The cause was a custom crash handler that redirected CPU error interrupts to the level select screen.

UploadVR covers a Facebook Reality Labs prototype that tracks facial expressions using cameras mounted in a VR headset. The updated version captures subtle micro-expressions for realistic avatars.

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

Matthaeus Krenn presents a concept for car touchscreen UI where the screen controls only one thing at a time, designed to suit driving. A tablet prototype accompanies the short demo.

A bot built by Robin Baumgarten plays Infinite Mario using A* path-finding, shown as a red planned path that updates as new obstacles appear. It won the Mario AI competitions and uses only on-screen information.

An early 2009 tech test by Notch of an Infiniminer-style cave game running about 700 fps on a 256x256x64 tile map. It is the prototype that grew into Minecraft.

Promotional video from Zapata Racing showing Franky Zapata flying the Flyboard Air prototype, claiming autonomous flight to 10,000 feet, 150 km/h top speed and 10 minutes of endurance.

A short clip of a 2014 Mercedes S-Class driving itself with adaptive cruise control and Active Lane Assist, with the hands-on-wheel timeout defeated.

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.

Rick Beato tests his 8-year-old son Dylan's perfect pitch on single notes, note pairs and complex polychords.

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 four-minute tour of the TeXmacs scientific editor, showing math typing, figures, citations, a drawing tool, document styles, HTML export, presentations and animations.

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.

Drive.ai shows its car driving fully autonomously on a rainy night in Mountain View, with heavy downpour, glare, a four-way stop and a broken traffic light.

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.

An SNL sketch in which Ryan Gosling's character is obsessed with the font choice (Papyrus) in the movie Avatar's title. It is a comedy bit about a widely mocked typeface.

A two-minute Telegraph report that takes a decibel meter to a wind farm and nearby residential areas to measure how loud turbines are compared with everyday noise.

A three-minute excerpt from Milton Friedman's Free to Choose in which he uses a pencil to show that no single person knows how to make it. He argues that the free market coordinates countless strangers peacefully.

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 KRAZAM satirical sketch about hustle culture and productivity obsession in tech.

Official trailer for the documentary Into Eternity, about Finland's Onkalo repository, built to store high-level nuclear waste safely for 100,000 years. It raises how to warn and communicate with far-future humans.

A demo of Marble Marcher, a game using a fractal physics engine and fully procedural ray-marched rendering. The player rolls a marble through shifting fractal levels.

A short demo of typing on the Modos Paper Monitor, an open e-ink monitor, using 4-level grayscale to show low latency.

A satirical Onion News Network piece announcing the 'MacBook Wheel', a laptop with no keyboard where users type by spinning and clicking a wheel. It parodies Apple product launches and minimalist design.

A short Bookeen R&D demo showing real-time web page scrolling on an eInk panel, far faster than typical e-readers. It was a prototype for the next generation of Cybook readers.

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.

IBM's record-setting stop-motion film made by moving individual carbon monoxide molecules with a scanning tunneling microscope, illustrating atomic-scale memory research.

Boston Dynamics introduces Stretch, a prototype robot that moves boxes in warehouses and distribution centers. Its mobile base lets it unload trucks, build pallets and assemble orders.

A short animated excerpt of Alan Watts describing 'prickles' (rigorous, scientific types) and 'goo' (soft, spiritual types). He argues the real division is between prickly goo and gooey prickles.