HackerTube
HomeLongsLikedHistoryWatch laterCategoriesPlaylistsSettings

type-level programming

2020s×Tutorial×20-60 minutes×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
No strong matches for “type-level programming”. Here are the closest videos.
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.
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.