12194 noticias
Artículo divulgativo que aborda la lógica formal desde sus ambigüedades cotidianas hasta sus fundamentos matemáticos. Comienza con una definición accesible: la lógica es un sistema para extraer conclusiones a partir de premisas. A través de ejemplos con gatos, desayunos y afirmaciones contraintuitiv
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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ó
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
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
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
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
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