· The US ambassador had Belgian police stop our reporting

El embajador de EE. UU. en Bélgica usó a la policía para expulsar a dos periodistas de un evento oficial

Dos periodistas de The European Correspondent fueron expulsados el domingo por la noche del evento "Freedom 250", una celebración organizada en el Parque del Cincuentenario de Bruselas para conmemorar los 250 años de la independencia de Estados Unidos. El acto, financiado con unos 3 millones de euro

press freedom united states belgium brussels european commission
· El Gobierno ordena retirar el monumento a Franco de Tenerife y otros tres vestigios franquistas de Madrid, Murcia y Almería

El Gobierno ordena retirar el monumento a Franco de Tenerife y otros tres vestigios franquistas

El Ministerio de Política Territorial y Memoria Democrática ha ordenado la retirada de cuatro nuevos vestigios franquistas del espacio público, entre ellos el Monumento a la Victoria de Santa Cruz de Tenerife, inaugurado en 1964 para honrar a Francisco Franco y el triunfo de los sublevados en la Gue

memoria democrática ley de memoria democrática franquismo gobierno de españa ministerio de política territorial
· The US ambassador had Belgian police stop our reporting

El embajador de EE. UU. en Bélgica ordenó a la policía expulsar a periodistas de una celebración oficial

Dos periodistas de The European Correspondent fueron expulsados el domingo por la noche de la celebración «Freedom 250» —conmemoración del 250.º aniversario de la Declaración de Independencia de EE. UU. organizada en el Parc du Cinquantenaire de Bruselas por las tres embajadas estadounidenses en Bél

freedom 250 brussels us embassy in belgium bill white press freedom
· Las 88 unidades del Ferrari Luce se agotan en China y reescriben las reglas del lujo eléctrico

Las 88 unidades del Ferrari Luce se agotan en China y reescriben las reglas del lujo eléctrico

Ferrari ha vendido las 88 unidades del Luce, su primer coche eléctrico, asignadas a China, a un precio de 586.600 dólares (casi cuatro millones de yuanes), un 7% inferior al precio europeo. La lista de espera ya cubre hasta 2027 y la marca desmiente que obligue a sus clientes tradicionales a comprar

ferrari luce coches eléctricos mercado chino vehículos de lujo ferrari
· It's Not for Privacy Nerds, But Bitdefender VPN Is an Excellent Value

Bitdefender VPN: una opción sólida y económica, aunque no apta para quienes priorizan la privacidad

Bitdefender VPN es un servicio de red privada virtual que destaca por su facilidad de uso, su rendimiento de red estable y su precio competitivo, aunque no satisface las exigencias de los usuarios más preocupados por la privacidad. El artículo, de carácter divulgativo, evalúa el producto en tres eje

bitdefender vpn vpn ipvanish privacy cybersecurity
· Proving the Fundamental Theorem of Arithmetic in Agda

Demostración comentada del Teorema Fundamental de la Aritmética en Agda

El profesor Brent Yorgey publica una demostración completa, desarrollada desde cero, del Teorema Fundamental de la Aritmética en el asistente de pruebas Agda. El recurso está pensado como material didáctico de nivel intermedio para personas que ya conocen los fundamentos de Agda y la correspondencia

agda proof assistants formalization functional programming number theory
· Ghana flooding: At least 13 people killed in Accra after torrential rains

Al menos 13 muertos en Accra por inundaciones tras lluvias torrenciales en Ghana

Al menos 13 personas murieron en Accra, capital de Ghana, a causa de severas inundaciones provocadas por lluvias torrenciales durante la noche del domingo, informó el Servicio Nacional de Bomberos (GNFS), que participa en las tareas de rescate. El Gobierno ha pedido a la población permanecer en inte

ghana accra flooding climate change weather
· Telefónica vende su edificio insignia de Gran Vía: el precio del adiós a un símbolo

Telefónica vende el edificio de Gran Vía 28 a Tomás Olivo por 200 millones

Telefónica ha cerrado los términos de la venta de su antigua sede en Madrid, el edificio de Gran Vía 28 —inaugurado en 1929 y con el máximo nivel de protección patrimonial—, al promotor cartagenero Tomás Olivo por unos 200 millones de euros. La operación podría formalizarse en agosto. El acuerdo inc

telefónica gran vía 28 tomas olivo marc murtra venta inmobiliaria
· La Comisión Europea ya dijo que la regularización extraordinaria era legal y se niega a comentar la decisión del Supremo

La Comisión Europea evita valorar la consulta del Supremo sobre la regularización de migrantes

La Comisión Europea se ha negado este martes a comentar la decisión del Tribunal Supremo de abrir un trámite para que el Gobierno, varias comunidades autónomas y asociaciones se pronuncien sobre la conveniencia de elevar una cuestión prejudicial al Tribunal de Justicia de la Unión Europea (TJUE) res

unión europea comisión europea tribunal supremo tribunal de justicia de la unión europea regularización de migrantes
· El aire acondicionado te regala litros de agua cada día: todo lo que puedes hacer con ella (y lo que no)

El agua que regala tu aire acondicionado: usos prácticos y errores a evitar

El aire acondicionado no solo enfría la casa durante una ola de calor: también produce agua por condensación, entre 1 y 2 litros por hora según el equipo y la temperatura exterior. Se trata de agua desmineralizada, similar al agua destilada, que la mayoría de personas desecha sin más. Sin embargo, e

aire acondicionado agua de condensación eficiencia energética reutilización de agua hogar
· Ebro vuelve a fabricar coches en la Zona Franca de Barcelona casi 70 años después

Ebro reabre la histórica planta de la Zona Franca y ya fabrica coches completos en Barcelona

Ebro ha abierto por primera vez a la prensa su planta de 500.000 metros cuadrados en la Zona Franca de Barcelona, donde en 1967 salió el último vehículo de la marca y donde Nissan cesó su actividad el 31 de diciembre de 2021 dejando en la calle a unos 2.500 trabajadores. Tres años después, la factor

ebro nissan zona franca barcelona industria automotriz
· Diagrams for Penrose Tiles

Cómo dibujar regiones finitas de los mosaicos de Penrose en Haskell

Este artículo describe, paso a paso, cómo generar regiones finitas de los mosaicos no periódicos de Roger Penrose formados por cometas (kites) y dardos (darts) utilizando el paquete Diagrams de Haskell. El trabajo surge de una colaboración con Stephen Huggett sobre propiedades matemáticas de estos t

penrose tiles haskell diagrams golden ratio tilings
· Stockholm (BMA) meeting report: new SQL:202y features accepted

El comité ISO acepta QUALIFY, INSERT BY NAME y SELECT EXCLUDE para el estándar SQL:202y

El grupo de trabajo ISO/IEC JTC1 SC32 WG3, dedicado a los lenguajes de bases de datos SQL y GQL, celebró su reunión más reciente en Estocolmo del 15 al 19 de junio de 2026 bajo el código "BMA". Durante el encuentro se aprobaron varias propuestas relevantes para SQL y PostgreSQL que pasan ahora a un

sql sql:202y postgresql iso/iec jtc1 sc32 wg3 gql
· Donkey Kong 64 llega a PC, macOS y Linux este verano en una versión no oficial que no gustará a Nintendo

Donkey Kong 64 llegará a PC, macOS y Linux este verano mediante un port no oficial

Un grupo de modders está desarrollando una versión no oficial de Donkey Kong 64 para PC, macOS y Linux que verá la luz este verano bajo el nombre "Donkey Kong 64: Recompiled". El proyecto se apoya en N64 Recompiled, una herramienta que transforma juegos de Nintendo 64 en código C portable, lo que pe

donkey kong 64 nintendo 64 nintendo n64 recompiled pc
· WhatsApp to let people chat with usernames - how to reserve one

WhatsApp permitirá chatear con nombres de usuario en lugar de números de teléfono

WhatsApp introducirá nombres de usuario únicos como alternativa al número de teléfono para iniciar conversaciones, en un despliegue global que alcanzará a sus 3.000 millones de cuentas en los próximos meses. Desde esta semana, los usuarios pueden reservar un nombre a través de la aplicación, aunque

whatsapp meta usernames privacy messaging apps
· Ozonloch: Schädigung der Ozonschicht begann viel früher und durch anderen Stoff

Estudio revela que la degradación de la capa de ozono comenzó antes y por otra sustancia

Una investigación publicada en PNAS y liderada por Susan Solomon, del MIT, demuestra que las primeras señales de deterioro de la capa de ozono habrían podido detectarse ya en 1957, casi tres décadas antes del hallazgo del agujero de ozono sobre la Antártida en 1985. El estudio reconstruye la química

ozonloch ozonschicht tetrachlormethan fckw montrealer protokoll
· Bot-Schutz mit Handgesten: Googles reCaptcha lässt sich Fotos unterjubeln

Investigadores esquivan el reCaptcha de Google con gestos de mano a partir de fotos de archivo

Google presentó la semana pasada una versión mejorada de reCaptcha que exige a los usuarios reproducir una gesto de mano ante la cámara. El sistema se basa en un modelo de aprendizaje automático capaz de detectar y medir 21 puntos de referencia en las manos. La función busca distinguir a personas re

google recaptcha künstliche intelligenz captcha bot-schutz
· The promise is unattended work. The reality is a new thing to attend to.

Más allá de la demo: por qué los flujos de IA requieren propiedad real del software

Las agencias de inteligencia artificial venden una promesa atractiva: configurar agentes, conectar herramientas y dejar que el sistema haga el trabajo. Pero la realidad operativa es otra. Un artículo firmado por Two Heads advierte que los flujos automatizados con IA siguen siendo software, con todos

ai agents automation ai workflows software maintenance human in the loop
· A Fake Shell for Pangenomics

Un shell simulado para componer flujos de pangenómica sin renunciar al rendimiento

Adrian Sampson, investigador de la Universidad Cornell, presenta en su blog personal un enfoque singular para facilitar el uso de FlatGFA, una biblioteca de alto rendimiento para pangenómica escrita en Rust y basada en un formato de datos de copia cero (mmap). Ante la dificultad de elegir entre una

pangenomics rust flatgfa shell scripting bioinformatics
· The AI jobs debate just got messier

Un nuevo informe matiza el debate sobre el empleo y la IA: las empresas que más invierten en IA contratan más

Un informe conjunto de Ramp y Revelio Labs, basado en datos de gasto en IA y nóminas de cerca de 22.000 empresas, contradice el relato dominante de que la inteligencia artificial destruye empleo a gran escala. Las compañías definidas como "adoptantes de alta intensidad", aquellas que gastan una medi

ai labor market layoffs automation employment
· Why Won't Europe Build AI Data Centers in Iceland?

La UE quiere triplicar sus centros de datos pero ignora Islandia, su mejor baza energética

La Comisión Europea presentó el 3 de junio su Paquete de Soberanía Tecnológica, que incluye una修订修订修订 Cloud and AI Development Act con el objetivo de triplicar la capacidad de centros de datos de la UE en cinco a siete años y reducir la dependencia de proveedores como Amazon, Microsoft y Google, que

eu tech sovereignty data centers artificial intelligence iceland
· Trump administration threatens 92 GW of new electricity supply with red tape

La Administración Trump pone en riesgo 92 GW de nueva generación eléctrica por trabas regulatorias

Los retrasos en permisos promovidos por la Administración Trump amenazan con frenar 92 gigavatios de nueva capacidad de generación limpia, según un estudio de la consultora Wood Mackenzie. En 2025 ya se han cancelado 7 GW en terrenos federales por cambios regulatorios y retirada de financiación, y l

trump administration energy policy renewable energy permitting data centers
· The 80% Problem: The Last 20% Is Where the Engineer Used to Live

El problema del 80%: la IA escribe el borrador y el ingeniero se queda sin aprender

Los modelos generativos resuelven con rapidez el ochenta por ciento de una tarea de programación: la lógica del camino feliz, la estructura que supera una prueba básica y el andamiaje que funciona en una demo. El problema es el veinte por ciento restante, el que decide si el software sobrevive al co

ai software engineering generative ai developer experience engineering judgment
· Parse, Don't Validate — In a Language That Doesn't Want You To

Validar no es parsear: tipos de marca en TypeScript al estilo Haskell

Este artículo recupera el principio "parse, don't validate" de Alexis King y lo aplica a TypeScript, un lenguaje cuyo sistema de tipos estructural no obliga a distinguir entre datos sin revisar y datos ya verificados. La idea central es que un validador devuelve true o false y olvida lo que comprobó

typescript parse don't validate branded types type system haskell
· Should every baby's DNA be sequenced?

¿Debería secuenciarse el ADN de todos los recién nacidos?

The Economist plantea en su sección de ciencia y tecnología si la secuenciación genómica debería aplicarse de forma sistemática a todos los recién nacidos. Como ejemplo de lo que esta tecnología puede detectar, el artículo describe el caso de Freddie, nacido en abril de 2025, a quien se le diagnosti

dna sequencing newborn screening genomics retinoblastoma personalised medicine
· European digital ID wallets are a gift to Google and Apple

Las carteras digitales europeas de identidad refuerzan el poder de Google y Apple

Las carteras de identidad digital que los gobiernos europeos están desplegando para acceder a servicios públicos y verificar la edad en línea dependen de los sistemas de certificación remota de Google y Apple, según una investigación publicada por la organización holandesa Waag. Estas garantías técn

digital id wallets eudi wallet google play integrity apple managed device attestation digital markets act
· Tyaff: a lightweight React alternative in pure JavaScript with its own virtual DOM

Tyaff: una alternativa ligera a React en JavaScript puro con DOM propio

Tyaff es una biblioteca de JavaScript puro (ES6+) que se presenta como una alternativa minimalista a React, dotada de un DOM virtual propio. Su filosofía apuesta por reducir la complejidad habitual de los frameworks modernos: no requiere JSX, ni compilación, ni dependencias externas, y se instala co

tyaff react javascript virtual dom frontend framework
· Local Reasoning for Global Properties

Razonamiento local para propiedades globales: cómo Rust facilita la programación multihilo

En este ensayo, el autor replantea su postura sobre el papel de los lenguajes de programación ante el auge de la inteligencia artificial. Aunque durante años sostuvo que los lenguajes no marcarían grandes diferencias —alineándose con la idea del "no silver bullet" de Fred Brooks—, una experiencia co

rust programming languages concurrency data races ownership types
· Los usuarios del Imserso no necesitan reinscribirse cada temporada

Los usuarios del Imserso no necesitan reinscribirse cada temporada

Los participantes del Programa de Turismo del Imserso que ya figuraban inscritos en temporadas anteriores no deben volver a solicitar plaza: el Ministerio de Derechos Sociales, Consumo y Agenda 2030 confirma que la solicitud para la temporada 2026-2027 corresponde únicamente a las personas que desee

imserso programa de turismo del imserso ministerio de derechos sociales consumo y agenda 2030 temporada 2026-2027 pensionistas
· Nombres de usuario de WhatsApp: qué son, para qué sirven y cómo reservar el tuyo

Qué son los nombres de usuario de WhatsApp y cómo reservar el tuyo

WhatsApp ha comenzado a desplegar de forma gradual los nombres de usuario, una función que permite identificar a cada persona dentro de la aplicación sin necesidad de compartir el número de teléfono. Se trata de un identificador único e intransferible: el primero que lo configure lo bloquea para sie

whatsapp nombres de usuario privacidad mensajería instantánea whatsapp business