Oh that's cool! Interested to see where your research leads. Could you drop me a link to where the interaction net → cuda compiler resides? I skimmed through th

Oh that's cool! Interested to see where your research leads. Could you drop me a link to where the interaction net → cuda compiler resides? I skimmed through the HVM2 repo and just read the .cu runtime file. Edit: nvm, I read through the rest of the codebase. I see that HVM compiles the inet to a large static term and then links against the runtime. https://github.com/HigherOrderCO/HVM/blob/5de3e7ed8f1fcee6f267841a24119ffd569c714d/src/main.rs#L148 https://github.com/HigherOrderCO/HVM/blob/5de3e7ed8f1fcee6f2... Will have to play around with this and look at the generated assembly, see how much of the runtime a modern c/cu compiler can inline. Btw, nice code, very compact and clean, well-organized easy to read. Rooting for you!