‹ BackHN Continuity

Thread

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

616 points · 327 comments · nicolas-siplis

  1. gigatexal · · focus · HN ↗
    All these skeptics and nobody just tried it out?

    I will later. From what I can tell it looks nice. I like the syntax. I don’t know of the claims but willing to give it a shot.

    The GPU story would it work on my Mac or is it not GPU agnostic?

    1. baq · · focus · HN ↗
      > All these skeptics and nobody just tried it out?

      Welcome to HN!

      May I remind you of the Dropbox comment? <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=9224">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=9224

      1. gigatexal · · focus · HN ↗
        Classic. That comment should be in a museum.
        1. zamadatix · · focus · HN ↗
          Without debating the general topic, I think it&#x27;s important <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=27068148">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=27068148 be shared any time the above is.

          That&#x27;s not to say the comment is perfect or something, but many of the parts people like to dunk on most in it are just misunderstandings, like problems with the &quot;app&quot; being a replies to the YC application info rather than unsolicited notes about the program itself.

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.