max22-

@nasser and i'm pretty sure one day there will be restrictions on what code your are allowed to write. i remember listening to a fascnating documentary on french radio where a guy saved hundreds of lives during WWII by making false identity papers. (i'm not sure of my translation of "faux papiers" ^^). let's try to do that with AI next time it could save lives 🤡

@alderwick cute 😍 happy anniversary !

@fzer0 it sounds even better in french, if you add a little accent : https://translate.google.com/?sl=fr&tl=en&text=Hitler%20P%C3%A8te&op=translate 😅

@nasser so cool ! i remember you talked about it a long time ago ! i hope you'll post more !

@neauoire@merveilles.town 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 🥴

@neauoire@merveilles.town 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)

@neauoire@merveilles.town 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... 😅

@gloriouscow@oldbytes.space so true, i'm a little bit tired of that as well. that's why i try to avoid talking about it. i want to see cool stuff, i'm less interested to be informed that vim will contain generated code.