Yann Salmon's Avatar

Yann Salmon

@yannsalmon.fr

Professeur agrégé. Docteur en informatique. Compte personnel. https://www.yannsalmon.fr/a-propos/

139
Followers
81
Following
325
Posts
04.12.2023
Joined
Posts Following

Latest posts by Yann Salmon @yannsalmon.fr

Post image

🔴 Pour avoir collé ce tract sur des panneaux dédiés, une camarade de la FSU93 et deux autres militants ont été arrêté.es pour "injure publique à caractère raciste" par la police au Blanc Mesnil.

Rassemblement ce mardi 10/03 à 12h30 devant le commissariat du Blanc Mesnil. Libération immédiate !

10.03.2026 07:15 👍 16 🔁 15 💬 1 📌 0

Bardella enfariné: 3 jours sur CNews non stop, les politiques en émoi, la République en ultra-danger. Un maire LFI attaqué par des fafs: silence radio, ou presque. ⤵️

09.03.2026 18:55 👍 774 🔁 431 💬 6 📌 5
Post image

[THREAD]
La biodynamie pour éliminer la radiactivité ?

C'est ce qu'affirme le pdf proposé par "Biodynamie Recherche", partenaire de @inrae.bsky.social dans son nouvel article du 3 mars (voir captures)
1/7

09.03.2026 19:07 👍 21 🔁 9 💬 1 📌 3

L'ordre alphabétique, quand il peut y avoir des espaces ou des diacritiques, c'est merdique. Je ne comprends pas que je sois le seul dans cette école à dire et répéter qu'il faut utiliser un numéro (p.ex. le numéro national étudiant) comme clé primaire.

08.03.2026 20:14 👍 9 🔁 3 💬 3 📌 0

Le deuxième alinéa de l'article 11-4 de la loi de 1988 sur les partis excepte de ce plafond les cotisations versées par les élus.

www.legifrance.gouv.fr/loda/article...

07.03.2026 21:19 👍 0 🔁 0 💬 0 📌 0
07.03.2026 19:11 👍 176 🔁 110 💬 4 📌 12
Video thumbnail

La colistière de la liste insoumise à Strasbourg, Jamila Haddoum, menacée de mort au couteau hier soir par un homme. Parce que de Gauche.
Voilà où mène la diabolisation de LFI.

Est que Nunez, Bergé, Darmanin, Brain Pivet ou Macron vont twitter ou faire une conférence de presse.

Évidemment non

07.03.2026 11:34 👍 591 🔁 361 💬 26 📌 24
Preview
"Un niveau a été dépassé" : victime d'une agression physique, la députée LFI du Puy-de-Dôme Marianne Maximi dépose plainte Poussée violemment par un homme sur un marché de Clermont-Ferrand, mercredi 4 mars, la candidate de La France insoumise aux municipales dénonce auprès de La Montagne (Centre France) un climat "détesta...

Un militant d’extrême droite agresse une candidate LFI www.le-pays.fr/clermont-fer...

Si ça ne fait pas un scandale nationale, on saura ce que ça veut dire.

05.03.2026 18:36 👍 863 🔁 616 💬 45 📌 28
Post image

❌ Remise en cause du #1ermai : c'est non ! 
📬  Nous alertons les député·es sur la proposition de loi issue du Sénat dans un courrier intersyndical avec @cgt.fr @cfdt.fr @unsa-officiel.bsky.social @solidaires.org @force-ouvriere.bsky.social @lacftc.bsky.social 👇

05.03.2026 14:05 👍 29 🔁 23 💬 0 📌 0

C'est un matériel confié à certains personnels (proviseur, etc.) qui génère des codes d'accès à usage unique (One-Time Password), utilisés pour garder l'accès à des outils particulièrement sensibles. Mais pas les portails RH, normalement. En tout cas je n'en ai pas eu besoin.

04.03.2026 19:36 👍 2 🔁 0 💬 0 📌 0
Preview
Authentification - Chargement des Informations de Session Ministère de l'Éducation nationale, de l'Enseignement supérieur et de la Recherche

Ou par là : portail.agent.phm.education.gouv.fr en cliquant après connexion sur Ma situation personnelle. Ou bien là : monportailrh.education.gouv.fr

04.03.2026 19:22 👍 0 🔁 0 💬 1 📌 0

Non, ça ce sera l'INE. Le NUMEN n'est attribué qu'aux personnels de l'EdNat.

04.03.2026 19:18 👍 2 🔁 0 💬 1 📌 0

Est-ce que vous avez un iProf, comme les professeurs ?

04.03.2026 19:18 👍 1 🔁 0 💬 2 📌 0
Post image

Ha oui quand même

Bolloré et son révisionnisme « d'atmosphère » ...

04.03.2026 07:11 👍 262 🔁 142 💬 19 📌 21
Post image

Encore un livre qui, pour @lemonde.fr, s'est miraculeusement traduit tout seul (voire pas du tout), alors que le nom de la traductrice (oui, c'est moi) figure en page de titre. Alors oui, l'auteur est prof à Toulouse, mais il ne s'est pas auto-traduit pour autant. Le réel est complexe, je sais.

04.03.2026 09:31 👍 101 🔁 27 💬 6 📌 2

Curieux comme ça nous semble effroyable quand c'est chez les autres mais qu'on ne voit aucun soucis à accompagner les délires de caméras partout d'un Estrosi (par ex)

04.03.2026 08:12 👍 244 🔁 130 💬 9 📌 4

A fascinating note by Don Knuth describing how Claude helped resolve a conjecture that he had posed for an upcoming chapter of TACP. I'm now worried that he will get distracted again, produce something incredible, and TACP will once again wither away :). www-cs-faculty.stanford.edu/~knuth/paper...

03.03.2026 16:27 👍 12 🔁 5 💬 0 📌 1

Parce qu'ils approuvent les objectifs du terrorisme d'extrême-droite, je dirais (lisez l'article et la page Wikipedia de Logan Nisin)

03.03.2026 16:16 👍 69 🔁 32 💬 0 📌 0
Preview
« J’ai failli tout abandonner » : une déferlante raciste s’abat sur les municipales À l’annonce de leur candidature aux élections municipales, plusieurs personnalités politiques racisées ont été noyées par des torrents de haine en ligne. Elles témoignent auprès de Mediapart de la vi…

Depuis le début de l’année 2026, il ne se passe pas une semaine sans qu’un ou une candidate aux élections municipales ne subisse des attaques racistes. Tous et toutes témoignent d'une violence jusqu’ici jamais rencontrée dans une campagne électorale ⬇️

www.mediapart.fr/journal/fran...

03.03.2026 09:02 👍 114 🔁 80 💬 4 📌 8
Preview
Public view of The Rocq Prover | Zulip team chat Browse the publicly accessible channels in The Rocq Prover without logging in.

Un LLM a trouvé une erreur dans la condition de garde de Rocq.

rocq-prover.zulipchat.com#narrow/chann...

02.03.2026 19:41 👍 12 🔁 2 💬 1 📌 0

Il ne suffit pas de brancher le téléphone en USB ?

02.03.2026 16:55 👍 2 🔁 0 💬 2 📌 0
Preview
"Mon nom figure sur la liste des 25 gauchistes à tuer", un militant LFI porte plainte pour menaces de mort, injures racistes et homophobes Un militant LFI des Pyrénées-Orientales, dont le nom apparaît sur une liste de "25 gauchistes à tuer", a porté plainte contre plusieurs militants du Rassemblement national. Parmi eux, Maxime Giralt, a...

Un militant LFI des Pyrénées-Orientales, dont le nom apparaît sur une liste de "25 gauchistes à tuer" et victime de menaces racistes et homophobes, a porté plainte contre plusieurs militants du Rassemblement national, dont Maxime Giralt, attaché parlementaire du député RN de l'Ain Jérôme Buisson.

01.03.2026 19:55 👍 436 🔁 266 💬 4 📌 18
Post image

La «quenelle» de Brice Bernard, l'ami de «Rivarol» Christian Perez, l'hommage de Caroline Parmentier à une caricaturiste antisémite... ➡️ bit.ly/3N720bk

01.03.2026 18:03 👍 32 🔁 23 💬 0 📌 2
Agrégation d'informatique

Le site du jury de l’agrégation d’informatique a déménagé à l’adresse agreg-info.forge.apps.education.fr. Vous y trouverez notamment des exemples de sujets d’oraux donnés lors de la session 2025.
Rappel : devenirenseignant.gouv.fr est la référence réglementaire pour les concours de recrutement.

28.02.2026 08:05 👍 4 🔁 7 💬 0 📌 0

Sur @mediapart.fr, @alexandreberteau.bsky.social a révélé que le néonazi Eliot Bertin, mari de l’organisatrice de la manif #QuentinDeranque, était présent à Lyon malgré son interdiction de paraître.

On a désormais les images (grâce à une TV anglaise, pas française) et les mensonges de son épouse👇

27.02.2026 17:29 👍 485 🔁 282 💬 11 📌 6

Ce soir on regarde l’émission Face aux Français sur BFM… et on a quand même deux trois questions sur les Français choisis par l’émission : sur 11, au moins la moitié ont déjà eu des activités politiques, dont… une ancienne députée !

🧶 Petit tour du casting de ce #ForumBFMTV

26.02.2026 20:02 👍 42 🔁 19 💬 2 📌 5

I know I come across as a big fan of Rust, but maybe its time to try `find + mkdir`?

GNU find + mkdir is Turing Complete : arxiv.org/pdf/2602.20762

25.02.2026 20:33 👍 28 🔁 7 💬 2 📌 0

Mercredi soir, une brigade de police est intervenue sur le campus de la fac de sciences de Nancy en marge d'une AG anti-fasciste. Sans doute appelés par la cocarde sur la base de mensonge (il y aurait des étudiants masqués avec batte), ils sont intervenue à 4, ont mis la pression, puis sont repartis

06.02.2026 17:08 👍 40 🔁 33 💬 1 📌 5

Oui.

25.02.2026 12:29 👍 0 🔁 0 💬 0 📌 0