Went to type theory. Karl discussed N-ary products sum types void type yadda yadda yadda. Don't they teach this in undergrad? Sheesh. Everyone should be a PL weenie!
Worked on complexity theory homework. More difficult than I thought when I looked at it earlier, but then again more interesting than I thought, too. These are still the most rewarding homeworks I've had for a class in some time. It is actually genuinely satisfying pretty frequently to figure out the solutions.
D&D. Some stuff happened. Killed an earth elemental. Wandered around and talked to people. I feel very guilty about my attention span. Much doodling and thinking about complexity theory.
Went to Joe Mama's. Tasty, cheap food, good friends, bad puns. But few other things I ask from life.
