‹ BackHN Continuity

Thread

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

616 points · 327 comments · nicolas-siplis

  1. plastic041 · · 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:&#x2F;&#x2F;www.star-history.com&#x2F;?repos=bendlang%2Fbend" rel="nofollow">https:&#x2F;&#x2F;www.star-history.com&#x2F;?repos=bendlang%2Fbend

    Also how would anyone trust this? I&#x27;ve never seen a programming language that doesn&#x27;t have 1) changelogs 2) way to download older versions 3) commit history.

    I don&#x27;t understand why the author thought deleting the commit history was a good idea. Imagine seeing this project for the first time. It&#x27;s a repo with 20K stars, but no commits, and suspiciously few issues and PRs. It doesn&#x27;t look legitimate.

    ---

    I&#x27;m not familiar with academic procedures, but a pdf on a repo, written by Fable and has no reviews, doesn&#x27;t seem like a proper &#x27;paper&#x27; to me.

    1. [deleted] · · focus · HN ↗

      [deleted]

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.