notes on computers and other stuff

Just a quick update. The other day, I pushed a patch to the Haskell base library that will enable kind polymorphism for the Category typ...

Recently on StackOverflow there was a question about controlling inlining phases in GHC. I set out to answer that question, and I decided t...

Phantom types and GADTs are well-known techniques in Haskell for helping build programs that enforce certain kinds of type refinement: they ...

I'll be giving a short talk and presentation on Ur/Web at the next Haskell Hackathon, Hac φ . The talks are scheduled to be between 10-...

I've been meaning to try out Levent Erkok's sbv library, but for a while I couldn't think of anything to write. Now I have, and...

I've finished off a binding to QuickLZ for Haskell, available here . It has a very simple interface and allows you to compress strict b...