‹ BackHN Continuity

Thread

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

616 points · 327 comments · nicolas-siplis

  1. lr0 · · focus · HN ↗
    How is that better than just writing tests and running them in any other language, let's say Go?
    1. hei-lima · · focus · HN ↗
      Tests aren't proofs.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.