Post B5w1J9qG0VcQYNFrWq by maxime_andre@mastodon.xyz
 (DIR) More posts by maxime_andre@mastodon.xyz
 (DIR) Post #B5vdZK73BrWQ8pHkTQ by neauoire@merveilles.town
       0 likes, 0 repeats
       
       Putting together a lil interaction net evaluator in #Uxn to make a backend for Rejoice.
       
 (DIR) Post #B5w1J9qG0VcQYNFrWq by maxime_andre@mastodon.xyz
       0 likes, 0 repeats
       
       @neauoire what kind of nodes do you use ? with 3 ports like in Lafont's paper ?
       
 (DIR) Post #B5w1JA4R9mxfGLtBdA by neauoire@merveilles.town
       0 likes, 0 repeats
       
       @maxime_andre The symmetric interaction combinators(eps, gam, del) from his latest paper.
       
 (DIR) Post #B5wC4V2vzD3nTCOi4u by maxime_andre@mastodon.xyz
       0 likes, 0 repeats
       
       @neauoire the one from 1997 ?
       
 (DIR) Post #B5wC4VFhDlGi6mMtyC by neauoire@merveilles.town
       0 likes, 0 repeats
       
       @maxime_andre yup, 3 opcodes, 3 rules, super simple, can host any equivalent INs. I think the whole implementation is going to be like 500 bytes.
       
 (DIR) Post #B5y5Ro4t5CbjnCOhua by maxime_andre@mastodon.xyz
       0 likes, 0 repeats
       
       @neauoire i'm curious, will you write about it in your wiki ?
       
 (DIR) Post #B5y5RoOjtOUGmlgYr2 by neauoire@merveilles.town
       0 likes, 0 repeats
       
       @maxime_andre I will! I'm working on the playground right now, I had to design a sort of INs assembly language, it looks like this atm(the bottom part):https://paste.sr.ht/~rabbits/56d49a20e355b88cf5c517cde211ef56843d3fd5The uxn code:https://git.sr.ht/~rabbits/annihilate/tree/master/item/src/ann.tal
       
 (DIR) Post #B5y7Odx8TG1RQiOIym by maxime_andre@mastodon.xyz
       0 likes, 0 repeats
       
       @neauoire wow annihilate is so small !
       
 (DIR) Post #B5y7OeAbfAnW6Uh3ya by neauoire@merveilles.town
       0 likes, 0 repeats
       
       @maxime_andre INs maps perfectly well to Uxn because they both share a linear resource discipline 🌻