program analysis

Part 2 of an old Microsoft Research demo of Intentional Programming, showing the compiler side of a system that stores programs as abstract structure rather than text. The uploader says the companion editor clip is clearer.

Jonathan Blow demos his prototype programming language, covering the base language and compile-time execution, including running a game while compiling. The video is about 70 minutes of demo followed by Q&A.

Jonathan Blow gives a formal, hour-long demo of his Jai compiler focused on the implicit context feature. The context carries things like allocators through a program without explicit parameter passing, and the talk walks through the code.

A roughly ten-minute demo of Microsoft's Intentional Programming research system, showing its editor and an unusual way of working with code. It is the first of two clips cut from a longer video.

A Dyalog demonstration of developing a Sudoku solver in APL, using an algorithm by Arthur Whitney with performance work by John Scholes. The narration steps through the array-oriented solution.

Viznut demonstrates bytebeat, experimental music generated by extremely short C programs. It is the first of a series of videos on the technique.

A 1995 Sun Microsystems film about the Self programming language, a prototype-based Smalltalk relative, showing its live, graphical programming environment.

A one-minute Rheinmetall promotional demo of Oerlikon Ahead air burst ammunition, which throws a cloud of sub-projectiles to destroy small air targets.

A roughly hour-long live hacking session in which Go team members Andrew Gerrand and Brad Fitzpatrick write the new version of tip.golang.org, the site serving leading-edge Go documentation. It is unedited pair programming on a real Go project.

Bruce Hauman live-codes Flappy Bird in ClojureScript in about six minutes, using figwheel to hot-reload changes into the running game. The demo shows game behavior being changed interactively without restarting.

Eric Bier, a PARC research scientist, demonstrates the Cedar integrated programming environment and language, an evolution of Mesa from Xerox PARC. The demo shows the Tioga editor, garbage collection, and a full graphical workstation environment.

Smalltalk pioneer Dan Ingalls presents the Lively Kernel at JSConf US 2012, a live, direct-manipulation programming environment running in the browser. He shows drag-and-drop building of live objects on the web.

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

Viznut's third bytebeat video presents music generated by very short C programs and JavaScript expressions. It links to online tools and deeper analysis of one-line music.

Dave Ackley presents robust-first computing and the ULAM programming language for the Movable Feast Machine, a cellular-automata-like architecture. It was a short video for the Future Programming Workshop 2015.

Bob Nystrom shows his process for hand-drawing the diagrams in his book Crafting Interpreters, from pencil sketches to tracing and inking. It is a time-lapse of the whole illustration workflow.

A 12-minute demo of the Alternate Reality Kit, built by Randall Smith at Xerox PARC in 1986. It is a simulated physical world in which users manipulate objects and program by direct interaction.

A short 2007 demo of Pizza Party, a command line program that orders Domino's pizza from a UNIX-like terminal. The video shows the designers placing an order using the software.

Hugh Jeffreys tests the iPhone 14 Pro and finds that swapping genuine parts between phones disables features, concluding that third-party repair is not really viable despite Apple's Self Service Repair program.

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.

Tom7 explains and demos software that learns to play NES games by finding score patterns in memory and then searching for inputs that raise it. It is the video companion to his SIGBOVIK paper.

A live mock programmer interview in which Casey Muratori interviews game developer Shawn McGrath using a less confrontational format devised by Chris Hecker. It gets deep into technical details while showing how the candidate actually thinks and works.

Stephen Wolfram gives a 13-minute tour of the Wolfram Language, a symbolic, functional programming language with a built-in knowledgebase. He demos querying large datasets, interactivity and deployment.

A roughly two-hour demonstration by Dan Ingalls of Smalltalk running on the Computer History Museum's restored Xerox Alto. It shows the integrated environment and language designed at Xerox PARC as personal dynamic media.

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.

A demo of writing technical documents in Emacs Org mode using org-babel, so that code blocks and generated content stay consistent when things change. The author shares the demo files and his dotfiles.

A 1975 live demonstration of the APL language by Imperial College professor Bob Spence, showing a REPL on a modified typewriter terminal and APL's appeal to non-programmers.

A long George Hotz livestream in which he explores the coronavirus genome and molecular biology from scratch using a browser and Python, hacking on the science in real time.

A 1991 NeXT promotional video that stages a head-to-head programming contest between a NeXT computer and a Sun workstation. It shows NeXT's interface builder and object-oriented tooling producing an application far faster than traditional UNIX development.

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.

Ashley Feniello demonstrates VimSpeak, a voice-controlled interface for Vim inspired by Tavis Rudd's voice programming talk. The demo includes working through a VimGolf challenge by speech.

A five-minute demo of the Common Lisp debugger fixing a bug, recompiling a single function, and resuming execution from the failed stack frame. It shows how to avoid re-running long computations.

Scott Manley uses a realistically scaled Kerbal Space Program setup to show why dropping something into the Sun is far harder than it sounds. It demonstrates the need to cancel orbital velocity.

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

Dave Ackley demonstrates the Demon Horde Sort, an inherently robust sorting machine running in his Movable Feast Machine simulator. This is the uncut version with all details and side thoughts.

A visualization and sonification of 15 sorting algorithms, from selection sort to bogo sort, run on shuffled integers in six minutes. Each algorithm gets a size and speed scaled to its complexity.

Two Google engineers perform a mock coding interview and then discuss best practices for candidates, including asking clarifying questions and communicating while solving.

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.

Hungarian folk dancers from Sapientia University act out the quicksort algorithm step by step, with music. It is part of the AlgoRythmics series of sorting algorithms performed as dance.

Tom Scott races a London black-cab driver who has memorized The Knowledge against a phone GPS across the city, comparing local expertise to navigation software.