type-driven development
32:44Clojure in a nutshell by James Trunk
104K views • 5 years ago
Func Prog Sweden
James Trunk introduces Clojure syntax and thinking, covering its core data structures, immutability, the thread-last macro and live data analysis in the REPL.
16:25Converting devices to USB Type-C
8M views • 6 years ago
DIY Perks
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.
1:21:25Let's prototype a JavaScript JIT compiler!
49K views • 3 years ago
Andreas Kling
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.
13:48The Joy of Programming in Jai - Part 1: Hello World
36K views • 6 years ago
Nuno Afonso
The first part of a series on programming in Jai, Jonathan Blow's in-development language. It covers compiling, writing hello world and using code from other files.
1:33:23Crust of Rust: Lifetime Annotations
299K views • 6 years ago
Jon Gjengset
In this first Crust of Rust episode, Jon Gjengset live-codes an example that needs multiple explicit lifetime annotations. Along the way he covers string types and generics over a custom trait.
9:03NixOS VM on Mac Setup
31K views • 5 years ago
Mitchell Hashimoto
Mitchell Hashimoto walks through his setup for running a NixOS virtual machine on a Mac as his development environment, with a config repo on GitHub.
7:19How I Animated This Video
6.2M views • 5 years ago
Joel Haver
Animator Joel Haver explains how he makes his short films using rotoscoping and the EbSynth tool, along with the software he uses. The method is a labor-intensive, frame-by-frame process.