Julien Girard-Satabin's Avatar

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.

56 Followers  |  284 Following  |  129 Posts  |  Joined: 18.09.2025  |  2.1085

Latest posts by determineddust.bsky.social on Bluesky

Post image

i need an emotional support perogi

07.02.2026 19:55 — 👍 4257    🔁 563    💬 58    📌 53
Preview
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

« 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...

08.02.2026 09:17 — 👍 4    🔁 2    💬 0    📌 0

@adapalmer.bsky.social you may find that interesting

07.02.2026 13:34 — 👍 0    🔁 0    💬 0    📌 0
Post image

The Luther Random Insult Generator was, as ever, a hit in my Reformation class this morning.

ergofabulous.org/luther/?

06.02.2026 23:51 — 👍 82    🔁 26    💬 5    📌 9

bravo à elle!

06.02.2026 16:18 — 👍 1    🔁 0    💬 1    📌 0

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é.

06.02.2026 10:15 — 👍 22    🔁 9    💬 1    📌 0

Ça n'amènera pas beaucoup de sérénité aux personnes qui souffrent. Pas quand cette souffrance relève de choix politiques, ce qui semble complètement absent des débats parlementaires.

Voir les avis très clairs de @elisarojas.bsky.social là dessus. L'exemple du Canada illustre trop bien les dérives.

06.02.2026 11:26 — 👍 4    🔁 0    💬 2    📌 0

ils l'étaient, j'ai une étudiante qui m'a aidé à répondre à une question de mon propre TD mdr

06.02.2026 11:22 — 👍 0    🔁 0    💬 0    📌 0

get rekt schismatic scum

06.02.2026 07:29 — 👍 0    🔁 0    💬 0    📌 0

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

06.02.2026 07:24 — 👍 0    🔁 0    💬 1    📌 0

Entendu au panel prospective numérique : « Trump est un camarade, il nous a permis de remettre la souveraineté au centre des débats »

04.02.2026 13:54 — 👍 0    🔁 0    💬 0    📌 0

j'ai fait la même blague à une pote hier, c'est du crip humor

04.02.2026 08:32 — 👍 2    🔁 0    💬 0    📌 0

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.

03.02.2026 19:36 — 👍 23    🔁 3    💬 1    📌 0

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.

03.02.2026 19:36 — 👍 20    🔁 1    💬 1    📌 0

Intéressant, j'avais cette fausse idée en tête. Merci beaucoup de m'avoir éclairé!

04.02.2026 08:23 — 👍 1    🔁 0    💬 0    📌 0

ah oui, actuellement en réu avec des partenaires avec 4h de sommeil, on adore à la rédac'

04.02.2026 08:21 — 👍 1    🔁 0    💬 1    📌 0

hot take mais valide

04.02.2026 08:20 — 👍 1    🔁 0    💬 1    📌 0
Post image

À demain mes chers amis <3

03.02.2026 16:57 — 👍 262    🔁 73    💬 7    📌 9

Queen

03.02.2026 23:03 — 👍 0    🔁 0    💬 0    📌 0

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 💪

03.02.2026 21:22 — 👍 690    🔁 80    💬 10    📌 5
Video thumbnail

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.

03.02.2026 22:37 — 👍 1932    🔁 521    💬 17    📌 23

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

03.02.2026 12:39 — 👍 0    🔁 0    💬 0    📌 1

Je suis surpris de voir coexister des discours en apparence très conscients de l'empreinte matérielle du numérique suivie d'une présentation remplie d'image générée par IA

02.02.2026 15:27 — 👍 0    🔁 0    💬 0    📌 0

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à.

02.02.2026 15:25 — 👍 0    🔁 0    💬 1    📌 0
Preview
« 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

»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...

01.02.2026 18:53 — 👍 12    🔁 7    💬 0    📌 2
Mathematical Components (the book)

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/

01.02.2026 16:28 — 👍 1    🔁 1    💬 0    📌 0

When they say Me Too "went too far," they mean "got too close."

31.01.2026 16:25 — 👍 7080    🔁 1858    💬 23    📌 33

@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

31.01.2026 19:18 — 👍 0    🔁 0    💬 1    📌 0

LISEZ JUDITH MERRIL !!

31.01.2026 15:51 — 👍 7    🔁 1    💬 0    📌 0

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.

31.01.2026 09:12 — 👍 196    🔁 153    💬 13    📌 0

@determineddust is following 20 prominent accounts