total eclipse of the heart

After a substantial amount of poking, prodding, and googling, I've nearly gotten Eclipse to work on Ubuntu. Basic java compilation seems to be in order, and the ACL2 plugin has been remarkably well-behaved thus far. The true acid test will come when I try to hook up to the Orc CVS repository. If that works, I might actually be able to get a lot of work done at home.

I've tried as hard as possible to put all the major time sinks and useless web cruft on the Windows side, purifying the Linux side until only productivity remains. In reality, no mere artifice will stop my enormous propensity for slacking, but at least I tried.

I would very much like to just sink my teeth into this project and work on the Orc implementation obsessively, but there are still a couple of loose ends to this semester. I still have no fracking clue what I'm going to do this summer, and since my lease runs out at the end of May, and I'm not getting paid just to exist for three months, it would be nice to have a clue by that point. (Wouldn't that be nice....to get paid just for existing? I wonder who has that job.)

Also, fuel for the flames: Gnome vs. KDE. I dunno. I started with Gnome. I kinda like KDE, but I also kinda hate it.

submitted for your disapproval

Oh! I almost forgot:

Wherein Our Intrepid Hero's Name Appears On A Paper. We just submitted that to CONCUR last weekend. Unfortunately, I have no idea when we hear back about it.