Thread

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

616 points · 327 comments · nicolas-siplis

AlexErrant · 1789678730 · focus · HN ↗
<a href="https://github.com/bendlang/bend" rel="nofollow">https://github.com/bendlang/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.
> 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't want to be snarky but like... come on.
1. Banditoz · 1789679721 · focus · HN ↗
  GitHub shows 44 contributors. 41 distinct users have merged pull requests.
  ...so now their work has been reduced to nothing?
  1. developedby · 1789683738 · focus · HN ↗
    Old repo can be accessed here <a href="https://github.com/HigherOrderCO/Bend1" rel="nofollow">https://github.com/HigherOrderCO/Bend1 . I guess we could have it as a branch on the bend2 repo

Unofficial Hacker News client; not affiliated with Y Combinator.