type-driven development

David Nolen explains how ClojureScript is used at Vouch.io to build mobile and web software with a single language and REPL-driven workflow. The talk includes a live coding demo of React Native 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.

An interview with Anders Hejlsberg, lead architect of TypeScript, about porting the TypeScript compiler to Go. He covers the 10x type-checking speedup, lower memory use, and why Go was chosen.

José Valim's ElixirConf US 2023 closing keynote on the foundations of the Elixir type system, covering set-theoretic types and gradual typing with strong arrows.

ElixirConf EU 2023 talk by Giuseppe Castagna and Guillaume Duboc on bringing set-theoretic types to Elixir, and the benefits such a type system could offer such as catching bugs.

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.

Tom 7's pilot episode of a series that plays with type systems and absurd programming, presented as a parody of the GPL v3 license. It mixes a typesetting experiment with a long, story-driven intro on the origin of TeX. Source code and papers are linked from the author's site.

A Remedy engineer explains how Alan Wake 2 moved to a GPU-driven rendering pipeline built on mesh shaders, culling and rendering meshlets for dense vegetation on PS5 and Xbox Series consoles.

James Trunk introduces Clojure syntax and thinking, covering its core data structures, immutability, the thread-last macro and live data analysis in the REPL.

NASASpaceflight's 24/7 live stream from SpaceX's Starbase in Boca Chica, Texas, showing Starship and Super Heavy development, testing and launches.

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.

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.

Valve's two-hour documentary for Half-Life 2's 20th anniversary, with team members discussing development, nearly running out of money, being hacked, the publisher lawsuit and the birth of Steam.

Richard Feldman's GOTO Copenhagen 2022 talk on why dynamic languages like Python, Ruby, PHP and JavaScript rose in the 1990s and why each now has a popular static type checker. It argues that modern static typing recovers the advantages that made dynamic languages attractive.

A 2023 University of Toronto conversation between Geoffrey Hinton and Fei-Fei Li on responsible AI development. They look back at the history of deep learning and ImageNet and discuss the ethics and risks of AI.

Rich Harris's Svelte Summit 2020 talk on what a modern web development workflow could look like. It announced that Sapper would give way to what became SvelteKit.

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.

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.

Lex Fridman interviews MIT physicist Max Tegmark, co-founder of the Future of Life Institute, about the case for pausing giant AI experiments and the risks of advanced AI.

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.

Adam Robinson-Yu's GDC 2020 talk on how he shelved a big project to prototype what became A Short Hike. He covers the solo development process and technical choices like a pixel shader over low-poly models.

A 35-minute demonstration of NeXTSTEP Release 3 by Steve Jobs. It shows the object-oriented development environment and features such as dragging a live chart between apps.

Andreas Kling live-codes a prototype JavaScript JIT compiler for the LibJS engine used in SerenityOS and Ladybird. He builds a standalone bytecode VM, a simple interpreter, and then a simple JIT in about 80 minutes.

In Ars Technica's War Stories, Naughty Dog co-founder Andy Gavin explains how the team squeezed Crash Bandicoot onto the original PlayStation. They overwrote Sony library code in RAM, built custom animation compression, and streamed assets around slow seek times.

Jeremy Howard defends Jupyter notebooks as a serious development environment, especially when paired with nbdev. He responds directly to Joel Grus's talk about why he dislikes notebooks, and contrasts REPL-style and notebook-style work.

In an Ars Technica War Stories episode, Prince of Persia creator Jordan Mechner describes how he made the game on the Apple II, fighting hardware memory limits and the platform's decline. It covers the rotoscoped animation and the engineering tricks involved.

David Guillot describes how his team replaced a two-year-old React UI of their SaaS product with Django templates and htmx in a couple of months. The talk gives concrete indicators on code size, performance and team impact.

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.

Andy Bell's 2022 talk on hinting the browser rather than micromanaging it, using progressive enhancement, CSS layout, fluid type and space, and modern CSS to build resilient front-ends.

TJ DeVries coins the term PDE (Personalized Development Environment) to describe editors like Neovim that you shape to your own workflow. He contrasts this with out-of-the-box IDEs and discusses why customizable tools appeal to developers.

Linus Tech Tips builds a Linux PC together with Linus Torvalds, who talks through parts selection, kernel development and some of his side projects. The conversation also touches on AI in kernel work.

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.

Bill Atkinson shows and explains his binder of Polaroids taken during Lisa development, documenting how its graphical interface evolved. Recorded at the Computer History Museum.

A Graphics Programming Conference talk on how the game Tiny Glade renders meadows, trees and player-built castles. It covers real-time global illumination, tilt-shift depth of field, stable shadows with continuous time of day, ray marching and GPU-driven rendering on old hardware.

The Godot Engine 2022 showreel of apps and tools built with Godot, with a timestamped list of each project. It shows the engine being used well beyond games.

Internet Historian tells the story of No Man's Sky, from its over-hyped and badly received launch to years of updates by Hello Games that redeemed the game. It is a long, comedic mini-documentary.

Jack Rusher's Strange Loop 2022 talk argues that most programming languages are still designed around punchcard-era assumptions. He makes the case for live, interactive programming environments, drawing on Lisp, Smalltalk and REPL-driven development.

Everyday Astronaut's Tim Dodd runs an hour-long, data-driven analysis of what rockets actually emit and how that compares with airliners and other industries. It breaks down exhaust by propellant type, per-passenger and total emissions, and ways launches could be cleaner.