9:52Search results
- Category: Mathematics & Theoretical CS
Results for “tor”
100 videos9:52
53:22y combinatorTalk
Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
17 HN recommenders
6:31
1:37:22
42:43propositions as typesTalk
"Propositions as Types" by Philip Wadler
Strange Loop Conference
9 HN recommenders
6:49klein bottles and cliff stollInterview
The man with 1,000 Klein Bottles UNDER his house - Numberphile
Numberphile
8 HN recommenders
44:23
46:19mov-only computationTalk
Break Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas
Adrian Crenshaw
6 HN recommenders
5:47
4:27ranked-choice votingExplainer
The Voting System That Should Replace Every Election
CGP Grey
7 HN recommenders
10:03linear algebraExplainer
The determinant | Chapter 6, Essence of linear algebra
3Blue1Brown
6 HN recommenders
1:06:00immutable data structuresTalk
CppCon 2017: Juan Pedro Bolivar Puente “Postmodern immutable data structures”
CppCon
5 HN recommenders
3:39mechanical fourier analysisExplainer
(1/4) Intro/History: Introducing a 100-year-old mechanical computer
engineerguy
6 HN recommenders
17:16linear algebraExplainer
Eigenvectors and eigenvalues | Chapter 14, Essence of linear algebra
3Blue1Brown
6 HN recommenders
1:02:15lambda calculusLecture
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
Fullstack Academy
5 HN recommenders
8:23very large numbersInterview
How Big is Graham's Number? (feat Ron Graham)
Numberphile
4 HN recommenders
18:31fourier opticsExplainer
Fourier Optics used for Optical Pattern Recognition
Huygens Optics
5 HN recommenders
48:55history of mathematicsCourse
Pythagoras' theorem (a) | Math History | NJ Wildberger
Insights into Mathematics
6 HN recommenders
27:13robust-first computingDemo
Robust-first computing: Demon Horde Sort (full version)
Dave Ackley
3 HN recommenders
51:16
1:07:02combinatorial geometryLecture
Stanford Lecture: Don Knuth—"A Conjecture That Had To Be True" (2017)
Stanford Online
1 HN recommender
19:12vector transposes in type systemsTalk
Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017
The Julia Programming Language
3 HN recommenders
1:43:00queueing theory in theme parksDocumentary
Disney's FastPass: A Complicated History
Defunctland
7 HN recommenders
16:30Sources and selection
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