‹ BackHN Continuity

Thread

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

616 points · 327 comments · nicolas-siplis

  1. mantovanidaniel · · focus · HN ↗
    .
    1. developedby · · focus · HN ↗
      The benchmarks: <a href="https:&#x2F;&#x2F;github.com&#x2F;bendlang&#x2F;bend&#x2F;tree&#x2F;main&#x2F;bench" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;bendlang&#x2F;bend&#x2F;tree&#x2F;main&#x2F;bench

      The script we use to run them on our servers: <a href="https:&#x2F;&#x2F;github.com&#x2F;bendlang&#x2F;bend&#x2F;blob&#x2F;main&#x2F;gates&#x2F;perf.ts" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;bendlang&#x2F;bend&#x2F;blob&#x2F;main&#x2F;gates&#x2F;perf.ts

    2. hei-lima · · focus · HN ↗
      Read the damn code and readme, for god&#x27;s sake!
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.