This userpic of
--
Oh, it seems to be a queen-of-wands-ism somehow. I still don't get the h-aaaiiggh! bit.
--
Here's the original. "H-aaiigh" is the sound of having your leg chewed off by a monkey? I think?
Snuck up to LICS to see what was going on in the world of logic a tiny bit. Listened to a talk about Buchi automata and the linear-time mu-calculus,…
Went to this Center for Network Programming miniconference thing that was being held on the "Cornell Tech Campus", which temporarily = "3rd floor of…
Had a nice dinner with some !!con folks. Really too bad I couldn't go to the actual conference, looks like it was a great time. Oh well - will try to…