Jason (jcreed) wrote,
Jason
jcreed

After some heroic bug-hunting and optimizing, our theorem prover passes all 81 tests - even the ones that we had formerly left out because they were too slow - in about 5 seconds when compiled with MLton. It even proves
&exist x. 2 * 2 = x
Amazing, I know! (x = 4)

So there's a lunch Frank organized for tomorrow for all of us in the class to discuss our projects. After that, at last, the semester's over for me.
Subscribe

  • (no subject)

    Guy from Seattle team we've been working with showed up today at work; no matter how much I'm generally comfortable working with remote teams (and I…

  • (no subject)

    After getting home from work immediately appeared to be a traintastrophe in the making, went to see Esther Schor talk about her book "Bridge of…

  • (no subject)

    Something that's bugged me for a long time is this: How many paths, starting at the origin, taking N steps either up, down, left or right, end up at…

  • 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 

  • 18 comments

  • (no subject)

    Guy from Seattle team we've been working with showed up today at work; no matter how much I'm generally comfortable working with remote teams (and I…

  • (no subject)

    After getting home from work immediately appeared to be a traintastrophe in the making, went to see Esther Schor talk about her book "Bridge of…

  • (no subject)

    Something that's bugged me for a long time is this: How many paths, starting at the origin, taking N steps either up, down, left or right, end up at…