‹ BackHN Continuity

Thread

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

616 points · 327 comments · nicolas-siplis

  1. AlexErrant · · focus · HN ↗
    <a href="https:&#x2F;&#x2F;github.com&#x2F;bendlang&#x2F;bend" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;bendlang&#x2F;bend

    ...did they just squash the repo to 1 commit for v2.0.4? Why? Yall should know that in this age of AI trust is the real currency... and nuking your history is one hell of a way to raise eyebrows.

    &gt; Enjoy bug-free, fast vibe-coded apps! Hints: ask it to write laws for whatever should never break, and to parallelize everything you want running fast. Bend is young: if anything goes wrong, ask it to open an issue.

    Emphasis mine. I don&#x27;t want to be snarky but like... come on.

    1. icrbow · · focus · HN ↗
      Taelin&#x27;s X is a war story of how the codexes and fables tried to bend it. If you&#x27;re afraid then LLMs were used in there - fear no more - they were.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.