Anatole Dedecker's Avatar

Anatole Dedecker

@anatolededecker

PhD student interested in Operator Algebras, Geometric Group Theory, Topology, and Proof Assistants. Proud contributor and maintainer of https://leanprover-community.github.io/

32
Followers
182
Following
3
Posts
13.11.2023
Joined
Posts Following

Latest posts by Anatole Dedecker @anatolededecker

Il y a 36 ans jour pour jour nous quittait Keith Haring.

19.02.2026 09:49 👍 61 🔁 15 💬 1 📌 0

Et encore une fois : non, toutes les idées ne se valent pas. Les idées de ces gens mènent systématiquement à des meurtres.

18.02.2026 21:59 👍 13 🔁 4 💬 2 📌 0
MINNEAPOLIS (AP) — Alberto Castañeda Mondragón says his memory was so jumbled after a beating by immigration officers that he initially could not remember he had a daughter and still struggles to recall treasured moments like the night he taught her to dance.

But the violence he endured last month in Minnesota while being detained is seared into his battered brain.

He remembers Immigration and Customs Enforcement agents pulling him from a friend’s car on Jan. 8 outside a St. Paul shopping center and throwing him to the ground, handcuffing him, then punching him and striking his head with a steel baton. He remembers being dragged into an SUV and taken to a detention facility, where he said he was beaten again.

He also remembers the emergency room and the intense pain from eight skull fractures and five life-threatening brain hemorrhages.

MINNEAPOLIS (AP) — Alberto Castañeda Mondragón says his memory was so jumbled after a beating by immigration officers that he initially could not remember he had a daughter and still struggles to recall treasured moments like the night he taught her to dance. But the violence he endured last month in Minnesota while being detained is seared into his battered brain. He remembers Immigration and Customs Enforcement agents pulling him from a friend’s car on Jan. 8 outside a St. Paul shopping center and throwing him to the ground, handcuffing him, then punching him and striking his head with a steel baton. He remembers being dragged into an SUV and taken to a detention facility, where he said he was beaten again. He also remembers the emergency room and the intense pain from eight skull fractures and five life-threatening brain hemorrhages.

ICE told nurses this Minneapolis man “purposefully ran headfirst into a brick wall.”

What actually happened is that they pulled him from a car, beat him so viciously with a steel baton that he had 8 skull fractures, 5 life-threatening brain hemorrhages, and couldn’t remember he had a daughter.

07.02.2026 17:54 👍 17910 🔁 9174 💬 493 📌 702

📢 Si vous travaillez chez Ubisoft Annecy et Ubisoft Bordeaux, j’aimerais beaucoup discuter des événements de ce début d’année pour affiner mes travaux.

Anonymat garanti et contact sécurisé 👇

Email : gautoz at protonmail point com
Signal : gauthierandres.01

05.02.2026 09:59 👍 195 🔁 229 💬 3 📌 1
Post image

Europe 🇪🇺

Dans le contexte d'une Amérique qui se détourne des Européens et qui menace régulièrement le Vieux Continent, si la Maison Blanche coupe l'accès aux technologies Américaines, alors nos entreprises tangueraient lourdement ⤵️

05.02.2026 13:06 👍 124 🔁 62 💬 18 📌 4

my theory why tech bros have gone insane is that tech optimism was their fuel for awhile. that began to fade as the future was looking less utopian and was obviously always about getting infinite money. when the public began to turn on big tech, tech turned to reactionary ideology to fill the void

05.02.2026 20:24 👍 3601 🔁 383 💬 102 📌 23
How long would you survive with no DNA?
How long would you survive with no DNA? YouTube video by xkcd's What If?

How long would you survive with no DNA?

What the latest What If? video in collaboration with
@minuteearth.bsky.social!

www.youtube.com/watch?v=s3oL...

21.01.2026 20:27 👍 1109 🔁 132 💬 18 📌 10
Comic. [A chemical formula trailing off the right side] C1076 H1080 Ac1067 Ag1069 Al1075 Am1026 Ar1075 As1070 At1047 Au1069 B1071 Ba1070 Be [caption] The approximate chemical formula for the universe

Comic. [A chemical formula trailing off the right side] C1076 H1080 Ac1067 Ag1069 Al1075 Am1026 Ar1075 As1070 At1047 Au1069 B1071 Ba1070 Be [caption] The approximate chemical formula for the universe

Chemical Formula

xkcd.com/3200/

30.01.2026 02:14 👍 2273 🔁 245 💬 38 📌 13
Video thumbnail

it was time to overhaul the polyline rendering in Shapes!

it's now using primitive quads with structured buffers, which is gonna allow me to fix basically *everything* that was buggy/weird about the old mesh-based polylines

02.02.2026 23:36 👍 274 🔁 6 💬 13 📌 0

Abolish ICE.

There’s no reforming it.

There’s no compromise.

There’s only one way to rein in ICE’s terror campaign. Abolish it.

02.02.2026 23:27 👍 40844 🔁 9143 💬 805 📌 319
Video thumbnail

stuff like this is one of the reasons why it’s incredibly important to constantly film everything ICE is doing while terrorizing communities bc it humiliates them

12.01.2026 22:26 👍 4424 🔁 818 💬 110 📌 66
Video thumbnail

ahah I DID IT i defeated widow at 150% game speed

12.01.2026 18:27 👍 178 🔁 6 💬 11 📌 2
Post image

furry transfem

29.07.2025 15:50 👍 1310 🔁 406 💬 2 📌 25

A PayPal call center supervisor said they actually completely agree with me. They said that if enough people call PayPal they would be forced to take notice. I explained the Patreon/Itch/Steam situation and they said they're a creative themselves & that they hope the situation improves.

CALL THEM

29.07.2025 23:32 👍 10756 🔁 5450 💬 27 📌 23

Je recherche un avocat capable de m'aider à lutter contre les actions illégales du MDPH.

Je souhaite un avocat qui ne se contentera pas de justifier le système, mais qui se battra pour mes droits et écoutera attentivement ce que j'ai à dire.

Toutes les suggestions sont les bienvenues.

29.07.2025 14:31 👍 26 🔁 48 💬 5 📌 0

Juste un rappel que ce qui a plus de chance de compromettre les capacités de raisonnement et de concentration à l'heure actuelle c'est SarsCov2, bien plus que l'IA (ou les écrans...).

01.07.2025 13:27 👍 25 🔁 11 💬 0 📌 0

"« Avant, les épreuves écrites amenaient à Sciences Po les élèves des meilleurs lycées de France. Avec le dossier et l’injonction à la discrimination positive, on regarde Henri-IV, mais aussi le lycée d’Albi ! », résume un professeur."

💀💀💀

28.05.2025 00:21 👍 110 🔁 23 💬 11 📌 13
Post image

« Le sujet scandalise aussi les cercles bourgeois » : L’entre-soi le plus pur, c’est cet article du Figaro qui pleure sur l’ouverture de Sciences Po à de nouveaux profils, ses « malus à l’élitisme », et cette palanquée de braves jeunes du privé « blacklistés » 🐣 www.lefigaro.fr/vox/societe/...

27.05.2025 22:25 👍 231 🔁 83 💬 12 📌 21

Pardon mais ÇA, là.
Les ruptures qui s'enchaînent, pour des traitements essentiels en santé mentale.
Est-ce qu'on pourrait faire un plan d'urgence pour ÇA ?
Permettre aux malades de VIVRE DIGNEMENT, avant de leur demander s'ils veulent mourir ?
Bien sûr qu'elles vont vouloir mourir, banane ! 😡

17.05.2025 17:09 👍 327 🔁 165 💬 16 📌 5
10.05.2025 20:36 👍 264 🔁 59 💬 4 📌 1

Judge Sessions is right. Neither Rumeysa Ozturk or anyone else in America should be in jail for authoring an op-ed critical of Israel, or on any subject.

Trump and colleagues should read the Constitution and, especially, the First Amendment.

Ozturk must be released immediately.

09.05.2025 18:50 👍 1972 🔁 321 💬 45 📌 10

Video of a student in my town who wrote a political op-ed being grabbed off the street by government agents bsky.app/profile/pale...

27.03.2025 16:10 👍 6575 🔁 1420 💬 172 📌 51

Trump a viré la Bibliothécaire du Congrès parce qu'elle mettait des livres inappropriés pour les enfants dans ladite bibliothèque, qui gère le dépôt légal des USA.

09.05.2025 20:47 👍 19 🔁 8 💬 3 📌 0

Trop peu de gens le savent : les dépistages IST sont accessibles depuis septembre 2024, à tous et toutes, sans ordonnance dans tous les labos d'analyse.
Si vous avez une mutuelle vous ne réglerez rien.
(Pour les -de 26 ans c'est gratuit avec ou sans mutuelle).

07.05.2025 09:55 👍 112 🔁 89 💬 5 📌 3

*If* however their main political forces are short-hypocrites that see a high self-interest in the perpetuation of a biosphere wrecking system of inequalities, *then* they would cut public funding, attack universities and divest public money to cryptocurrencies, LLM or surveillance technology.

05.05.2025 07:41 👍 13 🔁 2 💬 1 📌 1

I think we should view this as a syllogism.

*If* European countries were serious about their commitment to freedom of enquiries and research, especially in domains that could challenge political end economic power, *then* they would rush to invest massively in publicly funded independent science.

05.05.2025 07:37 👍 30 🔁 7 💬 1 📌 0

Donc y a une clause conscience pour l'IVG mais pas pour ça ? 💀

03.05.2025 13:00 👍 60 🔁 16 💬 1 📌 0

"mais la gauche elle devrait proposer quoi ?"

des embauches massives dans le médico social par exemple
les infirmières a domicile de mon grand père post avc elles avait a peine le temps de lui torcher le cul 2 fois par semaine

03.05.2025 13:40 👍 19 🔁 5 💬 0 📌 0