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/2026Mais en même temps à partir du moment où j'arrive pas à build le docker ET que les packages demandés n'existent plus nan stop je suis pas sensé aller trouver le nom du paquet qui correspond à ta librairie 000
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 02/10/2026En plus il y en a un j'arrive ni à faire tourner son docker ni son install manuelle bref bref bref En fait le pb c'est que je suis tellement nul avec les ordis j'ai peur d'être juste incompétent et me plaindre que ça marche pas alors que ça marche 100
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/2026Si le seul outil qu'on te donne est un marteau, tout est un clou C'est pas en tapant des gamins que vous allez calmer les autres, au contraire. 020
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/2026C'est marrant c'est exactement ce que m'avait dit ma directrice quand je preparais le concours de l'école doctorale 010
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 08/09/2026Il y a pas eu une histoire de preuve finalement fausse malgré l'artefact en lean pour collatz récemment ? 100
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 08/09/2026Pour moi c'est avant tout une question de "dans quel langage est fait code que je veux réutiliser pour en faire autre chose ?" 010
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 08/09/2026Ouep, et vue qu'on me le demande à chaque fois que j'explique ce que je fais je m'entraîne bien là dessus 100
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 08/09/2026(Dans le cas d'un PPL du premier ordre) (Dont la sémantique est donnée par noyaux s finis) 010
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 08/09/2026Ah oui complètement en maths c'est l'inverse (et c'est pour ça qu'on va par là, en ce moment dans mon Lean il y a des méchantes probas continues) 000
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/2026(C'est rassurant pour ma peur, un peu irrationnelle, que l'étiquette Lean serait un frein pour un poste) 100
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 08/09/2026Oh wow, dans la communauté que je cotoie je suis un paria à en faire c'est limite si parfois le reproche de traître a pas un fond de vérité 000
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 08/09/2026Pour les probas Lean c'est plus agréable je jure il y a une vraie raison 😔😔😔 000
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 08/09/2026JE SUIS DÉSOLÉ MOI MES PREUVES NULLES JE LES RELIS JE METS DES JOLIS COMMENTAIRES 100
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 08/09/2026Que je n'aie pas anticipé la question "pourquoi Lean et pas Rocq à mon CSI" est cependant étonnant 030
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/2026Le plus honteux étant qu'il est plus probable que je fasse du haskell que du camel dans ma thèse mais bref 120
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/2026Je sais plus mais quand j'avais été bénévole ça m'avait surpris cette histoire de Israël est un pays de l'ouest 100
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 08/09/2026Ou aux super concours de programmation d'europe de l'ouest et du sud 100
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 08/09/2026Après la vérité Après je vais nettoyer ma preuve parce que je ne suis pas un malpoli et que mon but dans la vie c'est que d'autres humains lisent mon code 000
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/2026Dans le sens où je n'existe que dans le deuxième apparemment 020
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/2026ceci dit j'ai déjà eu un cours de PPL où on nous a fait faire un tour de magie avec des cartes ça rentre totalement dans le cadre de ma thèse (c'était pour expliquer les chaînes de markov) 000
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 07/09/2026j'avoue le seul truc qui me fait peur c'est que la méthode pédagogique de la formation c'est "exposé interactif" parce que je suis pas très bon en magie 100
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/2026My people finalement En tout cas j'ai envie de vieillir comme les gens avec qui je danse ce soir 010
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/2026Même si ça manque d'un logo CNRS / LIP6 à côté 000
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 01/08/2026Merci à un des chercheurs de mon équipe d'avoir suggéré des serviettes de plage floquées 100
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/2026Je comprends pas comment on peut ne pas accrocher à un truc à la fois aussi marrant et bien ficelé 100
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 21/07/2026Twin peaks si c'est pas déjà fait (c'est sur arte) 110
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 21/07/2026Jsuis vraiment pas sûr que l'ambiance bluesky soit suffisamment anti sioniste pour boycott l'eurovision, je pense que c'est surtout que ça n'intéresse pas la plupart des gens ici... 010
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 21/07/2026En tant que 15-24 ans, c'est giga pas ma génération comme télé réalité pour moi c'est un truc de trentenaires 100
Informaticien spé philo 🐫 @cyranhoe.bsky.social · 21/07/2026Je pense pas que ce soit + une question d'âge que de classe sociale : sur un réseau d'universitaires globalement je pense que ça risque plus de livetweet arte que de la télé-réalité... 100
