In the attach-Twelf-to-crazy-other-stuff department, lincoln3 showed me a prototype Twelf AIM bot. It very nearly worked. I expect it will soon earn a cherished place on my buddy list.
In the evening he, lambdacalculus, wjl and I converged in the clusters for Poster Party 200X, wherein we illustratored up some sweet posters, printed them on cfa-colorlaser with whatever remained of our $40/semester printing quota (at a cost of only $1.50 per full color tabloid sheet, that means about 26 big-ass posters) and taped them up around campus. It was a fun time.