HackerTube
HomeLongsLikedHistoryWatch laterCategoriesPlaylistsSettings

type-level programming

2020s×Tutorial×Play all on YouTube

Upload date

Past year2020s2010s2000s

Type

TalkLectureExplainerTutorialDocumentaryInterviewDemoCommentaryComedyMusic

Duration

Under 4 minutes4-20 minutes20-60 minutesOver 1 hour

Features

Hidden gemsEvergreen only

Sort by

RelevanceRecently recommendedUpload dateOldest firstView countLike ratioMost recommended
The Joy of Programming in Jai - Part 1: Hello World13:48

The 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.
Converting devices to USB Type-C16:25

Converting 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.
Let's prototype a JavaScript JIT compiler!1:21:25

Let'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.
Clojure in a nutshell by James Trunk32:44

Clojure 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.
A Tour of Prolog56:03

A 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.
I Tried Turning Games Into Text18:18

I 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.
Crust of Rust: Lifetime Annotations1:33:23

Crust 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.
The spelled-out intro to language modeling: building makemore1:57:45

The 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.
So how does a PS/2 keyboard interface work?33:07

So 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.
Polyend Tracker // Review and Full Tutorial from Sample to Song49:04

Polyend 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.
Hot Code Reloading in C2:16:18

Hot 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.