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)

    Cat vs. Fence. WHO WILL WIN? Cat is very agile, but... In other news, Lulu copy of thesis just arrived today, and it looks great! Score one more…

  • (no subject)

    Ok, kids, if you want to blow $40+shipping on a color* copy of my thesis I'm not stopping you. *The cover is color no matter what, but this version…

  • (no subject)

    Recently constructed things: First attempt at Lulu-ing thesis. I have ordered a copy for myself to make sure it looks ok. Made a song with tom7…

  • 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