Jason (jcreed) wrote,
Jason
jcreed

Research: Hackity hack hack. The spine soundness lemma is done, but the interface between soundness and the unification algorithm itself is still troubling. Have to specify that more thoroughly tomorrow.
NaNoWriMo: At 6840, just above target (1700x4) for today. Used up my lead by only writing like 1500 words. Not as much momentum any more. Things are definitely getting harder to push forward. Tomorrow, though, the religious character's turn comes up for a chapter. He's guaranteed fun.

Sally came back from new york today. We all (her, adam, tom, me) went to Kazansky's as per tradition. Have been feeling extraordinarily irritable ever since getting back home.
Subscribe

  • (no subject)

    ICFP contest has got me feeling kind of down about programming. I really don't like the problem this year. I had my hopes up that since they had…

  • (no subject)

    Man, can't people just sit still in a class for an hour? I remain mystified by people who continually, for the entire 80 minute duration of class,…

  • I was once your vassal / You were once my castle

    OH EM FUCKING GEE. I finally figured out that yes, the periodic chirping noise coming from the basement is indeed because there's a battery in the…

  • 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 

  • 2 comments