Research talks I've watched and enjoyed them. A few of them are available on this YouTube playlist.
- Adventures with Types in Haskell (1-4) by Simon Peyton Jones
- Compiling the Web – Building a Just-in-Time Compiler for JavaScript by Andreas Gal @ MSResearch 2008
- Let's take machine learning from alchemy to electricity by Ali Rahimi @ NIPS 2017
- On Characterizing the Capacity of Neural Networks using Algebraic Topology by William Guss @ MSResearch 2018
- Stabilizer: Statistically Sound Performance Evaluation by Emery Berger @MSResearch 2013
- The Tensor Algebra Compiler by Fredrik Kjolstad @MSResearch 2017
- Category Theory for the Working Hacker by Philip Wadler @ Lambda World 2016
- "Propositions as Types" by Philip Wadler @ Strange Loop 2015
- The Resurgence of Software Performance Engineering by Charles E. Leiserson @MSResearch 2016
- How to Write a Great Research Paper by Simon Peyton Jones