But: oh-em-gee why didn't anyone tell me about the handbook of automated reasoning? Such delightfully clear and more or less from-first-principles explanations of a lot of things I've been hazily curious about for a long time. Good books make me feel smart.
Also, databases happened. Went over z-ordering, and cute fractal space-filling-curve stuff. There was an 'optimization' introduced that perplexed me, since it seemed like it could be completely winfully circumvented by merely allowing a richer interface to the B-tree code, namely generalizing to queries on trees of intervals. Maybe I will figure out why this alternative optimization is(n't) a good idea as I do the homework.
So I actually read that Pientka-Pfenning paper today, too.
And, lincoln3 and I got the m4d clean on, yo. Tub and toilet, bathroom floor, kitchen, vacuumed the downstairs, and took out a whole crapload of trash. Very satisfying to defilthify so.