in thread "Higher-order Virtual Machine (HVM). New functional programming VM based on Interaction Nets.": As an old lambda calculus and Haskell guy, I think this is very cool. It would take a ton of effort to realize its potential (as with all PL stacks), but I'll certainly be watching it. It would be incredible to see ASICs optimized for Interaction Networks ... 1y ago (collapse hidden) retry 3 3 As an old lambda cal (view hidden) retry 3 3