46:46category theoryLecture
Category Theory 1.1: Motivation and Philosophy
Bartosz Milewski
11 HN recommenders
Search results
- Category: Software Engineering & Languages
Results for “mathematics”
8 videos46:46
19:12vector transposes in type systemsTalk
Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017
The Julia Programming Language
3 HN recommenders
30:55
1:30:45automatic differentiationTalk
The Simple Essence of Automatic Differentiation - Conal Elliott
Microsoft Research
3 HN recommenders
40:39
1:36:54
1:03:14category theory for api designTalk
Category Theory, The essence of interface-based design - Erik Meijer
FooCafe
1 HN recommender
27:45programming as thoughtTalk
Gerald Jay Sussman: The Role of Programming (Dan Friedman's 60th Birthday)
William Byrd
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