Higher-Order Virtual Machine (HVM)
Alright, let me be the skeptic here and ask. Honest question, not intending to just dismiss anybody outright. But I have questions.<p>I&#x27;ve looked up Victor Taelin and his HighOrderCo company that supposedly just raised $4.5M. So here we have this Brazilian guy who graduated university in 2017, and I don&#x27;t mean that in a bad way. It&#x27;s just a fact, a data point. Fresh ideas are always welcome. From his Twitter feed seems to be deeply into the crypto space. He is over- or at least heavily upselling this HVM project as the future of computing. Lots of fuzz about interaction nets and linear logic and that this is the next thing after Turing Machines and Lambda calculus. Ok, strong claims. It makes me a tad suspicious though. Outperforming GHC? Running a new chain that&#x27;s not a chain so it&#x27;s not a crypto currency, but somehow it&#x27;s a chain, but it&#x27;s formally verified, hm, ok. And how can he strongly claim this to be the superior thing if he just announced how to model complex numbers in his HVM project, and that GPT-4 helped him get this insight? I&#x27;d have expected Clifford Algebras to be basic knowledge for everybody working in this space.<p>I&#x27;m only superficially familiar with ETH, with Haskell&#x27;s GHC, with Rust, with HOTT. But, I&#x27;d like to hear from people who know more than I do, and who are not already obvious fanboys of HighOrderCo with submarine PR interests -- how much weight should I put into this? Is it worth reading about, getting my head busy? I&#x27;ve spent an hour now trying to check up on things, but apart from a lot of fluff and quite a lot of technical jargon that went above my head, I&#x27;m left confused.<p>Is there something or is this just supposed to confuse me to get into the next scam?<p>Edit: Just to add to this. <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=35344514" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=35344514</a> discusses an article written about the underlying tech. It&#x27;s a terrible article on the level of a newcomer to programming who doesn&#x27;t know much about functional programming and even admits as much. Victor Taelin comments with &quot;Very well written and beautiful article.&quot; This must be a scam. I&#x27;ll stop wasting my time on this until somebody manages to convince me otherwise.