###Talks
This is a list of videos I'd recommend watching.
####Haskell
- Brian Beckman - Don't fear the Monad
- Bartosz Milewski - Haskell and C++ Template Metaprogramming
- Bartosz Milewski - Understanding C++ Concepts through Haskell Type Classes (part 1, part 2)
- Tom LaGatta - Category Theory
- Ranjit Jhala - Liquid Haskell
####Agda
####C++
- Andrew Sutton - Generic Programming with Concepts Lite (part 1, part 2)
- Sean Parent - Programming Conversations Lecture 5 (part 1, part 2)
####Other
- Gary Bernhardt - Wat
- Bryan Lunduke - Linux Sucks
- Damian Conway - Temporally Quaquaversal Virtual Nanomachine
- Brian Fitzpatrick, Ben Collins-Sussman - The Myth of the Genius Programmer
- Robert Martin - Architecture: The lost years
- Gabe Zichermann - Fun is the Future: Mastering gamification
- SIGGRAPH University - An Introduction to OpenGL Programming