type systems

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.

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.

Day 1 of Casey Muratori's Handmade Hero, a live-coded game built from scratch in C on Windows. It reviews C on Windows, sets up a minimal build system and WinMain entry point, and shows a first MessageBox.

The first episode of a screencast series building djb's redo build system from scratch in Haskell. It explains the purpose of redo, writes initial code and sets up a GitHub repository.

Bisqwit builds a Doom or Duke Nukem 3D style software-rendered 3D engine in C from scratch, supporting non-Euclidean geometry. It covers vector rotation and portal rendering with sped-up, tool-assisted coding.

A short screencast tour of JSPM, SystemJS and ES6 features, building a small app with the then-new JavaScript module and package tooling. It shows how JSPM works as a package manager, bundler and loader.

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.