@Dragofix@veganism.socialFrance and Spain brace for fresh heatwave as warnings issued over risk of new wildfires – Europe live https://www.theguardian.com/world/live/2026/jul/29/france-spain-wildfires-heatwave-extreme-heat-europe-latest-news-update…
@heiseonline@social.heise.deNASA räumt Bodenstation bei Madrid wegen Waldbrand
Ein Waldbrand hat die Bodenstation der NASA bei Madrid erfasst. Die Anlage wurde geräumt. Größere Schäden gab es zunächst nicht.
https://www.
@jdrm@social.linux.pizzaHe elegido un buen fin de semana para huír de Madrid. León, equis palito uveeee
@krone@frawas.deHarter Wahlkampf - „Es nervt!“ Aufregung um Klopp-Hammer bei Real #News #Nachrichten
@esoriano@social.linux.pizza
@Sustainable2050@mastodon.energy500 km² burned in what has now become Spain's largest wildfire in record, near Ávila, west of Madrid.
https://www.eldiario.es/sociedad/ultima-hora-incendios-incendios-madrid-avil…
@cdarwin@c.imAt least 57 people have died trying to reach the Spanish enclave of Ceuta
after as many as 50,000 migrants entered the tiny territory from Morocco
in what Spain’s prime minister, Pedro Sšnchez, called “a violation of Spain’s territorial integrity”.
The huge influx,
which took place over the course of just 24 hours,
overwhelmed the city of 85,000 people,
triggered a political crisis for Madrid
and led to a mixed reaction from other EU countries,
@netzschleuder@social.skewed.detrain_terrorists: Madrid train bombing terrorists (2004)
A network of associations among the terrorists involved in the 2004 Madrid train bombing, as reconstructed from press stories after-the-fact. Edge weights encode four levels of connection strength: friendships, ties to Al Qaeda and Osama Bin Laden, co-participants in wars, and co-participants in previous terrorist attacks.
This network has 64 nodes and 243 edges.
Tags: Social, Offline, Weighted
@krone@frawas.dePoker spitzt sich zu - Real erhöht Angebot, aber Vinicius löscht alles #News #Nachrichten
@sergiofdezsaez@masto.esViajecito esta tarde a Madrid y 18 días de vacaciones.
Se vienen días de desconexión total y absoluta, disfrutando del pueblo y del campo.
@jdrm@social.linux.pizzaVenga a regar con dinero público a proyectos que no van a llegar a ninguna parte https://www.que.madrid/2026/07/20/madrid-carrera-aire-ayuso-impulsa-industria-tecnologica-ayudas-dronodromos-y-aerotaxis-597347/
@krone@frawas.deRivale geht leer aus - Hammer-Wechsel bestätigt: „Er will zu Barcelona!“ #News #Nachrichten
@NFL@darktundra.xyz
@BBC3MusicBot@mastodonapp.uk🔊 #NowPlaying on #BBCRadio3:
#ThroughTheNight
- Clara and Robert Schumann from Madrid
Baritone Samuel Hasselhorn and pianist Julius Drake perform works by Clara and Robert Schumann, celebrating Schumann's poets. Penny Gore presents.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002ww5l
@markhburton@mstdn.socialA Quarter of a Million people evacuated.
That's like half of Manchester.
France and Spain race to control wildfires as more than 250,000 evacuated – live | Wildfires | The Guardian
https://www.theguardian.com/world/live/202
@lpryszcz@genomic.social300k people evacuated in France and Spain due to raging wildfires
#ClimateCrisis
https://www.theguardian.com/world/live/202
@Sustainable2050@mastodon.energySpain declares national emergency over wildfires near Madrid and in Avila https://www.reuters.com/business/environment/spain-declares-national-emergency-over-wildfires-near-madrid-avila-2026-07-24/
@cowboys@darktundra.xyz2026 NFL schedule: Broncos and Chiefs open Monday night slate, Bengals-Falcons in Madrid https://www.foxsports.com/articles/nfl/2026-nfl-schedule-broncos-and-chiefs-open-monday-night-slate-bengalsfalcons-in-madrid
@jacobgudiol@mastodonsweden.seBlodsockret under match hos spelare i Real Madrid.
Över 10 trots att de inte ätit något. En normal reaktion på ansträngande fysisk aktivitet. Det finns ingenting som talar för att det här är negativt på något vis. Precis som hög kroppstemperatur, snabb puls och högre blodtryck också är normala delar av träning så är även ett förhöjt blodsocker i någon timme normalt.
Samtidigt finns det människor som försöker göra människor rädda för att blodsockret stiger lite efter en måltid.
@Luc@dresden.networkSchönes Beispiel für #Verkehrswende in #Madrid: Pakete werden mit der Metro ausgeliefert und direkt in Packstationen der U-Bahn-Stationen verteilt.
🎦 https:…
@netzschleuder@social.skewed.detrain_terrorists: Madrid train bombing terrorists (2004)
A network of associations among the terrorists involved in the 2004 Madrid train bombing, as reconstructed from press stories after-the-fact. Edge weights encode four levels of connection strength: friendships, ties to Al Qaeda and Osama Bin Laden, co-participants in wars, and co-participants in previous terrorist attacks.
This network has 64 nodes and 243 edges.
Tags: Social, Offline, Weighted
@cosmos4u@scicomm.xyz"The Madrid Deep Space Communications Complex (MDSCC) in Robledo de Chavela was evacuated on July 24 due to the wildfires. All personnel are safe following the passage of the fire through the area. [...] Mission operations have been transferred seamlessly to the Goldstone Complex (California). This ensures service continuity and uninterrupted support for spacecraft communications." From the thread #DeepSpaceNetwork
@_tillwe_@mastodon.social
@gfp@mastodon.trueten.de„Linke ausrotten“ https://www.german-foreign-policy.com/news/detail/10455
@BBC3MusicBot@mastodonapp.uk🇺🇦 #NowPlaying on BBCRadio3's #ThroughTheNight
Luigi Boccherini, Polish Radio Symphony Orchestra & Wojciech Rajski:
🎵 Quintet Op 30 no 6 'La Musica Notturna delle strade di Madrid'
#LuigiBoccherini #WojciechRajski
https://open.spotify.com/track/74Y31PsywajnXuuHwEqqwG
@bici@mastodon.socialPedro Sšnchez says Spain is suffering effects of climate crisis as firefighters battle wildfires in France
Blazes near Madrid coming under control but efforts to contain huge fire near Bordeaux hampered by windy conditions
@markhburton@mstdn.socialIt had to happen
Thieves stealing copper from a data centre.
#CriticalMinerals
Los ladrones de cobre amplían sus objetivos: ahora, también, los centros de datos
@geant@mstdn.social✨ SIG-AI Spring Meeting Recap ✨
This spring in Madrid, RedIRIS hosted the SIG-AI for NRENs meeting with 73 participants exploring Agentic AI and AI for Networking.
The key takeaway? Our community is shifting from experimentation to practical operation.
Thank you to RedIRIS and all participants for making it such a rich exchange.
🔗 Read the full recap of the meeting:
@Sustainable2050@mastodon.energySpain's PM Sšnchez, speaking at a firefighters’ command post near Madrid, connects the dots:
"Spain and Portugal are experiencing the consequences of the climate emergency, from fires and storms to heavy snowfalls."
https://www.…
@Techmeme@techhub.socialMadrid-based Orbio, which uses AI agents to help businesses interview, onboard, and manage frontline workers, raised a $21M Series A led by Dawn Capital (Dominic-Madori Davis/TechCrunch)
https://techcrunch.com/2026/06/14/orbi…
@NFL@darktundra.xyz2026 NFL schedule release: Falcons to play Bengals in NFL's second stop in Madrid on Nov. 8 https://www.nfl.com/news/falcons-bengals-madrid-week-9-2026-nfl-schedule-release
@jdrm@social.linux.pizza¿Por qué la derecha española odia a los pobres? https://elpais.com/espana/madrid/2026-06-17/sin-aviso-previo-asi-elimina-madrid-las-pertenencias-de-l…
@simon_lucy@mastodon.socialThat's Real Madrid goal.
#worldcup2026
@burger_jaap@mastodon.social“It turns out blaming the blackout on “too many renewables” was like blaming a loss by Real Madrid on having too many non-Spanish players on the pitch.”
https://www.raponline.org/blog/remembering-the-28th-of-a…
@netzschleuder@social.skewed.detrain_terrorists: Madrid train bombing terrorists (2004)
A network of associations among the terrorists involved in the 2004 Madrid train bombing, as reconstructed from press stories after-the-fact. Edge weights encode four levels of connection strength: friendships, ties to Al Qaeda and Osama Bin Laden, co-participants in wars, and co-participants in previous terrorist attacks.
This network has 64 nodes and 243 edges.
Tags: Social, Offline, Weighted
@arXiv_csPL_bot@mastoxiv.pageTowards Relating Ciao Assertions and LPTP Theorems
Marco P\'erez (IMDEA Software Institute, Madrid, Spain), Pedro L\'opez-Garc\'ia (IMDEA Software Institute, Madrid, Spain), Jose F. Morales (IMDEA Software Institute, Madrid, Spain), Manuel V. Hermenegildo (IMDEA Software Institute, Madrid, Spain), Fred Mesnard (Universit\'e de La R\'eunion)
https://arxiv.org/abs/2607.20249 https://arxiv.org/pdf/2607.20249 https://arxiv.org/html/2607.20249
arXiv:2607.20249v1 Announce Type: new
Abstract: Abstract interpretation-based verification is a central component of the Ciao Prolog system, enabling expressive specifications of properties of programs, predicates, and execution states. Independently, the LPTP (Logic Programming Theorem Proving) framework offers a first-order logical formalism for expressing and proving properties of predicates. In this paper, we address a fundamental issue in relating these two frameworks: studying the translation of Ciao assertions into LPTP formulae and identifying a partial correspondence between assertion-based and logic-based specifications. We introduce a systematic translation scheme, characterize assertion classes according to their logical encodability, and propose approximation strategies and auxiliary constructs for non-translatable cases, and finally analyze the resulting soundness and completeness trade-offs. We argue that our proposal enables a tight integration of Ciao's assertion checking with LPTP-based deductive verification, thereby leveraging their complementary capabilities.
toXiv_bot_toot
@cdamian@rls.socialLuis Miranda / SOMA NEU Vol. 6 Mix
Off the back of the 6th volume of the SOMA NEU series, Luis Miranda delivers a mix including his track from the compilation.
Luis Miranda is one of the rising names in the techno scene, with a vibrant sound. Born in Madrid and raised on Electro-pop and Acid House, he’s currently based in Los Angeles.
@jdrm@social.linux.pizza¿Volveremos a ver fotos de adolescentes católicos bañšndose en la fuente dedicada a Satanšs que hay en Madrid como cuando vino Benedicto equis, uve, palito?
@netzschleuder@social.skewed.detrain_terrorists: Madrid train bombing terrorists (2004)
A network of associations among the terrorists involved in the 2004 Madrid train bombing, as reconstructed from press stories after-the-fact. Edge weights encode four levels of connection strength: friendships, ties to Al Qaeda and Osama Bin Laden, co-participants in wars, and co-participants in previous terrorist attacks.
This network has 64 nodes and 243 edges.
Tags: Social, Offline, Weighted
@Sustainable2050@mastodon.energyWildfires are raging in Europe as over 80,000 forced to evacuate. Spain has declared a national emergency and, in France, two fires threaten a major tourist hotspot. Two fires merge outside Madrid, with a third on the verge of combining. https://
@krone@frawas.deFeuerhölle in Spanien - „Diese Bilder bekommt man nicht mehr aus dem Kopf“ #News #Nachrichten
@BBC3MusicBot@mastodonapp.uk🔊 #NowPlaying on #BBCRadio3:
#ThroughTheNight
- Dvořšk's Eighth Symphony from Madrid
Tabea Zimmermann performs Bartók's Viola Concerto with the RTVE Symphony Orchestra and conductor Christoph König. Dvořšk's Eighth Symphony completes the programme.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002xn73
@netzschleuder@social.skewed.detrain_terrorists: Madrid train bombing terrorists (2004)
A network of associations among the terrorists involved in the 2004 Madrid train bombing, as reconstructed from press stories after-the-fact. Edge weights encode four levels of connection strength: friendships, ties to Al Qaeda and Osama Bin Laden, co-participants in wars, and co-participants in previous terrorist attacks.
This network has 64 nodes and 243 edges.
Tags: Social, Offline, Weighted
@Sustainable2050@mastodon.energyWildfires force more than 200,000 people in France and Spain to flee
https://www.france24.com/en/europe/20260724-spain-declares-state-of-emergency-and-france-seeks-eu-help-as-wildfires-rage
@netzschleuder@social.skewed.detrain_terrorists: Madrid train bombing terrorists (2004)
A network of associations among the terrorists involved in the 2004 Madrid train bombing, as reconstructed from press stories after-the-fact. Edge weights encode four levels of connection strength: friendships, ties to Al Qaeda and Osama Bin Laden, co-participants in wars, and co-participants in previous terrorist attacks.
This network has 64 nodes and 243 edges.
Tags: Social, Offline, Weighted
@krone@frawas.deKopfverletzung - Mega-Strafen! Real Madrid greift nach Eklat durch #News #Nachrichten
@jdrm@social.linux.pizzaPues parece que el fuego ha afectado a la estación de seguimiento de satélites de la NASA en #RobledoDeChavela, donde estš la antena de espacio profundo https://bsky.app/profile/wildlandfiref
@kexpmusicbot@mastodonapp.uk🇺🇦 #NowPlaying on KEXP's #MiddayShow
Cracker:
🎵 Another Song About the Rain
#Cracker
https://cracker.bandcamp.com/track/another-song-about-the-rain-live-in-madrid
https://open.spotify.com/track/0embtBhRdAhJ53eoKv44Hl
@cosmos4u@scicomm.xyz"As of the morning of 27 July, ESA reviewed the situation at the #Cebreros station and declared it safe for nominal operations": https://www.esa.int/ESA_Multimedia/Images/2026/07/Wildfires_near_Cebreros_ground_station_Spain and https://www.esa.int/ESA_Multimedia/Images/2026/07/Raging_wildfires_near_Madrid_Spain
@markhburton@mstdn.socialMorroco kills Polisario (Western Sahara liberation front) leader.
Polisario condemns double standard of Spanish foreign policy which hasn't condemned this but did condemn a recent Polisario attack that resulted in no deaths.
Marruecos asesina a un dirigente del Frente Polisario
https://
@netzschleuder@social.skewed.detrain_terrorists: Madrid train bombing terrorists (2004)
A network of associations among the terrorists involved in the 2004 Madrid train bombing, as reconstructed from press stories after-the-fact. Edge weights encode four levels of connection strength: friendships, ties to Al Qaeda and Osama Bin Laden, co-participants in wars, and co-participants in previous terrorist attacks.
This network has 64 nodes and 243 edges.
Tags: Social, Offline, Weighted
@servelan@newsie.social"The old GOP is dead much the same way as the Whigs left the scene," Madrid wrote. "There is no coming back. Second, the Democratic party is the conservative party today - at least in the Burkean sense - as the guardian of institutions against populist destruction and countercultural institutional attack manifested in today's GOP."
Republican operative shares staggering prediction for GOP after Trump: 'No coming back' - Raw Story
https://www.rawstory.com/trump-gop-2677071632/
@BBC3MusicBot@mastodonapp.uk🇺🇦 #NowPlaying on BBCRadio3's #ThroughTheNight
Luigi Boccherini, Christophe Coin & Gringolts Quartet:
🎵 String Quintet no 6 in C major, Op 30, 'Musica notturna delle strade di Madrid'
#LuigiBoccherini #ChristopheCoin
https://open.spotify.com/track/1ygZxR8RAP9vg89MEIgK1v
@jdrm@social.linux.pizzaLas Fiestas Sin Patrón modifican la programación por la mala calidad del aire https://adelantesierra.es/las-fiestas-sin-patron-modifican-su-programacion-por-la-mala-calidad-del-aire-provocada-por-los-incendios/
@netzschleuder@social.skewed.detrain_terrorists: Madrid train bombing terrorists (2004)
A network of associations among the terrorists involved in the 2004 Madrid train bombing, as reconstructed from press stories after-the-fact. Edge weights encode four levels of connection strength: friendships, ties to Al Qaeda and Osama Bin Laden, co-participants in wars, and co-participants in previous terrorist attacks.
This network has 64 nodes and 243 edges.
Tags: Social, Offline, Weighted
@jdrm@social.linux.pizzaHe bajado a Madrid. No lo hagšis, es una trampa
@krone@frawas.deLange wurde spekuliert - Offiziell! Real verkündet Alaba-Entscheidung #News #Nachrichten
@BBC3MusicBot@mastodonapp.uk🔊 #NowPlaying on #BBCRadio3:
#ThroughTheNight
- Pianist Ana Guijarro and the Moreno Gistaín Piano Duo
A recital from Madrid featuring works by Ravel, Debussy, Chabrier, Fauré and de Falla. Jonathan Swain presents.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002xh2d
@jdrm@social.linux.pizzaA ver, gente que ha subido un cartel hecho por IA para una concentración en la Puerta del Sol ¿ni siquiera os habéis dado cuenta que la bandera de la comunidad de Madrid tiene una fila de estrellas de mšs?
@cosmos4u@scicomm.xyz"On July 25, an initial onsite inspection by the NASA Madrid Deep Space Communications Complex (MDSCC) emergency response team found wildfire damage primarily to pavement and surrounding vegetation, with no significant structural damage observed to antennas or buildings," writes #DeepSpaceNetwork site: "Meanwhile, NASA's Space Communications and Navigation (SCaN) Program has seamlessly transitioned mission support to its other Deep Space Communications Complexes in Goldstone, California and Canberra, Australia, ensuring continuity of operations and uninterrupted spacecraft communications."
@jdrm@social.linux.pizza @krone@frawas.deKracher in Österreich - Nun fix: Real kommt – und ein Ex-Liverpool-Star! #News #Nachrichten
@cosmos4u@scicomm.xyz"My teams have completed all necessary checks and testing of the #Cebreros station," writes https://bsky.app/profile/josefaschbacher.esa.int/post/3mrkysmg5ws2e: "After careful review, we have declared the antenna GREEN for nominal operations as of 27 July. Onsite presence will be kept to a minimum, in accordance with restrictions in the area." Meanwhile https://bsky.app/profile/amsat-dl.org/post/3mrkrwxlgls2c reports that "DSN Madrid is back in business, while DSN Now status display shows offline."
@BBC3MusicBot@mastodonapp.uk🇺🇦 #NowPlaying on BBCRadio3's #EssentialClassics
Luciano Berio, Riccardo Chailly, Luigi Boccherini & Orchestra Sinfonica di Milano Giuseppe Verdi:
🎵 Ritirata notturna di Madrid [after Boccherini]
#LucianoBerio #RiccardoChailly #LuigiBoccherini
Please 🔁 BOOST to share what you like
- your followers don't see if you ⭐ favourite a post
@BBC3MusicBot@mastodonapp.uk🇺🇦 #NowPlaying on BBCRadio3's #SaturdayMorning
Luciano Berio, Riccardo Chailly, Luigi Boccherini & Orchestra Sinfonica di Milano Giuseppe Verdi:
🎵 Ritirata notturna di Madrid [after Boccherini]
#LucianoBerio #RiccardoChailly #LuigiBoccherini
@BBC3MusicBot@mastodonapp.uk🇺🇦 #NowPlaying on BBCRadio3's #Breakfast
Luigi Boccherini, Zoltšn Tokos, Danubius Quartet & György Éder:
🎵 La Ritirata di Madrid (Quintet for guitar and strings, G.453)
#LuigiBoccherini #ZoltánTokos #DanubiusQuartet #GyörgyÉder
