59:04On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
PapersWeLove
5 HN recommenders
Programming language design: language semantics, type systems, type theory, syntax, language features, Jai, Haskell type classes, Rust design, language history, why languages succeed or fail.
59:04PapersWeLove
5 HN recommenders
51:32
54:35Strange Loop Conference
4 HN recommenders
1:47:45
56:03
33:13Strange Loop Conference
2 HN recommenders
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