Jason (jcreed) wrote,
Jason
jcreed
Finally got around to seriously proofreading this paper I'm supposed to be working on. I keep telling myself that I ought to remember that I like this stuff, but it's not very effective. I really don't like this project much anymore. It's not just that it's hard, it's a mess. It's gross and disorganized, and it has little pointy bits sticking out at all angles, and I don't see any way of making it not. Anyway, I found a bunch of silly little errors, and was not totally unsuccessful at paging back in some large swaths of ideas contained in it. Still so hard to fight off the disgust and despair.

In the meantime I will keep dreaming of that blessed future day when purely formal, mechanized proof composition and checking is practical and convenient, and I will never have to feel this horrible, sinking lack of confidence in sprawling manual proofs again.

Also there will be flying cars, then.
Subscribe

  • (no subject)

    Didn't sleep well. Long day of work. Dinner with akiva at hanamichi.

  • (no subject)

    K was going to do a thing for her dad's birthday, but scheduling kept slipping and slipping so I guess we're going to try doing it tomorrow instead.

  • (no subject)

    Had a pleasant lunch with paul and gabe back from working-at-facebook times. Discussed the important issues of the day, by which I mean video games…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    switch
    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    Help
  • 5 comments