@esoriano@social.linux.pizza2026-07-04 20:17:01
@esoriano@social.linux.pizza2026-07-04 20:17:01
@heiseonline@social.heise.de2026-07-27 09:35:03
NASA 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.
@markhburton@mstdn.social2026-09-03 08:23:36
Racist rioting in Madrid following the mass crossing to Ceuta.
https://www.eldiario.es/politica/ultima-hora-crisis-ceuta-actualidad-politica-directo_6_13481026_1124703.html
Meanwhile leaked information implicates …
@netzschleuder@social.skewed.de2026-09-02 16:00:05
train_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
@sergiofdezsaez@masto.es2026-07-03 09:20:53
Viajecito 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.
@cdarwin@c.im2026-08-01 01:00:24
At 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,
@Sustainable2050@mastodon.energy2026-07-26 20:25:23
500 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.pizza2026-07-20 12:03:47
Venga 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/
@carloshr@lile.cl2026-08-31 19:00:23
RE: https://mastodon.cl/@biobiochile/117191308018472512
El solo hecho de que (Kast) asista al foro de Madrid en su condición de presidente, ya dice mucho.
@lpryszcz@genomic.social2026-07-26 06:54:32
300k people evacuated in France and Spain due to raging wildfires
#ClimateCrisis
https://www.theguardian.com/world/live/202
@krone@frawas.de2026-08-23 02:10:12
Goldtor von Neuzugang - Real Madrid feiert Sieg in der letzten Minute #News #Nachrichten
@jacobgudiol@mastodonsweden.se2026-06-28 14:24:23
Blodsockret 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.
@Sustainable2050@mastodon.energy2026-07-24 18:35:54
Spain 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/
@BBC3MusicBot@mastodonapp.uk2026-07-03 01:15:44
🇺🇦 #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
@netzschleuder@social.skewed.de2026-08-28 07:00:04
train_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
@Luc@dresden.network2026-06-23 09:33:10
Schönes Beispiel für #Verkehrswende in #Madrid: Pakete werden mit der Metro ausgeliefert und direkt in Packstationen der U-Bahn-Stationen verteilt.
🎦 https:…
@cosmos4u@scicomm.xyz2026-07-25 16:31:25
"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
@gfp@mastodon.trueten.de2026-06-24 22:56:34
„Linke ausrotten“ https://www.german-foreign-policy.com/news/detail/10455
@_tillwe_@mastodon.social2026-07-25 13:41:09
@bici@mastodon.social2026-07-27 02:10:04
Pedro 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.social2026-07-25 14:49:38
A 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
@Sustainable2050@mastodon.energy2026-07-26 19:41:42
Spain'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.…
@erikdelareguera@mastodon.nu2026-08-12 20:33:18
”Det är magiskt” – miljoner följde solförmörkelsen i Europa https://www.dn.se/varlden/det-ar-magiskt-miljoner-foljde-solformorkelsen-i-europa/
@jdrm@social.linux.pizza2026-06-17 10:46:38
¿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.de2026-06-26 03:00:29
train_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
@Techmeme@techhub.social2026-06-15 04:45:34
Madrid-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…
@krone@frawas.de2026-08-20 10:39:18
Sogar Fans verwundert - Haaland stichelt gegen Transfer von Real Madrid #News #Nachrichten
@markhburton@mstdn.social2026-07-24 08:22:41
It 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
@simon_lucy@mastodon.social2026-06-17 21:12:34
That's Real Madrid goal.
#worldcup2026
@jdrm@social.linux.pizza2026-08-30 07:41:02
Segurmente hoy bajaremos a pasear por Madrid. Ayer comimos en Zarzalejo, un pueblo en la montaña super moni y hoy vamos al centro de lMadrid. Vaya contraste.
Me quedo con Zarzalejo, claro
@arXiv_csPL_bot@mastoxiv.page2026-07-23 07:36:47
Towards 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
@krone@frawas.de2026-07-30 05:45:20
Feuerhölle in Spanien - „Diese Bilder bekommt man nicht mehr aus dem Kopf“ #News #Nachrichten
@netzschleuder@social.skewed.de2026-07-22 20:00:04
train_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.social2026-08-10 03:59:44
Spain's three worst wildfires since 1961 happened in last two years #Spain
@BBC3MusicBot@mastodonapp.uk2026-06-22 23:30:24
🔊 #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
@krone@frawas.de2026-08-30 11:05:19
LASK-Held wieder da - Hammer-Transfer perfekt: Kalajdzic zurück in Linz! #News #Nachrichten
@Sustainable2050@mastodon.energy2026-07-24 22:14:14
Wildfires 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.de2026-08-19 02:00:04
train_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.energy2026-07-24 16:57:02
Wildfires 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.pizza2026-07-24 18:01:06
Pues 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
@netzschleuder@social.skewed.de2026-08-15 17:00:04
train_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.social2026-08-06 01:50:05
France 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.de2026-08-27 17:01:00
CL-Auslosung im Ticker - LASK trifft in Königsklasse auf Real und Liverpool #News #Nachrichten …
@cosmos4u@scicomm.xyz2026-07-27 17:11:10
"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
@jdrm@social.linux.pizza2026-07-25 09:34:03
Las 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.uk2026-06-14 23:30:08
🔊 #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
@netzschleuder@social.skewed.de2026-07-13 01:00:04
train_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.uk2026-07-16 18:48:10
🇺🇦 #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
@servelan@newsie.social2026-06-22 03:40:16
"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.pizza2026-06-21 10:24:02
He bajado a Madrid. No lo hagšis, es una trampa
@netzschleuder@social.skewed.de2026-07-11 17:00:05
train_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
@markhburton@mstdn.social2026-06-09 08:18:29
Morroco 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.de2026-08-08 08:00:04
train_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.pizza2026-07-21 08:15:03
A 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?
@BBC6MusicBot@mastodonapp.uk2026-08-29 02:35:25
🇺🇦 #NowPlaying on #BBC6Music's #FocusBeats
ØDYSSEE & saib.:
🎵 Madrid
#ØDYSSEE #saib
https://odyssee.bandcamp.com/track/madrid
https://open.spotify.com/track/7sn2vY1Uh0jLQNiFuMETSo
@cosmos4u@scicomm.xyz2026-07-25 21:16:09
"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.pizza2026-06-14 08:40:15
@krone@frawas.de2026-07-09 10:46:25
Kracher in Österreich - Nun fix: Real kommt – und ein Ex-Liverpool-Star! #News #Nachrichten
@krone@frawas.de2026-06-06 09:13:21
Harter Wahlkampf - „Es nervt!“ Aufregung um Klopp-Hammer bei Real #News #Nachrichten
@jdrm@social.linux.pizza2026-06-06 08:06:05
He elegido un buen fin de semana para huír de Madrid. León, equis palito uveeee
@cosmos4u@scicomm.xyz2026-07-26 20:08:41
"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."
@krone@frawas.de2026-08-07 08:12:19
Rivale geht leer aus - Hammer-Wechsel bestätigt: „Er will zu Barcelona!“ #News #Nachrichten
@krone@frawas.de2026-08-06 09:14:10
Poker spitzt sich zu - Real erhöht Angebot, aber Vinicius löscht alles #News #Nachrichten
@BBC3MusicBot@mastodonapp.uk2026-06-20 08:36:19
🇺🇦 #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.uk2026-08-31 06:07:39
🇺🇦 #NowPlaying on BBCRadio3's #Radio3Breakfast
Christoph Willibald Gluck, Orquesta sinfónica de Madrid & Jesús López Cobos:
🎵 Dance of the Blessed Spirits (Orfeo ed Euridice)
#ChristophWillibaldGluck #JesúsLópezCobos #newRelease 🆕 album
https://open.spotify.com/track/3zBi4Zf6CaXpLuhTSoyAT3
@BBC3MusicBot@mastodonapp.uk2026-06-06 02:44:11
🇺🇦 #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