‹ BackHN Continuity

Thread

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

616 points · 327 comments · nicolas-siplis

  1. txhwind · · focus · HN ↗
    I&#x27;m interested in how to integrate formal verification with existing software libraries. For example, <a href="https:&#x2F;&#x2F;github.com&#x2F;verus-lang&#x2F;verus" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;verus-lang&#x2F;verus integrates proof with macro in Rust. What&#x27;s the plan for Bend?
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.