Thread

1. LightMachine · 1789679503 · focus · HN ↗

   Hi, I'm the author.

   HN staff: someone posted before me. Could we change the title to "Bend - a language that blocks AI mistakes via proof and runs on GPUs"?

   Everyone: feel free to ask any question, but I'd be highly appreciative if you could be a bit civilized and respectful this time. I've worked on this for 1 year, nearly 16h/day, 7 days a week, and I'm giving it for free. You need not to use it. So, I'd be thankful if you could point occasional failures politely rather than throwing me in a lava pit.

   Thank you!

   1. mathisfun123 · 1789682825 · focus · HN ↗

      what happened to your other project? HVM?

      1. LightMachine · 1789683356 · focus · HN ↗

         Surprise - HVM has been reimplemented in Bend 2.

         You can find it on Bend's demo directory in our GitHub.

         Don't tell anyone though!

         1. mathisfun123 · 1789683545 · focus · HN ↗

            i'm asking you what happened to HVM that it needed to be reimplemented as Bend.

            1. LightMachine · 1789685090 · focus · HN ↗

               It didn't "need to", it just evolves by rewrites as I learn (the project is fairly small) so in the latest rewrite I choose Bend!

               1. rowanG077 · 1789744720 · focus · HN ↗

                  That sounds like it's dead? The entire point of HVM as I understand was to be an incredibly fast evaluator. If bend2 does not use what right to exist does HVM still have?

                  1. douglasisshiny · 1789745931 · focus · HN ↗

                     >If bend2 does not use what right to exist does HVM still have?

                     What? This is such a weird comment.

                     1. rowanG077 · 1789755596 · focus · HN ↗

                        HVM was too be a highly parallel extremely efficient language target. Bend has taken that place in their ecosystem. I don't think that's weird question were that leaves HVM.

Unofficial Hacker News client; not affiliated with Y Combinator.