Reposted by Informaticien spé philo 🐫Le Nouvel Essai 🏴✊🖤❤️💚💜 🐈⬛🐈 @lenouvelessai.bsky.social · 02/10/2026Un flic en civil tente de casser une vitrine pour arrêter des lycéens réfugiés à l'intérieur ! #ViolencesPolicieres #ViolenceDEtat #LesFlicsSontDesCasseurs 062
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 02/10/2026J'ai une collègue qui m'a recommandé auprès d'une conf pour être reviewer d'artefacts, sauf qu'on vient d'avoir les soumissions, que le smoke test finit mardi et moi mardi c'est le grand départ à Toulouse 100
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 02/10/2026En même temps à la place de former à la des escalade, on leur donne des beaux LBD tout neufs 240
Reposted by Informaticien spé philo 🐫Benjamin 🦦 @benjamintr.bsky.social · 02/10/2026Aucun journaliste pour rappeler que répondre à un mouvement social par de la répression est… un choix du gouvernement ? Le fait de ne jamais utiliser de techniques de désescalade dans ces situations est une particularité de la police française, ça ne se passe pas comme ça ailleurs en Europe 632096
Reposted by Informaticien spé philo 🐫Benjamin 🦦 @benjamintr.bsky.social · 02/10/2026Ah oui les pauvres forces de ordre. Sinon une amie prof dans le 92 a dit à un policier « Je ne veux pas que vous tapiez mes élèves », il lui a répondu « Je peux te taper salope » 18667391
Reposted by Informaticien spé philo 🐫Gro-Tsen @gro-tsen.bsky.social · 08/09/2026So, sorry, we don't care about problem solving any more: AI bros have turned this into a meaningless trophy hunt. Its worth is now exactly zero. Even if you prove the Riemann hypothesis or P≠NP, I don't give a single f😑ck unless you can explain it in a way that's interesting. 2606
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 08/09/2026En tout cas navier stokes on s'en fiche je viens de prouver que si D1 et D2 sont deux distributions de probas indépendante, Let x = sample D1 in Let y = sample D2 in ... = Let y = sample D2 in Let x = sample D1 in ... En Lean 😎 110
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 08/09/2026Vendredi durant mon CSI on m'a demandé si je vivais bien d'être un traître à la nation (sur le ton de la blague évidemment) parce que je faisais du Lean Bah aujourd'hui j'ai l'impression d'être un traître à l'intelligence humaine 310
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 08/09/2026Et en plus je passe pour un camelien auprès de... *checks notes* le compte bluesky de Haskell ? Vous inquiétez pas je suis un polyamoureux des langages de programmation 🫣 120
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 08/09/2026La preuve que je suis en train d'écrire est tellement immonde je produis du Leanslop # humans in IA dominated fields 100
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 08/09/2026Mon mec qui me repond pas par messages depuis deux jours mais qui me répond sur un groupe sur le zulip OCaml décidément la distinction vie perso vie pro catastrophique 220
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 07/09/2026Les formations de l'école doctorale ça a l'air absolument exceptionnel en tout cas 100
Reposted by Informaticien spé philo 🐫derek guy @dieworkwear.bsky.social · 05/09/2026no need to "solve" chess. just secretly hire someone to play for you and claim those are your victories. 1095603456
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 15/08/2026Actuellement dans une boîte de nuit berlinoise La moyenne d'âge est à vue de nez d'une cinquantaine d'années Je passe une excellente soirée 140
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 01/08/2026Team Algorithmes Programmes et Résolution jusque dans le Juras 100
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 21/07/2026En tant que ragebaiter twitter pro il faut dire qu'ici si on dit des conneries à moitié sérieuses on se fait vite disputer 040
Reposted by Informaticien spé philo 🐫Emmanuel Raspiengeas @eraspiengeas.bsky.social · 21/07/2026Selon cette carte du voyage d’Ulysse dans L’ODYSSÉE, le consensus semble placer le royaume des morts du côté de Nice, et c’est clairement la preuve du génie visionnaire d’Homère 28746214
Reposted by Informaticien spé philo 🐫Iznogoud @iznogoud.ovh · 16/07/2026Rappel : plus de 100 000 jeunes sortis du système éducatif, ce n'est pas un bug, c'est le projet. 13916
Reposted by Informaticien spé philo 🐫Suave Morbida @maitre-poulard.bsky.social · 16/07/2026Moi président, tout ce qui est sur internet devra être imprimé, marqué du premier logo du web de 1991 et deposé à la BNF 1503
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 17/07/2026Et c'est avec un timing exceptionnel que je suis actuellement dans un train pour Fontainebleau 120
Reposted by Informaticien spé philo 🐫Alex @alexsippel.bsky.social · 17/07/2026Ça va être formidable pour les femmes qui veulent fonder une famille, ça. 3172
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 17/07/2026En fait mon plus gros pb c'est qu'un truc similaire a été fait en Rocq mais 1/ j'arrive pas à faire compiler leur repo donc pas de LSP 2/ imo c'est un peu illisible quand même 000
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 17/07/2026Actuellement en train d'essayer de reprendre une preuve d'un papier qui fait 5 lignes en Lean, j'en suis à une centaine de lignes, je ne sais pas où je vais et je n'en peux plus des tours de passe passe 330
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 16/07/2026La solution à mes problèmes de preuve de mesurabilité de la force de la monade de Giry m'est venue dans mon sommeil appelez moi René Descartes 230
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 15/07/2026Je viens de lancer une update de mathlib tout en prévoyant de partir du bureau d'ici une heure / une heure trente # optimiste 030
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 13/06/2026En vrai ce dossard est quand même très stylé malgré le rose pétant 010
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 13/06/2026Cet aprèm je vais remettre la casquette de mono de planche à voile 4 ans après ma dernière saison en ayant DEUX épaules en vrac, wish me luck 140
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 10/06/2026Ma grosse inquiétude vis à vis du coup de projecteur sur la question de la justice et des violences sexuelles c'est que, un peu comme pour les violences médicales, il y a un peu une tendance à réduire ça à des agents débordés qui maltraitent par manque de temps 253
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 10/06/2026Le cliché de "je suis parti de chez mes parents et depuis ils ne se nourissent plus les placards sont vides" prend une toute autre dimension quand il y a une CANTINE SCOLAIRE dans le jardin. 100
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 04/06/2026La semaine du gdr scilog m'a achevé (et c'est pas fini) 100
Reposted by Informaticien spé philo 🐫🏴☠️ MC Pablo ∴ @p4bl0.net · 04/06/2026En mettant en place cette idée simple sur #Parcoursup on pourrait faire l'ensemble des affections en respectant les préférences des candidat·es en une seule nuit plutôt que de laisser trainer la procédure sur plusieurs semaines, tout en laissant les candidat·es faire leur choix à la dernière minute. 171
Reposted by Informaticien spé philo 🐫Jérémie Younes @jeremieyounes.bsky.social · 15/05/2026Je ne suis pas pour décerner des brevets de "gauche". Mais disons qu'au delà du déclaratif, si vous appelez dès le premier tour à voter pour la retraite à 67 ans, les gilets jaunes éborgnés, le soutien inconditionnel au génocide ETC, permettez nous de vous placer sans grand scandale à droite. 1436489
Reposted by Informaticien spé philo 🐫Informatheux @informatheux.bsky.social · 15/05/2026On attend quoi pour dégager Elsevier et Springer ? 041
Reposted by Informaticien spé philo 🐫Legrugru @legrugru.fr · 23/02/2026les mecs vont remplacer Cobol par du javascript écrit par IA on va tous bientôt vivre nus dans la forêt à manger des racines crues 2315821
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 30/01/2026Regardez ce que mon copain m'a offert !!! 🥰 020
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 23/01/2026C'est vraiment en assistant à une soutenance de thèse qu'on se rappelle à quel point PERSONNE ne dit Rocq 231
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 20/01/2026Jsuis trop fier (j'espère qu'elle sera bonne c'est pour l'équipe du labo demain) 100
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 14/01/2026on a un vrai pb de nommage de nos outils en info 240
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 07/01/2026Non (j'ai trop hâte) (Je n'ai jamais réussi à me faire une teinture grise c'est trop compliqué donc j'attends l'arrivée naturelle) 240
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 07/01/2026Ai glissé devant jussieu ce matin MALGRÉ les chaussures de rando 000
Reposted by Informaticien spé philo 🐫Dr Pyviv @pyviv.bsky.social · 07/01/2026Un patron qui ordonne à un employé de venir bien qu'il n'y ait pas de bus et lui dit qu'il va lui retirer sa paye. Vous savez s'il y a quelque chose qui protège l'employé ? 21514
Reposted by Informaticien spé philo 🐫David Monniaux @monniauxd.bsky.social · 07/01/2026Functional programmers are ready for the snow because they have SKI combinators. #humour 171
