1:03:29Programming language design
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.
- Topic: Programming language design
Results for “system design”
77 videos1:03:29
1:55:24
1:04:53
54:14Zig: A programming language designed for robustness, optimality, and clarity – Andrew Kelley
Recurse Center
6 HN recommenders
41:06"Unison: a new distributed programming language" by Paul Chiusano
Strange Loop Conference
7 HN recommenders
51:40
59:48
23:12
42:34Hewitt, Meijer and Szyperski: The Actor Model (everything you wanted to know...)
jasonofthel33t
5 HN recommenders
19:12Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017
The Julia Programming Language
3 HN recommenders
1:54:00
52:29
40:20
37:07Scale By The Bay 2018: Bryan Cantrill, Rust and Other Interesting Things
FunctionalTV
5 HN recommenders
54:55Dconf 2014 Day 2 Keynote: The Last Thing D Needs -- Scott Meyers
The D Language Foundation
4 HN recommenders
56:39
1:04:16Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
Churchill College, University of Cambridge
5 HN recommenders
59:04On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
PapersWeLove
5 HN recommenders
50:49
43:14
48:46
32:24
2:08:02
1:33:12Sources and selection
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