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 “systems programming”
63 videos1:03:29
1:55:24
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
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
1:33:12
17:26
36:58"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop Conference
4 HN recommenders
3:03:54Sources 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