53:22y combinatorTalk
Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
17 HN recommenders
Search results
- Category: Mathematics & Theoretical CS
Results for “language complexity”
8 videos53:22
59:23
42:43propositions as typesTalk
"Propositions as Types" by Philip Wadler
Strange Loop Conference
9 HN recommenders
40:50
3:26:34lambda calculusTutorial
David Beazley - Lambda Calculus from the Ground Up - PyCon 2019
PyCon 2019
4 HN recommenders
51:32esoteric programmingLecture
Great Impractical Ideas in Computer Science: PowerPoint Programming
Tom Wildenhain
4 HN recommenders
1:00:34theory of computationLecture
1. Introduction, Finite Automata, Regular Expressions
MIT OpenCourseWare
4 HN recommenders
57:21generalization and compression in mlTalk
An Observation on Generalization
Simons Institute for the Theory of Computing
Discussed on HN
Sources and selection
Videos shared and discussed on Hacker News, with original community evidence and topic labels.
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