Home › Topics › Software Engineering & Languages
Programming language design: videos Hacker News recommends
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. Below: every video in this topic that at least three HN users linked with real commentary, in at least three different months (141 talks, 16 demos, 11 interviews), best-scored first, with the comments on each video page.
- Functional programming 225
- C, C++, Rust, Go & systems languages 163
- Python, Ruby & scripting languages 120
- Web development 160
- Software architecture & design 177
- Software performance & optimization 123
- Compilers, interpreters & program analysis 98
- Testing, debugging & developer tools 155
- Software practice, open source & careers 154
- Software (other) 36
- 15 HN recommenders 16 months 2017–2025S Видео с мероприятий {speach! · talkIt is HN's standard answer to why Python cannot easily get much faster, and is recommended by people who work on JITs and alternative runtimes.
- 12 HN recommenders 12 months 2019–2025M Metosin · talkHN treats it as the standard answer to why FP isn't mainstream and why languages succeed.
- 14 HN recommenders 11 months 2018–2025HN commenters send people to it whenever nulls, Maybe/Option or static typing come up, as a thoughtful dissent from the type-system orthodoxy that changes how some people model data.
- 11 HN recommenders 10 months 2010–2024Recommended whenever APL or array languages come up as the quickest way to see why the paradigm is so striking.
- 11 HN recommenders 9 months 2012–2024Seen as a classic and often the moment programming 'clicks'; commenters praise Abelson's opening that computer science is not about computers.
- 10 HN recommenders 10 months 2013–2022HN repeatedly recommends the Crockford series as a must-watch history of computing and programming languages, and as a way to learn to think in JavaScript.
- 11 HN recommenders 10 months 2014–2026B Bill Pugh · talkHN considers it one of the best technical talks ever and cites it in discussions of language design, small cores and extensibility.
- 10 HN recommenders 10 months 2017–2026HN's go-to link in typing debates and for talk lists, and several call it their favorite programming talk even for non-Clojure users.
- 10 HN recommenders 9 months 2014–2025HN repeatedly recommends it as the definitive explanation of why Java evolves cautiously and why compatibility matters in language design.
- 11 HN recommenders 10 months 2009–2020A classic recommended to people learning JavaScript, even though some find it dogmatic and dated.
- 7 HN recommenders 9 months 2014–2025HN programmers recommend it, and the Jai series that followed, for the game-industry view on replacing C++ and for watching a language being invented.
- 9 HN recommenders 8 months 2015–2026HN regards it as an entertaining and eye-opening introduction to why logic and functional programming are connected, and it is a frequent pick in favorite-tech-talk threads.
- 13 HN recommenders 9 months 2016–2025HN returns to it as the go-to critique of OOP, recommended for explaining the costs of abstraction better than most written arguments.
- 7 HN recommenders 8 months 2017–2023HN commenters recommend it whenever someone asks how to read type-system or CS notation in papers.
- 5 HN recommenders 8 months 2017–2026A Avdi Grimm · demoHN recommends it as a quick, compelling look at what Smalltalk tooling feels like, especially for Ruby programmers.
- 10 HN recommenders 8 months 2023–2026Recommended repeatedly as a funny, informative talk on the economics behind programming languages and open source.
- 4 HN recommenders 8 months 2016–2022E European Lisp Symposium · talkHN commenters recommend it as a brilliant talk on Julia's design and how it is or isn't a Lisp.
- 9 HN recommenders 8 months 2022–2025HN returns to it constantly as the talk on live programming and what modern tooling is missing, though a few found it too much.
- 6 HN recommenders 7 months 2018–2024R Recurse Center · talkHN repeatedly recommends it as the definitive introduction to Zig straight from its author, and links to it whenever Zig's design choices come up.
- 7 HN recommenders 7 months 2020–2023HN treats it as the best introduction to Unison, with commenters finding hash-addressed immutable code mind-blowing.
- 6 HN recommenders 7 months 2018–2024HN people recommend it as an eye-opening talk whose domain-modeling ideas carry over to other languages and make a strong compiler feel like a coding partner.
- 5 HN recommenders 6 months 2019–2025HN treats it as the standard introduction to Zig by its creator, with some calling it among the best talks they have seen.
- 6 HN recommenders 6 months 2015–2023It is the go-to answer to whether Prolog is used for real-world work, praised as a survey of its uses, advantages and drawbacks.
- 3 HN recommenders 5 months 2018–2025A Aaron Hsu (arcfide) · talkHN readers say it changed their view of APL and array languages, with a clear walkthrough of how a compiler can be written in this style.
- 6 HN recommenders 6 months 2020–2026Treated as a must-watch for language designers, and cited whenever extensibility and language size are debated.
- 7 HN recommenders 7 months 2016–2023HN returns to it to explain why Go deliberately resists syntactic sugar and new features.
- 5 HN recommenders 5 months 2015–2025HN recommends it as the best video introduction to the actor model, straight from its inventor, and revisited it after Hewitt's death.
- 4 HN recommenders 5 months 2016–2021T The Perl and Raku Conference - Greenville, SC 2026 · talkHN recommends it as an entertaining, technically masterful showcase of what Perl 6 can do.
- 9 HN recommenders 6 months 2015–2018B Berkeley Institute for Data Science (BIDS) · lectureHN keeps pointing to it as a thoughtful vision of programming for non-programmers and as background on Eve's motivations.
- 9 HN recommenders 6 months 2019–2025HN commenters recommend it as the definitive explanation, from a language designer, of why multiple dispatch makes Julia's composability work.
- 7 HN recommenders 6 months 2015–2023Recommended as the clearest explanation of Elm's design thinking and of making functional languages mainstream, plus a popular monad explanation clip.
- 3 HN recommenders 5 months 2018–2022Strongly recommended for anyone working with vectors for its clear take on how they should be treated in types.
- 6 HN recommenders 5 months 2022–2024HN recommends it as the main introduction to Cpp2 and cppfront, and as a credible effort to evolve C++.
- 6 HN recommenders 5 months 2016–2019Recommended as a fantastic introduction to declarative and Datalog-based distributed systems and failure modeling.
- 5 HN recommenders 6 months 2012–2026HN cites it in discussions of language evangelism, community dynamics and zealotry, as an accessible account of how a good language can die for non-technical reasons.
- 5 HN recommenders 5 months 2014–2025HN recommends it as the best introduction to Factor and concatenative programming, with commenters saying it impressed them with the engineering.
- 2 HN recommenders 5 months 2015–2024It is the standard recommended introduction to Shen, pointed to whenever Shen or its type system comes up.
- 5 HN recommenders 5 months 2021–2024Cited again and again as the framework for discussing languages in terms of values, and how organizational values shape software quality.
- 4 HN recommenders 5 months 2018–2025T The D Language Foundation · talkHN commenters bring it up whenever C++ complexity or the pitfalls of language design come up, as a witty and authoritative warning.
- 4 HN recommenders 4 months 2016–2026HN fans call it one of Kay's best talks and recommend it for rethinking why programming paradigms have barely changed.
- 6 HN recommenders 5 months 2019–2025V Vulk Coop · talkHN recommends it as an entertaining and eye-opening look at the irrational psychology behind language preferences, though some note it is not scientifically precise.
- 5 HN recommenders 5 months 2017–2024C Churchill College, University of Cambridge · lectureRecommended as a funny, accessible history of Haskell that is valuable even for people interested in language design in general.
- 5 HN recommenders 5 months 2020–2026Recommended as the approachable way into a precise definition of language expressiveness for language-design arguments.
- 4 HN recommenders 4 months 2020–2026Repeatedly recommended in best-talks threads as a fun, mind-blowing demonstration of unexpected computation.
- 4 HN recommenders 4 months 2018–2022C ConfEngine · talkHN recommends it as a terrific talk on APL readability and on the idea of idioms over libraries.
- 3 HN recommenders 4 months 2020–2026K KanDDDinsky · talkHN treats it as the canonical, approachable example of domain-driven design with types and 'make invalid states unrepresentable'.
- 4 HN recommenders 4 months 2014–2024D DartlangTV · interviewHN points to it as a rare side-by-side of the TypeScript and Dart designers, often to show how the two approaches to improving JavaScript differed.
- 4 HN recommenders 4 months 2019–2023Recommended as the best demo of interactive, compiler-assisted dependently typed programming in action.
- 4 HN recommenders 4 months 2014–2015W Wolfram · demoCommenters point to it as a compact, impressive demo of what the language can do.
- 5 HN recommenders 4 months 2021–2023Linked as a source for first-hand JavaScript and Netscape history, with commenters pointing to specific segments like the Java versus JavaScript decision.
- 5 HN recommenders 4 months 2020–2026HN points to it to show how deliberately the Rust team arrived at async/await and why it was chosen over alternatives like green threads.
- 5 HN recommenders 4 months 2019–2020Recommended during the await syntax debates for explaining the constraints that shaped Rust's async design.
- 3 HN recommenders 4 months 2020–2025Recommended as a vivid look at live, interactive programming environments and what Xerox PARC built on very limited hardware.
- 3 HN recommenders 3 months 2010–2025HN points to it as the best account of what Self made possible and what its team went on to do.
- Ron Pressler - Pull Push: Please stop polluting our imperative languages with pure concepts-Curry On3 HN recommenders 4 months 2015–2024Recommended as the case for blocking code and virtual threads over monads and async/await.
- 3 HN recommenders 4 months 2018–2023G Guy Steele · talkHN recommends it as an excellent talk on notation problems, useful when reading papers or designing a new metalanguage.
- 3 HN recommenders 4 months 2020–2025Pointed to whenever C++ exception overhead, bans on exceptions or error-handling alternatives come up.
- 3 HN recommenders 3 months 2011–2024Commenters rate the whole playlist as high-quality, clear teaching that builds foundations from memory and machine instructions up to different paradigms.
- 4 HN recommenders 3 months 2023–2024Praised as a standout, non-standard Strange Loop talk explaining the reasoning behind Uxn and resilient computing.
- 3 HN recommenders 4 months 2011–2025HN remembers it as the memorable explanation of restarts and multiple dispatch, referenced whenever those features come up.
- 5 HN recommenders 4 months 2014–2021I Imperial College London · demoRecommended as a charming, from-zero introduction to APL and a window into early interactive computing.
- 3 HN recommenders 4 months 2009–2014HN commenters recommend it as a way to understand what the VPRI group considers core, such as supporting any syntax on one JIT compiler and removing boundaries between application and interpreter.
- 5 HN recommenders 4 months 2018–2024HN points to it as a good introduction to Idris 2 and a striking demonstration of what dependent types enable.
- 3 HN recommenders 3 months 2014–2025HN commenters call it a fantastic introduction to Clojure and the thinking behind its design.
- 4 HN recommenders 4 months 2017–2022Cited in Rust and systems-language threads as the best introduction to ATS, a language claimed to go beyond Rust's safety guarantees.
- 3 HN recommenders 3 months 2021–2026HN treats it as the definitive resource for understanding Pin semantics and lists it among async Rust learning materials.
- 4 HN recommenders 3 months 2017–2020E EuroPython Conference · talkRecommended for explaining why Python is hard to optimize and the limits of making it fast.
- 3 HN recommenders 3 months 2014–2023N Nordic.js · talkHN commenters cite it whenever JavaScript classes, `this` or inheritance come up, as the clearest case for classless OOP from Crockford.
- 3 HN recommenders 3 months 2021–2024D Dartmouth · documentaryHN recommends it as the definitive documentary on BASIC's origins, and it resurfaces whenever BASIC or Kurtz comes up.
- 2 HN recommenders 3 months 2020–2022HN recommends it as the best talk on concatenative languages and their mathematical properties.
- 2 HN recommenders 3 months 2020–2023L Lambda World · talkHN recommends it as an accessible demonstration of what Smalltalk environments offer and a reference for advanced IDE ideas.
- 3 HN recommenders 3 months 2013–2014E Edward Kmett · talkHN calls it dense but mind-blowing, the go-to way to understand lenses through algebraic derivation.
- 3 HN recommenders 3 months 2016–2024HN commenters point Rubyists and the Smalltalk-curious to it as an approachable introduction that shows the Smalltalk system browser and Pharo environment in action.
- 3 HN recommenders 3 months 2023–2026HN recommends it as the best detailed explanation from the language's creator of how Elixir's new type system works and why.
- 2 HN recommenders 3 months 2018–2021B Build Stuff - #1 Software Dev Conf · talkHN people recommend it as a fascinating history lesson showing that the field keeps rediscovering ideas from the 1960s.
- 3 HN recommenders 3 months 2018–2023G Gamelab Conference · talkRecommended for a substantive look at language design priorities and a critique of why modern programming feels broken.
- 3 HN recommenders 3 months 2019–2025C ConfEngine · talkHN points to it as the main argument from the array-language camp that types are unnecessary there, and as a nuanced take on typed versus untyped programming.
- 3 HN recommenders 3 months 2020–2021R Redis · talkHN recommends it as the clearest explanation of how Zig achieves colorless async/await.
- 3 HN recommenders 3 months 2013–2025HN recommends it as the clearest account of the CSP lineage behind Go's goroutines and channels.
- 2 HN recommenders 2 months 2017–2020Praised as the best talk of CppCon 2017 and the key introduction to metaclasses and generative C++.
- 3 HN recommenders 3 months 2018–2025It is the standard citation in HN arguments over Rust for game development, the borrow checker and ECS designs, as a skeptical view from an experienced game developer.
- 2 HN recommenders 2 months 2013–2018HN recommends it as a mind-blowing and fun introduction to logic programming for working programmers.
- 3 HN recommenders 3 months 2012–2023HN uses it as a concise statement of the thinking behind Go's design.
- 2 HN recommenders 3 months 2016–2023HN commenters recommend it in Smalltalk and Unix threads as a demonstration of runtime dynamism hiding in native binaries and shared libraries.
- 3 HN recommenders 3 months 2015–2024HN recommends it as a quick, wonderful look at infinite towers of interpreters and what they make possible.
- 4 HN recommenders 3 months 2024–2026HN readers point to it as an example of Tom7's ridiculous-but-brilliant programming projects, here tied to license parody and typesetting.
- 3 HN recommenders 3 months 2023–2025HN commenters recommend it as the main resource on Swift as an incremental successor to C++ and on how the interoperability works in practice.
- 3 HN recommenders 3 months 2019–2021D Dyalog User Meetings · talkHN recommends it as a striking example of high-performance tree handling with array programming.
- 3 HN recommenders 3 months 2020–2021N Nuno Afonso · tutorialJai had no public release, so commenters point to this beta user's videos as a way to see what the language is actually like.
- 3 HN recommenders 3 months 2023–2025Used as the primary source for Apple's stated plan to make Swift its successor to C++ and for how interop supports gradual transition.
- 4 HN recommenders 3 months 2023–2026HN points to it as the main place to hear Lattner's motivations and design ideas for Mojo, often in Mojo threads.
- 3 HN recommenders 3 months 2020–2023Recommended as a slow-paced, detailed live-coding session that makes lifetimes click once you are past Rust basics.
- 3 HN recommenders 3 months 2018–2020HN recommends it as a clear introduction to linear types in GHC from the language's lead designer.
- 2 HN recommenders 3 months 2018–2023Cited in debates over Elm's direction and open source health, with some praising its points about metrics and others finding its tone toward unhappy users hard to watch.
- 3 HN recommenders 3 months 2014–2015HN commenters point newcomers to it as a solid starting point for getting to know Julia.
- 2 HN recommenders 2 months 2018–2021J Jane Street · lectureIt is the go-to source for the idea of making illegal states unrepresentable through types, with the key moment at 28:02.
- 2 HN recommenders 2 months 2019–2022HN recommends it as a sampling of truly different programming paradigms beyond mainstream OOP.
- 2 HN recommenders 2 months 2022–2024T The Power of Prolog · tutorialHN recommends it as the best short introduction to what makes Prolog unique.
- 2 HN recommenders 2 months 2015–2025HN points to it as an entry into Ackley's indefinitely scalable computing project, with a network-switch demo recommended as the best place to start.
- 2 HN recommenders 2 months 2013–2017G GreenArraysInc · talkHN recommends it as a window into Moore's minimalist CPU design and the GA144 chip, despite the slow pace.
Showing the 100 best-scored of 193. Use search to find the rest.
Questions
What is the most recommended programming language design video on Hacker News?
How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework by Видео с мероприятий {speach!: It is HN's standard answer to why Python cannot easily get much faster, and is recommended by people who work on JITs and alternative runtimes.
How is this programming language design list ranked?
By HackerTube's score: the number of distinct months in which an HN comment recommended the video, plus half a point for every month with a strong recommendation. One viral thread counts less than steady recommendations over years.
Where do the videos come from?
From every Hacker News comment between 2007 and 2026 that linked a YouTube video, labeled by an AI model as a recommendation, a citation, a joke or a criticism. The list is published by HackerTube under ODC-By 1.0; this edition adds indexable pages and the comment context.
Video list and Hacker News comment labels from HackerTube (prompted by @karpathy), released under ODC-By 1.0, built on the open-index/hacker-news archive. Hacker News data is provided by Y Combinator; comments remain the work of their authors. Video titles, channel names and thumbnails belong to their creators and are shown via YouTube. HackerTube Watch is an unofficial edition. Data export of 2026-10-31.