Sign in

Pedro de las Heras Quirós

@pheras.bsky.social
268 followers 330 following 2.3K posts

Distributed systems, computer networks, formal methods, ethical CS, free/libre software, world history. Necessarily in disorder. Fediverse/Mastodon: @pheras@fosstodon.org

PostsRepliesMedia
Pedro de las Heras Quirós @pheras.bsky.social · 11/10/2026
www.nytimes.com/2026/10/08/s...
Yuanning Zhang, a Ph.D. student in mathematics at Northwestern University, visiting at SLMath, said: “What I’m feeling is less a judgment than a kind of vertigo.” If these reported resolutions are verified, this would suggest that A.I.-assisted mathematical research is beginning to operate on an industrial scale.”

Initially, the rumors about these OpenAI results had it that there were solutions to 400 problems, and now the rumors are that further dumps are arriving soon. The number 400 had made Mr. Zhang think of “The 400 Blows,” a coming-of-age film by François Truffaut.

“The film is about a boy who is evaluated, judged and shut away from society, and no one really takes the time to understand him,” Mr. Zhang said. “Towards the end, he runs to the sea, and the film ends on a freeze frame that passes no judgment on whether this is an escape or a dead end. I don’t think that’s a bad picture of where mathematics stands with these results.”
000
Pedro de las Heras Quirós @pheras.bsky.social · 11/10/2026
www.nytimes.com/es/2026/10/1...
Yuanning Zhang, estudiante de doctorado en matemáticas en la Universidad Northwestern, de visita en SLMath, dijo: “Lo que siento no es tanto prejuicio como una especie de vértigo. Si estas resoluciones que se han reportado se verifican, esto sugeriría que la investigación matemática asistida por IA comienza a operar a escala industrial”.

Inicialmente, los rumores sobre estos resultados de OpenAI indicaban que había soluciones para 400 problemas, y ahora los rumores son que pronto llegarán más datos. El número 400 le hizo pensar a Zhang en Los 400 golpes, una película de François Truffaut sobre el paso a la adultez.

“La película trata sobre un niño que es evaluado, juzgado y marginado de la sociedad, y nadie se toma realmente el tiempo para comprenderlo”, dijo Zhang. “Hacia el final, corre hacia el mar, y la película termina en un fotograma congelado que no emite ningún juicio sobre si se trata de un escape o un callejón sin salida. No creo que esa sea una mala representación de la situación actual de las matemáticas con estos resultados”.
121
Pedro de las Heras Quirós @pheras.bsky.social · 08/10/2026
Película para políticos y magistrados que trajeron a su reino un otoño electoral luctuoso: El Verdugo, de Luis G. Berlanga. www.imdb.com/es-es/title/...
010
Pedro de las Heras Quirós @pheras.bsky.social · 04/10/2026
Today, it is nearly impossible to propose a technical solution without having to endure the utterances of ‘decision makers’ who don’t know what they’re talking about, insisting that somehow, ‘AI’ will make it better. This isn’t merely enthusiasm, or delusion, it’s the expression of a sinister hope (nurtured by the tech industry in its late stage decrepitude): ‘soon, we won’t need you troublesome peasants.’

A vain endeavour.  Like all desperately quixoutic pursuits, this only leads to madness as a stubborn reality refuses to play along. The feedback loop between goals, requirements, engineering and design is breaking, thought is discarded as one supposed answer, ‘AI’ is held aloft, a golden idol.
020
Pedro de las Heras Quirós @pheras.bsky.social · 30/09/2026
How we think about the prospects for conscious AI matters. It matters for the AI systems themselves, since — if they are conscious, whether now or in the future — with consciousness comes moral status, the potential for suffering and, perhaps, rights.

It matters for us too. What we collectively think about consciousness in AI already carries enormous importance, regardless of the reality. If we feel that our AI companions really feel things, our psychological vulnerabilities can be exploited, our ethical priorities distorted, and our minds brutalized — treating conscious-seeming machines as if they lack feelings is a psychologically unhealthy place to be. And if we do endow our AI creations with rights, we may not be able to turn them off, even if they act against our interests.

Perhaps most of all, the way we think about conscious AI matters for how we understand our own human nature and the nature of the conscious experiences that make our lives worth living. If we confuse ourselves too readily with our machine creations, we not only overestimate them, we also underestimate ourselves.
000
Pedro de las Heras Quirós @pheras.bsky.social · 23/09/2026
> Stanford acknowledged in a statement on Tuesday that it had used artificial intelligence to change the original image www.nytimes.com/2026/09/22/u...
010
Pedro de las Heras Quirós @pheras.bsky.social · 20/09/2026
> For a while, I must admit, it looked as if software developer roles like mine were done for. www.nytimes.com/2026/09/12/o...
For a while, I must admit, it looked as if software developer roles like mine were done for. How could we fight against tireless robots? But our industry is slowly realizing that making truly cutting-edge software still requires humans to think and work together, to maximize their skill sets and to practice their respective crafts. A.I. can write very good software, but it also makes it easy to do someone else’s job badly, which is part of why all those projects fail. Now that everyone can code, it’s become clearer why many shouldn’t.
010
Pedro de las Heras Quirós @pheras.bsky.social · 19/09/2026
Sorry, url of old code.org was wrong. 2013 web.archive.org/web/20130430... 2026 code.org
000
Pedro de las Heras Quirós @pheras.bsky.social · 12/09/2026
Knowledge Collapse AI companies are racing to mechanize mathematics. Where does that leave human understanding? Michael Harris www.bostonreview.net/articles/kno...
Understanding is a lively topic for philosophers, but not for the tech industry. In their race to the ultimate prize of AGI, Silicon Valley’s main players instead see the mechanization of reasoning as the main hurdle. For them, mathematics is the supreme AI challenge because it is the purest form of reasoning. Human mathematicians, from their perspective, are saddled with a beta version of intelligence, reliant on vaporous experiences like understanding that are of no commercial value. A machine, by contrast, can function without anyone worrying whether or not it understands what it’s doing, much less whether the machine likes it.
110
Pedro de las Heras Quirós @pheras.bsky.social · 09/09/2026
Automation and Repression Daron Acemoglu, A. Arda Gitmez, Mehdi Shadmehr June 5, 2026 economics.mit.edu/sites/defaul...
We consider a model of automation embedded in a political environment where workers can undertake a revolt (modeled as a global game), and greater inequality between capital and labor increases the likelihood of a revolt. Decentralized automation decisions raise the share
of capital in national income and increase the likelihood of a successful revolt. A capitalist
state (representing capital-owners) prefers to regulate the level of automation to lessen the threat of a successful revolt. The capitalist state can also redistribute to workers via the tax system or repress political action, thus creating greater room for further automation. We char-
acterize the trade-off between the regulation of automation, redistribution and repression.
Our main result is a complementarity between automation and repression. Unless the
threat of revolt is quite weak or the capital stock is very low, the capitalist state prefers repres-
sion. A higher capital stock in turn encourages more automation and thus more repression.
In our full dynamic model with capital accumulation, in the long run the economy tends to
repression (again unless the threat of revolt is very weak). We also prove that the same conclu-
sions apply when firms can additionally invest in new labor-intensive tasks. Finally, we show
that, starting in a democracy, capital accumulation and thus greater automation encourages
the capitalists to support a coup against democracy and set up a repressive system.
010
Pedro de las Heras Quirós @pheras.bsky.social · 05/09/2026
164 UN countries voted to adopt a new World Map, endorsing an African-led campaign against the 16th-century Mercator projection, still the most widely used map in the world. Only USA voted against it. news.un.org/en/story/202... Mercator / Eckert V projections map-projections.net/compare.php?...
Mercator vs Eckert V
062
Pedro de las Heras Quirós @pheras.bsky.social · 18/08/2026
001
Pedro de las Heras Quirós @pheras.bsky.social · 12/08/2026
000
Pedro de las Heras Quirós @pheras.bsky.social · 20/06/2026
"Israel Is Conducting a Systematic Campaign of Ethnic Cleansing and Crimes Against Humanity in the West Bank" Ehud Olmert, former prime minister of Israel www.haaretz.com/opinion/2026...
001
Pedro de las Heras Quirós @pheras.bsky.social · 01/06/2026
The Rise and Fall of Computer Science: From Determinism to Incantations In french: write.tedomum.net/flomaraninch...


    How could computer science—a discipline that began with vacuum tubes   
    and transistors, with programming by switches and punched cards; that  
    slowly rose from binary language to today’s zoo of programming	       
    languages and paradigms; that along the way invented compilation,      
    interpretation, just-in-time compilation, the Von Neumann	       
    architecture, memory hierarchies, branch prediction and countless      
    other hardware tricks, dynamic, distributed, parallel, and real-time   
    programming, as well as a thousand other concepts of astonishing       
    sophistication and elegance, how could computer science, I ask, have    
    mutated into this cult of generative or agentic AI worshippers, where, 
    in closed circles, people pass around the recipes for steering the     
    beast toward the desired outcome?				       
    								       
    [...]								       
    								       
    But how can an ordinary computer scientist succumb to the siren call   
    of agentic AI? Is its song so irresistible that it drives them to      
    abandon, in an instant, all their hard-won skills in software design   
    and engineering, transforming themselves into a mere novice in the     
    faith of agentic AI, whose sole aspiration is to become a high priest  
    through the ceaseless study of the grimoires in which the sect’s       
    incantations are meticulously recorded?
000
Pedro de las Heras Quirós @pheras.bsky.social · 30/05/2026
The EU regulates AI while backing battlefield robotics. 1) spectrum.ieee.org/autonomous-d... 2) edition.cnn.com/2026/05/30/e...
Zelenskyy and Scholz learn about
100
Pedro de las Heras Quirós @pheras.bsky.social · 26/05/2026
Talk about Rust's performance weak spots (and strong points) github.com/yugr/rust-sl...
000
Pedro de las Heras Quirós @pheras.bsky.social · 19/05/2026
Conversation: LLMs and Building Abstractions Unmesh Joshi + Martin Fowler martinfowler.com/articles/con...
000
Pedro de las Heras Quirós @pheras.bsky.social · 19/05/2026
Reflections for humans on what programming code is in 2026, beyond the question of who writes it What language should code be specified in? The role of coding is not disappearing, but it is changing. You still need to understand the code, even if you don't write it martinfowler.com/articles/wha...
000
Pedro de las Heras Quirós @pheras.bsky.social · 16/05/2026
What Is Vibe Coding Paralysis? x.com/francedot/st...
What Is Vibe Coding Paralysis?
Vibe coding paralysis is the syndrome of wanting to do so much — and being able to do so much — that you end up finishing nothing.
It looks like this:
You start a feature. Claude Code scaffolds it in minutes.
While it's running, you think of another improvement. You spin up a new worktree, kick off a background task.
Now you have two things in flight. A third idea hits. Why not? Another worktree.
An hour later, you have five worktrees, three half-implemented features running in parallel, and you can't remember what the original task was.
You feel behind. You prompt more. You re-plan. You re-prompt.
The re-planning feels productive. It isn't.
The paradox: the more capability you have, the more you feel compelled to use it. The more you use it, the more fragmented your attention becomes. The more fragmented your attention, the less you actually ship.
110
Pedro de las Heras Quirós @pheras.bsky.social · 11/05/2026
Roses
010
Pedro de las Heras Quirós @pheras.bsky.social · 10/05/2026
Carlo Rovelli about consciousness. www.noemamag.com/there-is-no-...
Earth is not metaphysically different from the heavens, living beings are not metaphysically different from inanimate matter, humans are not metaphysically different from other animals. The soul is not metaphysically different from the body. We are all parts of nature, like anything else in this sweet world.
000
Pedro de las Heras Quirós @pheras.bsky.social · 01/05/2026
pink roseyellow lilies
000
Pedro de las Heras Quirós @pheras.bsky.social · 30/04/2026
010
Pedro de las Heras Quirós @pheras.bsky.social · 23/04/2026
000
Pedro de las Heras Quirós @pheras.bsky.social · 23/04/2026
A Science of Concurrent Programs New book by Leslie Lamport lamport.azurewebsites.net/tla/science-...
124
Pedro de las Heras Quirós @pheras.bsky.social · 10/04/2026
"More Europeans see US as threat than China" www.politico.eu/article/poll...
001
Pedro de las Heras Quirós @pheras.bsky.social · 07/04/2026
000
Pedro de las Heras Quirós @pheras.bsky.social · 02/04/2026
Foto de tulipán rojo
010
Pedro de las Heras Quirós @pheras.bsky.social · 19/03/2026
000
Pedro de las Heras Quirós @pheras.bsky.social · 06/03/2026
Fotografía del campus de Fuenlabrada de la EIF.
010
Pedro de las Heras Quirós @pheras.bsky.social · 03/03/2026
"US warns its citizens to urgently leave almost all Mideast countries, including Israel" www.timesofisrael.com/us-warns-its...
001
Pedro de las Heras Quirós @pheras.bsky.social · 28/02/2026
Martin Kleppman (@martin.kleppmann.com): martin.kleppmann.com/2025/12/08/a...
001
Pedro de las Heras Quirós @pheras.bsky.social · 27/02/2026
This text is written by Rachel Thomas @math-rachel.bsky.social (rachel.fast.ai/about.html), extracted from this interesting article: www.fast.ai/posts/2026-0....
This text is written by Rachel Thomas @math-rachel.bsky.social (https://rachel.fast.ai/about.html), from this article: https://www.fast.ai/posts/2026-01-28-dark-flow/.
000
Pedro de las Heras Quirós @pheras.bsky.social · 27/02/2026
Este texto está escrito por Rachel Thomas @math-rachel.bsky.social (rachel.fast.ai/about.html) y forma parte de este artículo: www.fast.ai/posts/2026-0....
Este texto está escrito por Rachel Thomas (https://rachel.fast.ai/about.html) y forma parte de este artículo: https://www.fast.ai/posts/2026-01-28-dark-flow/.
001
Pedro de las Heras Quirós @pheras.bsky.social · 27/02/2026
About using AI in engineering courses that teach programming to freshmen: CS106A, Stanford. web.stanford.edu/class/cs106a... (look for CS106A vs. AI)
001
Pedro de las Heras Quirós @pheras.bsky.social · 30/01/2026
Anthropic/Claude: "It is possible that AI both accelerates productivity on well-developed skills and hinders the acquisition of new ones, though more research is needed to understand this relationship." www.anthropic.com/research/AI-...
Prior studies have found mixed results on whether AI helps or hinders coding productivity. Our own research found that AI can reduce the time it takes to complete some work tasks by 80%—a result that may seem in tension with the findings presented here. But the two studies ask different questions and use different methods: our earlier observational work measured productivity on tasks where participants already had the relevant skills, while this study examines what happens when people are learning something new. It is possible that AI both accelerates productivity on well-developed skills and hinders the acquisition of new ones, though more research is needed to understand this relationship.
000
Pedro de las Heras Quirós @pheras.bsky.social · 20/01/2026
Thanks to Trump, European leaders began to acknowledge what they described as the reality: since 1945, Europe had lived as “happy vassals.” Trump forced Europeans to choose between remaining vassals or becoming “miserable slaves.” www.theguardian.com/world/live/2...
000
Pedro de las Heras Quirós @pheras.bsky.social · 20/01/2026
According to the Prime Minister of Belgium, Europeans can choose to be either “happy vassals” or “miserable slaves” of the US. www.theguardian.com/world/live/2...
000
Pedro de las Heras Quirós @pheras.bsky.social · 05/01/2026
What do citizens of the U.S. think about the U.S. military operation that kidnapped Venezuelan President Nicolás Maduro? "What role should the U.S. have in deciding how the country is governed? The Washington Post texted 1,004 Americans to ask." www.washingtonpost.com/politics/int...
010
Pedro de las Heras Quirós @pheras.bsky.social · 05/01/2026
La librería Enclave de libros en la calle Relatores 16 de Madrid es una librería de ensueño. Mi sueño: algún día todas las librerías de Madrid se parecerán a Enclave de libros.
La librería Enclave de libros en la calle Relatores 16 de Madrid es una librería de ensueño. 

Mi sueño: algún día todas las librerías de Madrid se parecerán a Enclave de Libros.
031
Pedro de las Heras Quirós @pheras.bsky.social · 02/01/2026
The earliest evidence of Pattern Looms using physical pattern cards was found in Chengdu in 2012. They date back to the second century BC: www.cambridge.org/core/journal...
000
Pedro de las Heras Quirós @pheras.bsky.social · 13/12/2025
"In America, the lack of government support is one reason so many fusion researchers are joining start-ups, Dr. Liu said. Chinese officials, by contrast, are putting significant resources into a possible “ultimate solution” to humankind’s energy needs" www.nytimes.com/2025/12/13/c...
In America, the lack of government support is one reason so many fusion researchers are joining start-ups, Dr. Liu said.

Chinese officials, by contrast, are putting significant resources into a possible “ultimate solution” to humankind’s energy needsIn America, the lack of government support is one reason so many fusion researchers are joining start-ups, Dr. Liu said.

Chinese officials, by contrast, are putting significant resources into a possible “ultimate solution” to humankind’s energy needs
073
Pedro de las Heras Quirós @pheras.bsky.social · 11/12/2025
Últimos días para inscribirse en la IV Olimpiada de Telecomunicaciones Teleco Games Para alumnado de ESO, Bachillerato y Ciclos Formativos de grado medio y superior www.urjc.es/actualidad-e...
Últimos días para inscribirse en la IV Olimpiada de Telecomunicaciones Teleco Games

Para alumnado de ESO, Bachillerato y Ciclos Formativos de grado medio y superior
002
Pedro de las Heras Quirós @pheras.bsky.social · 07/12/2025
000
Pedro de las Heras Quirós @pheras.bsky.social · 02/12/2025
Anastasia Berg [at UCL Irvine]: "Because they lean on AI from day one, Berg said, they never build the foundational knowledge required to understand what the AI is doing-let alone verify or correct it."
AI could be damaging the workers who need to learn the most

Berg said the workers most vulnerable to this deskilling effect are junior employees.

She said it's not just a problem with the humanities subjects; computer science professors say that students and early-career developers are relying so heavily on AI tools that they're no longer learning how to write or debug code on their own.

"It's one thing for a senior coder to use AI," she said. "But the junior people are useless because they cannot help themselves from using it."

Because they lean on AI from day one, Berg said, they never build the foundational knowledge required to understand what the AI is doing — let alone verify or correct it.
011
Pedro de las Heras Quirós @pheras.bsky.social · 27/11/2025
Estudiantes, profesores y PTGAS de las 6 universidades públicas de la Comunidad de Madrid salen a la calle a defender el sistema universitario de los ciudadanos de Madrid, la región más rica de España con la peor financiación para su Universidad Pública.
0187
Pedro de las Heras Quirós @pheras.bsky.social · 27/11/2025
000
Pedro de las Heras Quirós @pheras.bsky.social · 27/11/2025
100
Pedro de las Heras Quirós @pheras.bsky.social · 18/11/2025
Net lines of code added to Android by Google. Rust vs. C++
Net lines of code added to Android by Google.

Rust vs. C++
000