Informaticien spé philo 🐫
@cyranhoe.bsky.social
M2 Informatique à Sorbonne Université | 🏳️🌈 | Rock prog et Kylie Minogue | Types dépendants, prog fonctionnelle et méthodes formelles
Pinned
«Holes are fillable. You don’t necessarily destroy a hole by filling it up (except perhaps when the filling is homogeneous with the hole-lining); you don’t create a new hole by removing the filling.»
Casati, Roberto and Achille Varzi, "Holes", The Stanford Encyclopedia of Philosophy
Casati, Roberto and Achille Varzi, "Holes", The Stanford Encyclopedia of Philosophy
En feuilletant mon classeur de L3 avec mon copain ( as one should ), on est tombés sur le premier cours où m'a été mentionnée la théorie des catégories/ mes premiers diagrammes # émotion
October 31, 2025 at 9:35 PM
En feuilletant mon classeur de L3 avec mon copain ( as one should ), on est tombés sur le premier cours où m'a été mentionnée la théorie des catégories/ mes premiers diagrammes # émotion
Ce soir / demain je m'aventure sur le plateau des enfers
Et comme d'habitude, chat noir du RER B, y a des problèmes
Et comme d'habitude, chat noir du RER B, y a des problèmes
October 30, 2025 at 5:20 PM
Ce soir / demain je m'aventure sur le plateau des enfers
Et comme d'habitude, chat noir du RER B, y a des problèmes
Et comme d'habitude, chat noir du RER B, y a des problèmes
Reposted by Informaticien spé philo 🐫
OUPS was so fun today!! thank you @cyranhoe.bsky.social for the event hehe
October 13, 2025 at 9:07 PM
OUPS was so fun today!! thank you @cyranhoe.bsky.social for the event hehe
Là dessus je tiens à saluer l'astucieuse solution de jussieu (ne plus mettre de faux plafond et peindre le béton en noir pour moins attirer le regard vers les canalisation)
Sinon je pense commencer une série photo « les plus beaux plafonds de l’enseignement public en France » (c’est contributif hein, n’hésitez pas à participer). Je commence avec un beau plafond dans les WC d’un IUT (oui je visite des lieux magiques)
October 11, 2025 at 4:19 PM
Là dessus je tiens à saluer l'astucieuse solution de jussieu (ne plus mettre de faux plafond et peindre le béton en noir pour moins attirer le regard vers les canalisation)
Reposted by Informaticien spé philo 🐫
Toi aussi, apprend la neutralité journalistique dans le choix des illustrations de tes annonces !
"Link et Ganondorf s'affrontent à nouveau pour le destin du royaume d'Hyrule"
"Link et Ganondorf s'affrontent à nouveau pour le destin du royaume d'Hyrule"
October 11, 2025 at 9:08 AM
Toi aussi, apprend la neutralité journalistique dans le choix des illustrations de tes annonces !
"Link et Ganondorf s'affrontent à nouveau pour le destin du royaume d'Hyrule"
"Link et Ganondorf s'affrontent à nouveau pour le destin du royaume d'Hyrule"
Je suis terrifié par mon TD du jour (invariants de boucles + variants de boucles pour faire des preuves de correction et de terminaison avec les PREMIÈRES ANNÉES)
October 8, 2025 at 9:49 AM
Je suis terrifié par mon TD du jour (invariants de boucles + variants de boucles pour faire des preuves de correction et de terminaison avec les PREMIÈRES ANNÉES)
Bon du coup c'est con pour le plan correction de copies en famille, mon père est en arrêt maladie et j'ai fini mon paquet dans le train
October 3, 2025 at 8:24 PM
Bon du coup c'est con pour le plan correction de copies en famille, mon père est en arrêt maladie et j'ai fini mon paquet dans le train
En fait je crois que mon problème avec l'enseignement c'est que je suis bavard, trop, partout, sur les copies, dans la correction...
October 3, 2025 at 8:20 PM
En fait je crois que mon problème avec l'enseignement c'est que je suis bavard, trop, partout, sur les copies, dans la correction...
Premières copies avec les L1 dans un cours "élément de programmation" dans lequel quasiment tous les exercices c'est "donnez le code de la fonction qui [...]"
Premières perles également
En plus il a pas donné les types je suis tout chafouin.
Premières perles également
En plus il a pas donné les types je suis tout chafouin.
October 3, 2025 at 6:05 PM
Premières copies avec les L1 dans un cours "élément de programmation" dans lequel quasiment tous les exercices c'est "donnez le code de la fonction qui [...]"
Premières perles également
En plus il a pas donné les types je suis tout chafouin.
Premières perles également
En plus il a pas donné les types je suis tout chafouin.
Reposted by Informaticien spé philo 🐫
A good reminder that we used to refer to chatgpt as a "deep fake text generator" judged too dangerous to make public by OpenAI just 6 years ago
There is absolutely no good faith reason to use the term “AI” for any technology one is selling.
It serves only for dazzling people into thinking the technology has capabilities that it doesn’t.
If one wants a technology to be trustworthy, just use a transparent, informative term without hype.
It serves only for dazzling people into thinking the technology has capabilities that it doesn’t.
If one wants a technology to be trustworthy, just use a transparent, informative term without hype.
September 27, 2025 at 11:40 AM
A good reminder that we used to refer to chatgpt as a "deep fake text generator" judged too dangerous to make public by OpenAI just 6 years ago
Faire un déménagement à Orsay avec 4 grosses valises un week-end de rer b coupé : une certaine vision de l'enfer
September 27, 2025 at 11:52 AM
Faire un déménagement à Orsay avec 4 grosses valises un week-end de rer b coupé : une certaine vision de l'enfer
Un ami de master est parti en stage à Tokyo,
Je lui avais demandé de me ramener le truc que je préfère du Japon
...
Des fournitures de bureau
Et il m'a ramené plein de trucs chouettes, mais SURTOUT
Des MINES DE CRITÉRIUM
DE
COULEUR
Je lui avais demandé de me ramener le truc que je préfère du Japon
...
Des fournitures de bureau
Et il m'a ramené plein de trucs chouettes, mais SURTOUT
Des MINES DE CRITÉRIUM
DE
COULEUR
September 25, 2025 at 6:46 PM
Un ami de master est parti en stage à Tokyo,
Je lui avais demandé de me ramener le truc que je préfère du Japon
...
Des fournitures de bureau
Et il m'a ramené plein de trucs chouettes, mais SURTOUT
Des MINES DE CRITÉRIUM
DE
COULEUR
Je lui avais demandé de me ramener le truc que je préfère du Japon
...
Des fournitures de bureau
Et il m'a ramené plein de trucs chouettes, mais SURTOUT
Des MINES DE CRITÉRIUM
DE
COULEUR
Reposted by Informaticien spé philo 🐫
C'est rigolo (non) de voir tous les collègues CE/EC et autre csp++ de ma tl en panique de voir leurs charmantes têtes blondes prier en cours parce qu'iels sont dans le privé... Bah les potos, vous savez le public ça existe et, truc de ouf, on n'y prie pas.
September 24, 2025 at 7:16 AM
C'est rigolo (non) de voir tous les collègues CE/EC et autre csp++ de ma tl en panique de voir leurs charmantes têtes blondes prier en cours parce qu'iels sont dans le privé... Bah les potos, vous savez le public ça existe et, truc de ouf, on n'y prie pas.
Reposted by Informaticien spé philo 🐫
Cet article certes bienvenu n'est que sur les titulaires, les précaires de l'ESR n'ont pas droit de cité 🤷♂️
La dégradation des conditions de travail des enseignants-chercheurs comme obstacle à l’exercice de la liberté académique
Plaisir d'annoncer la mise en ligne de l'article écrit avec Nathalie Pinède sur les conditions de travail des enseignants-chercheurs titulaires
journals.openedition.org/sds/14042
Plaisir d'annoncer la mise en ligne de l'article écrit avec Nathalie Pinède sur les conditions de travail des enseignants-chercheurs titulaires
journals.openedition.org/sds/14042
La dégradation des conditions de travail des enseignants-chercheurs...
Dans la lignée d’un précédent constat détaillé sur les dérives organisationnelles qui entravent le libre exercice du métier d’enseignant-chercheur (Mercier, 2012), nous observons que les recomposit...
journals.openedition.org
September 24, 2025 at 6:35 AM
Cet article certes bienvenu n'est que sur les titulaires, les précaires de l'ESR n'ont pas droit de cité 🤷♂️
Reposted by Informaticien spé philo 🐫
It’s fine to recognize a Palestinian state. But one should also, as the ICJ insists, not recognize the legality of Israel’s presence in the Occupied Palestinian Territories. #FreePalestine.
September 23, 2025 at 3:25 PM
It’s fine to recognize a Palestinian state. But one should also, as the ICJ insists, not recognize the legality of Israel’s presence in the Occupied Palestinian Territories. #FreePalestine.
Information capitale que peu auraient pu deviner : la manche est actuellement très froide
September 23, 2025 at 4:33 PM
Information capitale que peu auraient pu deviner : la manche est actuellement très froide
War is over 🙏
September 17, 2025 at 8:01 AM
War is over 🙏
Reposted by Informaticien spé philo 🐫
TW – Violence policière
Aujourd’hui à Montpellier, un manifestant a été grièvement blessé par un tir de canon à eau ciblé dans le visage. Les images parlent d’elles-mêmes.
Ce manifestant est actuellement hospitalisé, dans un état grave : perte de mémoire, incapacité de parler, etc.
🧵⬇️
Aujourd’hui à Montpellier, un manifestant a été grièvement blessé par un tir de canon à eau ciblé dans le visage. Les images parlent d’elles-mêmes.
Ce manifestant est actuellement hospitalisé, dans un état grave : perte de mémoire, incapacité de parler, etc.
🧵⬇️
September 10, 2025 at 9:43 PM
TW – Violence policière
Aujourd’hui à Montpellier, un manifestant a été grièvement blessé par un tir de canon à eau ciblé dans le visage. Les images parlent d’elles-mêmes.
Ce manifestant est actuellement hospitalisé, dans un état grave : perte de mémoire, incapacité de parler, etc.
🧵⬇️
Aujourd’hui à Montpellier, un manifestant a été grièvement blessé par un tir de canon à eau ciblé dans le visage. Les images parlent d’elles-mêmes.
Ce manifestant est actuellement hospitalisé, dans un état grave : perte de mémoire, incapacité de parler, etc.
🧵⬇️
Reposted by Informaticien spé philo 🐫
Pourtant, je n'ai jamais vu personne dénoncer le caractère algorithmique du calcul des impôts. C'est même vu comme un point positif : ce n'est pas à la tête du client, cela découle d'un calcul avec des règles explicites.
September 10, 2025 at 10:15 AM
Pourtant, je n'ai jamais vu personne dénoncer le caractère algorithmique du calcul des impôts. C'est même vu comme un point positif : ce n'est pas à la tête du client, cela découle d'un calcul avec des règles explicites.
Pour mon contrat de travail, il faut finaliser l'inscription adum, pour finaliser l'inscription adum
... Il faut le contrat de travail...
Peut-être qu'il faudrait analyser l'administratif avec un typage de causalité à la Lustre...
... Il faut le contrat de travail...
Peut-être qu'il faudrait analyser l'administratif avec un typage de causalité à la Lustre...
September 10, 2025 at 7:24 PM
Pour mon contrat de travail, il faut finaliser l'inscription adum, pour finaliser l'inscription adum
... Il faut le contrat de travail...
Peut-être qu'il faudrait analyser l'administratif avec un typage de causalité à la Lustre...
... Il faut le contrat de travail...
Peut-être qu'il faudrait analyser l'administratif avec un typage de causalité à la Lustre...
On a été ajoutés au zulip du meetup OCaml avec mon copain on est officiellement le couple du OUPS 🥹
September 10, 2025 at 7:09 PM
On a été ajoutés au zulip du meetup OCaml avec mon copain on est officiellement le couple du OUPS 🥹
Reposted by Informaticien spé philo 🐫
C'est une bonne comparaison. D'ailleurs, publicité pour
www.inria.fr/fr/catala-lo...
www.inria.fr/fr/catala-lo...
CATALA traduit la loi en code pour une administration plus fiable
Comment garantir que nos lois sont appliquées avec précision dans les logiciels qui calculent impôts, allocations et pensions ? C’est tout l’enjeu du projet CATALA, une initiative interdisciplinaire v...
www.inria.fr
September 10, 2025 at 10:01 AM
C'est une bonne comparaison. D'ailleurs, publicité pour
www.inria.fr/fr/catala-lo...
www.inria.fr/fr/catala-lo...
Pas merci le mpri d'avoir mis la soutenance de mon copain un jour de grève j'ai l'impression d'être un traitre à la lutte
September 10, 2025 at 7:02 AM
Pas merci le mpri d'avoir mis la soutenance de mon copain un jour de grève j'ai l'impression d'être un traitre à la lutte
Je crois que je ne suis pas prêt pour la prochaine phase de ma vie (jeune adulte qui rentre dans la vie active)
(Je repars plus tôt de la braderie, loupant le tournoi de flip cup, afin d'aller à une fête de PACS)
(J'avais pas de papier cadeau)
(J'ai réussi à dépasser en coloriant)
(Je repars plus tôt de la braderie, loupant le tournoi de flip cup, afin d'aller à une fête de PACS)
(J'avais pas de papier cadeau)
(J'ai réussi à dépasser en coloriant)
September 6, 2025 at 1:34 PM
Je crois que je ne suis pas prêt pour la prochaine phase de ma vie (jeune adulte qui rentre dans la vie active)
(Je repars plus tôt de la braderie, loupant le tournoi de flip cup, afin d'aller à une fête de PACS)
(J'avais pas de papier cadeau)
(J'ai réussi à dépasser en coloriant)
(Je repars plus tôt de la braderie, loupant le tournoi de flip cup, afin d'aller à une fête de PACS)
(J'avais pas de papier cadeau)
(J'ai réussi à dépasser en coloriant)
Reposted by Informaticien spé philo 🐫
Je vais peut être pas m'attirer des amis, mais je ne pense pas du tout qu'une thèse a vocation à être un chef-d'oeuvre, ni même à bouleverser le savoir. Je pense que la présenter comme tel est un idéal tellement inatteignable que c'est la garantie du mal-être des doctorants.
Itv de Bernard Lahire chez Médiapart : ça fait MAL mais je lui donne pas tort😭
September 5, 2025 at 2:43 PM
Je vais peut être pas m'attirer des amis, mais je ne pense pas du tout qu'une thèse a vocation à être un chef-d'oeuvre, ni même à bouleverser le savoir. Je pense que la présenter comme tel est un idéal tellement inatteignable que c'est la garantie du mal-être des doctorants.