‹ BackHN Continuity

Thread

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

616 points · 327 comments · nicolas-siplis

  1. sajithdilshan · · focus · HN ↗
    > In the post-AGI economy, humans will eventually stop writing and reading code

    I agree about the writing part, but not sure about reading though. The purpose of code is not only fulfilling functional aspects, it has to fulfil certain non-functional requirements as well.

    As an example the requirement is to find the smallest number in an array, how would this enforce the algorithm used to find that is the fastest and efficient one

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.