Informaticien spé philo 🐫
@cyranhoe.bsky.social
M2 Informatique à Sorbonne Université | 🏳️🌈 | Rock prog et Kylie Minogue | Types dépendants, prog fonctionnelle et méthodes formelles
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 !
Et éventuellement prouver la correction avec l'invariant, mais pas prouver que l'invariant en est un
October 11, 2025 at 4:05 PM
Et éventuellement prouver la correction avec l'invariant, mais pas prouver que l'invariant en est un
To be fair ils auront pas de preuves compliquées à l'examen, plus à choisir un invariant, le vérifier sur des simulations
October 11, 2025 at 4:05 PM
To be fair ils auront pas de preuves compliquées à l'examen, plus à choisir un invariant, le vérifier sur des simulations
Surtout que c'est des L1 au bout de 2 semaines qui n'avaient pour la plupart que très peu codé avant
October 3, 2025 at 8:31 PM
Surtout que c'est des L1 au bout de 2 semaines qui n'avaient pour la plupart que très peu codé avant
Pis je leur ai fait un pdf avec une correction détaillée, où je blablate bcp
October 3, 2025 at 8:30 PM
Pis je leur ai fait un pdf avec une correction détaillée, où je blablate bcp
Oui, pis en vrai j'avais pas grand chose de faisable en train
October 3, 2025 at 8:30 PM
Oui, pis en vrai j'avais pas grand chose de faisable en train
En vrai j'ai eu que deux vraies catas ça me rassure
October 3, 2025 at 8:28 PM
En vrai j'ai eu que deux vraies catas ça me rassure
J'ai même fait un petit dessin avec des engrenages sur une copie (pas très reussie la copie, j'ai globalement mis des explications de base sur c'est quoi programmer une fonction au dos j'ai rempli une page)
October 3, 2025 at 8:26 PM
J'ai même fait un petit dessin avec des engrenages sur une copie (pas très reussie la copie, j'ai globalement mis des explications de base sur c'est quoi programmer une fonction au dos j'ai rempli une page)
Bah j'ai mis 3h30 à corriger 21 interros de L1 qui ont duré 20mn quoi
October 3, 2025 at 8:25 PM
Bah j'ai mis 3h30 à corriger 21 interros de L1 qui ont duré 20mn quoi
Jsuis terrifié par le fait de leur écrire des commentaires qu'ils prennent comme des remarques méchantes...
October 3, 2025 at 8:16 PM
Jsuis terrifié par le fait de leur écrire des commentaires qu'ils prennent comme des remarques méchantes...
Chaque jour que dieu fait je maudis le plateau de saclay qui envoie mon copain vivre à plus d'une heure de transports de chez moi
September 27, 2025 at 11:56 AM
Chaque jour que dieu fait je maudis le plateau de saclay qui envoie mon copain vivre à plus d'une heure de transports de chez moi