HackerTube

Mathematics & Theoretical CS

Algorithms & data structuresComputability & complexity theoryQuantum computingPure mathematicsProbability & game theoryRecreational & visual mathLogic & formal methodsInformation theory & signal processingMath & theory (other)
Tutorial×Hidden gems×Play all on YouTube
David Beazley - Lambda Calculus from the Ground Up - PyCon 20193:26:34

David Beazley - Lambda Calculus from the Ground Up - PyCon 2019

PyCon 2019
52K views • 7 years ago
Depth-first search in APL11:32

Depth-first search in APL

Dyalog
11K views • 12 years ago
A Tour of Prolog56:03

A Tour of Prolog

The Power of Prolog
33K views • 4 years ago