‹ BackHN Continuity

Thread

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

616 points · 327 comments · nicolas-siplis

  1. 2bird3 · · focus · HN ↗
    I'd like to see it try and ensure the law "The program must halt"...
    1. nottorp · · focus · HN ↗
      Oh I'm sure OpenAI or Anthropic will vibe disprove Turing any day now!
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.