56:58propositions as typesTalk
Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions
2 HN recommenders
56:58propositions as typesTalk
Erlang Solutions
2 HN recommenders
36:14program synthesisTalk
ClojureTV
3 HN recommenders
1:02:17code optimization in c++Talk
ACCU Conference
1 HN recommender
55:49c++ data structuresTalk
CppCon
1 HN recommender
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