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.
                  2. LightMachine · 1789761381 · focus · HN ↗

                     no, that's a good question. half of the point of HVM is to be an incredibly fast evaluator, in the "raw speed" sense. the other is to be an incredibly fast evaluator, in the "asymptotical" sense. in the first sense, Bend2 supersedes HVM. in the last sense, HVM is still king. on higher order computations that involve λ-calculus and the like, nothing beats the HVM. but I also realize most people aren't doing λ-calculations. so, Bend is made for the general public and lower-order programs, while HVM remains for the niche group of researchers and λ-calculus enthusiasts

Unofficial Hacker News client; not affiliated with Y Combinator.