PickVidsBest Programming language design Videos
「Programming language design」下面有193部被不同的人、在不同月份推荐过的视频。挑的时候先看对象：入门15部，适合还没学过的人；进阶107部，适合已经懂术语的人；普通向21部，按兴趣就能看；更硬的50部，留给想看推导或细节的人。这一类数量最多的是演讲，所以它们的共同点是一位讲者把一个判断讲完，例子是为了撑住这个判断。常出现的频道包括Strange Loop Conference、ClojureTV、Google TechTalks。目录给这个主题划的范围是：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.如果只看三部，就从《How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework》开始，它负责把问题讲出画面；然后看《Why Isn't Functional Programming the Norm? – Richard Feldman》，换一种讲法或例子；最后看《Maybe Not - Rich Hickey》，留给已经有基础的人。页面按每页24部切开，顺序看的是被推荐跨越了多少个月，不是播放量。每条标题下面那一句是这部片子自己的内容说明，用来区分它在讲定义、过程、演示还是观点。点进去能看到推荐原话、原文链接和适合谁看。看的时候把强烈推荐当成有人明确叫你去看，把引用当成只是拿来举例，把批评留下来对照，不要把每条评论都当成同一力度。
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.