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 “programming”
49 videos53:22
7:48
1:07:10
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
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
51:16
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
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
40:39dependently typed programmingTalk
Edwin Brady - Idris 2 - Type-driven Development of Idris
Curry On!
4 HN recommenders
11:32
1:01:47parallel algorithmsTalk
Four Solutions to a Trivial Problem - Guy Steele Jr.
Google TechTalks
4 HN recommenders
1:30:45automatic differentiationTalk
The Simple Essence of Automatic Differentiation - Conal Elliott
Microsoft Research
3 HN recommenders
1:12:12programming language notationTalk
2017 ACM PPoPP Keynote: It's Time for a New Old Language
Guy Steele
3 HN recommenders
51:47dynamic programmingLecture
Lecture 19: Dynamic Programming I: Fibonacci, Shortest Paths
MIT OpenCourseWare
4 HN recommenders
43:23dependent typesTalk
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
5 HN recommenders
36:58ATS systems programmingTalk
"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop Conference
4 HN recommenders
14:28procedural generation algorithmsExplainer
Superpositions, Sudoku, the Wave Function Collapse algorithm.
Martin Donald
3 HN recommenders
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