39:26"Cursorless: A spoken language for editing code" by Pokey Rule (Strange Loop 2023)
Strange Loop Conference
2 HN recommenders
Programming 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.
Videos
193 videos39:26
19:44
1:29:49
1:12:14Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023
Code Sync
3 HN recommenders
1:29:27The Forgotten Art of Structured Programming - Kevlin Henney [C++ on Sea 2019]
cpponsea
2 HN recommenders
30:40What's Bad About Julia | Jeff Bezanson | JuliaCon 2019
The Julia Programming Language
2 HN recommenders
38:36
44:38
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
6:23
15:52
49:06
45:03
54:15Google I/O 2011: Java Puzzlers - Scraping the Bottom of the Barrel
Google for Developers
2 HN recommenders
9:30
1:32:47
6:59
44:59
1:38:57
58:37NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
AdaCore
1 HN recommender
1:00:23
59:03Breaking Down Programming Paradigms: APL's Surprising Learning Curve // Aaron Hsu // Dyalog '17
Dyalog User Meetings
1 HN recommender
32:18(ninth RacketCon): Andrew Blinn – Fructure: A Structured Editing Engine in Racket
Racket
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