Pedro de las Heras Quirós
@pheras.bsky.social
Distributed systems, computer networks, formal methods, ethical CS, free/libre software, world history. Fediverse/Mastodon: @pheras@fosstodon.org
Borboveranear: borbonear en verano elpais.com/espana/2026-...
Última hora de la entrada de inmigrantes a Ceuta, en directo | El Rey recibirá al presidente de Ceuta este jueves en Marivent
El PP solicita la comparecencia de la ministra Robles y la directora del CNI este mes en el Senado | La Fiscalía de Tetuán (Marruecos) procesa a 25 personas por organizar los cruces irregulares hacia ...
elpais.com
El Financial Times tacha de hipócrita la postura de Alemania e Italia sobre la regularización de migrantes en España. www.ft.com/content/d640...
Italy and Germany’s censure of Spain’s migrant amnesty is ‘hypocritical’
Rights groups say Rome and Berlin have used similar policies to regularise the status of unauthorised immigrants
ft.com
Next up: property developers and construction companies. Ads on wall screens throughout your home: while you sleep, in the bathroom, in the kitchen, and even while you're watching TV.
Ketan Joshi@ketanjoshi.co · yesterdayEV advocacy world really needs to contend with the fact that car companies are hell bent on making them into the most exhausting, enshittified, advertising-infected subscription model oversized junk tanks imaginable www.techspot.com/news/113327-...
The FCC’s new ban on foreign mobile robots over 2 kg could reshape robotics supply chains.
U.S. Bans New Foreign Mobile Robots
New rules further bifurcate U.S. and Chinese supply chains
spectrum.ieee.org
"In this position paper, we systematically study the trajectory towards autonomous software development." Authors from UC Berkeley, CISPA, MIT, Cursor, The University of Texas at Austin, UC Irvine, Microsoft rdi.berkeley.edu/assets/posit...
rdi.berkeley.edu
Le Monde Juillet 2026 a été le mois le plus chaud jamais enregistré en France depuis le début des mesures, en 1900 www.lemonde.fr/planete/arti...
Juillet 2026 a été le mois le plus chaud jamais enregistré en France depuis le début des mesures, en 1900
Le mois dernier a aussi été le troisième mois de juillet le moins pluvieux dans le pays, provoquant une sécheresse des sols inédite, avec des conséquences importantes sur l’agriculture et les départs ...
lemonde.fr
Le Monde "Crise de Ceuta : Giorgia Meloni, bénéficiaire de la solidarité de Bruxelles, en 2023, à Lampedusa, veut isoler l’Espagne Analyse" www.huffingtonpost.es/virales/le-m...
'Le Monde' destapa la estrategia de Meloni contra España en plena crisis de Ceuta
El periódico francés profundiza en la intentona italiana de que la Unión Europa cerrase Schengen a España... cuando tres años antes necesitó ayuda comunitaria por Lampedusa.
huffingtonpost.es
La banda británica Massive Attack ha denunciado que, tras su actuación el pasado 29 de julio en Singapur, sus miembros fueron detenidos e interrogados por las autoridades del país por cerrar el concierto con una bandera palestina. www.publico.es/internaciona...
La banda Massive Attack es detenida en Singapur tras ondear una bandera de Palestina en su concierto
Han asegurado que la policía les "aisló e interrogó", y que a algunos miembros se les registraron las habitaciones y confiscaron temporalmente los pasaportes....
publico.es
How China is helping Europe 1/ www.economist.com/middle-east-... 2/ global.chinadaily.com.cn/a/202608/03/...
Africa takes lead in BRI investment, report says
Africa retained its position as the leading destination for the Belt and Road Initiative investment in the first half of this year, attracting $33.5 billion in Chinese investment, up 254 percent from ...
global.chinadaily.com.cn
"She had swum to the territory with her four siblings, including her 8-year-old brother, she said. In Ceuta, they hid in a forest but got hungry, so she went to look for food, got detained and was sent back to Morocco." www.nytimes.com/2026/08/03/w...
Ceuta Migration Crisis Exposes Despair Among Morocco’s Young People
Moroccan migrants described their despair at their economic future, explaining what propelled them across the border with Spain.
nytimes.com
"China's [chipmaker] CXMT became the country's most valuable listed company" www.channelnewsasia.com/east-asia/cx...
What is CXMT, the chipmaker that just became China's most valuable listed company?
CXMT shares surged more than 500 per cent in their Shanghai debut on Monday (Jul 27), highlighting strong investor backing for a homegrown chip champion.
channelnewsasia.com
"‘More than just objects’: Australian booksellers raise alarm over ‘horrific’ destruction of rare titles to feed AI Secondhand booksellers believe they may have been caught up in the AI supply chain that sees old books scanned then destroyed" www.theguardian.com/technology/2...
‘More than just objects’: Australian booksellers raise alarm over ‘horrific’ destruction of rare titles to feed AI
Secondhand booksellers believe they may have been caught up in the AI supply chain that sees old books scanned then destroyed
theguardian.com
Jul 29, 2026: US weapons stockpiles continue to dwindle edition.cnn.com/2026/07/29/p... Aug 1, 2026: the Pentagon lacks sufficient naval forces www.washingtonpost.com/national-sec... Aug 2, 2026: Trump cancels attack, calls for a ‘rapid’ deal on Hormuz www.aljazeera.com/news/liveblo...
Trump cancels planned attacks on Iran, calls for a deal to be made rapidly
Move comes after Iran's top diplomat warned of a 'decisive response' to any US-Israeli 'aggression'.
aljazeera.com
Borbonear: Entrometerse un monarca en la política de un gobierno democrático. es.wiktionary.org/wiki/borbonear Borboveranear: borbonear en verano. www.elmundo.es/espana/2026/...
Felipe VI recuerda que el Estado "debe velar por la seguridad de los ciudadanos" y transmite su "indignación" por la llegada de marroquíes a nado a Ceuta
Dos días después de que comenzaran a llegar de manera masiva nadadores a las playas de Ceuta, y apenas unas horas después de que el Gobierno diera el suceso por resuelto, Felipe...
elmundo.es
Malicious Cyber Actors Targeting Water and Wastewater Sector Internet- Facing Programmable Logic Controllers, Causing Operational Disruptions www.fbi.gov/investigate/... A Leaked Memo Ties Cyberattacks on Minnesota Water Utilities to Iran www.wired.com/story/a-leak...
Malicious Cyber Actors Targeting Water and Wastewater Sector Internet- Facing Programmable Logic Controllers, Causing Operational Disruptions | Federal Bureau of Investigation
The Federal Bureau of Investigation (FBI) and Environmental Protection Agency (EPA) are issuing this Public Service Announcement (PSA) to warn critical infrastructure asset owners and operators that m...
fbi.gov
"There are passionate advocates of AI, and there are people who believe it is the devil incarnate. [...] It is, however, entirely possible to write an article that makes everyone angry about some part. So here goes." By @berthubert.bsky.social berthub.eu/articles/pos...
AI: Considerations for people who make decisions - Bert Hubert's writings
Recently I gave two presentations in quick succession to the Dutch Network of Government Service Providers and the Dutch Advisory Council for Science, Technology and Innovation about AI. In these two ...
berthub.eu
"Ceuta suele aparecer en el debate público asociada a la inmigración irregular o a los problemas fronterizos. Sin embargo, desde una perspectiva estratégica, su relevancia va mucho más allá"
Descifrando la Guerra@descifraguerra.bsky.social · 5d ago🇪🇸🇲🇦 “La ciudad autónoma de Ceuta concentra una de las mayores responsabilidades geopolíticas de España en el Mediterráneo occidental. Su valor militar, político y simbólico contrasta con una vulnerabilidad creciente derivada de la presión híbrida ejercida por Marruecos y de su condición de encla...
En los años 50 y 60 en Europa era habitual ver carteles como el de esta foto. Fuimos durante muchos años ciudadanos de un país que emigraba. Y no. La mayoría no lo hacían con trabajo y papeles, simplemente buscaban vivir mejor. También después de la crisis de 2008. También son nuestras raíces. 👇
Todo lo que nos enseña la crisis de Ceuta sobre la relación de España con Marruecos www.eldiario.es/129_cccbaf?u...
Todo lo que nos enseña la crisis de Ceuta sobre la relación de España con Marruecos
España sigue atrapada en un esquema que no ha servido para garantizar una relación bilateral mutuamente fructífera con Marruecos ni ha conseguido alinear a los miembros de la Unión Europea
eldiario.es
No, en serio. El artículo es largo, si lo queréis leer entero ahí va el link. Si no, dejo abajo algunos párrafos estupendos que para nada recuerdan a lo que ha pasado esta semana en Ceuta o a lo que pasa en general con toda la gente que viene a España. elpais-com.cdn.ampproject.org/v/s/elpais.c...
Esto se publicó en abril. Israel apoyaría cualquier esfuerzo de Marruecos por hacerse con el control de Ceuta (no quiere decir mas que lo que cuenta el artículo) www.ynetnews.com/opinions-ana...
Abraham Accords reach the Strait: how Israel can help Morocco reclaim its north
Analysis: US-Spain tensions over NATO, Iran create opening for Morocco to press claims on Ceuta and Melilla, with Israel positioned to back Rabat diplomatically within US-led alliance that increasingl...
ynetnews.com
Specula "coding agents to write TLA+ specs of the target system, including invariants that capture the system's correctness properties and formal models that describe the system implementation. It then model-checks the specs and reproduces violations at the code level" github.com/specula-org/...
GitHub - specula-org/Specula: Specula: A tool for finding deep bugs in system code using TLA+
Specula: A tool for finding deep bugs in system code using TLA+ - specula-org/Specula
github.com
La National Security Strategy de Trump, informaba, ya en diciembre, de intervenciones en Europa a favor de la extrema derecha. Y lo de Ceuta parece ya una. Lo importante,lo categórico es que, en la guerra cultural resultante, participa el PP europeo. El trumpismo está resultando muy fácil en Europa.
El PP europeo sale en tromba contra Sánchez por la crisis de Ceuta y la vincula con la regularización masiva
El grupo popular reclama que se aborde el tema en la Eurocámara en el próximo pleno de septiembre
elpais.com
Va a ser verdad que lo del ático de Ayuso es fuego amigo si El Mundo publica esto👇🏾 “Si la explicación oficial es que con presupuesto de 30.000 M€ se necesita vender un piso para financiar la reconstrucción de una comarca devastada por el fuego, no quiero imaginar lo esperpéntica que será la verdad”
¿Se puede desenladrillar Madrid? www.eldiario.es/madrid/somos...
Almeida aprueba en medio del verano la gran recalificación del Real Madrid en Valdebebas para su campus tecnológico
La Junta de Gobierno del Ayuntamiento de Madrid da luz verde inicial al proyecto, con el que el club presidido por Florentino Pérez ganará 532.000 metros cuadrados de edificabilidad terciaria en unos ...
eldiario.es
