‹ BackHN Continuity

Thread

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

616 points · 327 comments · nicolas-siplis

  1. garrisonj · · focus · HN ↗
    The issue is I’ll have to vibecode all the laws and the laws could be wrong.
    1. drdrey · · focus · HN ↗
      writing specs is hard. For instance the easiest way to comply with "player should never reach the flag" is to disable movement completely, so then you have to specify "player should never reach the flag while still being allowed to move" and so on (liveness). It's not practical for most programs
      1. nottorp · · focus · HN ↗
        That's an old "AI" joke. It went like that:

        They asked a computer how to minimize production expenses at a factory. The computer said: "Do not manufacture anything, expenses will be zero".

        I believe it's been around since expert systems at least.

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.