Jason (jcreed) wrote,
Jason
jcreed

Spent a good chunk of yesterday and today trying to hunt down a bug in our theorem prover that showed up since the deadline passed. I found the cause -- it's in contraction again: the scope of quantification of the evars isn't extending correctly to the noncontracted hypotheses -- but I haven't been able to fix it yet.

Advisor meeting went okay, talked about random things.

I spent a couple hours getting consumed by tom7's game escape, designing a level for it, Laser Paranoia. One is supposed to be able to register online and swap levels from within the game, but I haven't been able to get that working yet.
Subscribe

  • (no subject)

    Slept terrrrrribly last night, don't know why. Woke up about 1-2am, and felt an increasing hard-to-break cycle of anxiety, stomach feeling like crap,…

  • (no subject)

    Apartment move finally completely done! Lugged air conditioner from old apartment to new, delivered bookshelf I didn't want to akiva, downstairs…

  • (no subject)

    Upstairs had a party, so the noise level was unfuckingbelievable. We went to the New Museum, was quite impressed by the Jim Shaw exhibit.

  • 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 

  • 1 comment