‹ 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. fooker · · focus · HN ↗
      Perhaps when you don't understand something, your first step should be trying to understand it?

      Especially when it is something other smart people have been advocating.

    2. 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. lolakutty · · focus · HN ↗
          Hey, I think one could have built airplanes even if they never went to school.
        2. 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.