switch { case spring: break; }

It's spring break, and I'm in the burgh. I've been attempting to convince myself to do serious work over the past few days, with little success. I did accomplish a few nontrivial tasks, though:

The living room is back in livable order (and currently packed with visitors and housemates watching The Matrix)

Laundry, groceries, housecleaning, and general life maintenance tasks.

The CS lounge is clean! (though mygrane did the better part of the work)

I've written a rough draft of a final project proposal for Cognitive Agents

I've found that there may be a link between my pi calculus research project and jcreed's MELL foo of yore. This bears investigation. (And I needed to learn linear logic anyway, so this is a good start)