Clearly I have not wasted enough bandwidth and time on livejournal today.

Went climbing with cdinwood, but also ran into Aaron Powers, robots_suck, lambdacalculus, iole200, and some other vaguely familiar people whose names I forgot. Had a grand ol' time. VBs are starting to get consistently boring now, which is very exciting, because it means I'm making progress. V0s are pretty reasonable, V0+s a little bit of a challenge, and a V1 I can do here or there if it's an easy one and/or early enough in the evening before I get tired.