Lightnews — Scholar-powered news

Informaticien spé philo 🐫

@cyranhoe.bsky.social

210 followers 140 following 1K posts

M2 Informatique à Sorbonne Université | 🏳️‍🌈 | Rock prog et Kylie Minogue | Types dépendants, prog fonctionnelle et méthodes formelles

Posts Media Videos Starter Packs

Pinned

Informaticien spé philo 🐫 @cyranhoe.bsky.social · Nov 19

«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

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 2d

Thank you for coming !

Reposted by Informaticien spé philo 🐫

lexa! @lexa.qexat.com · 2d

OUPS was so fun today!! thank you @cyranhoe.bsky.social for the event hehe

1 1 2

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 4d

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)

Marianne Blanchard @mblanchard.bsky.social · 4d

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)

Reposted by Informaticien spé philo 🐫

Le Tropeur @letropeur.bsky.social · 4d

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"

Ganondorf, représenté avec des muscles saillants, un visage parfait et une pose lascive

Link avec les yeux blancs, le visage déformé par une grimace qui lui donne un air monstrueux

11 220 610

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 4d

Et éventuellement prouver la correction avec l'invariant, mais pas prouver que l'invariant en est un

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 4d

To be fair ils auront pas de preuves compliquées à l'examen, plus à choisir un invariant, le vérifier sur des simulations

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 4d

Oui...

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 7d

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)

1 2

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 12d

Surtout que c'est des L1 au bout de 2 semaines qui n'avaient pour la plupart que très peu codé avant

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 12d

Pis je leur ai fait un pdf avec une correction détaillée, où je blablate bcp

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 12d

Oui, pis en vrai j'avais pas grand chose de faisable en train

1 1

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 12d

En vrai j'ai eu que deux vraies catas ça me rassure

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 12d

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)

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 12d

Bah j'ai mis 3h30 à corriger 21 interros de L1 qui ont duré 20mn quoi

1 1

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 12d

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

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 12d

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...

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 12d

Jsuis terrifié par le fait de leur écrire des commentaires qu'ils prennent comme des remarques méchantes...

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 12d

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.

1 3

Reposted by Informaticien spé philo 🐫

Dr Juliette @ferrydanini.bsky.social · 18d

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

Iris van Rooij 💭 @irisvanrooij.bsky.social · 18d

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.

3 57 230

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 18d

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

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 18d

Faire un déménagement à Orsay avec 4 grosses valises un week-end de rer b coupé : une certaine vision de l'enfer

1 2

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 18d

Purée... faut faire une commande groupée

1 1

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 20d

Exactement, j'ai le rouge le bleu et le vert

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 20d

Du coup faut que je trouve comment en acheter en france pour quand j'en aurai plus...

1 1

Informaticien spé philo 🐫 @cyranhoe.bsky.social · 20d

Genre là j'ai un critérium ROUGE absolument parfait pour corriger des copies, et vue que je vais recevoir mon premier paquet le jour où je commence ma thèse...

1 2