Heresy

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 …

A Hoopl Experience

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

Installing llvm-tools

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

New Phone Time

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.…

Presentation Software

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…