• Building an Anagram Solver

  • Staged programming in Scala 3

  • Type class derivation in Scala 3

  • Reinforcement learning in Scala [with LambdAle slide]

  • N things Scala should steal from other languages

  • Reinforcement learning in Scala

  • sbt-explicit-dependencies

  • Intro to Nix

  • Programming trick shots

  • Massaging case classes with shapeless

  • Bring Your Own Effect - Scalar 2018

  • Architecting a web application in a functional style

  • Bring Your Own Effect

  • Idris for Scala developers

  • Gödel's incompleteness theorems

  • why a monad is a monoid in the category of endofunctors

  • Google auth

  • My first CloudFormation

  • [long version] Meta-program and/or shapeless all the things! (ScalaMatsuri)

  • Meta-program and/or shapeless all the things! (ScalaMatsuri)

  • Meta-program and/or shapeless all the things! (LSUG)

  • Toward more dynAMIc deploys

  • Real world functional Scala

  • Good news

  • @inline and @specialized - Scala Days Berlin 2016

  • @inline and @specialized - Scala Days NY 2016

  • A deep dive into scalac - ScalaMatsuri 2016

  • A deep dive into scalac - Scala eXchange 2015

  • A deep dive into scalac - Amsterdam 2015

  • A deep dive into scalac - Scala World 2015