15 Followers
107 Following
402 Posts
Mathematician and interested in the struggles against all forms of domination.

Antoine Léaument a fait ce sondage sur X.
https://piaille.fr/@cartococo/116129773789547463
85 000 réponses, 47% de fascistes, 53% d'antifa.

Donc même question ici pour rire.

Vous êtes ?
#Antifa #Antifascisme #Antifascism

Fasciste
Antifasciste
Poll ends at .
Cartographe encarté 🔻🍉 (@[email protected])

Attached: 1 image Sur X, 47% des gens qui ont répondu à ce sondage, se définissent comme fascistes. #HelloQuitteX

Piaille

I'm happy that my proposal for an introductory course on Homotopy Type Theory / Univalent Foundations at the European Summer School in Logic, Language and Information 2026 in Prague was accepted!

A great opportunity to make use of @egbertrijke's recently published book, @MartinEscardo's lecture notes (in Agda!) and @danielgratzer and @carloangiuli's book draft!

Links for the curious:
- Egbert's book: https://doi.org/10.1017/9781108933568 & https://arxiv.org/abs/2212.11082
- Martín's notes: https://cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/index.html
- Daniel and Carlo's book draft: https://www.danielgratzer.com/papers/type-theory-book.pdf

#logic #typetheory

Introduction to Homotopy Type Theory

Cambridge Core - Programming Languages and Applied Logic - Introduction to Homotopy Type Theory

Cambridge Core
L'assaut de Bolloré sur l'Histoire.
Il se passe des choses graves dans l'édition de livre d’Histoire en France, notamment à cause du milliardaire d'extrême droite. Fil d’explication à dérouler ⬇️⬇️⬇️⬇️ 1/

L'INTOX DE LA SEMAINE : UN HISTORIEN DÉNONCE LES SIGNATAIRES D'UNE TRIBUNE PRO-ISRAËL, IL EST ACCUSÉ DE «LISTER LES JUIFS»

Ces derniers mois, un phénomène étrange frappe les réseaux sionistes : ils voient de l'antisémitisme partout, sauf là où il y en a vraiment.

Notre article à lire ici : https://contre-attaque.net/2025/11/29/lintox-de-la-semaine-un-historien-denonce-les-signataires-dune-tribune-pro-israel-il-est-accuse-de-lister-les-juifs/

Bonjour cher.e camarade sentimental.e qui comme moi souhaite quitter #Spotify mais rechigne à voir supprimer 10 ans de playlists de vacances amoureusement assemblées.

Bonjour cher.e consœur geekos qui comme moi aime trifouiller les nombres avec #Python et #R.

Laissez-moi vous présenter https://exportify.app qui permet d'exporter toutes tes playlists Spotify en fichiers csv tout propres avec plein de stats dedans, genre "danceability" ou "valence" (?). Bon appétit !

#DeleteSpotify #stats

Exportify

Export Spotify playlists using the Web API

Je n'en peux plus de voir de l'IA générative partout 😐

Regardez-moi ces "dessins".

Il est devenu impossible d'effectuer une recherche web sans tomber sur ce genre de truc approximatif, bancal, qui déforme le réel et détruit les métiers de l'illustration.

Soutenez les illustrateur·rices ! 🙌

#IA #IaGen #IntelligenceArtificielle #illustration #SciArt

At this point, AI assistance has definitely taken a back seat; progress is proceeding largely by manually written code (though perhaps some participants are taking advantage of AI-powered autocomplete features, or a chatbot to generate some quick back-of-the-envelope calculations), and some new theoretical arguments. One participant did experiment with giving the problem to the highest reasoning mode of ChatGPT; letting it run autonomously, it was able to correctly locate a counterexample at n=97, but also incorrectly claimed that this was the minimal such example (when instead n=71 is the minimizer). This seems broadly consistent with my own experience with frontier models when not supervised tightly in a step-by-step fashion by a domain expert. On the other hand, while we did not have to contend with AI hallucinations, we did experience some setbacks due to good old-fashioned human errors in calculation, though the large number of participants did help in identifying these "bugs". (Perhaps in the future when Lean formalization can actually be performed in real time, rather than near-real-time, even these errors will become a thing of the past.)

[My tentative theory here is that a well-run crowdsourced project has less need of AI assistance than an individual, because it is already "superintelligent" through the human network interactions, with fewer gaps in knowledge and expertise that need to be plugged by AI.]
(2/3)

Ma sœur, tu es transphobe et tu as tort de l’être.

Tu ne devrais pas, sans déconner. Même si tu n’arrives pas à admettre que des gens ne correspondent pas à ce que toi tu imagines que devraient être des gens, par simple instinct de conservation, tu devrais au moins fermer ta gueule. Je ne te menace pas, je te dis : ta transphobie va te revenir dans la tronche comme un vieux boomerang. Ta transphobie, elle ne va pas seulement dégommer les trans, elle va te dégommer toi.

Tu crois viser les autres, mais en réalité tu prépares le terrain pour qu’on flique ton propre corps. Regarde le sport : en 2025, World Athletics a imposé un test génétique pour toutes les athlètes féminines. Pas seulement pour les trans : pour toutes. Et il y a des femmes cis, parfaitement reconnues comme telles, qui se retrouvent recalées parce que leur biologie n’entre pas dans la case prévue. Tu veux vraiment que ça devienne la norme, qu’on te colle un coton-tige dans la bouche avant un 100 mètres, ou qu’on te demande des papiers pour aller pisser ?

La suspicion ne s’arrêtera pas magiquement aux trans comme un nuage radioactif à une frontière. À Boston, une femme cis a été virée des toilettes d’un hôtel parce qu’on l’a prise pour un homme. Dans le Minnesota, une autre s’est fait suivre par un serveur jusque dans les chiottes pour prouver qu’elle avait une poitrine. Ces femmes-là n’étaient pas trans, juste pas assez “féminines" pour passer sous les radars. Et cela ne s’arrête pas là, parce que vois-tu, ma sœur, on tue des trans parce que trans. Et si un jour , tu n’es pas assez " féminine" aux yeux d’un salopard, qui te dit qu’il ne te prendra pas pour cible ?

Pendant ce temps, le patriarcat rigole. Parce qu’à force de répéter qu’une femme, c’est un utérus et des règles, tu légitimes ceux qui veulent réduire toutes les femmes à leur fonction reproductrice, ceux qui attaquent le droit à l’avortement, ceux qui rêvent de nous enfermer, l’utérus sous clé. Tu crois protéger ton espace, la vérité, c’est que tu le dévastes, que tu piétines tout ce que nos mères ont gagné pour nous. C’est par la transphobie notamment, que les conservateurs américains sont arrivés au sommet et c’est par elle qu’ils ont commencé à discuter de la possibilité de retirer le droit de vote aux femmes.

Tu fais le jeu de la division. Diviser les femmes entre “vraies” et “fausses”, c’est offrir la victoire sans combat à tous ceux qui rêvent de nous renvoyer en jupes à la cuisine...

Plus tu réduis la définition de ce qu’est une femme, plus tu rends facile le boulot de ceux qui veulent nous enfermer toutes dans la même boîte. Et le jour où ton corps, ton look ou ta vie ne rentrera pas dans les clous, tu verras que la machine à broyer les trans que tu auras aidé à monter ouvrira grand ses mâchoires contre toi.

Alors écoute, ma sœur : si tu ne veux pas être solidaire par conviction, fais-le au moins par instinct de survie. La transphobie, ce n’est pas un bouclier, c’est une prison. Défendre les femmes trans, ce n’est pas une faveur : c’est renforcer notre camp, élargir nos marges, foutre la trouille à ceux qui rêvent encore de nous domestiquer.

Ferme ta grande gueule et ouvre les yeux.

Être transphobe pour une femme cis , c'est être une dinde et voter pour noël.

10 SEPTEMBRE : SAUVAGERIE POLICIÈRE

Le gouvernement est démissionnaire, le Ministre de l’Intérieur n'a plus aucun mandat, et pourtant il se permet de continuer à déchaîner une sauvagerie policière absolue contre la population.

Notre article à lire ici : https://contre-attaque.net/2025/09/12/10-septembre-sauvagerie-policiere/

Like, I literally cannot stress this enough - at the exact time he got shot, Charlie Kirk was in the middle of making a fascist propaganda argument he's been pushing hard, along with other fascist propagandists we know are funded by right wing billionaires; namely that trans people are inherently mentally unstable and thus should not be afforded the same rights as "real" Americans and in fact should be institutionalized to protect society - so rounded up in camps.