Jason (jcreed) wrote,

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.

  • (no subject)

    migraine or flu or something? Felt very headachey and basically napped the whole day way.

  • (no subject)

    Woke up early feeling more or less great, went to work, got about a half an hour in and acquired a massive migrainey headache, went back home and was…

  • (no subject)

    Still feeling sick somehow, napped most of the evening away.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded