Programming language design Videos Recommended on Hacker News (193)
Programming language design is one of the 150 topics Hacker News readers organize their video recommendations around. These 193 videos each earned real recommendations in real HN threads between 2007 and 2026 — 599 recommendations in total — and they're ranked by how many separate months the community kept coming back to them, not by view count.
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.
Why HN keeps sending people here — on How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework: “This excellent talk describes how the semantics of the "add" operation are much more complex than generally described.” — an HN commenter, 2021.
Features
Evergreen only
3 mo on HNMountainWest RubyConf 2014 - But Really, You Should Learn Smalltalk
3 mo on HNElixirConf 2023 - José Valim - The foundations of the Elixir type system
3 mo on HNProcedural Programming: It Never Went Away — Kevlin Henney | Build Stuff
3 mo on HN#Gamelab2018 - Jon Blow's Design decisions on creating Jai a new language for game programmers
3 mo on HNDoes APL Need a Type System? by Aaron W Hsu at #FnConf18
3 mo on HNModeling Data Concurrency w/ Asynchronous I/O in Zig - RedisConf 2020
3 mo on HNOrigins of Go Concurrency style by Rob Pike
2 mo on HNCppCon 2017: Herb Sutter “Meta: Thoughts on generative C++”
3 mo on HNRant: Entity systems and the Rust borrow checker ... or something.
2 mo on HNminiKanren - Dan Friedman and William Byrd
3 mo on HNOSCON 2010: Rob Pike, "Public Static Void"
3 mo on HN"Liberating the Smalltalk lurking in C and Unix" by Stephen Kell
3 mo on HN"Programming Should Eat Itself" by Nada Amin
3 mo on HNBadness 0 (Apostrophe‛s version)
3 mo on HN"Swift as C++ Successor in FoundationDB" by Konrad Malawski (Strange Loop 2023)
3 mo on HNHigh-performance Tree Wrangling, the APL Way // Aaron Hsu // Dyalog '18
3 mo on HNThe Joy of Programming in Jai - Part 1: Hello World
3 mo on HNIntroducing a Memory-Safe Successor Language in Large C++ Code Bases - John McCall - CppNow 2023
3 mo on HNChris Lattner: Future of Programming and AI | Lex Fridman Podcast #381
3 mo on HNCrust of Rust: Lifetime Annotations
3 mo on HNSimon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
3 mo on HN“What is Success?” by Evan Czaplicki
3 mo on HNIntroduction to Julia - Part 1 | SciPy 2014 | David Sanders
2 mo on HNEffective ML
2 mo on HNFour Languages from Forty Years Ago - Scott Wlaschin
2 mo on HNA Tour of Prolog
2 mo on HNLiving Computation: Robust-first programming in ULAM
2 mo on HNChuck Moore's Fireside Chat 2011
2 mo on HNSelf: The Movie;
2 mo on HN2023 LLVM Dev Mtg - Mojo 🔥: A system programming language for heterogenous computing
2 mo on HNComputer Science - Brian Kernighan on successful language design
2 mo on HNWhy Static Typing Came Back • Richard Feldman • GOTO 2022
2 mo on HNPhilip Wadler - Propositions as Types (Lambda Days 2016)
2 mo on HNDynamic Languages Wizards Series - Panel on Language Design
2 mo on HN"How to Think about Parallel Programming: Not!" - Guy L. Steele Jr. (Strange Loop 2010)
2 mo on HN