Jason (jcreed) wrote,
Jason
jcreed

Woo, 8 pages of almost nothing but inference rules! I love math. Confidence in this particular proof is at an all-time high, but I still owe it to myself to really check that the typing invariants hold up deep in its guts.

This is not the idea from last night; that turned out not to work. This one is a new idea that occurred to me this morning, but the seeds of it have been around in my notes for a few days now, now that I look at them. Somehow I knew that I preferred to get these "answer" data structures in a certain form (with all the case statements on earlier worlds on the outside) but I had been reluctant to just up and define a normalization procedure that put them in that form. Maybe I didn't think it would be feasible --- but I think I've done it now. It constitutes pages three and particuarly four of the write-up.
Tags: math, work
Subscribe

  • (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)

    Thai curry leftovers for dinner. Got a copy of Hennessy and Patterson's textbook on Architecture, and I am enjoying catching up on all the low-level…

  • (no subject)

    K got back tonight, pretty late in subjective time (3-4am or so, coming from europe) but all in one piece. None of her houseplants, which were…

  • 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 

  • 10 comments

  • (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)

    Thai curry leftovers for dinner. Got a copy of Hennessy and Patterson's textbook on Architecture, and I am enjoying catching up on all the low-level…

  • (no subject)

    K got back tonight, pretty late in subjective time (3-4am or so, coming from europe) but all in one piece. None of her houseplants, which were…