@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.deSogar Fans verwundert - Haaland stichelt gegen Transfer von Real Madrid #News #Nachrichten
@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
@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.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?
@simon_lucy@mastodon.socialThat's Real Madrid goal.
#worldcup2026
@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…
@erikdelareguera@mastodon.nu”Det är magiskt” – miljoner följde solförmörkelsen i Europa https://www.dn.se/varlden/det-ar-magiskt-miljoner-foljde-solformorkelsen-i-europa/
@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…
@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…
@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
@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
@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,
@esoriano@social.linux.pizza @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
@Dragofix@veganism.socialSpain's three worst wildfires since 1961 happened in last two years #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://
@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/
@lpryszcz@genomic.social300k people evacuated in France and Spain due to raging wildfires
#ClimateCrisis
https://www.theguardian.com/world/live/202
@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
@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
@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
@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.
@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.
@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
@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
@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
@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.…
@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
@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…
@krone@frawas.deKracher in Österreich - Nun fix: Real kommt – und ein Ex-Liverpool-Star! #News #Nachrichten
@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
@jdrm@social.linux.pizza
@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
@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.deHarter Wahlkampf - „Es nervt!“ Aufregung um Klopp-Hammer bei Real #News #Nachrichten
@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
@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.deRivale geht leer aus - Hammer-Wechsel bestätigt: „Er will zu Barcelona!“ #News #Nachrichten
@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://
@jdrm@social.linux.pizzaHe elegido un buen fin de semana para huír de Madrid. León, equis palito uveeee
@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
@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
@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
@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/
@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?
@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
@krone@frawas.deFeuerhölle in Spanien - „Diese Bilder bekommt man nicht mehr aus dem Kopf“ #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
@krone@frawas.deLange wurde spekuliert - Offiziell! Real verkündet Alaba-Entscheidung #News #Nachrichten
@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/
@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
@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."
@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
@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
