PickVidsBest Programming language design Videos
The 193 Programming language design videos here were recommended by different people across different months. Choose by who it is for: 15 introductory, 107 intermediate, 21 for a general viewer, and 50 for someone who wants the harder derivation. Most of them are a talk. What they share is that one speaker finishes a claim, and the examples exist to hold that claim up. Channels you will keep seeing include Strange Loop Conference, ClojureTV, Google TechTalks.
MountainWest RubyConf 2014 - But Really, You Should Learn Smalltalk
Noel Rappin's MountainWest RubyConf talk introduces Smalltalk to Ruby programmers.
ElixirConf 2023 - José Valim - The foundations of the Elixir type system
José Valim's ElixirConf US 2023 closing keynote on the foundations of the Elixir type system, covering set-theoretic types and gradual typing with strong arrows.
Procedural Programming: It Never Went Away — Kevlin Henney | Build Stuff
Kevlin Henney argues that procedural programming never went away despite later paradigms such as OO and functional.
#Gamelab2018 - Jon Blow's Design decisions on creating Jai a new language for game programmers
Jonathan Blow talks at Gamelab 2018 about the design decisions behind Jai, the programming language he is building for game programmers.
Does APL Need a Type System? by Aaron W Hsu at #FnConf18
Aaron Hsu's FnConf18 talk asks whether APL needs a static type system.
Modeling Data Concurrency w/ Asynchronous I/O in Zig - RedisConf 2020
Zig creator Andrew Kelley's RedisConf 2020 talk on modeling data flow with asynchronous I/O in Zig.
Origins of Go Concurrency style by Rob Pike
Rob Pike's 2010 talk at OSCON's Emerging Languages Camp on where Go's concurrency style comes from.
CppCon 2017: Herb Sutter “Meta: Thoughts on generative C++”
At CppCon 2017 Herb Sutter presents his work on evolving C++ through compile-time code generation, including metaclasses and reflection.
Rant: Entity systems and the Rust borrow checker ... or something.
Jonathan Blow's hour-long livestreamed response to a RustConf 2018 closing keynote about entity systems in Rust.
miniKanren - Dan Friedman and William Byrd
Dan Friedman and William Byrd demonstrate miniKanren, a logic programming system for Scheme, in an unconference talk.
OSCON 2010: Rob Pike, "Public Static Void"
A 13-minute OSCON 2010 talk in which Rob Pike argues about what is wrong with mainstream languages like C++, Java and C#, and presents Go as a response.
"Liberating the Smalltalk lurking in C and Unix" by Stephen Kell
Stephen Kell's Strange Loop talk argues that C and Unix already contain Smalltalk-like dynamism and introspection that can be exposed.
"Programming Should Eat Itself" by Nada Amin
Nada Amin's Strange Loop talk on programming languages that build on themselves, centered on towers of interpreters and nestable interpretation in Scheme.
Badness 0 (Apostrophe‛s version)
Tom 7's pilot episode of a series that plays with type systems and absurd programming, presented as a parody of the GPL v3 license.
"Swift as C++ Successor in FoundationDB" by Konrad Malawski (Strange Loop 2023)
Konrad Malawski's Strange Loop 2023 talk shows how the FoundationDB team adopted Swift incrementally in a C++ codebase.
High-performance Tree Wrangling, the APL Way // Aaron Hsu // Dyalog '18
Aaron Hsu shows how to manipulate and transform tree data in APL using arrays and inverted tables instead of pointers.
The Joy of Programming in Jai - Part 1: Hello World
The first part of a series on programming in Jai, Jonathan Blow's in-development language.
Introducing a Memory-Safe Successor Language in Large C++ Code Bases - John McCall - CppNow 2023
John McCall of Apple's Swift team presents at CppNow 2023 on introducing a memory-safe successor language into large C++ code bases.
Chris Lattner: Future of Programming and AI | Lex Fridman Podcast #381
Lex Fridman's long podcast conversation with Chris Lattner, creator of Swift, LLVM and MLIR and co-founder of Modular.
Crust of Rust: Lifetime Annotations
In this first Crust of Rust episode, Jon Gjengset live-codes an example that needs multiple explicit lifetime annotations.
Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
Simon Peyton Jones presents linear types for Haskell, showing how practical linearity can fit into a higher-order polymorphic language.
“What is Success?” by Evan Czaplicki
Elm creator Evan Czaplicki's 2018 Elm Europe talk on how to define success for an open source project and language community.
Introduction to Julia - Part 1 | SciPy 2014 | David Sanders
David Sanders gives the first part of a two-part introduction to the Julia programming language at SciPy 2014.
Effective ML
Yaron Minsky of Jane Street gave this talk to Harvard's OCaml-based CS51 class in 2010.