Jason (jcreed) wrote,
Jason
jcreed

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.
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 4 comments