Thread

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

616 points · 327 comments · nicolas-siplis

plastic041 · 1789694610 · focus · HN ↗
This project's repo has 20K stars with only 500 forks, with less than 300 issues(including closed). Something's not right.
Compared to other programming languages:
- Gleam: 22K stars, 1K forks, 3K issues
- V: 38K stars, 2.3K forks, 11K issues
- Ruby: 23K stars, 5.6 forks, 19K issues
- Zig: 43K stars, 3K forks, 14K issues
It got 16K stars just in 4 months too. <a href="https://www.star-history.com/?repos=bendlang%2Fbend" rel="nofollow">https://www.star-history.com/?repos=bendlang%2Fbend
Also how would anyone trust this? I've never seen a programming language that doesn't have 1) changelogs 2) way to download older versions 3) commit history.
I don't understand why the author thought deleting the commit history was a good idea. Imagine seeing this project for the first time. It's a repo with 20K stars, but no commits, and suspiciously few issues and PRs. It doesn't look legitimate.
---
I'm not familiar with academic procedures, but a pdf on a repo, written by Fable and has no reviews, doesn't seem like a proper 'paper' to me.
1. LightMachine · 1789697411 · focus · HN ↗
  I honestly had no idea people would be so upset about commit history. I just wanted to avoid leaking sensitive info, that's all. I'm running through the commits to ensure nothing personal leaks and I plan on putting the history back.
  Also Bend's stars came on the V1 launch. This is V2. It already had 20k before.
  1. plastic041 · 1789698089 · focus · HN ↗
    > Also Bend's stars came on the V1 launch. This is V2. It already had 20k before.
    This is the reason you should not reomve your commit history. How would anyone know that there were V1, and it was already popular?
    If you need to remove sensitive data, you should use tools like git-filter-repo.
    - <a href="https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/removing-sensitive-data-from-a-repository" rel="nofollow">https://docs.github.com/en/authentication/keeping-your-accou...
    - <a href="https://github.com/newren/git-filter-repo" rel="nofollow">https://github.com/newren/git-filter-repo
    LightMachine · 1789699218 · focus · HN ↗
    Commit history is back!
  2. ktm5j · 1789738686 · focus · HN ↗
    Unfortunately there's so much dishonesty and manipulation happening on the internet as of late, I feel like we've all become a bit distrustful of anything at first glance. I wouldn't take it personally. Best of luck with your project.
    nottorp · 1789743452 · focus · HN ↗
    If you're distrustful of anything, why do you trust the number of git stars? It's something easily botted after all.
    ktm5j · 1789996976 · focus · HN ↗
    Who said that I do trust that?

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.