‹ BackHN Continuity

Thread

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

616 points · 327 comments · nicolas-siplis

  1. shantnutiwari · · focus · HN ↗
    Yeah, but this assumes the llm will follow the "Laws". I find llms routinely ignore steering docs etc, even outright instructions. Like "Dont use python", next line it is trying to use Python.

    Seems to me the llm will just try to work around the "laws"

    1. runeks · · focus · HN ↗
      No, it doesn't assume that. It simply assumes that you can verify whether or not the LLM's implementation adheres to the laws you defined up-front — which it does not if it modified the laws.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.