La communauté jj (www.jj-vcs.dev) est très accueillante, et ça a l'avantage d'être un projet assez "meta" pour un cours qui parle de contribs Git :)
Posts by Antoine Martin
Capture d'écran du tweet cité, à savoir : https://twitter.com/RMCInfo/status/1947518923995308375
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 ?
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.
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...
- 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é !
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
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)
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"
blogs.mediapart.fr/david-monnia...
Notre difficulté à nous adapter aux réalités climatiques
(avec @virginiegautron.fr dedans)
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.👇
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 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...
So excited to hear about ersc.io #jj-vcs
À 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
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🧵
The introvert urge to stay up far too late because it's the only time you can be alone
Titre : Ducond ou Ducont ? Les militants LR ont choisi Image : Retailleau et Wauquiez en Dupond et Dupont. Retailleau : « pour une droite raciste et homophobe » Wauquiez : « je dirais même plus, pour une droite homophobe et raciste »
Se pensant à l'abri des regards, les manifestants du C9M de samedi dernier révèlent leur vraie nature.
@pierreplottu.bsky.social
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!
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.
"La servante écarlate", la dystopie instrumentalisée par les féministes
Aujourd'hui dans le Figaro.
C'est un vrai titre.
D'un vrai papier.
Pleine page.
Le Parisien : « Ici, la recherche est une priorité » : Emmanuel Macron appelle les scientifiques à venir en France
Chute des budgets de l’enseignement supérieur
Les paroles et les actes…
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...
This is part of the big manufacturing lie: that people can get jobs with no education or training just wielding screwdrivers.
Apple cannot make iPhones in the US without an army of tooling engineers, and we don’t even have the tooling engineers here to educate an army of tooling engineers.
What if the secret to winning elections is somehow Trump's syntax. We need a guy to say stuff like "But we're going to abolish billionaires and we'll be doing it very soon. They'll be paying very high taxes but it'll be very fair. And frankly they haven't paid taxes in a very long time"
Que ce ne soit pas un plus grand scandale est quand même un échec collectif.