PickVidsBest Compilers, interpreters & program analysis Videos
「Compilers, interpreters & program analysis」下面有98部被不同的人、在不同月份推荐过的视频。挑的时候先看对象：入门2部，适合还没学过的人；进阶43部，适合已经懂术语的人；普通向2部，按兴趣就能看；更硬的51部，留给想看推导或细节的人。这一类数量最多的是演讲，所以它们的共同点是一位讲者把一个判断讲完，例子是为了撑住这个判断。常出现的频道包括CppCon、Google TechTalks、Strange Loop Conference。目录给这个主题划的范围是：Compilers and interpreters: parsing, building a compiler, LLVM, JIT, garbage collection, virtual machines, static analysis, abstract interpretation, optimization passes, live-coding a language.如果只看三部，就从《Rich Harris - Rethinking reactivity》开始，它负责把问题讲出画面；然后看《Lexical Scanning in Go - Rob Pike》，换一种讲法或例子；最后看《William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]》，留给已经有基础的人。页面按每页24部切开，顺序看的是被推荐跨越了多少个月，不是播放量。每条标题下面那一句是这部片子自己的内容说明，用来区分它在讲定义、过程、演示还是观点。点进去能看到推荐原话、原文链接和适合谁看。看的时候把强烈推荐当成有人明确叫你去看，把引用当成只是拿来举例，把批评留下来对照，不要把每条评论都当成同一力度。
GopherCon 2015: Go GC: Solving the Latency Problem - Rick Hudson
Rick Hudson's GopherCon 2015 talk on Go 1.5's new low-latency concurrent garbage collector.
Chris Seaton @ VMSS16: JRuby+Truffle: Why it’s Important to Optimise the Tricky Parts
Chris Seaton talks about JRuby+Truffle, explaining how the Truffle and Graal combination optimises the tricky parts of Ruby and why it outperforms other Ruby implementations.
2017 LLVM Developers’ Meeting: “Implementing Swift Generics ”
Swift compiler engineers explain how Swift implements generics using dictionary-passing with reified type metadata.
Lisp at the Frontier of Computation, by Robert Smith at Rigetti Computing
Robert Smith of Rigetti Computing talks at a Bay Area Lisp and Scheme meetup about using Common Lisp for quantum computing.
Illustrating Crafting Interpreters
Bob Nystrom shows his process for hand-drawing the diagrams in his book Crafting Interpreters, from pencil sketches to tracing and inking.
CppCon 2019: Matt Godbolt “Compiler Explorer: Behind The Scenes”
Matt Godbolt tells the story of Compiler Explorer, from a hacky basement server to a cloud-scaled service handling tens of thousands of daily requests.
A 10x faster TypeScript
Anders Hejlsberg introduces the native port of the TypeScript compiler, written in Go, which promises roughly 10x faster tooling.
Analyzing Programs with Z3
Tikhon Jelvis's Compose Conference talk on using the Z3 SMT solver to analyze and verify programs, including checking invariants with bounded loops.
Episode 1: A basic expression evaluator
The first episode of a long live-coding series in which Immo Landwerth builds the Minsk compiler for a small language in C#.
Chris Lattner: Compilers, LLVM, Swift, TPU, and ML Accelerators | Lex Fridman Podcast #21
Lex Fridman interviews Chris Lattner, creator of LLVM, Clang and Swift, about compilers, Swift for TensorFlow, TPUs and ML accelerators.
Brandt Bucher – A JIT Compiler for CPython
Brandt Bucher presents his prototype JIT compiler for CPython at the 2023 Core Developer Sprint.
Lecture 7A: Metacircular Evaluator, Part 1
Lecture 7A from MIT 6.001 (SICP) by Abelson and Sussman introduces the metacircular evaluator, a Scheme interpreter written in Scheme.
Oral History of John Backus
Grady Booch interviews John Backus, who led the IBM team that created FORTRAN in 1957, for the Computer History Museum in 2006.
Lecture 1B | MIT 6.001 Structure and Interpretation, 1986
Lecture 1B of MIT's 6.001 Structure and Interpretation of Computer Programs (1986) with Gerald Sussman, covering procedures, processes and the substitution model.
ReactiveConf 2017 - Tom Dale: Secrets of the Glimmer VM
Tom Dale explains the internals of the Glimmer VM, Ember's rendering engine, which compiles templates to opcodes.
TypeScript is being ported to Go | interview with Anders Hejlsberg
An interview with Anders Hejlsberg, lead architect of TypeScript, about porting the TypeScript compiler to Go.
CANDO: A Compiled Programming Language for Computer-Aided Nanomaterial Design and Optimization
Christian Schafmeister presents CANDO at the 2016 European Lisp Symposium.
[#36] Zig Roadmap 2024 - Andrew Kelley
Andrew Kelley's 2024 Zig roadmap talk, followed by a Q&A, covers the language's priorities and the state of the project.
Zig Roadmap 2023 - Andrew Kelley
Andrew Kelley's roadmap talk on upcoming Zig compiler milestones, focused on compilation speed.
The Mill CPU Architecture – The Compiler (10 of 13)
A long Mill Computing lecture on the Mill CPU's compiler toolchain, covering the specializer that targets family members, scheduling and latency passes, and the belt.
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.
GoingNative 2012 - Day 2 - Clang
Chandler Carruth's GoingNative 2012 talk on Clang, covering how the compiler helps defend C++ code from mistakes.
Andy Keep - Writing a Nanopass Compiler
Andy Keep's Clojure/Conj talk on writing a nanopass compiler, built from many single-task passes with formally defined intermediate languages.
CppCon 2018: Hana Dusíková “Compile Time Regular Expressions”
Hana Dusikova's CppCon 2018 talk presenting a C++ library that builds regular expressions from compile-time strings, using a C++20 feature.