Arg, variable capture is sneaky.
Need to get around to syncing frankfurt.
Got TeX macros for commutative diagrams! Woohoo!
Guy from Seattle team we've been working with showed up today at work; no matter how much I'm generally comfortable working with remote teams (and I…
Didn't sleep well. Long day of work. Dinner with akiva at hanamichi.
Sean's back in town --- good fun working with nonremote teammates.