logic programming

Ben Eater shows how to build logic gates out of transistors, including NOR gates. It is part of his clear hardware-from-scratch teaching style.

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.

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.

A Downfall-style parody in which Hitler rages about functional programming concepts such as monads and Haskell. It runs about four minutes.

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 1985 interview by G. Edward Griffin with former KGB operative Yuri Bezmenov. He describes long-running Soviet efforts at ideological subversion and manipulation of US public opinion.

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 1984 interview with former KGB agent Yuri Bezmenov on ideological subversion and psychological warfare, reposted in 2020 with a modern political framing.

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.

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 short clip of former KGB defector Yuri Bezmenov in 1984 describing Soviet ideological subversion of Western societies. It is a political commentary excerpt from his longer lecture.

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.

Tom Murphy (suckerpinch) presents a deliberately trollish computer architecture built on IEEE-754 floating point, using NaN and infinity to define logic gates. He builds working hardware around the idea.

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.

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.

Modern Vintage Gamer explains how Eric Chahi built Another World on the Amiga 500, using 2D polygons, rotoscoping and clever techniques to run well on a stock 7MHz machine.

Kyle Hill explains what nuclear waste actually is and how it is stored, arguing that the problem was effectively solved decades ago. It covers solid shielded waste and deep geological storage.

Tom Scott visits Onkalo in Finland, the planned deep geologic repository for high-level nuclear waste intended to be sealed for 100,000 years.

The first part of a ShaderToy live-coding series that lays the groundwork for The Drive Home, a rainy night-traffic shader. It covers basic setup and builds toward rain and bokeh effects.

A short clip of Simon Peyton Jones talking about the future of programming languages, saying Haskell is useless in the sense that pure programs cannot have effects, while mainstream languages are useful but unsafe. He describes languages converging, with ideas such as STM and LINQ moving between them.

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

Dylan Beattie's parody of 'We Didn't Start the Fire' with lyrics made entirely of real software framework names, ending in the chorus about building yet another framework.

A clip of a 1984 interview with KGB defector Yuri Bezmenov describing Soviet ideological subversion and demoralization of a target society, uploaded with a politically charged framing.

A family comedy video in which kids write instructions for making a peanut butter and jelly sandwich, and a parent follows them with exact literalness, producing chaos. This is the classroom-friendly version.

Kurzgesagt asks whether advanced civilizations could have existed on Earth in the deep past and left little evidence. It looks at time as a dimension for searching for alien civilizations and the limits of the geological record.

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 short clip from an ACM and Computer History Museum interview in which Leslie Lamport discusses writing his paper on time, clocks and the ordering of events. He explains its link to special relativity.

Louis Rossmann explains why many 16-inch MacBook Pros fail and are difficult to repair, focusing on power design on the logic board. He argues the design leads to failures that are hard to fix.

A 2007 video of someone trying to write Perl code using Windows Vista's speech recognition, with hilariously bad results.

Louis Rossmann, an independent repair shop owner, explains a recurring MacBook logic board design problem that leads to failures such as a black screen. The video is part of his right-to-repair advocacy.