53:22y combinatorTalk
Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
17 HN recommenders
53:22y combinatorTalk
Confreaks
17 HN recommenders
59:23
42:43propositions as typesTalk
Strange Loop Conference
9 HN recommenders
40:50
3:26:34lambda calculusTutorial
PyCon 2019
4 HN recommenders
51:32esoteric programmingLecture
Tom Wildenhain
4 HN recommenders
1:00:34theory of computationLecture
MIT OpenCourseWare
4 HN recommenders
57:21generalization and compression in mlTalk
Simons Institute for the Theory of Computing
Discussed on HN
A good mathematical explanation makes the reasoning visible. This section collects videos on mathematics and theoretical computer science, including algorithms, complexity, probability and visual approaches to difficult ideas. It is for learners building foundations as well as programmers looking for the theory behind a familiar technique.
Indie Picks is organized from video metadata and uploader descriptions; it is not a full-video editorial review. HN Library retains community discussions. Sources and data notes