Posts by maxime_andre@mastodon.xyz
 (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 #B5wC4V2vzD3nTCOi4u by maxime_andre@mastodon.xyz
       0 likes, 0 repeats
       
       @neauoire the one from 1997 ?
       
 (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 #B5y7Odx8TG1RQiOIym by maxime_andre@mastodon.xyz
       0 likes, 0 repeats
       
       @neauoire wow annihilate is so small !
       
 (DIR) Post #B61U9poAzVEyH7zIsy by maxime_andre@mastodon.xyz
       0 likes, 0 repeats
       
       @neauoire how do you draw your interaction nets ? i'm asking because when you want to see the reductions to debug them, it's a little bit of a pain 🥴
       
 (DIR) Post #B64Vj2JRAvlscVq4tE by maxime_andre@mastodon.xyz
       0 likes, 0 repeats
       
       @neauoire what i find disturbing with inpla is that you need additional stuff like comparison operators, conditionals, etc. (i don't like what i have circled in red for example. maybe i'm wrong, or maybe i don't understand something...). it's not "pure interaction combinators", but at the same time if you want to compute numbers without using only succ and zero maybe you need that ?
       
 (DIR) Post #B64Vj2jfbOkrvs71mK by maxime_andre@mastodon.xyz
       0 likes, 0 repeats
       
       @neauoire btw i've found this talk : https://www.youtube.com/watch?v=F880mnxu9c0i watched it while having lunch it's very nice !
       
 (DIR) Post #B6CaN1ug28Iw2vGM5Y by maxime_andre@mastodon.xyz
       0 likes, 0 repeats
       
       @neauoire c'est pas très bon pour la santé mentale je crois bien 😂  j'ai passé la journée a me demander comment faire de l'arithmétique avec des nombres entiers (int64)
       
 (DIR) Post #B6Gi6IGtXKvK7i1cw4 by maxime_andre@mastodon.xyz
       0 likes, 0 repeats
       
       @neauoire t'as fait des trucs récursifs déjà avec les interaction nets ? c'est balaise... factorial j'arrive, du coup je pensais que fibonacci ce serait facile, mais non... 😅