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 “development”
29 videos1:42:09
1:03:48
1:55:24
7:15
43:04"Stop Writing Dead Programs" by Jack Rusher (Strange Loop 2022)
Strange Loop Conference
9 HN recommenders
39:58
58:23Evan Czaplicki - Let's be mainstream! User focused design in Elm - Curry On
Curry On!
7 HN recommenders
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
43:23Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
5 HN recommenders
33:52
58:24#Gamelab2018 - Jon Blow's Design decisions on creating Jai a new language for game programmers
Gamelab Conference
3 HN recommenders
1:01:51
13:48
52:01
5:11
38:26
1:13:00
59:51
6:59
1:02:49Reboot Develop 2017 - Jonathan Blow, Thekla Inc. / Making Game Programming Less Terrible
Reboot Develop
1 HN recommender
16:48Yesterday's Computer of Tomorrow: The Xerox Alto │Smalltalk-76 Demo
Computer History Museum
1 HN recommender
Sources 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