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.
Reboot Develop 2017 - Jonathan Blow, Thekla Inc. / Making Game Programming Less Terrible
Jonathan Blow's Reboot Develop 2017 talk on making game programming less terrible, discussing software bloat, slowness and the design goals behind his own programming language.
Mojo Lang - Tomorrow's High Performance Python? (with Chris Lattner)
Developer Voices interviews Chris Lattner about Mojo, a Python-compatible language aimed at CPU/GPU performance built on LLVM and MLIR.
Larry Wall Speaks at Google
Larry Wall speaks at Google's Chicago office in 2008 about the Perl community, the language, and Perl 6.
Yesterday's Computer of Tomorrow: The Xerox Alto │Smalltalk-76 Demo
A Computer History Museum demonstration with Dan Ingalls of Smalltalk-76 running on a Xerox Alto, recorded in 2017.
Sydney Golang Meetup - Rob Pike - Go 2 Draft Specifications
Rob Pike presents the Go 2 draft specifications at the Sydney Golang Meetup, covering the Go 2 process and several proposals including generics.
Pacific Northwest Scala 2013 We're Doing It All Wrong by Paul Phillips
Paul Phillips, a former Scala core contributor, argues after moving a million lines of code that much of what the software industry does is wrong.
Demo: Base language, compile-time execution
Jonathan Blow demos his prototype programming language, covering the base language and compile-time execution, including running a game while compiling.
GopherCon 2014 Opening Keynote by Rob Pike
Rob Pike opens GopherCon 2014 with a keynote on the design and evolution of Go.
Type-Driven Development in Idris — Edwin Brady
Edwin Brady, creator of Idris, introduces type-driven development in a dependently typed language.
Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen
Matthias Felleisen's keynote uses weather prediction as an analogy for type systems, arguing they forecast problems so you can act on them.
Clojure for Lisp Programmers Part 1 - Rich Hickey
Rich Hickey presents an extensive introduction to Clojure at the Boston Lisp meeting, assuming prior Lisp knowledge.
James Gosling - Simula: a personal journey
James Gosling gives a personal talk at the 50th anniversary seminar of Simula about using the language from 1974 and how it shaped his thinking.
Demo: Implicit Context
Jonathan Blow gives a formal, hour-long demo of his Jai compiler focused on the implicit context feature.
dotJS 2012 - Brian Leroux - WTFJS
Brian Leroux's dotJS 2012 talk WTFJS is a quick, humorous tour of JavaScript's odd behaviors and quirks.
Over the Shoulder 1 - Text Preprocessing in Forth
Samuel Falvo II live-codes a text preprocessor and blog engine in Forth over about an hour.
Chris Lattner: The Future of Computing and Programming Languages | Lex Fridman Podcast #131
Lex Fridman's long interview with Chris Lattner, creator of LLVM and Swift, covering the future of computing and programming languages.
The Go Programming Language
Rob Pike's October 2009 Google Tech Talk introducing Go, a new experimental systems language designed for fast builds, concurrency and garbage collection.
Swift for TensorFlow: The Next-Generation Machine Learning Framework (TF Dev Summit '19)
Chris Lattner and Brennan Saeta present Swift for TensorFlow at the TensorFlow Dev Summit 2019, covering language-integrated automatic differentiation and tooling for machine learning in Swift.
Google I/O 2012 - Meet the Go Team
A fireside Q&A with the Go team (Pike, Thompson, Griesemer and others) at Google I/O 2012.
Intentional Programming demo (Part 1) - Editor
A roughly ten-minute demo of Microsoft's Intentional Programming research system, showing its editor and an unusual way of working with code.
Coroutines and Loom behind the scenes by Roman Elizarov
Roman Elizarov compares Kotlin Coroutines with OpenJDK Project Loom virtual threads, looking at their design goals and how those translate into different implementations and tradeoffs.
Condition Systems in an Exceptional Language - Chris Houser
Chris Houser's Clojure/conj talk on why Clojure's exceptions destroy information as the stack unwinds, unlike Common Lisp's condition system, which can resume from the error site.
Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)
Simon Peyton Jones's first lecture on types in Haskell from the Oregon Programming Languages Summer School 2013.
ALAIN COLMERAUER L'AVENTURE PROLOG
A French-language documentary on the history of Prolog, created in Marseille by Alain Colmerauer in the early 1970s, with interviews of many people involved.