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
- Видео с мероприятий {speach! talk recommended in 16 different months by 15 HN users, 2017–2025It 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.
- Metosin talk recommended in 12 different months by 12 HN users, 2019–2025HN treats it as the standard answer to why FP isn't mainstream and why languages succeed.
- HN 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.
- Recommended whenever APL or array languages come up as the quickest way to see why the paradigm is so striking.
- Seen as a classic and often the moment programming 'clicks'; commenters praise Abelson's opening that computer science is not about computers.
- HN 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.
- Bill Pugh talk recommended in 10 different months by 11 HN users, 2014–2026HN considers it one of the best technical talks ever and cites it in discussions of language design, small cores and extensibility.
- HN's go-to link in typing debates and for talk lists, and several call it their favorite programming talk even for non-Clojure users.
- HN repeatedly recommends it as the definitive explanation of why Java evolves cautiously and why compatibility matters in language design.
- A classic recommended to people learning JavaScript, even though some find it dogmatic and dated.
- HN programmers recommend it, and the Jai series that followed, for the game-industry view on replacing C++ and for watching a language being invented.
- HN 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.
- HN returns to it as the go-to critique of OOP, recommended for explaining the costs of abstraction better than most written arguments.
- HN commenters recommend it whenever someone asks how to read type-system or CS notation in papers.
- Avdi Grimm demo recommended in 8 different months by 5 HN users, 2017–2026HN recommends it as a quick, compelling look at what Smalltalk tooling feels like, especially for Ruby programmers.
- Recommended repeatedly as a funny, informative talk on the economics behind programming languages and open source.
- European Lisp Symposium talk recommended in 8 different months by 4 HN users, 2016–2022HN commenters recommend it as a brilliant talk on Julia's design and how it is or isn't a Lisp.
- HN returns to it constantly as the talk on live programming and what modern tooling is missing, though a few found it too much.
- Recurse Center talk recommended in 7 different months by 6 HN users, 2018–2024HN repeatedly recommends it as the definitive introduction to Zig straight from its author, and links to it whenever Zig's design choices come up.
- HN treats it as the best introduction to Unison, with commenters finding hash-addressed immutable code mind-blowing.
- HN 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.
- HN treats it as the standard introduction to Zig by its creator, with some calling it among the best talks they have seen.
- It is the go-to answer to whether Prolog is used for real-world work, praised as a survey of its uses, advantages and drawbacks.
- Aaron Hsu (arcfide) talk recommended in 5 different months by 3 HN users, 2018–2025HN 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.
- Treated as a must-watch for language designers, and cited whenever extensibility and language size are debated.
- HN returns to it to explain why Go deliberately resists syntactic sugar and new features.
- HN recommends it as the best video introduction to the actor model, straight from its inventor, and revisited it after Hewitt's death.
- The Perl and Raku Conference - Greenville, SC 2026 talk recommended in 5 different months by 4 HN users, 2016–2021HN recommends it as an entertaining, technically masterful showcase of what Perl 6 can do.
- Berkeley Institute for Data Science (BIDS) lecture recommended in 6 different months by 9 HN users, 2015–2018HN keeps pointing to it as a thoughtful vision of programming for non-programmers and as background on Eve's motivations.
- HN commenters recommend it as the definitive explanation, from a language designer, of why multiple dispatch makes Julia's composability work.
- Recommended as the clearest explanation of Elm's design thinking and of making functional languages mainstream, plus a popular monad explanation clip.
- Strongly recommended for anyone working with vectors for its clear take on how they should be treated in types.
- HN recommends it as the main introduction to Cpp2 and cppfront, and as a credible effort to evolve C++.
- Recommended as a fantastic introduction to declarative and Datalog-based distributed systems and failure modeling.
- HN 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.
- HN recommends it as the best introduction to Factor and concatenative programming, with commenters saying it impressed them with the engineering.
- It is the standard recommended introduction to Shen, pointed to whenever Shen or its type system comes up.
- Cited again and again as the framework for discussing languages in terms of values, and how organizational values shape software quality.
- The D Language Foundation talk recommended in 5 different months by 4 HN users, 2018–2025HN commenters bring it up whenever C++ complexity or the pitfalls of language design come up, as a witty and authoritative warning.
- HN fans call it one of Kay's best talks and recommend it for rethinking why programming paradigms have barely changed.
- Vulk Coop talk recommended in 5 different months by 6 HN users, 2019–2025HN recommends it as an entertaining and eye-opening look at the irrational psychology behind language preferences, though some note it is not scientifically precise.
- Churchill College, University of Cambridge lecture recommended in 5 different months by 5 HN users, 2017–2024Recommended as a funny, accessible history of Haskell that is valuable even for people interested in language design in general.
- Recommended as the approachable way into a precise definition of language expressiveness for language-design arguments.
- Repeatedly recommended in best-talks threads as a fun, mind-blowing demonstration of unexpected computation.
- ConfEngine talk recommended in 4 different months by 4 HN users, 2018–2022HN recommends it as a terrific talk on APL readability and on the idea of idioms over libraries.
- KanDDDinsky talk recommended in 4 different months by 3 HN users, 2020–2026HN treats it as the canonical, approachable example of domain-driven design with types and 'make invalid states unrepresentable'.
- DartlangTV interview recommended in 4 different months by 4 HN users, 2014–2024HN 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.
- Recommended as the best demo of interactive, compiler-assisted dependently typed programming in action.
- Wolfram demo recommended in 4 different months by 4 HN users, 2014–2015Commenters point to it as a compact, impressive demo of what the language can do.
- Linked as a source for first-hand JavaScript and Netscape history, with commenters pointing to specific segments like the Java versus JavaScript decision.
- HN points to it to show how deliberately the Rust team arrived at async/await and why it was chosen over alternatives like green threads.
- Recommended during the await syntax debates for explaining the constraints that shaped Rust's async design.
- Recommended as a vivid look at live, interactive programming environments and what Xerox PARC built on very limited hardware.
- HN 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 OnRecommended as the case for blocking code and virtual threads over monads and async/await.
- Guy Steele talk recommended in 4 different months by 3 HN users, 2018–2023HN recommends it as an excellent talk on notation problems, useful when reading papers or designing a new metalanguage.
- Pointed to whenever C++ exception overhead, bans on exceptions or error-handling alternatives come up.
- Commenters rate the whole playlist as high-quality, clear teaching that builds foundations from memory and machine instructions up to different paradigms.
- Praised as a standout, non-standard Strange Loop talk explaining the reasoning behind Uxn and resilient computing.
- HN remembers it as the memorable explanation of restarts and multiple dispatch, referenced whenever those features come up.
- Imperial College London demo recommended in 4 different months by 5 HN users, 2014–2021Recommended as a charming, from-zero introduction to APL and a window into early interactive computing.
- HN 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.
- HN points to it as a good introduction to Idris 2 and a striking demonstration of what dependent types enable.
- HN commenters call it a fantastic introduction to Clojure and the thinking behind its design.
- Cited in Rust and systems-language threads as the best introduction to ATS, a language claimed to go beyond Rust's safety guarantees.
- HN treats it as the definitive resource for understanding Pin semantics and lists it among async Rust learning materials.
- EuroPython Conference talk recommended in 3 different months by 4 HN users, 2017–2020Recommended for explaining why Python is hard to optimize and the limits of making it fast.
- Nordic.js talk recommended in 3 different months by 3 HN users, 2014–2023HN commenters cite it whenever JavaScript classes, `this` or inheritance come up, as the clearest case for classless OOP from Crockford.
- Dartmouth documentary recommended in 3 different months by 3 HN users, 2021–2024HN recommends it as the definitive documentary on BASIC's origins, and it resurfaces whenever BASIC or Kurtz comes up.
- HN recommends it as the best talk on concatenative languages and their mathematical properties.
- Lambda World talk recommended in 3 different months by 2 HN users, 2020–2023HN recommends it as an accessible demonstration of what Smalltalk environments offer and a reference for advanced IDE ideas.
- Edward Kmett talk recommended in 3 different months by 3 HN users, 2013–2014HN calls it dense but mind-blowing, the go-to way to understand lenses through algebraic derivation.
- HN commenters point Rubyists and the Smalltalk-curious to it as an approachable introduction that shows the Smalltalk system browser and Pharo environment in action.
- HN recommends it as the best detailed explanation from the language's creator of how Elixir's new type system works and why.
- Build Stuff - #1 Software Dev Conf talk recommended in 3 different months by 2 HN users, 2018–2021HN people recommend it as a fascinating history lesson showing that the field keeps rediscovering ideas from the 1960s.
- Gamelab Conference talk recommended in 3 different months by 3 HN users, 2018–2023Recommended for a substantive look at language design priorities and a critique of why modern programming feels broken.
- ConfEngine talk recommended in 3 different months by 3 HN users, 2019–2025HN 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.
- Redis talk recommended in 3 different months by 3 HN users, 2020–2021HN recommends it as the clearest explanation of how Zig achieves colorless async/await.
- HN recommends it as the clearest account of the CSP lineage behind Go's goroutines and channels.
- Praised as the best talk of CppCon 2017 and the key introduction to metaclasses and generative C++.
- It 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.
- HN recommends it as a mind-blowing and fun introduction to logic programming for working programmers.
- HN uses it as a concise statement of the thinking behind Go's design.
- HN commenters recommend it in Smalltalk and Unix threads as a demonstration of runtime dynamism hiding in native binaries and shared libraries.
- HN recommends it as a quick, wonderful look at infinite towers of interpreters and what they make possible.
- HN readers point to it as an example of Tom7's ridiculous-but-brilliant programming projects, here tied to license parody and typesetting.
- HN commenters recommend it as the main resource on Swift as an incremental successor to C++ and on how the interoperability works in practice.
- Dyalog User Meetings talk recommended in 3 different months by 3 HN users, 2019–2021HN recommends it as a striking example of high-performance tree handling with array programming.
- Nuno Afonso tutorial recommended in 3 different months by 3 HN users, 2020–2021Jai had no public release, so commenters point to this beta user's videos as a way to see what the language is actually like.
- Used as the primary source for Apple's stated plan to make Swift its successor to C++ and for how interop supports gradual transition.
- HN points to it as the main place to hear Lattner's motivations and design ideas for Mojo, often in Mojo threads.
- Recommended as a slow-paced, detailed live-coding session that makes lifetimes click once you are past Rust basics.
- HN recommends it as a clear introduction to linear types in GHC from the language's lead designer.
- Cited 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.
- HN commenters point newcomers to it as a solid starting point for getting to know Julia.
- Jane Street lecture recommended in 2 different months by 2 HN users, 2018–2021It is the go-to source for the idea of making illegal states unrepresentable through types, with the key moment at 28:02.
- HN recommends it as a sampling of truly different programming paradigms beyond mainstream OOP.
- The Power of Prolog tutorial recommended in 2 different months by 2 HN users, 2022–2024HN recommends it as the best short introduction to what makes Prolog unique.
- HN 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.
- GreenArraysInc talk recommended in 2 different months by 2 HN users, 2013–2017HN 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.