| www | https://www.cril.univ-artois.fr/~leberre/ |
| Sat4j | http://www.sat4j.org/ |
| PoS | https://www.pragmaticsofsat.org/ |
| Code | https://github.com/danielleberre/ |
ℹ️ #Tchap : la DINUM et @ANSSI_FR ont été informés d'une revendication de compromission suite à une usurpation de compte qui a été détectée et neutralisée.
Des investigations pour identifier et corriger de potentielles vulnérabilités sont en cours.
→ https://www.numerique.gouv.fr/sinformer/espace-presse/incident-tchap/
Leiden Declaration on Artificial Intelligence and Mathematics
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research. It is the result of a community initiative and is endorsed by the International Mathematical Union (IMU).
- Table ronde sur l’encadrement des activités périscolaires réunissant : M. Antoine Jouenne, co-président de la commission éducation de l’Association des maires de France et des présidents d’intercommunalité (AMF), Mme Nelly Jacquemot, responsable du département action sociale, éducation, culture, M. Sébastien Ferriby, conseiller éducation et culture ; Mme Marie Lieberherr, directrice « protection des droits et affaires judiciaires » auprès du Défenseur des droits ; Mme Cristelle Gillard, adjointe à la médiatrice de l’éducation nationale et de l’enseignement supérieur, déléguée à la protection des enfants à l’école ; Mme Florence Gatineau-Sailliant, administratrice de la Fédération nationale des conseils de parents d’élèves des écoles laïques de Paris (FCPE Paris) ; Mme Elisabeth Guthmann, co-fondatrice du collectif SOS Périscolaire, et des membres du collectif ; des représentants du collectif MeTooEcole - Désignation: - des rapporteurs de la mission d’information sur le thème « Arcom : nouveaux usages, nouveaux enjeux » - d’un rapporteur sur la proposition de loi visant à garantir la transparence du calcul des contributions des collectivités territoriales au financement des établissements d’enseignement privés sous contrat d’association (n° 2786) - d’un rapporteur sur la proposition de loi visant à prévenir les conflits d'intérêts dans les sociétés nationales de programme (n° 2791) - Audition de M. Thierry Dauxois, dont la nomination à la présidence du Centre national de la recherche scientifique (CNRS) est envisagée par le président de la République (M. Maxime Michelet, rapporteur) - Vote à bulletins secrets sur cette nomination, en application de l’article 13 de la Constitution et de l’article 29-1 du Règlement
Just discovered “Principia Softwarica”:
https://principia-softwarica.org/
It’s inspiring both as a piece of work—one person learning and documenting an entire OS code base over several years!—and as a demonstration of what designing software with consistency, clarity, and minimalism in mind can produce.
(HT @shepherd !)
@doragasu @lina
The developer explained in his Medium post how, after being snowed under with (legitimate) AI-generated security issues, he realised a significant refactoring would be needed. Further he also identified that his existing test coverage was insufficient so first had to update all of that.
He acknowledges his hastily updated tests have missed some lesser-used features, which are the ones some people are complaining about no longer working. Given the age of rsync, its extraordinarily large number of options, and the fact that it's written/maintained by one retired individual on a very part time basis, I think cutting some slack is the least we can do.
Or, y'know, submit a PR to fix the broken shit, rather than simply complaining!
The Great AI Boomerang: Google, Meta, Klarna & More Are Quietly Rehiring the Workers They Fired
https://emeraldbook.org/news/may-3126-2/
29% of firms have already rehired for AI-cut roles, while 55% of executives regret replacing workers with AI.
🍿
◆ Emerald Pages ◆ feature / economy The Great AI Boomerang: Google, Meta, Klarna & More Are Quietly Rehiring the Workers They Fired Emerald Book Publication May 31, 2026 8 min read 29% of firms have already rehired for AI-cut roles, while 55% of executives regret replacing workers with AI. From Big Tech to fast
we have a Forgejo instance at the Dutch government now and it's great!
A lot of the UI is actually smoother and faster than GitHub, there's no annoying upselling, no forced AI ('are you sure you don't want this reviewed by an agent?'), and the fact that we run rather than rent it seems optimal strategically.
Thanks @Gina and co for making it possible 👏
RE: https://neuromatch.social/@jonny/116657411750038515
Un fil (en anglais) qui analyse un changement fait sur le dépôt de rsync*: convertir les jeux de tests en python, via une IA. Spoiler: c'est catastrophique.
*: rsync est un petit utilitaire servant à synchroniser des fichiers (entre dossiers et/ou machines). C'est un outils dont la fiabilité est cruciale pour des millions de serveurs et services dans le monde.
Un exemple de régression débile causée par un commit vibe codé: https://github.com/RsyncProject/rsync/issues/922
C'est vraiment très très mauvais signe pour l'avenir de cet outils...
Edit: pour le côté vibe codé, je me suis possiblement trompé... "Tridge" est le nom d'une boite d'IA, mais ici c'est surtout le nom du mainteneur. Les commits vibe codé de rsync le sont par claude.
Dir. interminist. du Numérique
Laura J. Wilkinson
Ludovic Courtès
Flippin' 'eck, Tucker!
Khrys
Hidde
John Livingston