He loves both building things other people use and thinking about how and why the things he builds work, and like many other people, has discovered that the best way to learn is to try to teach, so he led a workshop on formal logic at the Scala World conference in 2015, which he later re-recorded as a screencast (https://www.youtube.com/watch?v=1KWcuhX-QTg); he discussed Type Systems: The Good, The Bad, and The Ugly (https://www.youtube.com/watch?v=SWTWkYbcWU0) at the Strange Loop conference in 2014 with Amanda Laucher; and he discussed Types vs. Tests: An Epic Battle? (http://www.infoq.com/presentations/Types-Tests) at the Strange Loop conference in 2012, also with Amanda Laucher.