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.
Pourquoi chaque post de @mayor.nyc.gov me donne espoir en l'humanité
Thrilled to stand alongside New York’s Cutest to announce our new request for information for 2-K and 3-K providers. This is the first step toward universal childcare, so I brought in the experts.
February 8, 2026 at 10:20 PM
Reposted by Julien Girard-Satabin
i need an emotional support perogi
February 7, 2026 at 7:55 PM
Reposted by Julien Girard-Satabin
« Après 6 ans et le constat qu’au lieu de voir la situation s’améliorer, on a l’impression d’être à nouveau invisibilisé-es, nous devions aller de l’avant et gravir les échelons institutionnels »

🗣️ #StopTheDiseaseProcess #BlockTheSpread

www.aragondigital.es/articulo/san...
Los pacientes de covid persistente se unen en una asociación internacional: “En vez de evolucionar, se nos invisibiliza”
La creación de Long Covid Rise Up, una nueva federación internacional, responde a la necesidad de situar la enfermedad en la agenda política europea
www.aragondigital.es
February 8, 2026 at 9:17 AM
@adapalmer.bsky.social you may find that interesting
The Luther Random Insult Generator was, as ever, a hit in my Reformation class this morning.

ergofabulous.org/luther/?
February 7, 2026 at 1:34 PM
Reposted by Julien Girard-Satabin
The Luther Random Insult Generator was, as ever, a hit in my Reformation class this morning.

ergofabulous.org/luther/?
February 6, 2026 at 11:51 PM
Reposted by Julien Girard-Satabin
Surveiller un examen dans lequel il pleut en 3 endroits et où il manque la moitié des ampoules, c'est fait. Mais on ne voudrait pas non plus faire oppression sur la fiscalité.
February 6, 2026 at 10:15 AM
get rekt schismatic scum
Woohooooo, here we go! Episcopal consecration without permission is a "latae sententiae" excommunication, ie, the excommunication is automatic and at the instant the offense is committed. www.vatican.va/archive/cod-...
February 6, 2026 at 7:30 AM
aïe aïe aïe le réveil était dur ce matin, on espère que les étudiants seront plus réveillés que moi dans 30 minutes
February 6, 2026 at 7:24 AM
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
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
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
Reposted by Julien Girard-Satabin
À demain mes chers amis <3
February 3, 2026 at 4:57 PM
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
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
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
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
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
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/
Mathematical Components (the book)
math-comp.github.io
February 1, 2026 at 4:28 PM
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
@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
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
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.
Il y a 5 jours, j'interpellais les Soulèvements de la Terre sur ce réseau et sur le Fediverse parce qu'ils distribuent (et vendent) sans aucune autorisation des visuels m'appartenant.

Vous avez été nombreux'ses à relayer mes messages.
J'ai eu une réponse bien naze aujourd'hui

#Art #Artiste #Gauche
January 31, 2026 at 9:12 AM
Reposted by Julien Girard-Satabin
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.
January 28, 2026 at 12:54 PM