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 “ram”
89 videos53:22
7:48
1:07:10
1:37:22
59:23
46:46category theoryLecture
Category Theory 1.1: Motivation and Philosophy
Bartosz Milewski
11 HN recommenders
42:43propositions as typesTalk
"Propositions as Types" by Philip Wadler
Strange Loop Conference
9 HN recommenders
46:19mov-only computationTalk
Break Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas
Adrian Crenshaw
6 HN recommenders
34:00
1:06:00immutable data structuresTalk
CppCon 2017: Juan Pedro Bolivar Puente “Postmodern immutable data structures”
CppCon
5 HN recommenders
1:02:15lambda calculusLecture
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
Fullstack Academy
5 HN recommenders
42:36
51:16
34:25divergent seriesExplainer
Ramanujan: Making sense of 1+2+3+... = -1/12 and Co.
Mathologer
3 HN recommenders
19:12vector transposes in type systemsTalk
Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017
The Julia Programming Language
3 HN recommenders
9:43
58:36lock-free data structuresTalk
Advanced Topics in Programming Languages: A Lock-Free Hash Table
GoogleTalksArchive
4 HN recommenders
59:50
40:50
3:26:34lambda calculusTutorial
David Beazley - Lambda Calculus from the Ground Up - PyCon 2019
PyCon 2019
4 HN recommenders
31:11immutable data in reactTalk
React.js Conf 2015 - Immutable Data and React
Meta Developers
5 HN recommenders
51:32esoteric programmingLecture
Great Impractical Ideas in Computer Science: PowerPoint Programming
Tom Wildenhain
4 HN recommenders
17:35bell's theoremExplainer
Bell's Theorem: The Quantum Venn Diagram Paradox
minutephysics
8 HN recommenders
6:18Sources 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