@[email protected]

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

[@[email protected] @pheras]

> 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.

https://t.co/5J0UkNHHmt

[Thomas Piketty @PikettyWIL]

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)

[Quint @quint_lang]

We put together a practical reference to formal verification tools:

https://t.co/Pwx1DuuWwl

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.

[Anne Applebaum @anneapplebaum]

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."
https://t.co/2HFqNlhEDw

[Miguel de Icaza ᯅ🍉 @migueldeicaza]

Good post on the fear mongering from Anthropic and OpenAI: https://t.co/qFLsb2WCqR

[Valerio Capraro @ValerioCapraro]

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.

[@[email protected] @pheras]

> When an AI lab says that my data is "used to improve model performance", what does that actually mean?

[Simon Willison @simonw]

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
https://t.co/vgheVu3rw3

[Haizam Amirah Fernández @HaizamAmirah]

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.

https://t.co/aN8EthylE3

[Cory Doctorow NO LONGER ON TWIT TER @doctorow]

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 https://t.co/ZTYVswcLXq

It's also available on Mastodon at:

https://t.co/7Q3JrE08OQ

And on Bluesky at:

https://t.co/HZYa1GlmHc

[Branko Milanovic @BrankoMilan]

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 »
https://t.co/uEeJ5P0r01

[Ismael Sanz @sanz_ismael]

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 https://t.co/Z8XTweIJbr https://t.co/SAItfb3rGY

[Francesca Albanese, UN Special Rapporteur oPt @FranceskAlbs]

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] | (spec|ver)ification | security @k0nn0v]

7. Murat Demirbas' @muratdemirbas talk on Thinking in TLA+ – Modeling Judgment for System Design.

Much needed thought patterns! #tlaplus

https://t.co/uc4xeUUmhV

[@[email protected] @pheras]

@lugaricano @_neilhacker https://t.co/6YCISd2xRQ

[Miguel de Icaza ᯅ🍉 @migueldeicaza]

@kajakallas Iranian repression is out of control:

[Miguel de Icaza ᯅ🍉 @migueldeicaza]

@kajakallas Iran police forces intimidating the population:

[Miguel de Icaza ᯅ🍉 @migueldeicaza]

@kajakallas More Iranian violence:

[antirez @antirez]

New blog post: "GNU and the AI reimplementations" https://t.co/F20Xuaak7H

[Javier Espinosa @javierespinosa2]

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.

[Progressive International @ProgIntl]

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: https://t.co/kPNgLh3mp9