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.

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.

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.

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.

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.

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.

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.

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.

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.

A film-analysis video essay linking Blade Runner 2049's Cells Interlinked sequence to Nabokov's Pale Fire. It examines the poetry and meaning behind the film's references.

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.

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.

Modern Vintage Gamer examines the claim from the Super Mario 64 decompilation project that the game shipped unoptimized, and puts it in the context of 1996 N64 development.

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.

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.

Anders Hejlsberg introduces the native port of the TypeScript compiler, written in Go, which promises roughly 10x faster tooling. He demos compiling VS Code and explains where the speedup comes from.

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.

A React Conf talk by Xuan Huang previewing React Forget, a compiler that automatically memoizes components. It argues for making memoization the default so developers need not write useMemo or useCallback by hand.

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.

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.

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.

An Every Frame a Painting video essay on how Akira Kurosawa used movement, weather and composition to tell stories. It draws on clips and interviews with other filmmakers.

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.

An Every Frame a Painting video essay on Michael Bay's style, 'Bayhem', covering his camera movement, composition, color and editing. It argues that even if you dislike his films, they teach something about visual perception.

An Every Frame a Painting video essay analysing how Edgar Wright creates visual comedy through framing, camera movement, editing, sound effects and music.

A playful music video promoting the book Land of Lisp, with a song about Lisp programming.