type-level programming
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.
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.
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.
56:03A Tour of Prolog
33K views • 4 years ago
The Power of Prolog
Markus Triska tours Prolog's most distinctive features, including its use as a database and query language, rule processing, constraint solving and compile-time rewriting. It also covers concise meta-interpreters.
18:18I Tried Turning Games Into Text
571K views • 2 years ago
Acerola
Acerola explores building a shader that turns games into ASCII art, walking through techniques such as brightness mapping and edge detection to see whether it looks good.
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.
1:57:45The spelled-out intro to language modeling: building makemore
1.3M views • 4 years ago
Andrej Karpathy
Andrej Karpathy builds a bigram character-level language model from scratch, introducing torch.Tensor and the framework of training, sampling and loss evaluation. It is the first step toward a GPT-style Transformer in his makemore series.
33:07So how does a PS/2 keyboard interface work?
570K views • 5 years ago
Ben Eater
Ben Eater explains how the PS/2 keyboard interface works, covering its clocked serial protocol and scancodes. He builds up the hardware-level understanding needed to read keypresses.
49:04Polyend Tracker // Review and Full Tutorial from Sample to Song
355K views • 6 years ago
loopop
Loopop reviews the Polyend Tracker hardware tracker-style sequencer and walks through a tutorial from sampling to finishing a song. It covers most of the device's features.
2:16:18Hot Code Reloading in C
94K views • 3 years ago
Tsoding Daily
A long Tsoding Daily programming stream in which he implements hot code reloading in C by loading a dynamic library at runtime without stopping the main program. It also touches on migrating struct versions across reloads.