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.
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.
Oh, au fait, je co-organise une journée sur la qualité opérationnelle des programmes à base d'IA. Ça sera ce mardi 2 décembre, sur le campus de @centralesupelec.bsky.social de 9h à 16h30.
Tous les détails, y compris l'inscription, sont disponibles ici gt-iasiv.fr/journee-them...
Tous les détails, y compris l'inscription, sont disponibles ici gt-iasiv.fr/journee-them...
Journée thématique
C’est avec grand plaisir que nous annonçons la première journée thématique du groupe de travail IASIV. Le fil directeur de la journée sera “Qualité opérationnelle des IA”.
Lieu et modalités pratiques ...
gt-iasiv.fr
November 27, 2025 at 12:35 PM
Oh, au fait, je co-organise une journée sur la qualité opérationnelle des programmes à base d'IA. Ça sera ce mardi 2 décembre, sur le campus de @centralesupelec.bsky.social de 9h à 16h30.
Tous les détails, y compris l'inscription, sont disponibles ici gt-iasiv.fr/journee-them...
Tous les détails, y compris l'inscription, sont disponibles ici gt-iasiv.fr/journee-them...
Tiens, le gitlab de l'INRIA semble utiliser un dérivé d'Anubis (une protection contre les robots parasites qui cherchent des données pour les LLM). Je me demande si il n'y a pas eu un petit down qui a justifié ça.
November 26, 2025 at 5:30 PM
Tiens, le gitlab de l'INRIA semble utiliser un dérivé d'Anubis (une protection contre les robots parasites qui cherchent des données pour les LLM). Je me demande si il n'y a pas eu un petit down qui a justifié ça.
Reposted by Julien Girard-Satabin
Ils ont radicalisé France Universités.
(oui, statutairement, c'est à @pverschu.bsky.social de faire ce blousque, mais on peut plus faire confiance à personne, mon bon Monsieur).
(oui, statutairement, c'est à @pverschu.bsky.social de faire ce blousque, mais on peut plus faire confiance à personne, mon bon Monsieur).
. @franceuniversites.bsky.social s'oppose à la diffusion du fameux sondage commandé par le ministère de l’enseignement supérieur à l'Ifop www.lemonde.fr/campus/artic...
Antisémitisme : les présidents d’université s’opposent à la diffusion d’un sondage commandé par le ministère de l’enseignement supérieur
Dans un courrier que « Le Monde » s’est procuré, lundi 24 novembre, l’association France Universités estime que le questionnaire de l’IFOP « pose un certain nombre de problèmes dans sa conception et l...
www.lemonde.fr
November 25, 2025 at 1:46 PM
Ils ont radicalisé France Universités.
(oui, statutairement, c'est à @pverschu.bsky.social de faire ce blousque, mais on peut plus faire confiance à personne, mon bon Monsieur).
(oui, statutairement, c'est à @pverschu.bsky.social de faire ce blousque, mais on peut plus faire confiance à personne, mon bon Monsieur).
« on a pas de programme on y travaille » mais fréro vous faites quoi depuis les 48474739 dissolutions en fait, vous briguez des postes sans programme ?
Le laborieux mea culpa de Glucksmann après son débat raté face à Zemmour
«Sans doute j’aurais pu faire mieux à cette émission.»
«Sans doute j’aurais pu faire mieux à cette émission.»
Le laborieux mea culpa de Glucksmann après son débat raté face à Zemmour
Indiscrétions piquantes, maladresses vaches ou douces confessions : chaque jour, retrouvez les brèves qui auscultent le monde politique.
www.liberation.fr
November 25, 2025 at 10:29 AM
« on a pas de programme on y travaille » mais fréro vous faites quoi depuis les 48474739 dissolutions en fait, vous briguez des postes sans programme ?
Reposted by Julien Girard-Satabin
Encore désolée mais voilà, avec mes yeux malaldes et ma dépression c'est compliqué de vivre avec plus de 800€ par mois (ma pension d'invalidité).
Or je n'ai pas plus payer ma facture internet ce mois-ci et je vais avoir 50€ de frais médicaux.
Si vous pouvez juste partager
www.paypal.me/Claire117
Or je n'ai pas plus payer ma facture internet ce mois-ci et je vais avoir 50€ de frais médicaux.
Si vous pouvez juste partager
www.paypal.me/Claire117
Pay Claire Gerstlé using PayPal.Me
Go to paypal.me/Claire117 and type in the amount. Since it’s PayPal, it's easy and secure. Don’t have a PayPal account? No worries.
www.paypal.me
November 14, 2025 at 3:31 PM
Encore désolée mais voilà, avec mes yeux malaldes et ma dépression c'est compliqué de vivre avec plus de 800€ par mois (ma pension d'invalidité).
Or je n'ai pas plus payer ma facture internet ce mois-ci et je vais avoir 50€ de frais médicaux.
Si vous pouvez juste partager
www.paypal.me/Claire117
Or je n'ai pas plus payer ma facture internet ce mois-ci et je vais avoir 50€ de frais médicaux.
Si vous pouvez juste partager
www.paypal.me/Claire117
Ma maman dit souvent que quand on n'a rien à dire, il vaut mieux se taire.
Ma pratique scientifique m'incite à ne m'exprimer publiquement que sur mes sujets d'expertise.
Michel Onfray refuse de suivre ces deux conseils. Il est donc non seulement très impoli, mais en plus parfaitement irresponsable.
Ma pratique scientifique m'incite à ne m'exprimer publiquement que sur mes sujets d'expertise.
Michel Onfray refuse de suivre ces deux conseils. Il est donc non seulement très impoli, mais en plus parfaitement irresponsable.
Le mec il y a écrit "philosophe" quand il parle à la télé parce qu'il n'y a pas de place pour écrire "parle avec du vomi dans la bouche".
Invoquer les multivers pour expliquer le changement climatique, ça doit être un sacré bordel dans sa tête !
Invoquer les multivers pour expliquer le changement climatique, ça doit être un sacré bordel dans sa tête !
November 23, 2025 at 11:00 PM
Ma maman dit souvent que quand on n'a rien à dire, il vaut mieux se taire.
Ma pratique scientifique m'incite à ne m'exprimer publiquement que sur mes sujets d'expertise.
Michel Onfray refuse de suivre ces deux conseils. Il est donc non seulement très impoli, mais en plus parfaitement irresponsable.
Ma pratique scientifique m'incite à ne m'exprimer publiquement que sur mes sujets d'expertise.
Michel Onfray refuse de suivre ces deux conseils. Il est donc non seulement très impoli, mais en plus parfaitement irresponsable.
Reposted by Julien Girard-Satabin
It’s never a bad time for this meme, but International Men’s Day might be the best time
November 19, 2025 at 7:19 PM
It’s never a bad time for this meme, but International Men’s Day might be the best time
Reposted by Julien Girard-Satabin
Je me demande si c'est à ça que Laurent Alexandre pensait quand il a dit que c'était important de faire en sorte que les enfants aient des "amis IA".
Sales of AI-enabled teddy bear suspended after it gave advice on BDSM sex and where to find knives
Sales of AI-enabled teddy bear suspended after it gave advice on BDSM sex and where to find knives | CNN Business
Sales of an artificial intelligence-enabled plush toy have been suspended after it was found that it engaged in conversation around sexually explicit topics and offered potentially dangerous advice.
www.cnn.com
November 20, 2025 at 9:08 AM
Je me demande si c'est à ça que Laurent Alexandre pensait quand il a dit que c'était important de faire en sorte que les enfants aient des "amis IA".
Reposted by Julien Girard-Satabin
Et en parallèle, des formations sur « accompagner l'usage de l'IA générative dans l'enseignement ».
November 19, 2025 at 12:28 PM
Et en parallèle, des formations sur « accompagner l'usage de l'IA générative dans l'enseignement ».
I was happy to present at the iFM 2025 conference our work on the CAISAR platform. Thanks #FMAS2025 !
The paper of this session, "The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification", is an #iFM paper and is being presented by @determineddust.bsky.social
November 19, 2025 at 11:05 AM
I was happy to present at the iFM 2025 conference our work on the CAISAR platform. Thanks #FMAS2025 !
A detailed post-mortem from yesterday's Cloudflare outage:
blog.cloudflare.com/18-november-...
We see several issues piling together.
blog.cloudflare.com/18-november-...
We see several issues piling together.
Cloudflare outage on November 18, 2025
Cloudflare suffered a service outage on November 18, 2025. The outage was triggered by a bug in generation logic for a Bot Management feature file causing many Cloudflare services to be affected.
blog.cloudflare.com
November 19, 2025 at 9:58 AM
A detailed post-mortem from yesterday's Cloudflare outage:
blog.cloudflare.com/18-november-...
We see several issues piling together.
blog.cloudflare.com/18-november-...
We see several issues piling together.
Reposted by Julien Girard-Satabin
Un coup de coeur : la série d'entretiens "à voix nue" avec la climatologue Valérie Masson-Delmotte.
La dame y est simple, claire, paisible, fraîche. En un mot : passionnante.
www.radiofrance.fr/francecultur...
La dame y est simple, claire, paisible, fraîche. En un mot : passionnante.
www.radiofrance.fr/francecultur...
Valérie Masson-Delmotte, pour le climat : un podcast à écouter en ligne | France Culture
Figure majeure du monde de la recherche et climatologue de renom, Valérie Masson-Delmotte se distingue par son engagement constant en faveur de la sensibilisation aux enjeux climatiques et par son rôl...
www.radiofrance.fr
November 17, 2025 at 8:04 PM
Un coup de coeur : la série d'entretiens "à voix nue" avec la climatologue Valérie Masson-Delmotte.
La dame y est simple, claire, paisible, fraîche. En un mot : passionnante.
www.radiofrance.fr/francecultur...
La dame y est simple, claire, paisible, fraîche. En un mot : passionnante.
www.radiofrance.fr/francecultur...
Reposted by Julien Girard-Satabin
No holds barred from @emilymbender.bsky.social and @alexhanna.bsky.social that punctures much of the AI hype, showing just how much it is infected by bias, repugnant ethics and self-dealing, with all-too-tangible harms being trivialised. A timely read 💙📚
November 17, 2025 at 8:37 PM
No holds barred from @emilymbender.bsky.social and @alexhanna.bsky.social that punctures much of the AI hype, showing just how much it is infected by bias, repugnant ethics and self-dealing, with all-too-tangible harms being trivialised. A timely read 💙📚
Reposted by Julien Girard-Satabin
Reposted by Julien Girard-Satabin
One of the biggest issues with the synthetic text extruding machines is that we have well-formed linguistic output with no accountability. Solution: OpenAI should be accountable for everything that comes out of ChatGPT, period. (And likewise for Google with Gemini, etc.)
New on the Mystery AI Hype Theater 3000 newsletter: @deccamuldowney.bsky.social and I write about OpenAI's transparent attempt to shift accountability.
buttondown.com/maiht3k/arch...
buttondown.com/maiht3k/arch...
OpenAI Tries to Shift Responsibility to Users
OpenAI is trying to shift the blame for bad legal and medical advice from its chatbot away from the company and onto users. We agree that no chatbot should be used for medical or legal advice.
buttondown.com
November 13, 2025 at 4:36 PM
One of the biggest issues with the synthetic text extruding machines is that we have well-formed linguistic output with no accountability. Solution: OpenAI should be accountable for everything that comes out of ChatGPT, period. (And likewise for Google with Gemini, etc.)
Reposted by Julien Girard-Satabin
En plus il y a une réalité mathématique profonde là-dessous: des classes de fonctions définissables à l'aide des opérateurs usuels sont stables par différentiation mais pas stable par primitivation.
(J'ai déjà oublié le nom de cet algorithme de primitivation dont on a parlé ici..)
(J'ai déjà oublié le nom de cet algorithme de primitivation dont on a parlé ici..)
November 16, 2025 at 10:11 AM
En plus il y a une réalité mathématique profonde là-dessous: des classes de fonctions définissables à l'aide des opérateurs usuels sont stables par différentiation mais pas stable par primitivation.
(J'ai déjà oublié le nom de cet algorithme de primitivation dont on a parlé ici..)
(J'ai déjà oublié le nom de cet algorithme de primitivation dont on a parlé ici..)
Reposted by Julien Girard-Satabin
Reposted by Julien Girard-Satabin
Texte important pour de nombreuses raisons. Une supplémentaire, peut-être, est que si pour l'instant le contenu semble stable d'une consultation à l'autre, rien ne garantit que ce sera le cas = que des utilisateurs différents "verront" la même chose, ce qui fragilise l'idée de référence commune
"L'âge du faux obscurantiste et viral est arrivé et Grokipedia en est le vecteur parasitaire." - j'ai eu la chance de prendre la plume pour La Croix dans une courte tribune parue ce jour. J'y décris le danger numérique et politique que fait peser le parasite Grokipedia sur la conversation publique.
« L’âge du faux, obscurantiste et viral, est arrivé et Grokipedia en est le vecteur parasitaire »
Elon Musk a annoncé, le 28 octobre, le lancement de Grokipedia, un site présenté comme le concurrent de l’encyclopédie en ligne Wikipédia. Pour Clément Salviani, contributeur Wikipédia depuis plus de ...
www.la-croix.com
November 12, 2025 at 3:18 PM
Texte important pour de nombreuses raisons. Une supplémentaire, peut-être, est que si pour l'instant le contenu semble stable d'une consultation à l'autre, rien ne garantit que ce sera le cas = que des utilisateurs différents "verront" la même chose, ce qui fragilise l'idée de référence commune
Allez, top. Et ça sera intégralement rediffusé en plus. Bel effet Streisand.
La censure a perdu: le colloque aura quand même lieu!
#Palestine #libertés
carep-paris.org/annonce/comm...
#Palestine #libertés
carep-paris.org/annonce/comm...
Communiqué n°2 : Notre colloque se tiendra, comme prévu, les 13 et 14 novembre prochains.
Le colloque « La Palestine et l’Europe » se tiendra les 13 et 14 novembre, réaffirmant la liberté académique et le partage du savoir.
carep-paris.org
November 12, 2025 at 3:00 PM
Allez, top. Et ça sera intégralement rediffusé en plus. Bel effet Streisand.
A bit of self-promotion tonight:
I am incredibly proud of my PhD student Jules Soria, whose paper "Formal Abductive Latent Explanations for Prototype-Based Networks" was accepted at AAAI. Smol thread of a proud advisor below.
I am incredibly proud of my PhD student Jules Soria, whose paper "Formal Abductive Latent Explanations for Prototype-Based Networks" was accepted at AAAI. Smol thread of a proud advisor below.
November 11, 2025 at 9:50 PM
A bit of self-promotion tonight:
I am incredibly proud of my PhD student Jules Soria, whose paper "Formal Abductive Latent Explanations for Prototype-Based Networks" was accepted at AAAI. Smol thread of a proud advisor below.
I am incredibly proud of my PhD student Jules Soria, whose paper "Formal Abductive Latent Explanations for Prototype-Based Networks" was accepted at AAAI. Smol thread of a proud advisor below.
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
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
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
Mais la profession peut compter sur le soutien du président de République et du Ministère de l'éducation !
1/7
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...
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
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...
blogs.mediapart.fr/francois-her...
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. »
« 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
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. »
« 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. »
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
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
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
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