‹ BackHN Continuity

Thread

Bend – a language that blocks AI mistakes via proof and runs on GPUs

616 points · 327 comments · nicolas-siplis

  1. mpweiher · · focus · HN ↗
    > humans will eventually stop writing and reading code,

    “Since FORTRAN should virtually eliminate coding and debugging…” -- FORTRAN report, 1954

    <a href="http:&#x2F;&#x2F;www.softwarepreservation.org&#x2F;projects&#x2F;FORTRAN&#x2F;BackusEtAl-Preliminary%20Report-1954.pdf" rel="nofollow">http:&#x2F;&#x2F;www.softwarepreservation.org&#x2F;projects&#x2F;FORTRAN&#x2F;BackusE...

    1. [deleted] · · focus · HN ↗

      [deleted]

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.