Joël Riou

[Joël Riou @jriou]

Triolets, quintolets, **quinzolets** : https://t.co/HihFjbf39X

[Someody @Someody42]

This is a very sad day for formalization

[Someody @Someody42]

Hugo Duminil-Copin added a small text about AI and maths to his webpage. Though I am skeptical "opportunities to amplify the reach and applications of our discipline", I largely agree with his conclusions.

[Eric Coquerel @ericcoquerel]

Jamais, je crois, aucun président français n’a affiché une telle négation du droit international, de la souveraineté des peuples et une telle servilité et même complicité avec l’impérialisme américain exercé dans sa plus brutale manifestation.

Le président d’extrême-droite qu’est Trump, qui annonce sa main mise sur le Vénézuéla et son pétrole et menace maintenant Cuba et la Colombie, doit bien rire de la réaction de ce Président français qu’il a humilié il y a peu en refusant l’accès du territoire américain à un de ses représentants.

Rien que pour cette déclaration, Macron devrait démissionner ou être destitué. Il nous fait honte au moment où au contraire la France devrait s’exprimer fortement en faveur de la paix et contre toutes les invasions.

[Olivier Faure @faureolivier]

Cette déclaration du Président de la République Française n’est pas à la hauteur de la voix que la France porte dans le monde et des valeurs qu’elle doit continuer de défendre.
Le droit international, la souveraineté des États ne sont pas négociables sauf à ouvrir le monde à des désordres sans fin où seule la force régule les conflits.
Cette stratégie agressive des États Unis doit être dénoncée.
La France n’est pas un État vassal des USA et notre président ne peut pas se comporter comme un simple porte parole de la maison blanche.

[Olivier Faure @faureolivier]

Trump annonce l’enlèvement du président vénézuélien. Quoi que l’on pense de Maduro, cet acte doit être unanimement condamné.
la force ne peut remplacer le droit. C’est un pas de plus dans la déligitimation des institutions internationales et c’est à l’inverse un feu vert donné à tous les autocrates du monde.

[Emily Riehl @emilyriehl]

In a talk called "A reintroduction to proofs"

https://t.co/Rub7iN8fhS

I've speculated about teaching an undergraduate level introduction to proofs course but using dependent type theory as the implicit formal system in place of set theory and first order logic.

[Jean-Luc Mélenchon @JLMelenchon]

🔴 France-Algérie : nous voulons vivre en paix !

👉 https://t.co/tbFIeewIcC

[Years Progress @YearsProgress]

2025 is 75% complete.

[Joël Riou @jriou]

My article on the "Formalization of derived categories in Lean/mathlib" is the first article https://t.co/fQV9g6Tcl2 in the first volume of the brand new journal Annals of Formalized Mathematics.

[Nassira El Moaddem @NassiraELM]

Aujourd'hui, j'étais à #Nantes dans une association de quartier pour parler de mon livre et de mon parcours. Interrogée sur le racisme en France, j'ai fait état de son caractère systémique documenté par de nombreux chercheurs et par la justice. La suite va vous étonner. Ou pas.

[Rima Hassan @RimaHas]

Personne n’oubliera. @jnbarrot @francediplo

[Years Progress @YearsProgress]

2025 is 50% complete.

[Emily Riehl @emilyriehl]

Starting today I'm embarking upon a new adventure: 12 talks over the next 18 days as part of the @LondMathSoc Hardy Lecture Tour (plus a few additions). Titles and abstracts can all be found here:

https://t.co/Rmfplg7J0j

and slides (when available) will eventually be added.

[Joël Riou @jriou]

Lean community blog - Theorems about abelian categories https://t.co/S6pbLyUWta

[Antton Rouget @AnttonRouget]

Il est des écrits qui glacent le sang. Et sur lesquels les historiens ne manqueront pas de revenir quand ils analyseront l’effroyable complaisance des journalistes occidentaux à l’égard de l’armée 🇮🇱.

Jean @Quatremer, «correspondant européen» de @libe👇
https://t.co/DCH7RNHRj5

[Sharbatanu Chatterjee | শর্বতনু @sharbat_c]

To those who were killed. Long live, you all.

[Alertes Racisme @AlertesRacisme]

🇫🇷🚔 FLASH — « Je reçois des AMENDES tous les jours SANS SAVOIR POURQUOI » : des jeunes racisés témoignent auprès de Médiapart.

[L'Humanité @humanite_fr]

« Aucun élément probant » contre le lycée musulman Averroès : le rapporteur public se prononce pour le rétablissement du contrat avec l’État

➡️ https://t.co/QOvUSZM5cC

[Joël Riou @jriou]

Avec Ofra Hoffman et ses élèves, nous présenterons le 14 janvier à la Briqueterie (Vitry-sur-Seine) notre projet « le répertoire chorégraphique de Kuttalam M. Selvam, maître héréditaire de danse bharatanāṭyam » soutenu par le CND et le Centre Benesh. https://t.co/Wyxv9kE7vJ