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. LightMachine · 1789680045 · focus · HN ↗
  yes, there's a lot of personal info and AI slop in the commit history.
  is this a problem to you? why
  1. AlexErrant · 1789681967 · focus · HN ↗
    Erm, because it looks weird? Do you know any other language projects that squash their repos down to 1 commit? That's a destruction of trust, which is kinda important if you want people to build on your language.
    Virtually everyone has AI slop in the commit history. No one's judging you for the commit history. Everyone's code smells, but the fact that you're ashamed/hiding it is... odd.
    > there's a lot of personal info
    You should know that force pushing doesn't hide actual commits; it's trivially viewable if someone just iterates <a href="https://github.com/bendlang/bend/activity?ref=main" rel="nofollow">https://github.com/bendlang/bend/activity?ref=main e.g. <a href="https://github.com/bendlang/bend/commit/d184863" rel="nofollow">https://github.com/bendlang/bend/commit/d184863 so like... why bother.
    tehnub · 1789689151 · focus · HN ↗
    I for one don't find it strange at all that he squashed the commit history. I suspect many feel similarly. You've demonstrated that you're quite taken aback by it, but without explaining anything wrong with it. It is not a "destruction of trust".
    AlexErrant · 1789703939 · focus · HN ↗
    I mean... If you wanna build your project on a language that has no auditable history, reproducible builds, artifacts/releases, force pushes and breaks literally EVERY fork/PR, has no way to build or even see v2.0.3, and doesn't have changelogs... then I guess that's cool. You must be a trusting person; I unfortunately am not like that.

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.