Wireless access wasn't as easily available yesterday. Initially they chose to assign the hub a key that was actually longer than should be valid, which confused some wireless drivers considerably (Windows XP refused to acknowledge keys that are the incorrect length or format).

Stephanie's presentation went very well I think. It will be interesting to see whether any of RepLib will be adopted as part of the "standard" generic library for Haskell that Johan Jeuring has proposed. I spent part of the afternoon sitting in on an informal Standard ML evolution meeting. There was not as much emphasis on the process as I had really hoped. After I had to bail I gather a few things were decided at least.

Late last evening I had an idea about how to deal with labeling abstract syntax trees using SML exn's.  There really needs to be a way to create them that doesn't call them "exceptions".

I've been talking with so many people that it is really hard to say anything concrete about that.

I can slip in a little bit about typography even, as I finally saw a demo of Karl Crary's mTeX.  I need to remember to ask Karl about how long it might be before others can start testing it.  I'm not sure how much sense it makes to devote to the future of OCamlTeX and such if mTeX will fill that niche well enough.  In other news, while chatting with Tom7 and some other CMU folks, Tom gave his approval of my ambitions to work on better math fonts.  I'll get back to it really soon now, I promise.

Okay, I should probably start paying attention to Dave's talk.