42:43propositions as typesTalk
"Propositions as Types" by Philip Wadler
Strange Loop Conference
9 HN recommenders
42:43propositions as typesTalk
Strange Loop Conference
9 HN recommenders
26:33
47:03
30:06formal specification with tla+Talk
Strange Loop Conference
3 HN recommenders
25:09london taxi knowledge vs gpsDemo
Tom Scott plus
2 HN recommenders
1:06:43busy beaver and computabilityLecture
Harvard CMSA
1 HN recommender
31:00A 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