Our automated theorem proving project team had a meeting today. We tossed around some various technical issues and divided up the labor into derived-rule generation, subsumption checking, and unification.
Went to a talk after that, which the prof of the AI class recommended as being very useful for the current homework. It totally wasn't. There were a couple of neat demos, but the rest of the talk was excruciatingly boring.
Had dinner at union grill with tom7, heather, laura. Many problems were blamed on hormones. Heather mentioned that beards on guys = not so good. Tom objected, mentioning the time back when he had a beard. Heather was like, "oh, but that was okay, since obviously your beard was a joke". Tom thereafter for like ten seconds solid had on a priceless expression of utter mortification, as if heather had just run his ego through with a salad fork and thought nothing of it.
Went to a talk after that, which the prof of the AI class recommended as being very useful for the current homework. It totally wasn't. There were a couple of neat demos, but the rest of the talk was excruciatingly boring.
Had dinner at union grill with tom7, heather, laura. Many problems were blamed on hormones. Heather mentioned that beards on guys = not so good. Tom objected, mentioning the time back when he had a beard. Heather was like, "oh, but that was okay, since obviously your beard was a joke". Tom thereafter for like ten seconds solid had on a priceless expression of utter mortification, as if heather had just run his ego through with a salad fork and thought nothing of it.