• NotAnOtter@lemmus.org
    link
    fedilink
    English
    arrow-up
    0
    ·
    15 hours ago

    It’s a 20/80 rule thing.

    Coming up with a proof is the first 20% of work. Actually checking and validating the proof is the next 80% of work.

    • pigup@lemmy.world
      link
      fedilink
      English
      arrow-up
      0
      ·
      10 hours ago

      I learned it as 80/20 rule where the first 80% of progress is made with 20% of effort, and the last 20% of progress takes 80% of the effort.

      It’s true im many layers deep in it help