October 3rd, 2002

beartato phd

(no subject)

Slept through machine learning. Went to bobclass. More stuff on existential types. Getting pretty intricate. Complexity theory let out early for Wolfram talk. So crowded! I got a seat, near alisadave, by sheer luck. The talk itself was... weird. I remain extremely skeptical that he is actually changing anything, but he's undeniably pretty freaking smart. I liked the trivalent discrete geometry shiz.

Went home to eat waffles, realized I had no apple juice, ordered a calzone instead. Thought more about the negation rule and realized it's admissible if you have the function types, which is why I got counterexample models without them.

Now I'm up really late watching episodes of next-gen with housemates when I should be getting sleep because ICFP is crazy freaking early tomorrow. Oh well.