‹ BackHN Continuity

Thread

Anatomy of a Lean proof for software engineers

128 points · 76 comments · abiro

  1. watt · · focus · HN ↗
    This Lean stuff is gibberish and I don't understand why somebody thinks it's going to somehow make things better or simpler to understand.
    1. vouaobrasil · · focus · HN ↗
      The thing is, it's not about making anything easier to understand. It's about padding academic CVs with something new.
      1. poly2it · · focus · HN ↗
        Gosh, all this academic nonsense like nuclear power and airplanes!
        1. watt · · focus · HN ↗
          oh yes, academic proponents of aeronautics like Lord Kelvin and Simon Newcomb ?
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.