type-driven development

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.

CuriousMarc inspects a newly arrived Teletype Model 19, an early military unit built around a Model 15 keyboard and printer, after an initial rough cleaning. It is the first part of a restoration series and touches on 5-bit Baudot code.

Professor Brailsford of the University of Nottingham describes how the university set out to print its own mathematics exam papers in the 1980s. The story centers on getting a Mergenthaler Linotron 202 typesetter to work with their own software.

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.

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.

Ruby developer Avdi Grimm gives a seven-minute tour of Pharo Smalltalk's development environment, focusing on tools like search-by-example and the integrated, live coding experience.

The first clip from Russell Barkley's 30 Essential Ideas about ADHD series, introducing ADHD as a chronic developmental disability. It is part of a lecture series on the disorder by a leading ADHD researcher.

Dr. Sarah Hallberg argues in a TEDx talk that type 2 diabetes can be treated and potentially reversed through diet, especially by restricting carbohydrates. TED flagged the talk as outside its guidelines and warned against taking it as medical advice.

Jiahao Chen's JuliaCon 2017 talk argues that vector transposes should be taken seriously in type systems and linear algebra libraries. It explains why treating vectors as matrices causes trouble in languages.

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

Computerphile with Professor Brailsford on how a 1979 Bell Labs team reverse engineered a Linotron 202 phototypesetter over a summer to get high-quality print output. It covers typesetting history and the later 2013 rebuild of the famous vacation memo.

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.

A five-minute C-SPAN clip of Dr. Jared Cooney Horvath testifying to a US Senate committee that screen time, including in schools, harms children's learning and cognitive development.

A GameTrailers walkthrough from E3 2012 of an Unreal Engine 4 real-time tech demo with Epic's Alan Willard. It shows live code changes and hot reloading while the game runs.

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.

First of an 18-part lecture series by engineer Dan Gelbart on building prototypes. The series covers practical mechanical design and fabrication of precision machines.

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.

Part 10 of Dan Gelbart's prototype-building lecture series, covering flexures: flexible joints that give precise, frictionless motion. It shows how a cheap piece of aluminum can become a nanometer-accurate mechanism.

A timelapse of Notch (Markus Persson) creating his Ludum Dare 21 entry, Prelude of the Chambered, from scratch in 48 hours.

A timelapse of Notch (Markus Persson) making Metagun, a game built from scratch in 48 hours for Ludum Dare 18. It shows the whole coding session sped up.

Lilium's CTO gives a short update on the electric jet's design, certification and development. It shows the canard and rear wing layout and the wheel design.

A short clip from Udacity's Web Development course in which Reddit co-founder Steve Huffman describes how Reddit grew early on. He explains seeding the site with content from fake accounts.

Not Just Bikes contrasts traditional and suburban development in North America. It looks at the financials behind each pattern and argues that suburban development leaves cities unable to pay for their own infrastructure.

DIY Perks shows how to modify devices that use older USB connectors so they charge and connect over USB Type-C. He solders in a USB-C connector board and works through cases such as dongle-dependent gadgets and a mouse receiver.

Archival footage of Boeing test pilot Tex Johnston barrel-rolling the 707 prototype, the Dash-80, over Lake Washington in 1955 during a demonstration.

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.

Hans Rosling uses augmented-reality animation to show 200 countries over 200 years in four minutes, built from 120,000 data points. It tracks life expectancy and income to show the world's development.

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.

Aaron Francis walks through how PHP has changed from 2012 to 2023, covering traits, array destructuring, generators, typed properties and more. It is a quick chaptered tour of modern PHP features.

Hans Rosling's TED@Cannes talk uses boxes and animated data graphics to show how world population will grow to about 9 billion. He argues that raising living standards for the poorest is what reduces population growth.

A short Tesla promotional video touring the company's Crash Lab. It describes using data from the fleet and replicated real-world crash scenarios to engineer vehicle safety.

A ten-minute clip from Jonathan Blow's talk on preventing the collapse of civilization, arguing that software quality and the knowledge to build it are in decline.

A Gource visualization of 826 days of Minecraft development, from alpha 1.2 to release 1.5, condensed into eight minutes. Each dot is a file, folders are links, and developers fly around zapping files as they work on them.

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.

Hans Rosling and his son Ola run an audience quiz with global population, health and income data to show how wrong most people are about the world. Ola then gives four ways to get less ignorant.

Matt Parker talks Numberphile through the different kinds of numbers: algebraic, transcendental, computable, normal, and beyond. It shows how few numbers we can actually name or describe.

Kurzgesagt makes a selfish case for improving the world, arguing that helping people far away raises prosperity and innovation for everyone, including yourself. The animated video frames this as egoistic altruism and positive-sum cooperation.

Allan Blomquist demonstrates the internal programming and debugging tools Tomorrow Corporation uses to make games, including live modification of a running game and time-travel debugging.

Making-of video about ROM City Rampage, the NES version of Retro City Rampage, covering how the game's core was crunched to run on real 8-bit hardware and how NES games are made.