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
Discussion parallèle est-ce qu'elle a un lien avec la chercheuse qui a fait la monade de Giry ?
"Le financement de nouveaux projets de recherche est menacé" : l'alerte de Claire Giry (ANR)
➡️ https://l.lexpress.fr/xDq
➡️ https://l.lexpress.fr/xDq
December 3, 2025 at 1:48 PM
Discussion parallèle est-ce qu'elle a un lien avec la chercheuse qui a fait la monade de Giry ?
Petit L1 qui me demande si on peut avoir d'autres égalités que le == de Mr Python...
December 3, 2025 at 1:47 PM
Petit L1 qui me demande si on peut avoir d'autres égalités que le == de Mr Python...
Fait amusant du week-end :
La semaine dernière j'ai commandé le cadeau d'anniversaire de mon copain, qui sera en janvier, c'est un sweat avec le lambda cube
Hier, mon anniversaire, il me tend un paquet un peu mou, de la taille d'un paquet qui contient un sweat
Il s'agit effectivement de l'exact
La semaine dernière j'ai commandé le cadeau d'anniversaire de mon copain, qui sera en janvier, c'est un sweat avec le lambda cube
Hier, mon anniversaire, il me tend un paquet un peu mou, de la taille d'un paquet qui contient un sweat
Il s'agit effectivement de l'exact
November 29, 2025 at 9:48 PM
Fait amusant du week-end :
La semaine dernière j'ai commandé le cadeau d'anniversaire de mon copain, qui sera en janvier, c'est un sweat avec le lambda cube
Hier, mon anniversaire, il me tend un paquet un peu mou, de la taille d'un paquet qui contient un sweat
Il s'agit effectivement de l'exact
La semaine dernière j'ai commandé le cadeau d'anniversaire de mon copain, qui sera en janvier, c'est un sweat avec le lambda cube
Hier, mon anniversaire, il me tend un paquet un peu mou, de la taille d'un paquet qui contient un sweat
Il s'agit effectivement de l'exact
Belle miche
November 27, 2025 at 9:12 PM
Belle miche
Avis à la team veste en velours côtelé à coudieres et mauvais remboursements par la MGEN de ma TL :
Ça s'est passé comment la création de votre compte ameli ? J'arrive pas à le faire ça dit que je suis pas éligible ?
Ça s'est passé comment la création de votre compte ameli ? J'arrive pas à le faire ça dit que je suis pas éligible ?
November 27, 2025 at 3:56 PM
Avis à la team veste en velours côtelé à coudieres et mauvais remboursements par la MGEN de ma TL :
Ça s'est passé comment la création de votre compte ameli ? J'arrive pas à le faire ça dit que je suis pas éligible ?
Ça s'est passé comment la création de votre compte ameli ? J'arrive pas à le faire ça dit que je suis pas éligible ?
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...