‹ 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. foota · · focus · HN ↗
      Jokes aside, I think the idea is that the law is simple to code, the proof that it holds is where the agent is responsible. This probably becomes less true though as you try to express more complicated laws.
      1. pixl97 · · focus · HN ↗
        Heh, it's like we all need to collectively read I, Robot yet again, and the myriad of SF books on the subjects. Black and white quickly dithers to grey.
        1. burner420042 · · focus · HN ↗
          Indeed

          Robots are logical, but not rational.

          1. Jolter · · focus · HN ↗
            LLM driven agents aren’t even that.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.