My computer hates me!

I have to rant about this.
A few weeks ago I got a brand new Acer Aspire 6920. It was way shiny. I installed Ubuntu (my first try with Ubuntu; I was a gentoo guy previously) and Vista and spent two days getting everythng just right. I was especially happy getting XMonad working [...]

General Update

My brand new Acer laptop’s video card died a few days ago. The computer still worked, I just couldn’t see anything. So, while it’s being fixed, I’m back to using my old piece of junk which refuses AC power while turned on. It has an old battery, so I’m limited to about [...]

The problem with Coq

I’ve written about an idea for a graphical interface to dependent types before. I just played with Coq a little bit, and it’s really fun. I spend 45 minutes proving that every number can be written as either 2n or 2n+1. A feeling of accomplishment washes over me as I finish proving [...]