I finally feel like a real programming languages person. I just used unification to solve a problem besides type checking a variant of the lambda cal…

I just put the code for this blog up on github. This gives me another backup and could serve as an example for how to use Hakyll. One more example o…

I enabled IPv6 on the machine hosting this blog a few months ago, but I hadn't actually tested it. In fact, I don't have any other hosts with IPv6 su…

I have a set of scripts (available on github) that I use to generate whole-program LLVM bitcode files. They are used as drop-in replacements for gcc …

This weekend we had our annual chili party (coinciding with the Polar Plunge). In lieu of jumping into a frozen lake, I decided to just make chili. …

Another year, another blog. It seems that I just re-wrote my blog for the third time. The Second Rewrite I never deployed the second rewrite, which w…

It looks like the documentation for my taffybar package is finally being built on Hackage. I am confused because I certainly didn't change anything r…

The other day I saw someone mention Mendeley as a tool for tracking and annotating papers (along with BibTeX entries). I've been impressed so far. I…

Recently I was getting error messages from GHC while building Haskell programs that complain about unknown symbols referring to C++ standard template …

My advisor presented me with an interesting problem the other day. Calling some simple C++ free functions that took C++ objects by value using Python'…