Type-machine
Using Template Haskell to derive the structure of records and simulate structural subtyping
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