Terminally online math PhD student, AI hater, and proud maintainer of Mathlib https://nitter.gq/t.co/TG6wUAzoLh
Joined June 2016
- Tweets9.6K
- Following1.4K
- Followers475
- Likes53.6K
Pinned Tweet
I'm tired of seeing mostly the pro-AI reactions shared on Twitter, so I'll just share one of my own takes.
TLDR: the point of Mathlib is not just the end result, it's also the process. And most forms of autoformalization are actively hurting that process.
Someody retweeted
Il a raison, la place de la République et ses alentours sont usés de nos pas. Il y a aucune raison que ce quartier soit le seul à être paralysé (entre deux parcours poissy melun imposés quand ca sature). La prochaine fois : Place Victor Hugo - Concorde.
Someody retweeted
l'adrénaline des manifs c’est devenu ma drogue il me faut ma dose chaque semaine j'attends juste la prochaine manif à chaque fois
Someody retweeted
Samedi 7 novembre : 250 000 partout en France, 75 000 en France.
📣 Beau match amical : reprise de la compétition ce 10 novembre !
Someody retweeted
🚨La police est entrée à l’université de Caen pour gazer et charger. Sans autorisation de la présidence.
Ces faits sont graves et illégaux, ils contreviennent au code l’éducation.
Laurent Nuñez doit rendre des comptes.
Someody retweeted
La seule manière de trouver des solutions pour que les étudiant-es ne soient pas pénalisé-es c'est de lutter avec eux.
Il faut arrêter de penser une continuité pédagogique sans (contre) eux et leur mobilisation.
Proposition de l'AG des personnels précaires de Lyon 2 :
En somme, nous, les enseignants, nous travaillons depuis des semaines à assurer la continuité pédagogique, à adapter nos cours et nos examens, à trouver des solutions pour que les étudiants ne soient pas pénalisés… pour quoi, au juste ?
Si la validation du semestre doit être garantie indépendamment du travail effectué et des évaluations, à quoi sert encore notre mobilisation pour maintenir un enseignement digne de ce nom ?
Someody retweeted
⚡️🇫🇷INFO - Sébastien #Lecornu exhorte les #banques à mettre en place un dispositif mutualisé pour financer les candidats à la #présidentielle. Selon Le Monde, plusieurs institutions bancaires soupçonnent #Matignon de chercher à obtenir cette concession pour donner un gage de bonne volonté au #RN, obtenir sa non-censure et ainsi éviter que le gouvernement soit renversé. Les banques évoquent notamment un risque #réputationnel, alors que des clients refusent de voir leur argent financer l’extrême droite. Dans un courrier adressé à ses 2 banques, Delphine Neimon écrit : « Je suis l’arrière-petite-fille d’Haïa Neimon, arrêtée et internée au camp de Drancy le 30 décembre 1942 puis déportée vers le camp d’Auschwitz le 9 février 1942 via le convoi n° 46 pour y être assassinée et réduite à néant par les nazis (…). Il est à mes yeux impensable et insoutenable que l’argent de mon travail, que je vous confie en toute confiance, serve à financer un parti fondé par ceux qui ont soutenu, encouragé, légitimé le massacre ignoble et injustifié de mon aïeule et de millions d’autres innocents ». Benjamin Gtenet refuse, lui, que sa banque finance une candidate condamnée en appel pour détournement de fonds publics. Dans un courrier à La Banque postale, il souligne : « En tant que banque publique, La Banque postale se doit d’être exemplaire et ne peut cautionner une telle démarche ». lemonde.fr/economie/article/…
Someody retweeted
C'est, précisément, la mesure de Mélenchon qui a le plus de sens.
Quel intérêt de payer un médecin généraliste 30€ (sans compter les primes) pour une gastro, le tout financé par Nicolas via la Sécu et les complémentaires ? 🤔
Le médecin n'a, de toute façon, aucun moyen de vérifier si c'est vrai ou non, donc il va rédiger un arrêt de travail.
Et ça, c'est si on arrive (par miracle) à obtenir une consultation dans la journée. Sinon, le chiasseux se rend au travail et refile la gastro à tous ses collègues.
➡️ Les arrêts de travail courts autodéclarés sont d'ailleurs la norme dans un grand nombre de pays, jusqu'à :
🇬🇧 7j au Royaume-Uni
🇸🇪 7j en Suède
🇳🇴 3j en Norvège
🇵🇹 3j au Portugal
🇩🇪 3j en Allemagne
🇱🇺 2j au Luxembourg
🇧🇪 1j en Belgique
Et des durées variables en Finlande, au Danemark, en Suisse, aux Pays-Bas, en Islande, en Autriche, à Chypre...
La limitation de leur utilisation à un maximum de jours par an et les délais de carence suffisent à réguler les abus.
En revanche, ce sont les médecins Doctolib qui enchaînent les (télé)consultations de 5 minutes qui vont tirer la gueule... Et ils ont des relais puissants à l'Assemblée nationale, donc peu de chances que ça passe en France.
Someody retweeted
🔴 ALERTE : la gendarmerie a utilisé des canons à son contre des manifestants !
Ce samedi 7 novembre, à Bordeaux, deux véhicules blindés Centaure de la gendarmerie ont été filmés en train d’utiliser des dispositifs sonores pour disperser des manifestants.
Vous vous souvenez du scandale international provoqué par l’utilisation présumée de canons à son contre des manifestants en Serbie en mars 2025 ?
La France elle-même avait dénoncé les faits par la voix de Jean-Noël Barrot, ministre des Affaires étrangères, qui déclarait le 19 mars 2025 à l’Assemblée nationale :
« Les autorités sont soupçonnées d’avoir utilisé une arme interdite à l’occasion de cette manifestation. »
Le 25 juin 2026, le ministère de l’Intérieur affirmait encore, dans une réponse officielle au Sénat :
« Les forces de sécurité intérieure françaises n’utilisent pas de LRAD en opération de voie publique. »
Le gouvernement doit immédiatement s’expliquer.
Comme l’alerte Amnesty International, il existe en France un vide juridique préoccupant concernant l’utilisation de ces dispositifs. Et ce, alors que les forces de l’ordre s’équipent de matériels acoustiques de plus en plus puissants.
Pour rappel, les canons à son sont des armes de guerre qui touchent indistinctement les personnes présentes et peuvent provoquer des lésions auditives graves.
Il faut interdire immédiatement l’utilisation des canons à son contre les manifestants, avant que leur emploi ne se banalise !
Someody retweeted
il est urgent de tuer ce système de con
Les agriculteurs ont reçu l’ordre de ne pas commercialiser leur huile d’olive: face à une récolte record, l’Espagne bloque 188.000 tonnes pour éviter l’effondrement des prix, au risque de faire grimper la facture des consommateurs
l.bfmtv.com/oS9x
Someody retweeted
Jusqu’ici, le ministère de l’Intérieur affirmait qu’il n’y avait pas d’usage de LRAD (canon à son) dans les opérations de maintien de l’ordre.
C’est désormais chose faite. @NunezLaurent
Pour illustrer la dangerosité de l’arme, la cour d’appel de New York a jugé en 2018 qu’elle était « anticonstitutionnelle » et représentait un « abus de force », estimant que « la police de New York doit revoir ses pratiques et procédures concernant l’utilisation du LRAD, en tenant compte du fait qu’ils peuvent potentiellement être mortels ».
#Bordeaux #7novembre #NewYork
Qui a autorisé ça ?
Comment est-on arrivé à autoriser ce genre de méthode digne des pires régimes autoritaires ?
À Bordeaux, utilisation de canons à son dans un quartier résidentiel. Il y a sûrement des enfants.
Le danger de cette « arme » est immense.
#7novembre #Bordeaux
Someody retweeted
Les forces de l’ordre ont pénétré ce jour sur le Campus de l’@Universite_Caen sans avoir été requises par l’université. Cela contrevient au code de l’éducation.
Ces faits sont insupportables : @NunezLaurent , cela doit cesser.
CC @PhBaptiste
Someody retweeted
Ambiance dystopique place de la Nation
Le macronisme est un long cauchemar
🎥@CLPRESSFR
Someody retweeted
Même si Macron ne veut pas, ça défile toujours à Paris
🎥@taragui_media
Someody retweeted
Malgré le dispositif policier démesuré et agressif, il y a toujours du monde ce soir dans les rues de Paris
🎥@S_Marseil
