Leveraging GHC's CSE to optimise complex pattern matching

Using Template Haskell to derive the structure of records and simulate structural subtyping

A ROX on self-hosting media and how it impacted the way I consume multimedia

Packed Data x Haskell = Portable(Type-safety + performance)

'Reimplementing' data-reify for GADTs

Going through the implementation of support for Videos in Meelo

How the project came to be & what the original goals were