Lectures
Programming Talks
- Alpaca
- APL
- Assembly
- Bash
- C
- Clojure
- C++
- Crystal
- CSS
- D
- Elixir
- Elm
- Erlang
- F#
- Factor
- Frege
- Go
- Hackett
- Haskell
- Idris
- Java & Android
- JavaScript
- Julia
- Lisp
- Objective C
- OCaml
- Prolog
- PureScript
- Python
- Racket
- Ruby
- Rust
- Scala
- Scheme
- Smalltalk
- Swift
- Unison
- VimL
- Wolfram Language
On theory
Miscellaneous

Lectures

Programming Languages

A Brief Histroy of Graphics [00:44:26] by Ahoy

Physics

Classical Mechanics

[◐] Lecture Collection - Classical Mechanics by Leonard
[●] 8.01x - MIT Physics I: Classical Mechanics by Walter Lewis

Quantum mechanics

MIT 8.04 Quantum Physics I, Spring 2013 [25 videos] by Allan Adams (2013)
MIT 8.04 Quantum Physics I, Spring 2016 [115 videos] by Barton Zwiebach (2016)

Mathematics

[○] Manifold [28 videos] by The WE-Heraeus International Winter School on Gravity and Light (2015)
The Continuum Hypothesis and the search for Mathematical Infinity [00:55:18] by W. Hugh Woodin (2015)
Field of Rationality and Category Theory [00:44:07] by Michał Heller (2015)
Category Theory [01:36:54] by Tom LaGatta (2014)
Constructive Type Theory and Homotopy by Steve Awodey (2010)

Probability and Statistics

[✓] Probability Harvard
[◐] Probabilistic Systems Analysis and Applied Probability
[○] MIT 18.650 Statistics for Applications, Fall 2016 [22 videos] by Philippe Rigollet
[✓] Statistica by Prof. Marco Perone Pacifico

Electronics

Programming Talks

Alpaca

Alpaca: Static Typing on the BEAM [00:45:34] by Jeremy Pierre (2017)

APL

Lessons for the Masses from the Trenches of Co-dfns by Aaron Hsu (2019)
Tacit Techniques with Dyalog version 18.0 Operators by Marshall Lochbaum (2019)
Patterns and Anti-patterns in APL: Escaping the Beginner's Plateau [00:59:02] by Aaron Hsu (2017)
50 Years of APL Datatypes: From Booleans to Hypercomplex Numbers [00:39:21] by Bob Smith (2016)

Assembly

Enough x86 Assembly to Be Dangerous [00:30:58] by Charles Bailey (2017)
The Teensy ELF Executable [00:49:03] by Brian Raiter (2014)

Bash

The Functional Tao of Bash [00:48:12] by Garrett Smith (2015)

C

Advanced C Coding For Fun! [00:46:53] by Rusty Russell (2014)
Writing application fault handlers [00:49:03] by Gilad Ben-Yossef (2008)

Clojure

Expeditious Code via Inference [00:45:36] by Mike Fikes (2019)
fn and Games with Arcadia [00:53:49] by Ramsey Nasser (2019)
Rethinking Identity with Clojure [00:41:53] by David Nolen (2019) Solving Problems the Clojure Way [01:02:55] by Rafal Dittwald [ ] (2019)

Always Be Composing [00:35:11] by Zach Tellman (2014)
ClojureScript: Lisp's Revenge [00:32:03] by David Nolen (2014)
Enter the Matrix [00:40:00] by Mike Anderson (2014)
How Clojure Works: Understanding the Clojure Runtime [00:30:07] by Daniel Solano Gomez (2014)
Making Games at Runtime with Clojure [00:37:34] by Zach Oakes (He's a very funny guy!) (2014)
Predictably Fast Clojure [00:34:01] by Zach Tellman (2014)
Typed Clojure in Practice [00:41:57] by Ambrose Bonnaire Sergeant (2014)
Variants are Not Unions [00:37:53] by Jeanine Adkisson (2014)

Clojure Concurrency [02:32:39] by Rich Hickey (2012)
Why Is A Monad Like A Writing Desk? [00:30:38] by Carin Meier (2012)
Clojure for Schemers [01:17:27] by David Nolen (2011)
Persistent Data Structures and Managed References [00:55:53] by Rich Hickey (2009)

C++

C++ - The Newest Old Language [00:43:36] by Matt Godbolt (2018)
Memory Latency Troubles You? Nano-coroutines to the Rescue! (Using Coroutines TS, of Course) [01:04:25] by Gor Nishanov (2018)
Modern C++ in Embedded Systems [01:30:39] by Michael Caisse (2018)
-Os matters [00:44:12] by Mark Zeren (2018)

Better Code: Data Structures [01:03:59] by Sean Parent (2015)
Support for Embedded Programming in C++11 and C++14 [01:12:52] by Scott Meyers (2015)
Tuning C++: Benchmarks, and CPUs, and Compilers! Oh My! [01:29:53] by Chandler Carruth (2015)
Transducers: from Clojure to C++ [01:00:03] by Juan Pedro Bolívar (2015)
Writing Good C++14... By Default [01:29:05] by Herb Sutter (2015)

C++ Seasoning [01:17:12] by Sean Parent (2013)
Don't Help the Compiler [01:17:00] by Stephan Lavavej (2013)
Optimizing the Emergent Structures of C++ [01:33:02] by Chandler Carruth (somewhat annoyingly bad quality) (2013)
Scaling with C++11 [01:18:27] by Edouard Alligand (2013)
The Effective C++11/14 Sampler [01:15:45] by Scott Meyers (2013)
Writing Quick Code in C++, Quickly [01:11:37] by Andrei Alexandrescu (2013)

C++11 Style - A Touch of Class [01:29:48] by Bjarne Stroustrup (2012)
On Static If, C++11 in 2012, Modern Libraries, and Metaprogramming [00:53:15] by Andrei Alexandrescu, Scott Meyers & Herb Sutter (2012)
Using C++11 to speed up your Qt 5 programs [00:46:47] by Marc Mutz (2012)

Crystal

Introducing the Crystal Programming Language [00:29:53] by Will Leinweber (2016)
Writing CLI applications in Crystal [00:26:20] by Mark Ranallo (2016)

CSS

(yeah, I know, stylesheets are not traditionally programming)

Stuff About Cascading Style Sheets [00:20:52] by Mark Otto & Connor Sears (2015)
Your Very Own Component Library [00:20:04] by Alex Sexton (2015)
CSS Performance Tooling [00:46:28] by Addy Osmani (2014)
CSS Levels Up [00:31:39] by Angelina Fabbro (2013)
Your CSS is a Mess [00:51:26] by Jonathan Snook (2013)

D

High Performance Code Using D [01:03:24] by Walter Bright (2014)
Refactoring JIT Compilation [00:43:57] by Maxime Chevalier-Boisvert (2014)
SDC, a D Compiler as a Library [00:48:37] by Amaury Sechet (2014)

Elixir

The Soul of Erlang and Elixir [00:42:02] by Saša Juric (2019)

GenStage and Flow [00:53:32] by José Valim (2017)
Solid Ground [00:31:30] by Saša Juric (2017)
Transforming Programming [00:46:45] by Dave Thomas (2017)

Elixir Should Take Over the World [00:58:30] by Jessica Kerr (not only interesting for Elixir devs! But I wasn't sure where else to put it) (2015)
Phoenix - Productive. Reliable. Fast. [00:45:19] by Chris McCord (2015)

elixir Conf 2014 Keynote [00:59:32] by Jose Valim (2014)
Elixir: The Power of Erlang, the Joy of Ruby [00:49:42] by Dave Thomas (2014)
Think Different [00:55:47] by Dave Thomas (2014)

Elm

Demystifying Parsers [00:22:12] by Tereza Sokol (2018)
If Coco Chanel Reviewed Elm [00:17:30] by Tereza Sokol (2017)
The life of a file by Evan Czaplicki (2017)
Controlling Time and Space: understanding the many formulations of FRP [00:40:55] by Evan Czaplicki (2014)

Erlang

Operable Erlang and Elixir [00:35:29] by Fred Hebert (2019)

A Peek Inside Erlang's OTP [00:50:19] by Steve Vinovski (2016)
Distributed Jamming with Sonic Pi and Erlang [00:54:16] by Sam Aaron & Joe Armstrong (2016)
Erlang and Deep Learning [00:47:15] by Garrett Smith (2016)
Pilgrim's Progress to the Promised Land [00:52:24] by Robert Virding (2016)
Scaling Distributed Erlang [00:47:23] by Zandra Norman (2016)

Erlang: Evolution [00:37:24] by Robert Virding (2015)
How To Ship New Code Without Taking Your System Down [00:32:47] by Martin Rehfeld (2015)
Implementing Languages on the BEAM [01:47:47] by Robert Virding (2015)
OTP Has Done It [00:36:04] by Nick DeMonner (2015)

Designing a Real Time Game Engine in Erlang [00:38:32] by Mark Allen (2014)
Optimizing Native Code for Erlang [00:26:46] by Steve Vinoski (2014)
Using Logic Programming Tools to Drive Property-based Testing [00:34:45] by Zachary Kessin (2014)
Why The Cool Kids Don't Use Erlang [00:51:55] by Garrett Smith (2014)
Writing Quality Code in Erlang [00:40:47] by Garrett Smith (2014)

26 years with Erlang or How I got my grey hairs [01:20:00] by Joe Armstrong (2013)
A Few Improvements to Erlang [00:43:30] by Joe Armstrong (2013)
Chicago Boss: A Web Framework Built for Comfort (and Speed) [00:45:59] by Evan Miller (2013)
Over a Century of Programming [01:00:10] by Mike Williams, Joe Armstrong & Robert Virding (2013)
Erlang in production: I wish I'd known that when I started [00:42:43] by Bernard Duggan (2012)

F#

F# for Trading [00:50:43] by Phillip Trelford (2014)

Factor

Factor: an extensible interactive language [01:36:39] by Slava Pestov (2008)

Frege

Frege, a Haskell for the JVM [01:00:12] by Dierk König (2015)

Go

SQLite and Go [00:32:02] by David Crawshaw (2018)
Things in Go I Never Use [00:24:52] by Mat Ryer (2018)

7 common mistakes in Go and when to avoid them [00:27:57] by Steve Francia (2015)
Communicating Sequential Processes [00:43:21] by Eric Shull (2015)
Go [00:38:18] by Rob Pike (2015)
Golang: The good, the bad, & the ugly [00:48:31] by Vincent Batts (2015)
gRPC: Google's high-performance, open-source RPC framework [00:29:22] by Sameer Ajmani (2015)
Stupid Gopher Tricks [00:53:10] by Andrew Gerrand (2015)
The move from C to Go in the toolchain [00:32:52] by Rob Pike (2015)

High Performance Systems in Go [00:29:39] by Derek Collison (2014)
Three fallacies of dependencies [00:20:38] by Blake Mizerany (2014)

Advanced Go Concurrency Patterns [00:34:11] by Sameer Ajmani (2013)
Concurrency Is Not Parallelism [00:31:22] by Rob Pike (2013)
Go for Pythonistas [00:51:17] by Francesc Campoy Flores (2013)

Go Concurrency Patterns [00:51:27] by Rob Pike (2012)
Practical Go Programming [00:59:20] by Andrew Gerrand (2011)

Hackett

Hackett: a metaprogrammable Haskell [00:33:39] by Alexis King (2018)

Haskell

Laws! [00:28:03] by George Wilson (2018)
Linear Haskell: practical linearity in a higher-order polymorphic language [01:03:33] by Simon Peyton Jones (2018)
Suggesting Valid Substitutions For Typed Holes [00:41:36] by Matthías Páll Gissurarson (2018)

Dependent Types in Haskell [00:38:41] by Stephanie Weirich (2017)
Escape from the ivory tower: the Haskell journey [01:04:15] by Simon Peyton-Jones (2017)
Point-Free or Die: Tacit Programming in Haskell and Beyond [00:36:12] by Amar Shah (2016)
What are Types for, or are they only Against? [01:03:37] by Conor McBride (2016)

Enigmatic Haskell, Haskellish Enigma [00:59:41] by Rishiyur S. Nikhil (2015)
Framing the Discussion with EDSLs [01:41:41] by Anthony Cowley (There is a repository containing the slides and code here) (2015)
Next Level MTL [00:44:36] by George Wilson (2015)
Pure Type Systems [01:17:01] by Cody Roux (2015)
The Road to Running Haskell at Facebook Scale [00:43:36] by Jon Coens (2015)

Demystifying Haskell [00:26:11] by Andrew Rademacher (for Beginners) (2014)
Getting a Quick Fix on Comonads [00:58:33] by Kenneth Foner (for best watching experience, watch it after the optimization talk by dan doel) (2014)
Haste: Full-Stack Haskell for Non-PhD Candidates [00:40:50] by Erin Swenson-Healey and James Cooper (the sound quality is really bad in the first 5:30 min or so, but it gets better, promise) (2014)
How Haskell is Changing my Brain [00:48:32] by Alissa Pajer (2014)
Introduction to Low Level Haskell Optimization [01:09:40] by Dan Doel (2014)
Safe Zero-Cost Coercions for Haskell [00:26:01] by Richard A. Eisenberg (2014)
Writing a game in Haskell [00:29:37] by Elise Huard (2014)

Lenses, Folds, and Traversals [01:54:46] by Edward Kmett (2012)
The Algebra In Algebraic Data Types [01:04:35] by Chris Taylor (2012)
Haskell Amuse-Bouche [00:57:13] by Mark Lentczner (the audio quality is scarily bad) (2011)
Data Parallel Haskell [01:19:56] by Simon Peyton Jones (2010)
A History of Haskell: being lazy with class [00:56:46] by Simon Peyton Jones (2007)

Idris

Type-driven Development of Communicating Systems in Idris [00:40:37] by Edwin Brady (2016)
Coding for Types: The Universe Patern in Idris [00:48:04] by David Christiansen (2015)
Type-Driven Development in Idris [00:46:35] by Edwin Brady (2015)

Dependently Typed Functional Programming with Idris by Edwin Brady: This lecture series has four parts (playlist):
- Part 1: Introduction [mirror] [01:11:18] by Edwin Brady (2013) [A]
- Part 2: Embedded DSLs [mirror] [01:06:53] by Edwin Brady (2013) [A]
- Part 3: Effect management [mirror] [00:59:22] by Edwin Brady (2013) [A]
- Part 4: Implementing Idris [mirror] [01:11:29] by Edwin Brady (2013) [A]

Java & Android

Java in 2018: Change is the Only Constant [00:27:08] by Mark Reinhold (2018)
Modules in One Lesson [00:51:17] by Mark Reinhold (2017)
g ∘ f patterns [00:50:44] by Mario Fusco (2017)
Parallel and Asynchronous Programming with Streams and CompletableFuture [02:34:29] by Venkat Subramaniam (2017)
A JVM does that??? [00:51:58] by Cliff Click (2016)
Optional - The Mother of All Bikesheds [00:58:42] by Stuart Marks (2016)

4 JVM Web Frameworks in 40 Minutes [00:58:38] by Joe Kutner (this is actually for a few JVM languages, not only Java) (2015)
A Few Ok Libraries [01:09:20] by Jake Wharton (2015)
Fast as C: How to write really terrible Java [00:51:42] by Charles Oliver Nutter (2015)
New Concurrency Models on the JVM: Fibres, Verticles, Agents and Actors [01:03:01] by Lutz Hühnken (2015)

Common crypto mistakes in Android [00:48:44] by Isaax Potoczny-Jones (2014)
Functional Reactive Programming with RxJava [00:49:27] by Ben Christensen (2014)
Java 8 Lambda Expressions & Streams [01:43:53] by Adib Saikali (2014)
Java 8 Language Capabilities, What's in it for you? [01:25:28] by Venkat Subramaniam (2014)
Living in the Matrix with Bytecode Manipulation [00:55:01] by Ashley Puls (2014)
Ludicrous Speed: Designing For Performance on the JVM [00:39:54] by Cliff Moon (2014)
Nashorn: implementing a dynamic language runtime on JVM in 2014 [00::44:32] by Attila Szegedi (2014)
Recursion Schemes [01:50:29] by Tim Williams (2014)

JVM Bytecode for Dummies (and the Rest of Us Too [00:50:34] by Charles O.o Nutter (2013)
Java - The Good, Bad and Ugly Parts [00:14:34] by Josh Bloch (2011)
Effective Java; Still Effective After All These Years [01:13:59] by Joshua Bloch (2009)

JavaScript

(There is a good list of talks about JS to be found here)

A Cartoon Intro to WebAssembly [00:29:40] by Lin Clark (2017)
How to effortlessly integrate Three.js into your projects [00:22:00] by Jason Farrell (not as technical as the other *GL talks) (2016)
Learning Functional Programming with JavaScript [00:29:56] by Anjana Vakil (2016)

Angular + React = Speed [00:19:27] by Dave Smith (2015)
Benchmarking JavaScript [00:40:54] by Vyacheslav Egorov (2015)
ECMAScript 6 & Web Components [00:36:11] by Brian LeRoux (2015)
Ember 2.0 [00:40:21] by Erik Bryn (2015)
If you wish to learn ES6/2015 from scratch, you must first invent the universe [00:25:49] by Ashley Williams (2015)
Immutable Data and React [00:31:10] by Lee Byron (2015)
Improving Your Workflow With Code Transformation [00:30:18] by Sebastian McKenzie (2015)
j2me.js - a multi-threaded Java VM in JavaScript [00:44:10] by Andreas Gal (2015)

The first ever presentation on Node.js [00:48:31] by Ryan Dahl (2012)
Crockford on JavaScript by Douglas Crockford (2011) (it's 10 hours long!)
Introduction to Node.js [00:58:18] by Ryan Dahl (2010)

Julia

What's Bad About Julia [00:30:39] by Jeff Bezanson (2019)
The Unreasonable Effectiveness of Multiple Dispatch [00:35:23] by Stefan Karpinski (2019)

Julia as a platform for language development [00:28:20] by Jamie Brandon (2018)

Introduction to Writing High Performance Julia (Workshop) [02:48:30] by Arch D. Robison (2016)
Julia 1.0 [00:29:46] by Stefan Karpinski (2016)
Machine Code [00:38:11] by Jameson Nash (2016)
The Two Cultures of Programming [00:29:40] by Joshua Ballanco (2016)

Convex Optimization in Julia [00:40:12] by Madeleine Udell (2014)
Crossing Language Barriers with Julia, SciPy,IPython [01:11:18] by Stephen G. Johnson (2014)
Python and Julia. Why do we need another language? [00:26:19] by Dwight J. Browne (2014)

Lisp

The Most Beautiful Program Ever Written [01:31:05] by William Byrd (2017)
Lisp [00:56:00] by Igor Wiedler (2014)
Practical Common Lisp [01:12:04] by Peter Seibel (2012)

Objective C

Object-Oriented Programming in Objective-C [00:31:10] by Graham Lee (2015)
RACify Non-Reactive Code [00:24:23] by Dave Lee (2014)

OCaml

Jane and the Compiler [01:03:45] by Yaron Minsky (2018) [A]
Why OCaml [01::06:39] by Yaron Minsky (2016)
Caml Trading [01:12:43] by Yaron Minsky (2012)

Prolog

Production Prolog [00:39:57] by Michael Hendricks (2014)
A Taste of Prolog [00:33:48] by Aja Hammerly (2012)

PureScript

PureScript (Maybe This Time We Get JavaScript Right) [00:44:31] by Bodil Stokke (2014)

Python

(There is a good list of talks about Python to be found here)

A Talk near the Future of Python? [01:01:11] by David Beazley (2019)
Understanding Python Bytecode [00:29:44] by James Bennett (2018)

Grok the GIL - Write Fast And Thread Safe Python [00:41:29] by A. Jesse Jiryu Davis (2017)
The Dictionary Even Mightier [00:47:21] by Brandon Rhodes (2017)
The Python Visualization Landscape [00:33:30] by Jake VanderPlas (2017)
What Does It Take To Be An Expert At Python? [01:52:02] by James Powell (2017)

Builtin Super Heroes [00:42:13] by David Beazley (2016)
Finding closures with closures [00:31:05] by Thomas Ballinger (2016)
Flask for Fun and Profit [01:01:23] by Armin Ronacher (2016)
Machete-mode debugging: Hacking your way out of a tight spot [00:35:13] by Ned Batchelder (2016)
Python and Johnny Cash [00:43:15] by James Powell (2016)
Removing Python's GIL: The Gilectomy [00:32:06] by Larry Hastings (2016)
Statistics for Hackers [00:40:44] by Jake Vanderplas (2016)

Does your stuff scale? [00:24:31] by Steven Holmes (2013)
Introduction to SQLAlchemy [02:48:48] by Mike Bayer (2013)
Learn Python Through Public Data Hacking [02:38:22] by David Beazley (2013)
Loop like a native: while, for, iterators, generators [00:29:15] by Ned Batchelder (2013)
Python 3 Metaprogramming [03:24:00] by David Beazley (2013)
Super Advanced Python [01:38:56] by Raymond Chandler (2013)
Transforming Code into Beautiful, Idiomatic Python [00:48:51] by Raymond Hettinger (2013)

A Python Æsthetic: Beauty and Why I Python [00:46:56] by Brandon Rhodes (2012)
Inside the Python GIL [01:01:03] by David Beazley (2012)
pandas: Powerful data analysis tools for Python [00:34:38] by Wes McKinney (2012)
Python Epiphanies [02:21:44] by Stuart Williams (PDF version/code can be found here) (2012)
Python Metaprogramming for Mad Scientists and Evil Geniuses [00:37:13] by Walker Hale (2012)
Stop Writing Classes [00:27:29] by Jack Diederich (2012)
Understanding the Python GIL [00:46:10] by David Beazley (2012)

pyREtic: Reversing Obfuscated Python Bytecode Live Python Objects [01:00:24] by Rich Smith (2010)
Slightly Advanced Python: Some Python Internals [00:59:36] by Alex Martelli (2008)

Racket

Generic Collections: One Interface to Rule Them All [00:18:26] by Alexis King (2015)
Generic Syntax Expanders and Extensible Macros [00:16:26] by Jack Firth (2015)
Racket: A Programming-Language Programming Language [00:51:42] by Robby Findler (2015)
The Racket Manifesto [00:52:42] by Matthias Felleisen (2015)
Purely Functional 3D in Typed Racket [00:22:15] by Neil Toronto (2014)

Ruby

What Killed Smalltalk Could Kill Ruby, Too [01:00:55] by Robert Martin (2009)
Writing Ruby Like it’s 2018 [00:11:53] by Joe Leo III (2018)

Composition [00:47:55] by James Dabbs (2016)
Halve Your Memory Usage With These 12 Weird Tricks [00:45:30] by Nate Berkopec (2016)
How Are Method Calls Formed? [00:52:16] by Aaron Patterson (2016)
Metaprogramming? Not good enough! [00:36:09] by Justin Weiss (2016)
Methods of Memory Management in MRI [00:48:48] by Aaron Patterson (2016)

Building a binary protocol client in Ruby: A magical journey! [00:30:27] by Trevor Rosen and egypt (James Lee) (2015)
Fun with the Lambda Calculus [00:48:48] by Corey Haines (2015)
How to Performance [00:30:03] by Eileen Uchitelle (2015)
Inside Ruby's VM: The TMI Edition [00:39:10] by Aaron Patterson (2015)
Nothing is Something [00:35:52] by Sandi Metz (2015)
Softly, softly typing [00:44:33] by John Cinnamond (2015)

Refactoring Ruby with Monads [00:30:04] by Tom Stuart (2014)
Speed up Rails, Speed up Your Code [00:41:04] by Aaron Patterson (2014)

A Rubyist in Clojure-land [00:37:50] by David Chelimsky (2013)
Pry - The Good Parts! [00:33:33] by Conrad Irwin (2013)
REPL driven development with Pry [00:39:26] by Conrad Irwin (2013)
Ruby, threads, events ... and Flying Robots! [01:12:54] by Jim Weirich (2013)
That's Not Very Ruby of You [00:36:57] by Ernie Miller (2013)
You Gotta Try This [00:45:12] by Avdi Grimm (2013)

Confident Code [00:31:24] by Avdi Grimm (2012)
Make awesome command line apps with Ruby [00:28:57] by Dave Copeland (2012)
MiniTest: Write Awesome Tests [00:32:27] by Michael J.I. Jackson (2012)
Programming With Nothing [00:40:50] by Tom Stuart (2012)
Y Not - Adventures in Functional Programming [00:53:22] by Jim Weirich (2012)

Rust

Rust at speed - building a fast concurrent database [00:52:53] by Jon Gjengset (2018)
Using Rust For Game Development [00:42:29] by Catherine West (2018)

Building Rocket [00:33:15] by Sergio Benitez (2017)
How I Convinced the World's Largest Package Manager to Use Rust, and So Can You! [00:37:33] by Ashley Williams (2017)
Shipping a Solid Rust Crate [00:22:08] by Michael Gattozzi (2017)

Back to the Futures [00:29:53] by Alex Crichton (2016)
In Rust We Trust [00:45:01] by Alex Burkhardt (2016)
RFC: In Order to Form a More Perfect `union` [00:28:21] by Josh Triplet (2016)
Rusty Runtimes [00:35:30] by Aditya Siram (2016)
Rust: Safe and Scalable Systems Programming [01:00:09] by Alex Crichton (2016)
The History of Rust [00:58:41] by Steve Klabnik (2016)
The /r/playrust Classifier [00:30:34] by Suchin Gururangan & Colin O'Brien (2016)
Using Generics Effectively [00:23:42] by Without Boats (2016)

What Rust can teach us about Ruby [00:34:07] by Steve Klabnik (2015)
Cap'n Proto and Rust: Type Systems for Sharing [00:40:47] by David Renshaw (2014)
Concurrency in Rust [00:31:24] by Alex Crichton (2014)

Scala

Move Over Free Monads: Make Way for Free Applicatives! [00:45:29] by John de Goes (2016)
The Dialectics of Type-Level Programming [00:41:04] by Aaron Levin (2016)

Lawful Asynchronous Programming [01:04:31] by Daniel Spiewak (2015)
Minimizing the Slippery Surface of Failure [00:59:26] by Jon Pretty (2015)
Principles for Modular, Functional, Approachable Libraries [01:32:44] by Erik Osheim (2015)
Run free with the monads: Free Monads for fun and profit [00:22:11] by Ken Scrambler (2015)
Simplifying Scala Collections [00:46:52] by Bill Venners (2015)

How types can turn a SQL interpreter into a SQL compiler [00:40:31] by Tiark Rompf (2014)
Scala Collections: Why Not? [00:45:42] by Paul Phillips (beware: not very optimistic!) (2014)
Concurrency Anti-Patterns in Scala [00:29:53] by Blake Matheny (2013)
Scala Monads: Declutter Your Code With Monadic Design [00:31:22] by Dan Rosen (2012)
Scala Versus Java [01:32:35] by Dan Rosen (2012)
What's Next for Scala [01:15:06] by Martin Odersky (2011)

Scheme

The Nanopass Framework as a Nanopass Compiler [00:52:10] by Andrew Keep (2020)
miniKanren [00:46:23] by Dan Friedman & William Byrd (2013)
Dan Friedman - Cool Ideas [00:57:00] by Guy Steele (2011)

Smalltalk

But Really, You Should Learn Smalltalk [00:28:05] by Noel Rappin (2014)

Swift

Implementing Swift Generics [00:44:37] by Slava Pestov (2017)
Controlling Complexity in Swift — or — Making Friends with Value Types [00:57:45] by Andy Matuschak (2015)
Swift's High-Level IR: A Case Study... [00:55:37] by Joe Groff & Chris Lattner (2015) [A]
Swift Programming Language for JavaScript Developers [00:41:19] by J.P. Simard (2014)
Thinking in Swift [00:24:23] by Abizer Nasir (2014)

Unison

Unison: An Introduction [01:53:49] by Rúnar Bjarnason (2020)
Introduction to the Unison programming language [00:40:58] by Rúnar Bjarnason (2018)
The Unison Language and its Scala-based Runtime by Paul Chiusano (2017)
How to write a search engine in 15 lines of code [00:36:04] by Paul Chiusano (2016)

VimL

Going mouseless with Vim, Tmux, and Hotkeys [00:57:27] by Leeren Chang (2018)
More Instantly Better Vim [00:38:51] by Damian Conway (2013)
Vim - I Wish I Knew How To :q You [00:41:08] by Chris Maiden (not really about VimL, more of a general introduction into vim) (2013)
Write code faster: expert-level vim [00:41:09] by Ben Orenstein (not really expert level) (2012)

Wolfram Language

Inside the Wolfram Language [01:08:53] by Stephen Wolfram (2014)

Zig

Zig – a programming language designed for robustness, optimality, and clarity [00:54:13] by Andrew Kelley (2018)

On theory

Compilers/Interpreters

Computer Graphics and Vision

The Glitching Hour [00:22:17] by Amy Wibowo (2018)
Simit: A Language for Computing on Sparse Systems when Performance Matters [00:58:37] by Fredrik Kjolstad (2016)
Making things with maths [00:53:45] by Steven Wittens (2013)
Making WebGL Dance [00:30:55] by Steven Wittens (2013)
Principles of Lighting and Rendering [01:31:00] by John Carmack (2013)
OpenCV and High-Performance Vision on GPU [02:24:59] by Victor Eruhimov (2012)

Creative Technology

Creative Computation [00:21:00] by Jack Rusher (2019)
Mapping Imaginary Cities [00:40:56] by Mouse Reeve (2018)
Making Games for 1920s Hardware [00:32:21] by Em Lazer-Walker (2018)
Picasso, Geometry, Jupyter [00:30:48] by Ryan Herr (2018)
How to Hack a Painting [00:44:58] by Tyler Hobbs (2017)
The Symmetries of Things [00:26:02] by Tom Hall (2017)
Programming In Time - Live Coding for Creative Performances [00:47:03] by Andrew Sorensen (2014)
Stop Drawing Dead Fish [00:53:32] by Bret Victor (2013)

Databases

Data Science

You can't do data science in a GUI [01:15:18] by Hadley Wickham (2018)
Expressing complex data aggregations with Histogrammar [00:35:02] by Jim Pivarski (2016)
Data as Software as Data [00:40:27] by Andrea Burbank (2016)
Sonification: a Battle on Two Fronts by Martin Keary (2018)
How a File Format Led to a Crossword Scandal by Saul Pwanson (2019)

Data Structures & Algorithms

Debugging

The Hurricane's Butterfly: Debugging Pathologically Performing Systems by Bryan Cantrill (2018)
Tackling Concurrency Bugs with TLA+ [00:30:05] by Hillel Wayne (2017)
Debugging with the Scientific Method [00:49:08] by Stuart Halloway (2015)

DevOps

Pragmatic Automation [00:24:33] by Max Luebbe (2019) [A]
The Future Of DevOps [00:47:49] by Adrian Cockcroft (2016)
How Netflix Thinks About DevOps [00:31:10] by Dave Hahn (2016)
I got 10 trillion problems, but logging ain't one [00:25:17] by John Graham-Cumming (2015)
Your infrastructure is not a unique snowflake, and that's ok! [00:37:39] by Jeremy Edberg (2015)
Demistifying SNMP [00:49:19] by Douglas Mauro (2015)
Salting things up in the sysadmin's world [00:37:21] by Juan Manuel Santos (2015)
Chef Style DevOps Kungfu [01:16:08] by Adam Jacob (2015)

Distributed Systems

Entrepreneurship

Improving Yesterday [00:37:57] by Eric Fode (2019)
How and Why to Start A Startup [00:44:42] by Sam Altman & Dustin Moskovitz (2017)
How to Build a Product (Part IV) [00:51:24] by Jan Koum (2017)
Barely succeed! It’s easier! [00:39:22] by Maciej Cegłowski (2013)
Time Management [01:16:21] by Randy Pausch (2007)

Functional Programming

Game Development

Is There More to Game Architecture than ECS? [00:23:05] by Bob Nystrom (2018)

Hardware

A Taste of GPU Compute [01:05:06] by Raph Levien (2020)
Mill vs. Spectre: Performance and Security [00:46:42] by Ivan Godard (2018)
eMMC hacking, or: how I fixed long-dead Galaxy S3 phones [00:56:07] by Oran Avraham (2018)
A Crash Course in Modern Hardware [00:59:20] by Cliff Click (2016)
The Future of Microprocessors [00:46:35] by Sophie Wilson (2016)
Let's Build a Computer! [00:29:03] by Ryan Davis (2014)

Logic Programming

Constraint Logic Propagation Conflict Spreadsheets [00:33:50] by William Taysom (2015)
Web Testing with Logic Programming [00:39:10] by Daniel Gregoire (2015)
Challenges for Logic Programming [00:40:45] by Steve Miner (2013)

Machine Learning

Building the Software 2.0 Stack [00:30:08] by Andrej Karpathy (2018)
Machine learning is not the future [00:38:59] by Rajat Monga (2016)
Neural Nets for Newbies [00:30:57] by Melanie Warrick (2015)
From the Lab to the Factory: Building a Production Machine Learning Infrastructure [01:04:27] by Josh Wills (2014)
The Unreasonable Effectiveness of Deep Learning [01:07:24] by Yann LeCun (2014)
The Unreasonable Effectiveness of Data [01:02:56] by Peter Norvig (2011)
Automatic Algorithm Invention with a GPU [01:02:04] by Wesley Faler (2011)

On Languages

On the Industry/Community

Operating Systems

Extended BPF: A new software type [00:31:03] by Brendan Gregg (2019)
Learning the Linux Kernel with tracing [01:07:24] by Steven Rostedt (2018)
You can be a kernel hacker! [00:33:31] by Julia Evans (2014)
Python, Linkers, and Virtual Memory [00:31:15] by Brandon Rhodes (2012)
The Origins of Linux [1:25:12] by Linus Torvalds (2001) [A]

Performance Engineering

Performance Matters [00:42:14] by Emery Berger (2019)
Software Performance: A Shape Not a Number [00:31:59] by Kay Ousterhout (2018)
Xi: an editor for the next 20 years [00:53:20] by Raph Levien (2018)
Designing for Performance [00:50:17] by Martin Thompson (2015)

Programming Language Design

Program Synthesis

Liquid resource types for verification and synthesis [01:05:13] by Nadia Polikarpova (2020)
Type-Driven Program Synthesis [00:39:39] by Nadia Polikarpova (2018)
Barliman: trying the halting problem backwards, blindfolded [00:36:13] by William Byrd & Greg Rosenblatt (2016)

Research

How to Give a Great Research Talk [00:58:41] by Simon Peyton Jones (2016)

Robotics

No, Really... Robots and JavaScript?! [00:36:26] by Raquel Vélez (2015)
Robots: You're Still Doing It Wrong [00:49:51] by Katy Levinson (not very formal, DefCon) (2012)

Security

Software Development

System Architecture

Testing

Backtracking Generators for Random Testing [01:03:30] by Benjamin Pierce (2020) [A]
Testing the Hard Stuff and Staying Sane [00:47:16] by John Hughes (2014)

Theoretical Computer Science

Category Theory for the Working Hacker [00:50:51] by Philip Wadler (2016)
Impossible Programs [00:50:06] by Tom Stuart (2015)
A Lever for the Mind [00:38:54] by Tom Stuart (2015)
Papers We Love: An Axiomatic Basis for Computer Programming [01:04:32] by Jean Yang (2014)
Lambda Calculus Then and Now [00:30:08] by Dana S. Scott (2013)
Turing and the Riemann zeta function [01:06:54] by Andrew Odlyzko (2012)
Programming the Turing Machine [01:06:10] by Barbara Liskov (2012)
Church's Coincidences [01:03:41] by Philip Wadler (2012)

Type Theory

Type Theory and its Meaning Explanations [00:52:23] by Jon Sterling (2015)
Papers We Love: On the Meanings of the Logical Constants and the Justifications of the Logical Laws [01:24:37] by Joseph Abrahamson (2014)
Papers We Love: The Derivative of a Regular Type is its Type of One-Hole Contexts [01:06:25] by Erik Hinton (2014)

UX/UI

Designing GNOME Mobile Apps [00:35:48] by Tobias Bernard (2019) [slides]
Data Driven UIs, Incrementally [00:36:17] by Yaron Minsky (2018)
Choosing Features [00:23:52] by Kevin Lynagh (2017)
Practical UI physics [00:34:12] by David DeSandro (2015)
We Will All Be Game Programmers [00:29:34] by Hunter Loftis (2015)
User Interface (UX) Techniques [00:51:20] by Janne Jul Jensen (2013)

Web Development

Miscellaneous

Legenda

Candidato
[○] Solo iniziato
[◐] visto solo a metá oppure riguardare
[●] Da concludere
[✓] Finito

Name		Name	Last commit message	Last commit date
Latest commit History 859 Commits
scripts		scripts
README.md		README.md

DavideRagaini/programming-talks

Folders and files

Latest commit

History

Repository files navigation

Contents

Lectures

Programming Languages

Physics

Classical Mechanics

Quantum mechanics

Mathematics

Probability and Statistics

Electronics

Programming Talks

Alpaca

APL

Assembly

Bash

C

Clojure

C++

Crystal

CSS

D

Elixir

Elm

Erlang

F#

Factor

Frege

Go

Hackett

Haskell

Idris

Java & Android

JavaScript

Julia

Lisp

Objective C

OCaml

Prolog

PureScript

Python

Racket

Ruby

Rust

Scala

Scheme

Smalltalk

Swift

Unison

VimL

Wolfram Language

Zig

On theory

Compilers/Interpreters

Computer Graphics and Vision

Creative Technology

Databases

Data Science

Data Structures & Algorithms

Debugging

DevOps

Distributed Systems

Entrepreneurship

Functional Programming

Game Development

Hardware

Logic Programming

Machine Learning

On Languages

On the Industry/Community

Operating Systems

Performance Engineering

Programming Language Design

Program Synthesis

Research

Robotics

Security

Packages