[HN Gopher] Interaction Nets, Combinators, and Calculus - HVM
       ___________________________________________________________________
        
       Interaction Nets, Combinators, and Calculus - HVM
        
       Author : erlend_sh
       Score  : 45 points
       Date   : 2023-03-28 17:17 UTC (5 hours ago)
        
 (HTM) web link (zicklag.github.io)
 (TXT) w3m dump (zicklag.github.io)
        
       | davemp wrote:
       | Unfortunate acronym choice considering the term HVM is already
       | used to refer to Hardware assisted Virtual Machines. [0]
       | 
       | [0]:
       | https://wiki.xenproject.org/wiki/Xen_Project_Software_Overvi...
        
         | andai wrote:
         | I think that's OK. Every time I look up a 3 letter initialism
         | on Wikipedia, I have to scroll through dozens of irrelevant
         | articles to find the one I'm looking for.
        
       | metadat wrote:
       | Discussed today:
       | 
       |  _Higher-Order Virtual Machine (HVM)_
       | 
       | https://news.ycombinator.com/item?id=35336113 (33 comments)
        
       ___________________________________________________________________
       (page generated 2023-03-28 23:00 UTC)