Talks
I've given (and I will continue to give) a number of technical talks, mainly on Haskell. This is a tentative list of all of them.
-
Liquid Haskell as a GHC Plugin
Presenting Liquid Haskell as a GHC plugin rather than a separate executable, enabling tighter integration with the compiler pipeline.
-
Scalable & Reliable Video Transcoding in Haskell
Lessons learned building a fault-tolerant, distributed video transcoding system in Haskell at Iris Connect.
-
Life Beyond Lambdas
In Italian. A journey beyond basic lambda calculus into practical functional programming.
video italian -
Using Haskell Professionally
A talk about using Haskell in a professional, production setting.