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. randomblock1 · 1789680273 · focus · HN ↗
  Multiple times, even. Still no real reason why. <a href="https://github.com/bendlang/bend/activity?ref=main" rel="nofollow">https://github.com/bendlang/bend/activity?ref=main
  One time they force pushed and erased everything except a 2-line README... on purpose.
  Pre-obliteration version: <a href="https://github.com/bendlang/bend/tree/814453670d0e0d6777c1313c972764dba0491b7f" rel="nofollow">https://github.com/bendlang/bend/tree/814453670d0e0d6777c131...
  1. LightMachine · 1789681480 · focus · HN ↗
    There is just a lot of private data and even proprietary code (like SupGen) in the commit story, so I just squashed it. I didn't think that'd be an issue? Why?
    LightMachine · 1789699265 · focus · HN ↗
    Commit history is back!

Unofficial Hacker News client; not affiliated with Y Combinator.