type theory

Andrew Huang teaches the basics of music theory in about half an hour, covering intervals, chords and patterns. He stresses understanding how music works over memorizing terminology.

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.

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.

A roughly 45-minute vintage US military instructional film that gives a comprehensive overview of celestial navigation, covering sextant use and the theory behind lines of position.

Mathologer shows a simple idea, the commutator, that lets anyone who can solve the first layer design their own full Rubik's cube solution. The same idea carries over to other symmetric twisty puzzles such as the Megaminx.

The UK DVSA's one-minute guide to the hazard perception part of the driving theory test, covering when to click and how to score well.

David Sanders gives the first part of a two-part introduction to the Julia programming language at SciPy 2014. It walks through the language's basics and its appeal for scientific computing.

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.

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.