type system

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

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

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.

An animation presenting a non-standard helical or vortex model of the solar system, in which the planets trail the Sun through space instead of orbiting in flat circles. The model is a non-conventional view that the author says differs from standard diagrams.

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.

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.

Footage of an unmanned Apollo boilerplate capsule launched on a Little Joe II booster to test the launch escape system. The booster went out of control and broke up, but the escape system worked and the capsule was recovered undamaged.

Researchers from the Artificial Life Lab Graz introduce the Primordial Particle System, where a simple motion law for self-propelled particles produces cell-like structures that self-reproduce and show life cycles.

Out of Spec Reviews takes a one-hour drive in an Avatr 11 running Huawei's Qiankun ADS 3.2 driver assistance system in China, billed as the best FSD-like system there.

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

Footage of the US Navy's Phalanx CIWS, a radar-guided 20 mm Gatling gun, firing in live target practice. The Phalanx serves as terminal defense against anti-ship missiles.

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

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.

Symbolics developer Kalman Reti gives a short introductory demo of a Symbolics Lisp Machine running Genera in an emulator. It shows the context-aware command line, typed on-screen objects, and the live-editable system, including swapping in a C-compiled JPEG decoder.

Mike of mikeselectricstuff shows his heavily modified old BBC Micro system in a 28-minute tour of 8-bit hardware archaeology.

Andreas Kling ports the game Diablo to SerenityOS, his from-scratch Unix-like operating system, using the devilutionX project. The roughly 80-minute session shows what porting third-party software to the OS involves.

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.

An overview of the Quiet Logistics warehouse using Kiva Systems robots, narrated by company executives. The robots bring storage racks to human pickers at stations.

A very short microscope clip of a neutrophil chasing a Staphylococcus aureus bacterium, originally from David Rogers at Vanderbilt University. It is a widely reposted piece of immune-system footage.

Excerpts from W. Edwards Deming's Red Bead Experiment, where workers draw beads from a bowl and are judged on red ones that are largely down to chance. It shows how system variation, not individual effort, drives results.

A short CNET demo of Bose's electromagnetic active suspension, which gave a very smooth ride but never reached the market. It shows the system in action.

A one-minute clip of slime mold placed on a map with food at the cities around Tokyo, growing a network that approximates the Tokyo-area railway system.

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.

LGR reviews the Danmere Backer16, a 1996 backup system that stored a PC's data on ordinary VHS tapes through a VCR. He shows the hardware and software on Windows 3.1 and 95.

A short screen capture of SGI's File System Navigator (FSN, also called Fusion) running on IRIX 6.5 on an Octane. It shows the 3D file browser seen in Jurassic Park.

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 live-coded demo by Jonathan Blow showing how to get object-system-style expressiveness in a data-oriented way, covering structure-of-arrays layouts and composition. It shows features of his Jai language that make programs fast.

A Computer History Museum demonstration with Dan Ingalls of Smalltalk-76 running on a Xerox Alto, recorded in 2017. He shows the live environment and discusses the system.

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.

Samuel Falvo II live-codes a text preprocessor and blog engine in Forth over about an hour. It shows Forth's dictionary being snapshotted and restored in place of mutation, and how a small Forth system gets real work done.

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.

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.

A demonstration of SymbOS, a multitasking operating system for 8-bit Z80 machines, running on a real MSX turboR with an MP3MSX card and a CF IDE interface. It shows the OS playing audio and running a graphical desktop on very old hardware, captured from the real machine and not an emulator.

A 49-minute demo of Palantir Foundry by its chief architect. It walks through data integration, ML and AI workflows, analytics, and application building across the platform.

Archival footage of Larry Tesler demonstrating Gypsy, the modeless text editor he and Tim Mott built at Xerox PARC, running on the Computer History Museum's restored Alto. It is a long hands-on walkthrough of one of the earliest graphical document editors.

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.