Jason (jcreed) wrote,

Woke up, worked on attacking the problem that Crary posed Thursday in the ConCert group meeting, came up with (I think) a solution, went to advisor meeting, went to Christian Urban's talk, went to my appointment for to talk with him one-on-one, talked a little about the nominal logic stuff and a bit about classical logic, scooted off to get dinner, came back to play Nomic with chrisamaphone, platypuslord, and some people whose lj names I don't know. The Nomic was quite fun; I think it may be the first time I've played a game in person.
Tags: nomic, twelf, work

  • (no subject)

    Hey, tiny red cube of jello, do you wanna go for a WALK?

  • (no subject)

    This snarky programming language design checklist (inspired directly by that classic snarky spam solution checklist) came out of some irc…

  • (no subject)

    groen? Is that you? If not, shouldn't it be, really?

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded