Talks

Here you can find all my past talks:

Proofs in Haskell using type-level features and dependent types
April 2019
habito
Python Metaclasses and Descriptors
June 2017
hackerspacegr