- Duality and How to Delete Half (minus ε) of Your Code – video – Typelevel Summit – Boston, MA, USA – 2018–03-??
- Category-parametric Programming – video – Scala.io – Lyon, FR – 2018–10–30
- Duality and How to Delete Half (minus ε) of Your Code – video – Scale By The Bay – SF, CA, USA – 2018–11–13
- The Monoiad – video – Typelevel Summit – Philadelphia, PA, USA – 2019–03–??