Tired of tyrants. Source of painting: Ben Shahn French Workers 1942 Tempera on cardboard. 101.6 x 144.8 cm Museo Nacional Thyssen-Bornemisza, Madrid
EU
Joined December 2010
- Tweets19.9K
- Following1.7K
- Followers686
- Likes15K
> Si no podéis negociar entre vosotras, ¿cómo vais a negociar por nosotras? Os escribimos a todas, sin excepciones, para que os sentéis, negociéis y os presentéis juntas. La alternativa es un Gobierno con la extrema derecha. Por favor.
unasolapapeleta.vercel.app/
46
@[email protected] retweeted
Le mouvement lycéen et étudiant signe le crépuscule du macronisme: les jeunes veulent se former et accéder aux études, et un pouvoir élitiste leur répond en réduisant de 20% le budget par étudiant entre 2017 et 2026 et en gérant la pénurie avec un algorithme opaque (Parcoursup)
@[email protected] retweeted
We put together a practical reference to formal verification tools:
quint.sh/guides/formal-verif…
If you're getting started, use it to explore the landscape.
If you're already an expert, help us make it better.
If you find a missing tool or any mistake, please tell us! We want this to be an accurate, useful, and current reference.
@[email protected] retweeted
Amazing detail in this @wsj article about Kimberly Guilfoyle, US ambassador to Greece: she told a Greek minister, in a conversation about the collapse of the Romanian government,“We can do that to any country we want. We can do that here."
wsj.com/articles/kimberly-gu…
@[email protected] retweeted
Good post on the fear mongering from Anthropic and OpenAI: pop.rdi.sh/dario-please/
@[email protected] retweeted
BREAKING: OpenAI might have stolen another major proof.
In a detailed Mastodon post, which I report in full in the comments, Andreas Thom presents several pieces of evidence suggesting that OpenAI may have trained Astra on conversations in which he and Gábor Kun were working on Gromov’s soficity conjecture, one of the ten problems OpenAI later announced Astra had solved.
I know Andreas. We met several times early in our careers. He is an exceptional mathematician, a leading expert on sofic and hyperlinear groups, and one of the most respected scholars in the field. He has spent two decades working on this problem.
If his account is correct, this is not a minor dispute over attribution. It would mean that unpublished human work was absorbed into a model and then presented to the world as a breakthrough by the model itself.
And if the allegations raised by Levent Alpöge, Tristan Buckmaster, and now Andreas Thom are all substantiated, we are no longer looking at isolated incidents.
We may be looking at one of the greatest intellectual scandals in the history of science.
AI is not discovering new mathematics.
AI is stealing human discovery.
> When an AI lab says that my data is "used to improve model performance", what does that actually mean?
Wrote up my thoughts on the whole OpenAI Navier–Stokes Millennium Prize Problem story, and how it highlights the still confusing question of what using my data "to improve model performance" actually means
simonwillison.net/2026/Sep/8…
ALT This also highlights one of my ongoing frustrations about how all of this works. When an AI lab says that my data is "used to improve model performance", what does that actually mean? My 2 favourite hypothetical questions used to be: - If I'm running Codex and one of my API keys accidentally gets consumed in the context, what are the chances that someone else might ask for an API key in the future and get mine back? (I asked someone at OpenAI once and they called this the "regurgitation" problem and assured me they take great pains to prevent that... but not how) - If I brainstorm with ChatGPT about potential new directions for my company, what's the chance that information might be exposed to a competitor in six months' time who asks "what might company X plan to do next"? My new hypothetical: - If I use ChatGPT to help me partially solve a Millennium Prize problem, what are the chances that my work will influence training such that a later model helps someone else solve it first?
155
@[email protected] retweeted
He hablado con The @Guardian sobre el asalto masivo a Ceuta. Digo que:
🔷 Resulta llamativo que gente cercana a Trump y al gobierno israelí lleven varios días sin parar de hablar de Ceuta.
🔷 Los hechos muestran la disposición de Rabat a utilizar tácticas híbridas para lograr objetivos políticos.
🔷 La reacción de varios gobiernos de la UE fue, en definitiva, lo que buscaba la Casa Blanca: la erosión de la solidaridad entre los socios europeos.
theguardian.com/world/2026/a…
I've left Twitter, but I'm still writing a daily blog.
You can read today's post ("Enshittification and Reverse Centaurs go global")
at pluralistic.net/2026/07/29/l…
It's also available on Mastodon at:
mamot.fr/@pluralistic/117002…
And on Bluesky at:
bsky.app/profile/did:web:plu…
ALT A bow-wielding cherub standing amidst two antique globes. From behind one looms the poop emoji from the cover of Enshittification, mouth covered in a grawlix-scrawled black bar; from behind the other looms the reverse centaur from the cover of The Reverse Centaur's Guide to Life After AI.
@[email protected] retweeted
Branko Milanovic, économiste : « Il n’y aura pas de retour à l’idéologie néolibérale, il faut donc réfléchir à la construction d’un nouveau système »
lemonde.fr/idees/article/202…
@[email protected] retweeted
La universidad medieval evaluaba con exámenes orales. Evaluar es exigir que el conocimiento se interiorice. Si la IA reduce el esfuerzo, la universidad debe reintroducirlo de otra forma. La IA está forzando otro cambio: menos tareas en casa, más interacción directa, más conversación socrática.
The New York Times: Si la escritura “aceptable” se automatiza, la educación superior debe centrarse en pensamiento crítico, identidad intelectual y evaluación relacional m.youtube.com/watch?v=gZuLG0… nytimes.com/es/2025/08/27/es…
BREAKING! US court ha suspended the US sanctions against me!
As the judge says: "Protecting the Freedom of speech is always just the public interest".
Thanks to my daughter and my husband for stepping up to defend me, and everyone who has helped so far.
Together we are One.
@[email protected] retweeted
7. Murat Demirbas' @muratdemirbas talk on Thinking in TLA+ – Modeling Judgment for System Design.
Much needed thought patterns! #tlaplus
youtube.com/watch?v=1AjXfyw4…
@[email protected] retweeted
Iranian repression is out of control:
@[email protected] retweeted
Iran police forces intimidating the population:
@[email protected] retweeted
More Iranian violence:
@[email protected] retweeted
New blog post: "GNU and the AI reimplementations" antirez.com/news/162
@[email protected] retweeted
Fox News el 4/3: “miles de kurdos iraquíes han lanzado una ofensiva terrestre en Irán”, citando a un funcionario de EEUU. Poco importa que "miles" signifique un movimiento humano difícil de esconder. Que los propios kurdos lo hayan desmentido. O que, en definitiva, sea mentira.
@[email protected] retweeted
EMERGENCY CALL TO ACTION 🚨
@POTUS is rapidly escalating the US assault on the Americas, from Venezuela 🇻🇪 and Cuba 🇨🇺 to Mexico 🇲🇽 Honduras 🇭🇳 Colombia 🇨🇴 and beyond.
We are calling all progressive forces to Bogotá. 24-25 January. Join us: bit.ly/4qdeoon
@[email protected] retweeted
Story: Taiwan’s No 2 leader Hsiao Bi-khim makes shock speech at European Parliament
scmp.com/news/china/diplomac…
