type-level programming

The Michigan TypeScript group shows the Doom engine running entirely inside the TypeScript type system. It is open source, and two follow-up videos cover why and how they did it.

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

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 Ben Heck Show episode tearing down the Nintendo PlayStation prototype, one of the rarest consoles ever, with its owners Terry and Dan Diebold. Part 2 then gets it working again.

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.

CuriousMarc connects a restored 1930 Model 15 Teletype to a Linux machine and uses it as a terminal, after commenters requested it. The video shows the challenges of linking a 5-bit mechanical device to a modern OS.

Tested gets hands-on with four Meta Reality Labs research VR headset prototypes testing resolution, brightness, focus shifting and form factor, plus an interview with Mark Zuckerberg on display technology.

Tom Wildenhain's SIGBOVIK 2018 presentation of WordTeX, a Microsoft Word template that mimics LaTeX typesetting output. It is a joke research project executed with serious effort.

A demonstration of loading Altair 4K BASIC on an Altair 8800 clone, using a front-panel bootloader and an ASR-33 Teletype. It shows the full sequence of entering boot code, loading BASIC and running a program.

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.

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

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.

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.

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

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.

A short demo of Code Bubbles, an IDE interface built around editable code fragments in bubbles instead of files. It was a research prototype for Java development.

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.

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

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.

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.

Linus Tech Tips tests whether USB Type-C connectors are more durable than Micro-B by repeatedly plugging and unplugging them. In the test, Micro-B failed at around 8000 insertions while USB-C kept working.

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.

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

Archer Lars Andersen demonstrates fast, accurate shooting techniques he says he revived from historical art and texts, arguing Hollywood archery is not historical.

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

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

Google engineer Dany Qumsiyeh presents a prototype automatic, non-destructive book scanner that turns pages and captures high-resolution images, built in Google's workshops. The talk includes a live demo and a short technical overview.

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 of the Super Mario Bros 3 proof-of-concept PC port built by id Software's founders to pitch Nintendo on a PC version. Nintendo passed, and the same technology led to Commander Keen.

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.

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

Level1Techs' Wendell shows Intel's Flex 170 GPU providing GPU-accelerated virtual desktops on Proxmox 8.1 without subscription licensing, using SR-IOV, and demonstrates many desktop instances running at once.