42:43Programming 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 “strange loop”
20 videos42:43
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
41:06"Unison: a new distributed programming language" by Paul Chiusano
Strange Loop Conference
7 HN recommenders
39:58
52:29
40:20
54:35"An approach to computing and sustainability inspired from permaculture" by Devine Lu Linvega
Strange Loop Conference
4 HN recommenders
36:58"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop Conference
4 HN recommenders
40:56"Liberating the Smalltalk lurking in C and Unix" by Stephen Kell
Strange Loop Conference
2 HN recommenders
47:41
42:24"Swift as C++ Successor in FoundationDB" by Konrad Malawski (Strange Loop 2023)
Strange Loop Conference
3 HN recommenders
1:09:38"How to Think about Parallel Programming: Not!" - Guy L. Steele Jr. (Strange Loop 2010)
Strange Loop Conference
2 HN recommenders
33:13"Pixie - A Lightweight Lisp with 'Magical' Powers" by Timothy Baldridge
Strange Loop Conference
2 HN recommenders
46:04
39:40
39:26"Cursorless: A spoken language for editing code" by Pokey Rule (Strange Loop 2023)
Strange Loop Conference
2 HN recommenders
38:36
40:57"Hedy: A Gradual programming language" by Felienne Hermans (Strange Loop 2022)
Strange Loop Conference
2 HN recommenders
42:31"Datafun: a functional query language" by Michael Arntzenius
Strange Loop Conference
2 HN recommenders
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