1:42:09Programming 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 “ev”
74 videos1:42:09
1:03:31
1:03:48
1:55:24
1:07:22
7:15
43:58"The Economics of Programming Languages" by Evan Czaplicki (Strange Loop 2023)
Strange Loop Conference
10 HN recommenders
43:04"Stop Writing Dead Programs" by Jack Rusher (Strange Loop 2022)
Strange Loop Conference
9 HN recommenders
39:58
42:34Hewitt, Meijer and Szyperski: The Actor Model (everything you wanted to know...)
jasonofthel33t
5 HN recommenders
56:27
58:23Evan Czaplicki - Let's be mainstream! User focused design in Elm - Curry On
Curry On!
7 HN recommenders
1:54:00
1:00:56
1:36:40
1:02:36
1:04:16Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
Churchill College, University of Cambridge
5 HN recommenders
43:14
40:39
2:59:19Brendan Eich: JavaScript, Firefox, Mozilla, and Brave | Lex Fridman Podcast #160
Lex Fridman
5 HN recommenders
48:46
54:35"An approach to computing and sustainability inspired from permaculture" by Devine Lu Linvega
Strange Loop Conference
4 HN recommenders
43:23Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
5 HN recommenders
42:44Sources 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