[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)