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.
Entendu au panel prospective numérique : « Trump est un camarade, il nous a permis de remettre la souveraineté au centre des débats »
February 4, 2026 at 1:54 PM
Entendu au panel prospective numérique : « Trump est un camarade, il nous a permis de remettre la souveraineté au centre des débats »
Reposted by Julien Girard-Satabin
D'ailleurs je n'ai pas vu que la baisse du montant moyen des pensions (sensible depuis quelques années sans être vertigineuse) s'est accompagnées de mesure fortes contre la pauvreté des enfants (et familles mono) ou d'un quelconque surcroit d'investissement dans l'éducation.
February 3, 2026 at 7:36 PM
D'ailleurs je n'ai pas vu que la baisse du montant moyen des pensions (sensible depuis quelques années sans être vertigineuse) s'est accompagnées de mesure fortes contre la pauvreté des enfants (et familles mono) ou d'un quelconque surcroit d'investissement dans l'éducation.
Reposted by Julien Girard-Satabin
Mais l'hypothèse que si on baissait les retraites (par répartition) on augmenterait les dépenses d'éducation ou que nos dépenses d'éducation ont été sacrifiées pour financer les retraites est une fausse évidence.
February 3, 2026 at 7:36 PM
Mais l'hypothèse que si on baissait les retraites (par répartition) on augmenterait les dépenses d'éducation ou que nos dépenses d'éducation ont été sacrifiées pour financer les retraites est une fausse évidence.
Reposted by Julien Girard-Satabin
À demain mes chers amis <3
February 3, 2026 at 4:57 PM
À demain mes chers amis <3
Reposted by Julien Girard-Satabin
Une collègue informaticienne + âgée me dit qu'on lui a déjà demandé à l'époque "avec qui elle avait couché" pour avoir le poste et qu'elle a répondu "bah personne c'était que des hommes dans le comité et je ne couche qu'avec des femmes" et je voudrais qu'on salue la verve de cette pionnière 💪
February 3, 2026 at 9:22 PM
Une collègue informaticienne + âgée me dit qu'on lui a déjà demandé à l'époque "avec qui elle avait couché" pour avoir le poste et qu'elle a répondu "bah personne c'était que des hommes dans le comité et je ne couche qu'avec des femmes" et je voudrais qu'on salue la verve de cette pionnière 💪
Reposted by Julien Girard-Satabin
Too many of our Haitian neighbors are stuck in legal limbo. As the fight over Temporary Protected Status continues, we encourage anyone with TPS to use the city’s free immigration legal support and explore every legal pathway available. Call 800-354-0365 to learn more.
February 3, 2026 at 10:37 PM
Too many of our Haitian neighbors are stuck in legal limbo. As the fight over Temporary Protected Status continues, we encourage anyone with TPS to use the city’s free immigration legal support and explore every legal pathway available. Call 800-354-0365 to learn more.
On continue les Transnumériques avec une super présentation de @nicolaspapernot.bsky.social qui conclut sur le caractère éminemment sociotechnique de la sécurité des IA. Et après quelques galettes saucisse végan englouties, je vais aller fureter du côté de l'atelier Infrastructures open-sources
February 3, 2026 at 12:39 PM
On continue les Transnumériques avec une super présentation de @nicolaspapernot.bsky.social qui conclut sur le caractère éminemment sociotechnique de la sécurité des IA. Et après quelques galettes saucisse végan englouties, je vais aller fureter du côté de l'atelier Infrastructures open-sources
Aux Transnumériques (l'informatique woke donc) organisés par l'INRIA à Rennes, je découvre le principe de _continuum_ numérique, soit l'unification progressive de l'infrastructure matérielle et logicielle du calcul, de l'IoT jusqu'au gros serveur de calcul à Gravelines et au delà.
February 2, 2026 at 3:25 PM
Aux Transnumériques (l'informatique woke donc) organisés par l'INRIA à Rennes, je découvre le principe de _continuum_ numérique, soit l'unification progressive de l'infrastructure matérielle et logicielle du calcul, de l'IoT jusqu'au gros serveur de calcul à Gravelines et au delà.
Reposted by Julien Girard-Satabin
»J’ai le sentiment d’avoir été utilisée, de la même manière que certaines personnes racisées sont parfois instrumentalisées par les partis politiques pour se donner une légitimité sur les questions de l’antiracisme» www.lavie.fr/actualite/so...
« 40 000 euros pour exercer mon mandat » : le prix du validisme en politique
À l’approche du premier tour des élections municipales de mars 2026, plusieurs militants antivalidistes dénoncent l’invisibilisation des personnes handicapées e
www.lavie.fr
February 1, 2026 at 6:53 PM
»J’ai le sentiment d’avoir été utilisée, de la même manière que certaines personnes racisées sont parfois instrumentalisées par les partis politiques pour se donner une légitimité sur les questions de l’antiracisme» www.lavie.fr/actualite/so...
Reposted by Julien Girard-Satabin
Alors je n'enseigne pas mais j'apprends ! Là j'étudie le livre de Assia Mahboubi et Enrico Tassi plus précisément sur la bibliothèque "mathcomp" et le language de preuve dérivé du Rocq classique "SSreflect" je trouve très bien fait et intéressant
math-comp.github.io/mcb/
math-comp.github.io/mcb/
Mathematical Components (the book)
math-comp.github.io
February 1, 2026 at 4:28 PM
Alors je n'enseigne pas mais j'apprends ! Là j'étudie le livre de Assia Mahboubi et Enrico Tassi plus précisément sur la bibliothèque "mathcomp" et le language de preuve dérivé du Rocq classique "SSreflect" je trouve très bien fait et intéressant
math-comp.github.io/mcb/
math-comp.github.io/mcb/
Reposted by Julien Girard-Satabin
When they say Me Too "went too far," they mean "got too close."
January 31, 2026 at 4:25 PM
When they say Me Too "went too far," they mean "got too close."
@pyviv.bsky.social tu enseignes le Rocq je crois ? Est-ce que tu as des conseils pour démarrer ? C'est pour moi, je me débrouille en logique du premier ordre mais j'ai beaucoup plus l'habitude des preuves de programme et Rocq ça intimide parce que y'a des « vraies maths » et des logiques énervées
January 31, 2026 at 7:18 PM
@pyviv.bsky.social tu enseignes le Rocq je crois ? Est-ce que tu as des conseils pour démarrer ? C'est pour moi, je me débrouille en logique du premier ordre mais j'ai beaucoup plus l'habitude des preuves de programme et Rocq ça intimide parce que y'a des « vraies maths » et des logiques énervées
Reposted by Julien Girard-Satabin
LISEZ JUDITH MERRIL !!
"Des ombres sur le foyer" de Judith Merril est excellent récit, humain et moderne sur une banlieue bourgeoise des USA qui subit les effets d'une attaque nucléaire en pleine guerre froide. Merci à @doctriz.com et aux éditions @argylleditions.bsky.social pour l'avoir mise en valeur !
January 31, 2026 at 3:51 PM
LISEZ JUDITH MERRIL !!
Reposted by Julien Girard-Satabin
Vous vous souvenez quand @lessoulevements.bsky.social ont tranquillement vendu mon taf sans autorisation, ont reconnu qu'iels s'en foutaient du droit et du consentement mais ont annoncé retirer mon taf de leurs stands ?
Bah iels continuent de vendre mon taf SANS AUTORISATION.
Bah iels continuent de vendre mon taf SANS AUTORISATION.
January 31, 2026 at 9:12 AM
Vous vous souvenez quand @lessoulevements.bsky.social ont tranquillement vendu mon taf sans autorisation, ont reconnu qu'iels s'en foutaient du droit et du consentement mais ont annoncé retirer mon taf de leurs stands ?
Bah iels continuent de vendre mon taf SANS AUTORISATION.
Bah iels continuent de vendre mon taf SANS AUTORISATION.
Reposted by Julien Girard-Satabin
et, pour être complète, celui-ci, qui revient sur l'organisation de retraites d'écriture pour nos padawans
hal.science/halshs-03744...
hal.science/halshs-03744...
Multiple binds and forbidden pleasures: Writing as poaching at French universities
Our contribution aims at providing a return on experience by describing and theorizing the tactics we developed to poach time, space, and resources in order to write. A series of neoliberal measures in French higher education during the last 20 years shape the context, and have consequences for the political and material economies of scholarly writing. We use de Certeau's concept of poaching, because the strategies that our institutions deploy exert immense pressure on our ordinary scholarly life. Consequently, writing economies have to resort to poaching tactics. We present some of the devices and fixes we have developed in this regard in terms of our teaching, supervision, and research activities.
hal.science
January 28, 2026 at 12:58 PM
et, pour être complète, celui-ci, qui revient sur l'organisation de retraites d'écriture pour nos padawans
hal.science/halshs-03744...
hal.science/halshs-03744...
Reposted by Julien Girard-Satabin
Celui qu'on a voulu le plus directement utile, c'est le 2e épisode
journals.openedition.org/echogeo/23589
journals.openedition.org/echogeo/23589
Encadrer des thèses : d’abord, ne pas nuire. (2) Diriger c’est ense...
Introduction Cet article constitue le second volet de notre contribution réflexive sur nos pratiques pédagogiques d’encadrant·e de thèse, en géographie humaine, en France (Houssay-Holzschuch, Le Go...
journals.openedition.org
January 28, 2026 at 12:56 PM
Celui qu'on a voulu le plus directement utile, c'est le 2e épisode
journals.openedition.org/echogeo/23589
journals.openedition.org/echogeo/23589
Reposted by Julien Girard-Satabin
Nous l'avons écrit parce que nous ne l'avions pas eu à nos débuts... Je comprends donc trop bien.
J'espère qu'il vous sera utile.
J'espère qu'il vous sera utile.
January 28, 2026 at 12:54 PM
Nous l'avons écrit parce que nous ne l'avions pas eu à nos débuts... Je comprends donc trop bien.
J'espère qu'il vous sera utile.
J'espère qu'il vous sera utile.
« J'ai dit "t'es zinzin" à Michel Foucault »
« J'ai dit "t'es pas clair" à Richard Feynmann »
« J'ai dit "tes nombres premiers c'est naze" à Sophie Germain »
« J'ai dit "t'es pas clair" à Richard Feynmann »
« J'ai dit "tes nombres premiers c'est naze" à Sophie Germain »
2. J’ai dit « arrête tes conneries » à Pierre Bourdieu
January 29, 2026 at 7:44 AM
« J'ai dit "t'es zinzin" à Michel Foucault »
« J'ai dit "t'es pas clair" à Richard Feynmann »
« J'ai dit "tes nombres premiers c'est naze" à Sophie Germain »
« J'ai dit "t'es pas clair" à Richard Feynmann »
« J'ai dit "tes nombres premiers c'est naze" à Sophie Germain »
Reposted by Julien Girard-Satabin
This January I officially started supervising my first PhD student 😱 What makes a good supervisor according to you?
January 28, 2026 at 10:45 AM
This January I officially started supervising my first PhD student 😱 What makes a good supervisor according to you?
Reposted by Julien Girard-Satabin
Les termes.
Chapeau bas à la présidente, toute ma solidarité de burnoutée avec les collègues de Montpellier.
Chapeau bas à la présidente, toute ma solidarité de burnoutée avec les collègues de Montpellier.
[Communiqué de presse]
Lettre ouverte // Face à la dégradation continue des conditions de travail dans l’enseignement supérieur, Anne Fraïsse, Présidente de l’Université de Montpellier Paul-Valéry, a adressé une lettre ouverte au Président de la République.
https://f.mtr.cool/cicnilhmpt
Lettre ouverte // Face à la dégradation continue des conditions de travail dans l’enseignement supérieur, Anne Fraïsse, Présidente de l’Université de Montpellier Paul-Valéry, a adressé une lettre ouverte au Président de la République.
https://f.mtr.cool/cicnilhmpt
January 28, 2026 at 11:47 AM
Les termes.
Chapeau bas à la présidente, toute ma solidarité de burnoutée avec les collègues de Montpellier.
Chapeau bas à la présidente, toute ma solidarité de burnoutée avec les collègues de Montpellier.
Reposted by Julien Girard-Satabin
#Finkielkraut, «vieux réac» en France, «de gauche» en Israël
Il condamne les crimes à Gaza, la colonisation et soutient l’État palestinien. Mais son appel à une séparation totale des populations renvoie à sa vision de la société française
Par @jeanstern.bsky.social
orientxxi.info/Alain-Finkie...
Il condamne les crimes à Gaza, la colonisation et soutient l’État palestinien. Mais son appel à une séparation totale des populations renvoie à sa vision de la société française
Par @jeanstern.bsky.social
orientxxi.info/Alain-Finkie...
Alain Finkielkraut, « vieux réac » en France, « de gauche » en Israël
Alain Finkielkraut condamne le nettoyage ethnique à Gaza et la colonisation en Cisjordanie et soutient la reconnaissance de l’État de Palestine par la (…)
orientxxi.info
January 28, 2026 at 12:02 PM
#Finkielkraut, «vieux réac» en France, «de gauche» en Israël
Il condamne les crimes à Gaza, la colonisation et soutient l’État palestinien. Mais son appel à une séparation totale des populations renvoie à sa vision de la société française
Par @jeanstern.bsky.social
orientxxi.info/Alain-Finkie...
Il condamne les crimes à Gaza, la colonisation et soutient l’État palestinien. Mais son appel à une séparation totale des populations renvoie à sa vision de la société française
Par @jeanstern.bsky.social
orientxxi.info/Alain-Finkie...
Reposted by Julien Girard-Satabin
Also, a banger review from @eclectichutch.bsky.social at @thewrap.com. "If there is one documentary with the power to burst the AI bubble, it’s this one."
'Ghost in the Machine' Review: Documentary Delivers a Searing Takedown of AI, Elon Musk and Techno-Fascism
'Ghost in the Machine' Sundance review: documentary delivers a searing takedown of AI, Elon Musk and Techno-Fascism
www.thewrap.com
January 27, 2026 at 4:21 PM
Also, a banger review from @eclectichutch.bsky.social at @thewrap.com. "If there is one documentary with the power to burst the AI bubble, it’s this one."
Reposted by Julien Girard-Satabin
I see that Iranians are getting acquainted with the segment of the western left that believes that only massacres committed by US allies are bad.
The way they're gaslighting victims while criticizing those who were doing the same elsewhere...Exactly the same as their right-winger counterparts.
The way they're gaslighting victims while criticizing those who were doing the same elsewhere...Exactly the same as their right-winger counterparts.
January 26, 2026 at 3:30 AM
I see that Iranians are getting acquainted with the segment of the western left that believes that only massacres committed by US allies are bad.
The way they're gaslighting victims while criticizing those who were doing the same elsewhere...Exactly the same as their right-winger counterparts.
The way they're gaslighting victims while criticizing those who were doing the same elsewhere...Exactly the same as their right-winger counterparts.
Reposted by Julien Girard-Satabin
On est là à se tordre l'esprit pour savoir si c'est raisonnable de faire ci ou ça et on a des pubs pour des "vols pas cher" vers "le soleil" et des dirigeants qui en ont rien à battre.
January 22, 2026 at 10:17 AM
On est là à se tordre l'esprit pour savoir si c'est raisonnable de faire ci ou ça et on a des pubs pour des "vols pas cher" vers "le soleil" et des dirigeants qui en ont rien à battre.