Katrina Ligett is in town today and tomorrow and we had a great long rambling conversation about various researchy things. I'm cautiously optimistic about implementing in our type system (or some reasonable future variant of it) the more advanced crazy private algorithms she and her collaborators have been working on. Had a meeting afterwards with Benjamin and sorted out some issues with the IFCP paper intro. Sometimes it feels like I'm never ever ever done revising a given piece of text, but I think it's gradually making progress towards convergence.
Caught up on the latest episode of Lost. Boy does it ever keep figuring out new ways of turning up the intensity.