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
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.
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,
#Quartz aka rock crystal carved vase, Francesco Tortorino, Milan, 1550-75. Museo Nacional del Prado, Madrid. #MinCup26. My own ⚒️
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.
Si no visteis La Revuelta ayer, os lo recomiemdo. Todo el programa entrevistando a un abogado que lleva años defendiemdo inquilinas frente a desahucios, que pleiteó contra Blackstone y el ayuntamiento de Madrid por la venta de viciendas de protección oficial...
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.
French president, Emmanuel Macron, has reacted warmly to Andy Burnham’s suggestion that the UK could rejoin the EU.
“Welcome back,” the French leader said in English with a smile at a news conference in Madrid on Wednesday.
Macron continued in French: a
“If the British want to come back and if the prime minister is moving in that direction,
I think that is very good news, both for his country and for the Europeans.”
Spain’s prime minister, Pedro Sšnchez, said his…
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
🇺🇦 #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
"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
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
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
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.…
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
“Maricarmen’s case is just one more example of what happens when housing is put in the hands of landlords. The difference is that a lot of people have become aware of her situation and the tenants’ union has shown that we can fight this type of barbaric behaviour.”
So far this year, 4,000 evictions have been carried out in #Spain.
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
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
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
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
¿Os acordšis de Begoña Villacis, de Ciudadanos, concejala de Madrid hace años cuya madre tenía 100 pisos en alquiler. Si, 100.
Pues solo eso, que me he acordado.
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
This is a 1975 Spanish television piece about Atrium Musicae de Madrid. I can't understand much Spanish, and can't make out everything that's being said, but it does convey Gregorio Paniagua's somewhat mad-scientist vibe. The group sounds excellent.
https://youtu.be/6tG8gWAHDGM
Vor ca. 10 Jahren schrieben wir an „unseren“ CDU-Bundestagsabgeordneten (kurz danach wegen einer Lobbyismus-Affäre zurückgetreten, lol), dass er sich bitte für einen massiven (v.a. sozialen) Wohnungsbau im Kreis einsetzen solle, weil Wohnraumknappheit eine der größten Bedrohungen für den gesellschaftlichen Zusammenhalt darstelle. Zurück kam eine windelweiche, nichtssagende Antwort.
https://www.tagesschau.de/ausland/europa/demonstration-mieten-madrid-100.html
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://
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
The housing crisis appears to have completely engulfed politics in Spain now! The main square in Madrid is an encampment in support of housing/tenants rights. There is talk of a General Strike.
The Government just lost a vote in parliament on two bills that would have provided some relief (according to government) though not as much as some parties wanted (particularly the rightwing Junts Catalan separatist party).
Junts voted against the decree, which along with the rightwing People’s Party and ultra-Right VOX, meaning it failed to pass.
Sanchez could pull the plug and call a snap election based on support for his housing proposals (which distracts from immigration and corruption charges)
I would really like to be able to vote in this election but currently my rights have been suspended as a foreign-domiciled citizen!
#España #Spain #Housing #HousingIsARight
https://apnews.com/article/spain-housing-vote-pedro-sanchez-ae3ba6c786ab95b6acc30bdb02c47d0d
Atrium Musicae de Madrid - "La Folia de la Spagna" (1982)
Happy to have finally found an original copy of this, at a thrift store.
https://youtube.com/playlist?list=OLAK5uy_lQrQrNQAC4DvsKMtaAcJqFNaJYvv92pFY
Sabéis quién tiene que ir en un ratito a Madrid a recoger a unos paisanos que estšn en lo de la F1, verdad? Exacto, un servidor.
Sobre lo de "si yo me jodo, que se jodan los demšs" que hemos visto de algunos imbéciles tras el desahucio de Mari Carmen en Madrid porque "solo" pagaba 500€ de alquiler, he de decir que, lamentablemente, la gente así de tonta es mšs de la que pensamos.
En mi comunidad de vecinas hay un pequeño piso que era el del portero de la mancomunidad. Es un pisito de unos 40 metros que es propiedad de la mancomunidad y se alquila por menos de 300€ a una familia.
Bien, p…
Attorneys for James “Fergie” Chambers,
the US citizen and wealthy donor to leftwing and humanitarian projects worldwide
who is currently imprisoned in Madrid and sought in extradition, have submitted a brief ahead of a decisive government meeting on the case.
Meanwhile, Chambers’ partner, the actor and activist Stella Schnabel,
met last week with multiple members of the Spanish parliament to assert his innocence.
The legal team’s arguments include that the US go…
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
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
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
Slides of five talks given at the Seventh International Workshop on Cometary Astronomy in Madrid in August are now up at http://www.icq.eps.harvard.edu/IWCA7.html #comets
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
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?
🔊 #NowPlaying on #BBCRadio3:
#ThroughTheNight
- Dúo del Valle in Madrid
Spanish piano duo Luis and Victor del Valle give a colourful recital for piano four hands featuring music by Ligeti, Poulenc, Ravel, Gershwin and Milhaud.
Relisten now 👇
https://www.bbc.co.uk/programmes/m0031lc4
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
I’m in Spain on vacation, visiting Madrid for the F1 race next weekend. I will share some #photography on this thread. First up, a statue of El Cid at the Santa Maria gate in Burgos, and the cathedral.
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
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
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
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
"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."
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
"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."
@… #photography Madrid - Hyatt roof bar dedicated to Diane, who is either waving at her boyfriend on the roof opposite or trying to shoot the phoenix that he’s fighting. The older sculpture is the corporate emblem of La Unión y el Fénix, and the youth carried by the phoenix was Ganymede. When sculptor Natividad Sšnchez created Diana in 2017, she invented the story in which the existing young man becomes Endymion, Diana’s lover, kidnapped by the Phoenix.
🇺🇦 #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
🇺🇦 #NowPlaying on BBCRadio3's #Radio3Breakfast
Luciano Berio, Riccardo Chailly, Luigi Boccherini & Orchestra Sinfonica di Milano Giuseppe Verdi:
🎵 Ritirata notturna di Madrid [after Boccherini]
#LucianoBerio #RiccardoChailly #LuigiBoccherini
@netzschleuder@social.skewed.de
