Informaticien spé philo 🐫
@cyranhoe.bsky.social
M2 Informatique à Sorbonne Université | 🏳️🌈 | Rock prog et Kylie Minogue | Types dépendants, prog fonctionnelle et méthodes formelles
La typeclass Eq en haskell 🫦
December 3, 2025 at 2:09 PM
La typeclass Eq en haskell 🫦
Genre définir une égalité custom par rapport à la modélisation genre representer un multiensemble avec des listes et pouvoir tester leur égalité en tant que multiensembles
December 3, 2025 at 2:07 PM
Genre définir une égalité custom par rapport à la modélisation genre representer un multiensemble avec des listes et pouvoir tester leur égalité en tant que multiensembles
En même temps, on vient de commencer 😅
December 3, 2025 at 2:07 PM
En même temps, on vient de commencer 😅
Je sais pas si c'est mignon ou bien terrifiant sur à quel point on est les deux nez dans le guidon vis à vis de la thèse et qu'on sait pas décrocher...
December 3, 2025 at 12:52 PM
Je sais pas si c'est mignon ou bien terrifiant sur à quel point on est les deux nez dans le guidon vis à vis de la thèse et qu'on sait pas décrocher...
C'est une excellente question
November 29, 2025 at 9:56 PM
C'est une excellente question
J'ai demandé son avis à une collègue qui m'a dit que c'était "terrifiant comme cadeau à offrir à son copain"
Je vais me ramener avec lundi
(Le sweat en question :)
Je vais me ramener avec lundi
(Le sweat en question :)
November 29, 2025 at 9:51 PM
J'ai demandé son avis à une collègue qui m'a dit que c'était "terrifiant comme cadeau à offrir à son copain"
Je vais me ramener avec lundi
(Le sweat en question :)
Je vais me ramener avec lundi
(Le sweat en question :)
Même sweat que je comptais lui offrir (coloris et taille compris)
November 29, 2025 at 9:48 PM
Même sweat que je comptais lui offrir (coloris et taille compris)
Et non c'est en réalité un gâteau au yaourt à la cannelle et au miel
November 27, 2025 at 9:12 PM
Et non c'est en réalité un gâteau au yaourt à la cannelle et au miel
Peut-être qu'on est sur le compte ameli de nos parents ???
November 27, 2025 at 9:10 PM
Peut-être qu'on est sur le compte ameli de nos parents ???
J'ai jamais eu d'identifiants ameli je suis mgen depuis le berceau
Je suis allé sur le truc pour créer un compte j'ai mis mon numéro de secu tout comme ils demandaient
Sur le site de la mgen ils mentionnent aucune démarche spécifique
Je suis allé sur le truc pour créer un compte j'ai mis mon numéro de secu tout comme ils demandaient
Sur le site de la mgen ils mentionnent aucune démarche spécifique
November 27, 2025 at 4:10 PM
J'ai jamais eu d'identifiants ameli je suis mgen depuis le berceau
Je suis allé sur le truc pour créer un compte j'ai mis mon numéro de secu tout comme ils demandaient
Sur le site de la mgen ils mentionnent aucune démarche spécifique
Je suis allé sur le truc pour créer un compte j'ai mis mon numéro de secu tout comme ils demandaient
Sur le site de la mgen ils mentionnent aucune démarche spécifique
En fait j'ai pas france connect j'espérais en chopper un avec ameli...
November 27, 2025 at 4:08 PM
En fait j'ai pas france connect j'espérais en chopper un avec ameli...
Pour l'instant le plus grand candidat c'est les quotients de foncteurs polynomiaux
October 31, 2025 at 9:37 PM
Pour l'instant le plus grand candidat c'est les quotients de foncteurs polynomiaux
Du coup vient la grande question qui va hanter ces trois années de thèse : je me tatoue quoi comme diagramme ?
October 31, 2025 at 9:36 PM
Du coup vient la grande question qui va hanter ces trois années de thèse : je me tatoue quoi comme diagramme ?
Je sais pas trop ce que vous voulez dire par "par défaut", mais pour moi le LEM, si j'importe pas Classical je le suppose pas...
October 18, 2025 at 8:06 PM
Je sais pas trop ce que vous voulez dire par "par défaut", mais pour moi le LEM, si j'importe pas Classical je le suppose pas...
Thank you for coming !
October 13, 2025 at 9:17 PM
Thank you for coming !