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)

    "Snowed in" in the sense that the office was preemptively closed, and the subways were still not running in the morning, but we got totally spared.…

  • (no subject)

    Snowing a bit; last I looked about an inch had settled on the ground. Supposed to get a foot or so overnight. I'm trying to reconcile the general…

  • (no subject)

    Puttered around the apartment most of the day since it was pretty ugly and cold outside. Read some interesting things about asynchronous circuits and…

  • 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