<story><title>Higher-Order Virtual Machine (HVM)</title><url>https://github.com/HigherOrderCO/HVM</url></story><parent_chain></parent_chain><comment><author>entaloneralie</author><text>I&amp;#x27;ve been following the work you&amp;#x27;ve been doing for a while now, and the culmination of all your progress for the past few years toward HVM, has been very inspirational. Keep up the good work, and best of luck with HighOrderCo. If anyone, reading HVM&amp;#x27;s and Inpla&amp;#x27;s gentle introductions to Interaction Nets, is looking for an overview of Lafont&amp;#x27;s papers and Sato&amp;#x27;s implementation designs, you might enjoy:&lt;p&gt;&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;wiki.xxiivv.com&amp;#x2F;site&amp;#x2F;interaction_nets.html&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;wiki.xxiivv.com&amp;#x2F;site&amp;#x2F;interaction_nets.html&lt;/a&gt;&lt;p&gt;If someone is looking for a graphical playground to experiment with interaction nets, here&amp;#x27;s Sylvain Lippi&amp;#x27;s InTwo(gtk):&lt;p&gt;&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;max22-&amp;#x2F;intwo&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;max22-&amp;#x2F;intwo&lt;/a&gt;&lt;p&gt;Anyone looking to better understand linear logic in the context of IN ought to have a look at Victor&amp;#x27;s Absal:&lt;p&gt;&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;VictorTaelin&amp;#x2F;abstract-algorithm&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;VictorTaelin&amp;#x2F;abstract-algorithm&lt;/a&gt;&lt;p&gt;Someone below linked to Baker&amp;#x27;s excellent linear lisp paper(psi-lisp), I&amp;#x27;d like to augment this recommendation with Linear Completeness theory of combinators:&lt;p&gt;&lt;a href=&quot;http:&amp;#x2F;&amp;#x2F;tunes.org&amp;#x2F;~iepos&amp;#x2F;joy.html#linear&quot; rel=&quot;nofollow&quot;&gt;http:&amp;#x2F;&amp;#x2F;tunes.org&amp;#x2F;~iepos&amp;#x2F;joy.html#linear&lt;/a&gt;</text></comment>
<story><title>Higher-Order Virtual Machine (HVM)</title><url>https://github.com/HigherOrderCO/HVM</url></story><parent_chain></parent_chain><comment><author>LightMachine</author><text>Author here! Thanks for posting :) Just want to make a brief note here that we raised a 4.5m seed round to found a tech startup, the Higher Order Company, to work on the HVM. Our goal is to improve the runtime, the Kind language, and eventually build our own hardware. There are already several cool ideas on the pipeline, so expect exciting news and massive improvements soon!</text></comment>