During my (ongoing) vim experiment, I found myself missing some of the amenities of haskell-mode for emacs. Namely great syntax highlighting and pret…

Don't tell anyone, but I decided to try to use vim as my primary editor for a week. I have actually used both vim and emacs for years, but I usually …

Introduction I have read about Generalized Algebraic Data Types (GADTs) before, at least as implemented in GHC. The standard type-safe expression eval…

In my last post I neglected to provide installation instructions. For most systems, it should be fairly straightforward: Ensure that dot, llvm-confi…

I realized that I forgot to mention another repository related to my last post: llvm-tools. As the name suggests, this repository contains some usefu…

Introduction I have had the code on github for quite some time, so it seems like I should say something about my LLVM program analysis tools. The pri…

Recently I decided to parallelize part of my set constraint solver ifscs, which I plan to write more about eventually. At one point, the constraint s…

I finally decided to use the power of emacs to automate a task that I perform at least a dozen times per day: converting a snippet of C source code in…

I have been using a Palm Pre (Plus) for a while. It is a great device; the form factor is excellent with a hardware keyboard and I really like WebOS.…

Lately, I have been making my presentation slides with LaTeX beamer. I use SVGs created with inkscape (and my handy wacom tablet) for most diagrams an…