I have been running Debian unstable on my machines for years reasonably happy. Living on the bleeding edge is slightly exciting. Having maximally up…

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…