Jason (jcreed) wrote,
Jason
jcreed

Hah! I think I have completeness of this algorithm actually proved now.

Two major lessons learned:
One, if you have a substitution lemma, make for god-damned sure that every last case of it works early, before you need to change a metric fuckton of notation when you realize they don't.
Two, if you have some machinery that satisfies some nice property and you are feeling all smug that you've proved something, make for god-damend sure that it is the property you actually need for the rest of the machinery to work before you need to change a second metric fuckton of notation when you realize it isn't.
Subscribe
  • 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 

  • 2 comments