type-driven development

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.

Marco Baringer's tutorial video on SLIME, the Emacs mode for developing Common Lisp. It demonstrates the interactive workflow of working against a live Lisp image.

Russ Cox gives a 23-minute tour of the Acme text editor from Plan 9, showing its mouse-driven interface, executing commands from text, and its filesystem-based interface to other programs.

George Brocklehurst of thoughtbot demonstrates Vim's built-in completion mechanisms, from word, line and block completion to ctags. The aim is to type less and make fewer typos.

Jon Gjengset's long live-coding stream explains Rust's Pin and Unpin types: why they exist, how they work, and how they connect to futures and async/await. It also covers moving from pre-pinning code to the new model.

Jeri Ellsworth shows early steps of making microchips at home: cleaving wafers, removing native oxide, testing dopant type with a hot probe, and loading the furnace.