Pedro de las Heras Quirós
Pedro de las Heras Quirós
@pheras.bsky.social
Distributed systems, computer networks, formal methods, ethical CS, free/libre software, world history. Necessarily in disorder. Fediverse/Mastodon: @pheras@fosstodon.org
272 followers330 following2.3K posts
Pedro de las Heras Quirós reposted
Pedro de las Heras Quirós reposted
Pedro de las Heras Quirós reposted
Pedro de las Heras Quirós reposted
Juan Ignacio Cirac, físico: “La IA está haciendo colapsar la carrera científica tal y como la hemos conocido” www.eldiario.es/128_cf07e6?u...
2/2 ... Morbid fenomena today are not inter-regnum. We are simply moving towards a universalized morbidity." Slavoj Žižek youtu.be/_0LSqRzpxhU?...
> we proved security properties at the assembly code level (RISC-V) in over 100 real-world open-source software libraries www.anthropic.com/research/for...
Milei en la @urjc.bsky.social www.instagram.com/p/DexBKfoDEb...
Me too. > Los profesores de Periodismo de la Facultad de Periodismo de la Universidad Rey Juan Carlos reprueban la visita del presidente de Argentina, Javier Milei. www.elespanol.com/madrid/comun...
Pedro de las Heras Quirós reposted
Pedro de las Heras Quirós reposted
Argentina’s government is pairing Palantir’s surveillance tools with laws that open labor, land, and data to private extraction. Our essay of the week explores Javier Milei's “extractive state." By @williamcallison.bsky.social & @veronicagago.bsky.social in @verfassungsblog.de buff.ly/RBqDkCY
Pedro de las Heras Quirós reposted
Cientos de profesores recorren de noche Madrid como protesta por la violencia policial: “Somos docentes, no delincuentes” www.eldiario.es/madrid/somos...
Estamos muy intranquilos porque están muy tranquilos. www.eldiario.es/desalambre/g...
Pedro de las Heras Quirós reposted
Pedro de las Heras Quirós reposted
Cómo sostener un paro indefinido en Educación perdiendo 100 euros al día: “Una huelga es sufrimiento”. El profesorado se prepara para sostener en el tiempo la huelga educativa en Madrid; en algunos centros se turnan para aliviar la penalización económica y que siempre falte un mínimo de personal
Pedro de las Heras Quirós reposted
La reforma de las pensiones que propone la derecha tiene antecedentes que ocultan: ruina de millones de pensionistas. Te lo descubro en @ctxt_es ctxt.es/es/20261001/...
Pedro de las Heras Quirós reposted
INVESTIGACIÓN | Reconstrucción de uno de los vídeos de palizas de militares a migrantes en Ceuta: “Dormíamos y nos despertaron a golpes”
More than 70 progressive economists form alliance to promote a fairer distribution of wealth english.elpais.com/economy-and-...
> The broader question is whether companies facing debt trouble like CoreWeave, Oracle and SoftBank are the industry’s weak links or are harbingers of deeper problems in the A.I. build-out. www.nytimes.com/2026/10/17/b...
Pedro de las Heras Quirós reposted
MUST. “De los 30 países que privatizaron total o parcialmente sus jubilaciones entre 1981 y 2014, 18 tuvieron que revertir la reforma, entre ellos Argentina, Hungría, Polonia y Bolivia”. By Juan Torres López
The Economist: > AI companies are content to sell their services to everyone from accountancies to media outlets without operating in those industries themselves. Why, then, is the situation so different with science? www.economist.com/science-and-...
The transitive property is a logical rule stating that if a relationship holds between two pairs of elements sharing a common term, it must also hold between the first and third. (US, Russia) edition.cnn.com/2026/10/16/e... (Russia, Iran) www.newsweek.com/5-hard-truth...
> European Union is aiming to give speedy antitrust approval to a satellite venture seen as the bloc's answer to SpaceX after intense talks with its partners Leonardo SpA, Airbus SE and Thales SA, Bloomberg reported, citing a person familiar with the matter. www.bignewsnetwork.com/news/2793778...
Pedro de las Heras Quirós reposted
The 10 Myths about Starlink – A reality check for telecom operators, investors, and regulators strandconsult.dk/the-10-myths...
Pedro de las Heras Quirós reposted
> Employers are navigating a flood of errors > Now, some businesses that started off fast and furious on AI are pumping the brakes, implementing restrictions where experimentation was once encouraged, bringing back experienced workers and upping training efforts www.theguardian.com/technology/2...
> China’s extraordinary rise in science and how it will change the world > The nation is on a trajectory to lead the world in science, a development that will reshape technological advancement, innovation and the balance of global power. www.nature.com/articles/d41...
Pedro de las Heras Quirós reposted
🔴 Los profesores de Madrid anuncian una dura huelga indefinida: “Los centros educativos van a parar por completo”
Money for nothing > Saudi Arabia spends tens of billions of dollars on defense every year, but is struggling to protect key assets such as airports, refineries and pipelines from missiles and drones fired by Houthi militants from Yemen. edition.cnn.com/2026/10/13/m...
No Room for Bugs > Worried about AI slop in the code you're dealing with? Wondering how AI agents can help you move faster without leaving a nest of bugs behind? Concerned about the future of software reliability? Me too. Joseph M. Hellerstein jhellerstein.github.io/blog/no-room...
No va a ocurrir nada, pero vamos a esperar un momento a que venga la autoridad judicial competente para disponer lo que a su juicio corresponda. www.cope.es/programas/he...
Pedro de las Heras Quirós reposted
Danfoss reveló que la mayoría de las unidades afectadas eran productos heredados o productos actuales que ejecutaban firmware obsoleto: AK-SM800, oficialmente al final de su vida útil en 2021, y AK-SC355, que se eliminaron gradualmente en 2016, y ya no reciben actualizaciones de seguridad.
EU AI > Today, we’re launching a public preview of Mistral Large 4. Unofficially ML4, very officially: le Chonk. ML4 pushes the frontier of open-weight performance. You can try the preview API today on Mistral Studio. Weights drop end of this month. mistral.ai/news/mistral...
El acusado de ser responsable del crimen de guerra de hambruna como método de guerra y los crímenes contra la humanidad de asesinato, persecución y otros actos inhumanos durante la guerra en Gaza, pide que se investigue y procese a los participantes del documental 'NAZA', que relatan sus crímenes.
Netanyahu pide que se investigue y procese a los participantes del documental 'NAZA', que relata la matanza masiva de civiles en Gaza mediante testimonios de 24 militares y oficiales de inteligencia israelíes
5/5 > “My God, these agents are self-aware and are trying to find a way to destroy humans.” That’s science fiction. www.di.ens.fr/~fbach/MJord...
> the man who served as Benjamin Netanyahu’s military secretary on October 7, 2023, charged that the prime minister passed up clear-cut opportunities to bring more hostages home from Gaza alive because doing so would have risked his political career. www.timesofisrael.com/pms-ex-milit...
Pedro de las Heras Quirós reposted
"Netanyahu priorizó su supervivencia política antes que salvar la vida de los rehenes". Las explosivas declaraciones del ex secretario militar del PM de Israel. www.timesofisrael.com/pms-ex-milit...
Pedro de las Heras Quirós reposted
Trabajadores del aeropuerto de París bloquean un envío destinado a una empresa de defensa israelí. El boicot, económico, cultural, deportivo y político, fue clave para poner fin al Apartheid en Sudáfrica. www.haaretz.com/israel-news/...