type-level programming

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.

The first video in Photon of Scoopex's Amiga hardware programming series. It shows how to set up an assembler and write a minimal 68000 program that waits for a left mouse click.

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.

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 Handmade Hero's introduction to C on Windows, covering setting up Visual Studio, creating a Win32 project, the WinMain entry point and writing a first function. It is the starting point for Casey Muratori's from-scratch game series.

John Scholes builds a depth-first tree-search operator step by step in a Dyalog APL session. It covers higher-order functions and runs the search on the N-Queens problem.

A long livestream of George Hotz live-coding a toy SLAM implementation, twitchslam, over two days in May 2018. It is an unedited session of Python programming with computer vision and visualization.

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.

Bisqwit writes a NES emulator in C++ in about 15 minutes of tool-assisted, sped-up coding, narrated with captions. It shows an accurate emulator built with a compile-time generated 6502 instruction table. Part 2 covers compiling and running it.

Inigo Quilez live-codes a painting using only mathematics in a shader, building it up step by step. The linked Shadertoy source shows the result.

The first part of a ShaderToy live-coding series that lays the groundwork for The Drive Home, a rainy night-traffic shader. It covers basic setup and builds toward rain and bokeh effects.

Chess player John Bartholomew plays opponents rated below 1000 on Chess.com and comments on optimal strategy and typical mistakes at that level. It is part of his Climbing the Rating Ladder series.

David Beazley's PyCon 2019 tutorial derives the lambda calculus from the ground up in Python, using only single-argument functions. He builds booleans, numerals and more with no other language features.

An episode of FunFunFunction explaining monads in JavaScript as functors that also implement flatMap. It builds on the preceding functor episode and works through code examples.

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.

Tsoding live-codes a JSON parser from scratch in Haskell in about 111 lines, using only the standard library. It is an edited Twitch stream that explains the intuition behind parser combinators, functors, applicatives and monads.

Harry Schwartz gives a roughly hour-long tour of Emacs Org mode as an outliner, task manager, markup language and agenda tool. He demonstrates how he uses it for documents, presentations and todo lists.

Day 21 of Casey Muratori's Handmade Hero, which covers loading game code dynamically from a DLL on Windows. He builds hot reloading of C game code from scratch in about an hour and a half.

A screencast tutorial on Specter, a Clojure library for navigating and transforming nested data structures declaratively, demonstrated in a REPL.

A short first episode in Zaiste's Doom Emacs series, showing how to get started with Doom, an Emacs configuration aimed at Vim users. It presents Doom as a polished, fast, batteries-included distribution.

Allieway Audio gives an informal introduction and live-coding demo of ORCA, a free esoteric programming environment for building procedural sequencers from Hundred Rabbits. It walks through the interface and how to make music with it.

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.

David Beazley's workshop screencast builds asynchronous programming in Python from scratch, starting from callbacks and continuations and replacing threads to show how concurrency works underneath.

Jeri Ellsworth shows step by step how to make an NMOS transistor at home using a kiln, rust remover, spin-on dopant, eBay wafers and vinyl stickers.

Bisqwit writes a raytracer from scratch in C++ for DOS, rendering in the 16-color VGA palette at 640x480. The video also covers color quantization and ordered dithering.

Dave Jones builds the Evil Mad Scientist discrete-component 555 timer kit, then tests it and explains the internal circuitry of the 555 at transistor level. He finishes with scope waveforms.

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.