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.
j'ai fait la même blague à une pote hier, c'est du crip humor
February 4, 2026 at 8:32 AM
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
Intéressant, j'avais cette fausse idée en tête. Merci beaucoup de m'avoir éclairé!
February 4, 2026 at 8:23 AM
ah oui, actuellement en réu avec des partenaires avec 4h de sommeil, on adore à la rédac'
February 4, 2026 at 8:21 AM
hot take mais valide
February 4, 2026 at 8:20 AM
Queen
February 3, 2026 at 11:03 PM
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
February 2, 2026 at 3:27 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
j'ai deux projets de thèse qui n'ont pas pu aboutir parce qu'une certaine école d'ingénieur avait des conditions inacceptables pour mon employeur
January 31, 2026 at 9:57 AM
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