August 22nd, 2008

beartato phd

(no subject)

Lately I've been taking a break from trying to fix my changes to the main Twelf unification algorithm and hacking on type reconstruction for HLF. Made considerable progress today --- fell a little short of the goal I set for this week of actually getting some basic tests to work sort of end-to-end, but I think I might have a shot at it by tomorrow; all I really have left now is some plumbing between twelf and some code I already wrote last year.
beartato phd

(no subject)

Here are a few pictures from Mirvish Day!

0820081732
The table was set with name cards, menus, whimsically diverse forks from _tove's collection, and the all-important spatulas without which no table setting is complete. Note that spatulas are not visible in this picture.

0820081732a
There were fabulous prizes for fanciest pants, cheapest prices, catchiest slogan, best moose impersonation, etc.

0820082045
Tasty foods disappeared quickly. This was just after the vegetarian poutine (oven fries, mushroom gravy, mozzarella curd) was served.