program synthesis

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 Downfall-style parody in which Hitler rages about functional programming concepts such as monads and Haskell. It runs about four minutes.

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.

The first lecture of Stanford's CS107 Programming Paradigms, taught by Jerry Cain, giving an overview of the course. The course goes from C and assembly through C++, concurrency, Scheme and Python.

The first part of a series on programming in Jai, Jonathan Blow's in-development language. It covers compiling, writing hello world and using code from other files.

An animated ranking of the most popular programming languages from 1965 to 2019, built from popularity indexes, GitHub access data and historical surveys.

Louis Rossmann argues that Apple's Independent Repair Program is a PR stunt that misleads the public and burdens independent repair shops. He discusses parts access restrictions and program limits.

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

A short clip of Casey Muratori from Handmade Hero explaining why he rejects the object-oriented mindset and how to move away from it. It is part rant, part programming philosophy.

A 2014 talk by Geo Carncross (geocar) demonstrating kOS, a minimalist operating system and programming environment built around the k language, with early screenshots.

Illumina's 3D animation of its sequencing-by-synthesis workflow, from sample preparation and cluster generation to sequencing on a flow cell and data analysis.

A clip of John Carmack on the Lex Fridman podcast discussing his programming setup, why he favors debuggers and IDEs, and his puzzlement at developers who avoid them.

John Chowning's 1977 computer music piece Stria, composed with FM synthesis, which he discovered in 1967. It unifies timbre and scale structure around the Golden Mean.

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.

Veritasium asks people where a tree's mass comes from, then explains that most of a dry tree's mass originates from carbon dioxide in the air. It combines street interviews with a short explanation of photosynthesis.

A short look at the Voder, the first electronic voice synthesizer, demonstrated by Bell Labs at the 1939 World's Fair. It was operated by trained women using ten finger keys, foot pedals and a knee lever.

Louis Rossmann criticizes Apple's independent repair provider program as a PR move with invasive contract terms. He argues it does little for independent shops or customers.

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.

John Scholes builds a depth-first tree-search operator step by step in a Dyalog APL session. It covers higher-order functions and runs the search on the N-Queens problem.

John Rauser's Strata 2014 keynote argues that programmers can learn statistics quickly by simulating random processes and shuffling data. He explains p-values through resampling rather than formulas.

A Wendover Productions explainer arguing that major airlines make much of their profit from loyalty programs and co-branded credit cards rather than flying. It frames airlines as quasi-banks that sell points in bulk, using United's pandemic-era loan as a hook.

Andrew Sorensen's OSCON 2014 keynote in which he live-codes generative music on stage using his Impromptu environment while narrating his computational and musical choices. It imagines concert programmers as a performing art.

Peter Schiff, during his 2010 Senate campaign, argues that government loan programs and subsidies push college tuition up.

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.

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.

Kai Lentit's comedy sketch parodying an interview with an FFmpeg enthusiast. It pokes fun at the open source command-line tool experience and video conversion woes.

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.

A short NYT Op-Doc by Laura Poitras profiling NSA veteran William Binney, who says a program he helped design collects Americans' personal data.

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 New York Times Op-Doc by Laura Poitras profiling William Binney, a 32-year NSA veteran who helped design a secret program he says collects Americans' personal data.

A JuliaCon 2016 talk by Shashi Gowda showing an APL implementation in Julia. APL code is translated to Julia and JIT compiled to machine code.

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 short clip from a Richard Feynman interview in which he explains fire, describing how burning wood releases sunlight stored by the tree, which built itself mostly from air. It showcases his curiosity and plain-spoken explanations.

Bisqwit builds a Doom or Duke Nukem 3D style software-rendered 3D engine in C from scratch, supporting non-Euclidean geometry. It covers vector rotation and portal rendering with sped-up, tool-assisted coding.

Bisqwit writes a NES emulator in C++ in about 15 minutes of tool-assisted, sped-up coding, narrated with captions. It shows an accurate emulator built with a compile-time generated 6502 instruction table. Part 2 covers compiling and running it.

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 playful music video promoting the book Land of Lisp, with a song about Lisp programming.

An eight-minute excerpt of a 1983 video featuring Seymour Papert, creator of Logo, on children learning programming and abstract ideas through embodied play. It shows kids acting out the Logo turtle.

Machine Thinking tells the story of the Cold War Heavy Press Program, the giant forging presses that make parts for aircraft, missiles and turbines.

Matthias Wandel tests old and new code on a range of PCs, including a new mini PC, to measure how much faster modern hardware really is. He also shows optimization techniques such as branchless code, with benchmark programs on GitHub.