Julien Girard-Satabin
determineddust.bsky.social
Julien Girard-Satabin
@determineddust.bsky.social
Academic and engineer. Formal Verification, Artificial Intelligence, Explainability, Self-Hosting.

Wrapups and opinion pieces at https://julien.girard-satabin.fr
🥀 In 10 years, we will not be able to build new computers.
😷 Wear a mask, save lives.
Reposted by Julien Girard-Satabin
Les personnels enseignants craignent les réactions de l'extrême-droite lorsqu'ils et elles prennent position dans leurs cours pour les principes et valeurs démocratiques.
Mais la profession peut compter sur le soutien du président de République et du Ministère de l'éducation !
1/7
November 11, 2025 at 2:59 PM
Reposted by Julien Girard-Satabin
Titulaire de la chaire « Migrations et sociétés » au Collège de France, François Héran rend publique la lettre qu’il a adressée à son administrateur, Thomas Römer, à propos de l’annulation du colloque sur la Palestine de son collègue Henry Laurens.

blogs.mediapart.fr/francois-her...
Palestine au Collège de France : la protestation de François Héran
Titulaire de la chaire « Migrations et sociétés » au Collège de France, François Héran rend publique la lettre qu’il a adressée à son administrateur, Thomas Römer, à propos de l’annulation du colloqu…
blogs.mediapart.fr
November 10, 2025 at 3:07 PM
Reposted by Julien Girard-Satabin
Communiqué de presse du CAREP.

« La réputation de ces chercheurs et chercheuses, internationalement reconnus, est ainsi injustement mise en cause par une presse partisane relayant les propos calomnieux de la LICRA. »
Communiqué de presse : le Collège de France cède aux pressions et annule le colloque « La Palestine et l’Europe »
Le Collège de France annule le colloque « La Palestine et l’Europe » sous pression politique. Des universitaires dénoncent l’ingérence ministérielle et un article diffamatoire de Le Point, alertant su...
carep-paris.org
November 10, 2025 at 3:16 PM
LLMS are not suitable tools for contradicting a user - which is sometimes necessary when the user is wrong.
When provided a false logical statement, GPT-5 will try to prove its truth 29% of the time. DeepSeek 3.1 will attempt that 70% of the time.

arxiv.org/abs/2510.04721
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
Large language models (LLMs) have recently shown strong performance on mathematical benchmarks. At the same time, they are prone to hallucination and sycophancy, often providing convincing but flawed ...
arxiv.org
November 10, 2025 at 10:52 AM
Ah ouais, c'est vrai que les précédents professeurs du collège de France prônaient une stricte neutralité politique. Genre, MICHEL FOUCAULT.
November 9, 2025 at 9:08 PM
Reposted by Julien Girard-Satabin
De façon plus générale, on peut se méfier des appels à la rationalité : si qqn se revendique "rationnel", si c'est un élément central de son discours, il construit en creux le fait que ses adversaires soient "irrationnels"... Ce qui est rarement un bon signe en termes d'éthique du dialogue.
November 8, 2025 at 5:29 PM
Reposted by Julien Girard-Satabin
J'en place une pour Wisdom, cette albatros qui a l'âge de mes darons et qui continue sa vie pepouze. Elle a parcouru depuis sa naissance pas loin de 5 millions de km (soit 6 A/R terre-lune)
Bravo poupette
Wisdom (albatross) - Wikipedia
en.wikipedia.org
November 8, 2025 at 11:30 AM
Reposted by Julien Girard-Satabin
Pour @canardpc.com j'ai mis le doigt dans le curieux marché des jeux pour avion. Mais si, les petits jeux dans les tablettes de siège.

Qui les développe ? Qui les achète, les vend ? Et surtout, pourquoi personne n'a l'air de vouloir m'en parler ?

C'était bizarre et fascinant, et c'est à lire ici :
À bord du monde étrange des jeux pour avion
Ces pages devaient initialement accueillir un article un peu idiot sur « les jeux nuls jouables à bord des avions ». Mais tout ça s’est finalement transformé en une enquête de plusieurs semaines, quan...
www.canardpc.com
November 7, 2025 at 9:45 AM
Reposted by Julien Girard-Satabin
« Le covid n’est pas un sujet secondaire en ce qui concerne la montée du fascisme. »
« L’antivalidisme et la lutte contre l’eugénisme doivent prendre la place qui leur revient dans le mouvement antifasciste unitaire que nous appelons de nos vœux. »
J'ai écrit ce texte où j'essaye de parler antivalidisme sous un angle antifasciste, pour des gens qui n'y connaissent rien, pour combattre l'ignorance valide. Je me suis posé la question de ce qu'était l'eugénisme, au fond du fond.
drive.google.com/file/d/1IM5R...
November 4, 2025 at 10:54 AM
Reposted by Julien Girard-Satabin
Hello ! Je viens de passer 2h d'entretien en visio avec une doctorante qui écrit une thèse sur les violences vécues par les femmes handicap.

Elle cherche d'autres témoignages (le tout anonymisé bien sur).

Si ça vous interesse hésitez pas à me DM que je vous file son contact!

RT apprécié :)
November 6, 2025 at 3:06 PM
@blast-info.fr le fascisme, un terme galvaudé? Il me semble plutôt bien défini pourtant; je ne connais pas Mark Fortier mais si le bouquin se veut comme une satire, l'extrait montre votre journaliste plutôt d'accord avec l'idée qu'être antifaciste est une posture sans fondement ni sens. Bizarre?
"C'est quoi le confusionnisme, Faïza?"

Moi: *pointe cette interview des deux mains, les yeux exorbités*
November 5, 2025 at 10:28 PM
Reposted by Julien Girard-Satabin
Reading the brilliant book 'Inventing the Renaissance' by @adapalmer.bsky.social, and I think she coined a phrase for the ages:

"History, unlike fiction, doesn't have to be plausible."
a man with red hair and a beard is standing in the woods
ALT: a man with red hair and a beard is standing in the woods
media.tenor.com
November 4, 2025 at 6:06 PM
Reposted by Julien Girard-Satabin
Marché de niche : pourquoi les commerces déroulent le tapis rouge aux chiens, mais pas aux personnes handicapées souslesroues.ghost.io/nos-amis-a-q...
Marché de niche : pourquoi les commerces déroulent le tapis rouge aux chiens, mais pas aux personnes handicapées
En réservant un hôtel ou un transport, Malick Reinhard se heurte toujours à une fracture numérique absurde : un chien est un client premium, une personne handicapée, une grosse complication. Enquête (...
souslesroues.ghost.io
October 23, 2025 at 11:44 AM
Reposted by Julien Girard-Satabin
This will be a long thread on yesterday police massacre in Rio.

In nothern Rio de Janeiro city, there is a couple of hills called Complexo da Penha. It's Comando Vermelho("Red Command", a drug gang), or CV, territory.

CV is the greatest gang in Rio, second in the whole Brazil.

+
🧵 Awful awful massacre in Brazil
Gente, é o maior massacre no Brasil desde o Araguaia. Entendo quem quer puxar pra Canudos ou Contestado ou etc, mas não podemos livrar a ditadura de 64 só porque ela escondia melhor seus corpos.

Morreram 41 guerrilheiros comunistas e mais de 1200 camponeses no Araguaia.
October 29, 2025 at 11:52 PM
Reposted by Julien Girard-Satabin
Nouvel article sur le blog !
En cette période de Fête de la Science à l'infâme thématique "Intelligences", un peu de réflexion critique sur la notion de "biais cognitifs".
leserpentasornette.wordpress.com/2025/11/02/l...
Les « biais cognitifs », cette escroquerie
« Sornette, serpent, qu’est-ce qui te motive à écrire des billets ? » LA RAGE. Ca faisait longtemps que je n’avais pas écrit de billet ici. Entre la reprise du travail et la réorgani…
leserpentasornette.wordpress.com
November 2, 2025 at 6:05 PM
Reposted by Julien Girard-Satabin
Taxer les riches ➡️ taxer un peu les riches ➡️ taxe light avec trouzemille exemptions ➡️ petite taxe ➡️ vraiment toute petite taxe ➡️ mini taxe ➡️ taxounette ➡️ euro symbolique ➡️ centime symbolique ➡️ rien ➡️ taxer les pauvres.
October 31, 2025 at 8:17 AM
c'est quand même rigolo quand un collègue vous présente un problème apparemment plutôt éloigné de ce que vous faites (énumération d'arrangement d'hyperplans), et qu'en fait ça relie parcours de graphes et vérification formelle
October 30, 2025 at 5:40 PM
Reposted by Julien Girard-Satabin
Un jeune collègue me demande "comment aller à Dagstuhl?? tout ce que je trouve prend 4-5 heures alors que c'est à 2 heures en voiture".

Mon jeune ami, Dagstuhl se mérite. Le voyage fait partie de l'expérience. Toi aussi fais l'expérience de voir un allemand pisser sur le quai à St Wendel.
October 29, 2025 at 7:21 AM
wtf l'effet sonore « Halloween » dans mon metro à base de signal sonore ultra aigu et effet distorsion type maison hantée cheap
October 30, 2025 at 5:20 PM
À compléter avec la newsletter de ces dernières années sur www.wheresyoured.at ; le marché de l'IA semble très peu capable de créer de la valeur
« 95 % des entreprises américaines n’ont aucun retour sur leurs investissements en IA. En attendant, personne ne rentre chez lui plus tôt grâce à Copilot ou Gemini. » voilà la véritable question : SI l’IA fait vraiment gagner du temps (à prouver), qu’en fait on ?
www.lemonde.fr/m-perso/arti...
L’IA au bureau, entre perte de temps et perte de sens
« Sur le feed ». Chaque mois, la journaliste Laure Coromines décrypte les tendances numériques. Malgré la contre-productivité avérée des intelligences artificielles au travail, elles continuent d’être...
www.lemonde.fr
October 28, 2025 at 8:07 AM
Reposted by Julien Girard-Satabin
« 95 % des entreprises américaines n’ont aucun retour sur leurs investissements en IA. En attendant, personne ne rentre chez lui plus tôt grâce à Copilot ou Gemini. » voilà la véritable question : SI l’IA fait vraiment gagner du temps (à prouver), qu’en fait on ?
www.lemonde.fr/m-perso/arti...
L’IA au bureau, entre perte de temps et perte de sens
« Sur le feed ». Chaque mois, la journaliste Laure Coromines décrypte les tendances numériques. Malgré la contre-productivité avérée des intelligences artificielles au travail, elles continuent d’être...
www.lemonde.fr
October 28, 2025 at 7:26 AM
Reposted by Julien Girard-Satabin
Nicolas Sarkozy qui part en prison, c'est le sort que connaissent 90 % des condamnés à des peines de plus de deux ans. Youssef Badr, magistrat, répond à Mathieu Magnaudeix sur cet épisode et la fabrication de la défiance envers la justice dans notre société.
October 23, 2025 at 5:15 PM
Reposted by Julien Girard-Satabin
Non, mais c'est sans doute qu'on ne les a pas baissé assez. Justement au budget 2026...
October 22, 2025 at 5:55 AM
@minervacdejapris.bsky.social est-ce que tu as un RIB pour que je te vire de l'argent ? je n'ai pas paypal
October 21, 2025 at 10:27 PM