My advisor recently pointed me to an article in the ACM Queue about a familiar topic: interoperability between programming languages. My research for…

As you can see, this post is late. Very late. PLDI was in June. At least I posted this in the right year. I had some trip notes but never got arou…

This blog is built on hakyll, a static site generator written in Haskell. I have been running on Hakyll 3.x for quite some time now, but Hakyll 4 was…

After 22 (or was it 23?) years of formal education, I am no longer a student. I defended my dissertation on August 9 and deposited it on August 20. …

Over the years, I have tried many different "project management" libraries for emacs -- enough that I do not even remember which ones. I do …

Notes on vim It seems that my extended vim experiment has come to an end. I did not mind modal editing and I appreciated the rich language of "t…

Right after my hoopl experience in February, I meant to write more about GADTs and how I have found them to fit into API design. Obviously, I got a b…

Luckily, I did not write an RSS reader - I just started using a new one. I had been using newsbeuter (the mutt of new readers). It is actually pretty…

It looks like my problem with bold terminal fonts was a false alarm. The vim theme I was testing with (Tomorrow) seems to only use bold keywords in g…

I've been using Adobe Source Code Pro as my primary font for a while. The other day I tried to update from 1.013 to 1.017 for no particular reason; t…