At the Westlake mall getting lunch, I saw:
- A crazy guy with a cowboy hat and a pet iguana perched on his shoulder.
- A girl who was kind of cute except she had creepily Paul-Atreides-blue eyes. Seriously. Human eyes should not seem to glow like that. To forestall the obvious question, no, I did not ask her if she wanted to "control my spice, if you know what I mean".
- A street band consisting of two guys, one who played acoustic guitar and foot-operated snare drum, and one who played accordion and harmonica.
Had a good chat with Brigitte, and a very brief one with Karl who was busy looking over Steve Zdancewic's shoulder over some Twelf proof. The rumor according to the former is that MTeX is getting ever closer to being practically usable.