‹ BackHN Continuity

Thread

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

616 points · 327 comments · nicolas-siplis

  1. chaidhat · · focus · HN ↗
    I think this is premise for AI: Lean and formal verification seems more and more important in today's world and I think a variation of programming language like this is bound to win. This, or a library or framework to prove typescript.
    1. LightMachine · · focus · HN ↗
      should I read this as "I wish I could find a guy like you" :')
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.