Antoine Martin
Antoine Martin
@alarsyo.net
PhD student in Model Checking
Reposted by Antoine Martin
Rappel : d'après 2 études de la DREES (Bercy) et de l'INSEE, augmenter la durée de carence ne fait pas diminuer le nombre d'arrêts maladie, ça ne fait qu'augmenter leur durée moyenne, ce qui coûte donc plus cher. Mais que peut la science face à l'idéologie de la droite ?
July 23, 2025 at 6:53 AM
Reposted by Antoine Martin
J'ai une idée mais je ne sais pas si ça rentre : je pense que le modèle "ce qui compte ce sont les publications" gêne la maintenance à long terme des logiciels (car ce n'est pas une nouveauté publiable) et encourage la création de plein de trucs neufs et inutiles.
July 18, 2025 at 6:32 AM
Reposted by Antoine Martin
If you work in software, you know about the halting problem. But you *can* decide if a program halts in a finite number of steps! Except, when you do, it kinda summons the ghost of Kurt Gödel.

An accessible essay on the limits of algorithmic knowledge: lcamtuf.coredump.cx/blog/beavers...
Gödel's beavers, or the limits of knowledge
Can you examine infinitely many integers in finite time? Are there numbers you're not allowed to know? Can a monkey beat a beaver in a fair fight?
lcamtuf.coredump.cx
July 4, 2025 at 7:47 PM
Reposted by Antoine Martin
- Taxe Zucman : 15 à 25 milliards
- Revue des niches fiscales : 17 à 19 M
- ISF rénové : 10 M
- Supprimer la flat tax : 9 M
- Taxation unitaire des multinationales : 18 M
- Aides publiques aux entreprises : 211 M

L'austérité n'a rien d'une fatalité !
July 15, 2025 at 12:58 PM
Reposted by Antoine Martin
sorry if i'm preaching to the choir here but part of why Zohran Mamdani is such a threat to career politicians on both sides is that his campaign is visibly disproving a carefully constructed narrative- that big cities are dangerous places, and people don't care about their communities or politics
Shooting our videos is a little bit different now.
July 8, 2025 at 7:05 PM
Reposted by Antoine Martin
The BusyBeaver function enumerates the max no. of steps that a N-state Turing machine with {0,1} alphabet can take before halting wen run on a full-0 tape. I knew from logic class that it was big, like 10^thousands. But I was not expecting THIS: scottaaronson.blog/?p=8972 (surprise in the post)
June 29, 2025 at 6:23 PM
Reposted by Antoine Martin
Quand nos vieux tomberont comme des mouches pendant les canicules, que nos enfants suffoqueront dans des classes de 40 par plus de 40°C, quand on vivra volets fermés de juin à octobre, au moins on pourra narguer les cieux pleins des fumées d'incendies de forêt: "Oui, mais nous sommes COMPÉTITIFS"
Alors que l’Union européenne prévoit une réduction de 90 % des émissions de CO2 d’ici à 2040 avec comme horizon la neutralité carbone, Emmanuel Macron souhaite revenir sur cet objectif, pointant la préservation de la compétitivité
➡️ https://go.publicsenat.fr/1uE
June 29, 2025 at 8:19 AM
Reposted by Antoine Martin
Stratège de Marine Le Pen, la députée Caroline Parmentier est censée dédiaboliser le RN.

Dans ses écrits, retrouvés par @mediapart.fr, elle parle du «lobby juif», rend l’homosexualité responsable du sida, célèbre Pétain, attaque la «grosse» Simone Veil et les «supporters babouins» de foot.👇
Racisme, antisémitisme et homophobie : les écrits de la députée censée dédiaboliser le RN
Stratège de Marine Le Pen, la députée Caroline Parmentier a écrit pendant trente ans dans le quotidien « Présent ». Elle y parle du « lobby juif », rend l’homosexualité responsable du sida, célèbre P…
www.mediapart.fr
June 16, 2025 at 10:59 AM
Reposted by Antoine Martin
It's funny cause it's true.

"Le système de retraites ne dérape pas, dit en réalité le dernier rapport du COR" www.alternatives-economiques.fr/systeme-de-r...
Le système de retraites ne dérape pas, dit en réalité le dernier rapport du COR
Malgré les fuites dans la presse d’une pré-version polémique et exagérément inquiétante, le rapport définitif du COR montre que le système des retraites est soutenable, quel que soit le scénario suivi...
www.alternatives-economiques.fr
June 13, 2025 at 3:11 PM
Reposted by Antoine Martin
Le fait que Microsoft ait coupé la boîte mail du procureur de la CPI parce qu'il enquête sur le génocide d'Israël ne fait que confirmer ce que l'on dit depuis des années : faire confiance pour ses données aux GAFAM revient à se soumettre à un arbitraire total.

www.lemagit.fr/actualites/3...
Microsoft coupe les mails de la Cour Pénale Internationale, un avertissement pour tous les Européens | LeMagIT
Alors que son président s’était engagé à protéger les données des Européens, Microsoft a retiré à la CPI l’accès à ses services. La coupure fait suite à une volonté de l’administration américaine, à l...
www.lemagit.fr
June 10, 2025 at 11:42 AM
Reposted by Antoine Martin
So excited to hear about ersc.io #jj-vcs
East River Source Control
ersc.io
June 5, 2025 at 6:54 PM
Reposted by Antoine Martin
À la fac, ça prend une autre forme, c'est que la toute puissance de la note (et des notes en continu) fait que les étudiants cherchent à optimiser la note (les notes) au lieu de l'apprentissage
June 3, 2025 at 8:42 AM
Reposted by Antoine Martin
Samuel Fitoussi, chroniqueur au Figaro et investisseur, après un livre "antiwoke", publie l'essai "Pourquoi les intellectuels se trompent", encensé sur de nombreux plateaux télé et radio. L'enjeu va bien au-delà des supposés "intellectuels". Ce livre est non seulement problématique mais dangereux🧵
May 30, 2025 at 11:07 AM
Reposted by Antoine Martin
The introvert urge to stay up far too late because it's the only time you can be alone
May 24, 2025 at 6:58 PM
Reposted by Antoine Martin
"I can't be bothered to parent my kids so my solution is we turn the internet into DLC microtransactions via the blockchain so AI can plan my kids birthday party". lmao, these people can't be real 😭
AI birthday failures notwithstanding, @dkthomp.bsky.social's full post raises a much bigger and more interesting question of how a dead internet monetizes when it's all just crawler bots talking at each other x.com/DKThomp/stat...
May 20, 2025 at 8:24 PM
Reposted by Antoine Martin
May 18, 2025 at 7:35 PM
Reposted by Antoine Martin
Se pensant à l'abri des regards, les manifestants du C9M de samedi dernier révèlent leur vraie nature.

@pierreplottu.bsky.social
May 12, 2025 at 7:16 PM
Reposted by Antoine Martin
Using version strings for marketing of an updated API is bad. For APIs they should be used for indicating compatibility.

You can instead do the Rust thing of editions! Call it Wasm 2025! Make a big marketing push around all the cool new features you shipped!

Calling it 2.0 is confusing!
May 9, 2025 at 6:03 PM
Reposted by Antoine Martin
Le collègue souligne un problème récurrent (et pas uniquement français) : quand le politique s'intéresse à la Recherche, il veut des stars, des pointures, futurs prix Nobel ou fondateurs de start-ups à millions.
Pourquoi vouloir faire venir des chercheurs établis (qui auront des exigences de salaires et de moyens, qui ne connaissent pas le système français…) alors qu'on peut prendre au niveau doctorant(e)s, dans les domaines où recruter en France est difficile faute de candidatures valables ?
May 6, 2025 at 6:49 AM
Reposted by Antoine Martin
Aujourd'hui dans le Figaro.
C'est un vrai titre.
D'un vrai papier.
Pleine page.
April 24, 2025 at 5:47 AM
Reposted by Antoine Martin
Les paroles et les actes…
April 20, 2025 at 10:36 AM
Reposted by Antoine Martin
Intéressante tribune sur l'illusion d'une université française attractive pour les chercheurs américains tentés par l'exil.
Ou de l'incapacité de regarder en face les conséquences de sa propre politique. Terrible absence de sens des responsabilités...
www.lemonde.fr/sciences/art...
Accueillir les chercheurs américains en France , « une ambition louable, mais irréaliste »
TRIBUNE. L’universitaire Théo Besson rappelle, dans une tribune au « Monde », que le manque criant d’investissement ainsi que le niveau des salaires dans la recherche française interdisent de fantasme...
www.lemonde.fr
April 17, 2025 at 4:52 AM