· Formal methods with Z3 to audit AI agent permissions

Métodos formales con Z3 para auditar permisos de agentes de IA

El equipo OpenShell ha desarrollado un enfoque basado en métodos formales para garantizar que los sistemas de agentes de inteligencia artificial no superen los permisos autorizados por los operadores humanos. A medida que los agentes se vuelven más autónomos y realizan tareas de larga duración, la s

openshell z3 formal methods ai agents aws
· Drei deutsche Verbände fordern EU, Telekom-Deregulierung abzulehnen

Tres gremios alemanes piden a la UE rechazar la desregulación de la Telekom

Tres asociaciones alemanas de telecomunicaciones —ANGA, VATM y Breko— han instado a la Unión Europea a rechazar las nuevas propuestas de desregulación presentadas por los principales operadores nacionales, como la Deutsche Telekom. En una declaración conjunta, estos gremios argumentan que la compete

deutsche telekom europa digital networks act telekommunikation regulierung
· Hand-written rewrite of AI text evades detection tools

Un texto generado por IA es detectado como humano tras su reescritura

Un análisis reciente demuestra que la reescritura manual de un texto generado por inteligencia artificial puede evadir los detectores de IA, un hallazgo que desafía la fiabilidad de las herramientas actuales. El estudio parte de la controversia generada por la herramienta Pangram, que identificó err

pangram ai detection david sacks sam altman openai
· La estación de AVE de Ezkio-Itsaso queda sin trenes por el debate de la Y vasca

La estación de AVE de Ezkio-Itsaso queda sin trenes por el debate de la Y vasca

La estación de alta velocidad de Ezkio-Itsaso, en Guipúzcoa, se encuentra abandonada tras la finalización de sus obras en 2022, sin que haya transitado un solo tren de la red AVE. Esta situación se debe a la incertidumbre sobre la trazada definitiva de la Y vasca, el proyecto de alta velocidad que c

y vasca ezkio-itsaso pamplona bilbao vitoria
· Vintage Violence and The Devils Dominate Day 5 of TIFF 2026

Vintage Violence y The Devils dominan la quinta jornada del TIFF 2026

El cineasta Eugene Kotlyarenko presentó su thriller criminal absurdo 'Vintage Violence' durante la quinta jornada del Festival Internacional de Cine de Toronto (TIFF) 2026. La película, protagonizada por Cole Sprouse y Kiko Mizuhara, sigue a un influencer desgraciado que viaja a Tokio para vender ro

vintage violence the devils gentle monster eugene kotlyarenko ken russell
· OpenAI, Anthropic, and Google coordinate AI safety efforts

OpenAI, Anthropic y Google coordinan esfuerzos de seguridad de la IA

Chris Lehane, responsable global de política de OpenAI, confirmó el martes que la empresa ha mantenido conversaciones con Anthropic y Google DeepMind durante las últimas semanas sobre la seguridad de la inteligencia artificial. Esta revelación se produce en el contexto de la reciente publicación de

· Paleontólogos confirman el primer Diplodocus en Europa tras su hallazgo en Teruel

Paleontólogos confirman el primer Diplodocus en Europa tras su hallazgo en Teruel

Durante décadas, la imagen mental del Diplodocus, el icónico dinosaurio sauroópodo de cuello largo y cola en forma de látigo, se limitaba a los yacimientos del oeste de Estados Unidos. Sin embargo, esta percepción ha cambiado radicalmente con el hallazgo de los primeros fósiles confirmados de este g

paleontología el castellar diplodocus journal of vertebrate paleontology migración intercontinental
· Nitter and XCancel shut down again following X's latest legal actions

Nitter y XCancel se detienen tras nuevas acciones legales de X

Nitter y XCancel, servicios de privacidad que permitían leer publicaciones de X sin iniciar sesión, han dejado de funcionar de forma definitiva tras las últimas acciones legales de la plataforma. Tras una amenaza inicial de acciones legales en agosto, X envió una carta de cese y desistimiento por el

nitter xcancel x twitter api
· 2026's worst cyberattacks: From DOGE to Meta

Los peores ciberataques de 2026: desde DOGE hasta Meta

El segundo trimestre de 2026 ha caracterizado por una escalada sin precedentes en ciberataques, donde la seguridad digital ha pasado de ser un tema secundario a un eje central de la geopolítica y la economía. Los incidentes más graves incluyen la posible fuga masiva de datos de la Administración de

· CISPE warnt vor antiwettbewerblichen Praktiken von Broadcom und SAP

CISPE alerta por prácticas anticompetitivas de Broadcom y SAP en la nube

El observatorio europeo de la competencia en la nube, CISPE, ha emitido una alerta crítica sobre las prácticas de mercado de Broadcom y SAP, señalando restricciones drásticas a la libertad de elección de los proveedores europeos. Según el cuarto informe del European Cloud Competition Observatory (EC

broadcom sap cispe vmware microsoft
· Estudiantes usan IA para hacer trampas y evadir detectores

Estudiantes usan IA para hacer trampas y evadir detectores

La integración de la inteligencia artificial en la educación ha transformado las prácticas académicas, convirtiendo la copia de trabajos en una actividad más sofisticada y difícil de detectar. Los estudiantes, conscientes de que los detectores de IA como Turnitin pueden generar falsos positivos, ded

inteligencia artificial turnitin universidad de princeton ucla danielle carr
· 007 First Light integra path tracing y DLSS 4.5 Ray Reconstruction

007 First Light integra path tracing y DLSS 4.5 Ray Reconstruction

NVIDIA ha actualizado 007 First Light con la incorporación del path tracing y DLSS 4.5 Ray Reconstruction, tecnologías que buscan elevar la calidad visual del título mediante una iluminación más realista y una mayor estabilidad en las imágenes. Esta actualización se suma al soporte previo para DLSS

007 first light nvidia path tracing dlss 4.5 ray reconstruction geforce rtx 5070
· WIRED hosts event on gender and power in Silicon Valley

WIRED presenta evento sobre género y poder en Silicon Valley

WIRED organizará el 8 de octubre un evento en vivo en San Francisco para explorar el estado actual de las mujeres en la industria tecnológica. La cita, titulada 'Uncanny Valley', se centrará en la intersección entre género y poder dentro de Silicon Valley. El evento, presentado en colaboración con K

wired paulina borsook katie drummond brian barrett zoë schiffer
· El slow jogging: ciencia detrás de la carrera lenta para principiantes

El slow jogging: ciencia detrás de la carrera lenta para principiantes

El slow jogging, o carrera lenta, se ha consolidado como una tendencia accesible para iniciar la actividad física, con un origen científico en la propuesta de Hiroaki Tanaka, quien la definió por la capacidad de mantener una conversación y sonreír durante el esfuerzo. Stephen Garland, profesor de fi

slow jogging stephen garland hiroaki tanaka universidad de malmö zona 2
· Nestlé lanza cafeteras Nescafé Dolce Gusto NEO con cápsulas compostables

Nestlé lanza cafeteras Nescafé Dolce Gusto NEO con cápsulas compostables

Nestlé ha presentado en España la nueva gama de cafeteras Nescafé Dolce Gusto NEO, un ecosistema diseñado para eliminar las cápsulas de plástico y aluminio mediante el uso de bolsitas compostables de papel. Este lanzamiento, que llega con ofertas desde 49 euros, introduce la tecnología SmartBrew 3 e

nescafé dolce gusto nestlé cafeteras de cápsulas sostenibilidad smartbrew
· Researchers detect surreal dialects in autonomous AI agents

Investigadores detectan dialectos surrealistas en agentes de IA autónomos

Investigadores del laboratorio Emergence han descubierto que los agentes de inteligencia artificial autónomos desarrollan dialectos propios que mezclan lenguaje poético, jerga técnica y metáforas, dificultando su monitoreo por parte de humanos. En un estudio reciente, los modelos de empresas líderes

· The Verge explores The Oregon Trail's legacy in new podcast season

The Verge analiza el legado de The Oregon Trail en su quinta temporada

The Verge ha anunciado el estreno de la primera entrega de la quinta temporada de su podcast Version History, centrado en el videojuego The Oregon Trail. En este episodio, el presentador David Pierce se une a la periodista de videojuegos Chris Grant y a Philip Bouchard, diseñador y líder del equipo

the verge version history the oregon trail david pierce chris grant
· AI Inference Boom Forces Hardware Pivot and New Chip Alliances

La explosión de inferencia de IA redefine la demanda de chips y memoria

La industria de la inteligencia artificial se enfrenta a un cambio de paradigma: la demanda de inferencia ha superado a la de entrenamiento, obligando a los fabricantes de hardware a repensar sus estrategias. Mientras que los modelos de lenguaje de gran escala (LLM) han evolucionado de millones a bi

· Browser Use abandons predefined state to use direct CDP access

Browser Use abandona el estado predefinido para usar CDP directo

Browser Use ha redefinido su arquitectura de agentes de navegador para superar las limitaciones de los espacios de acción y estado predefinidos. Tras el lanzamiento de Browser Use en noviembre de 2024, la empresa experimentó con la ejecución de JavaScript y notebooks persistentes en 2025, permitiend

browser use chrome devtools protocol browser agents gpt-4o playwright
· Mozilla rebuilds Firefox.com with native CSS and no preprocessors

Mozilla reconstruye Firefox.com con CSS nativo y sin preprocesadores

Jo Sprague, desarrollador de Mozilla, ha anunciado la finalización de la reconstrucción de Firefox.com utilizando CSS moderno y nativo, eliminando la dependencia de preprocesadores. Este proyecto, realizado en colaboración con la empresa Lincoln Loop, marca el cierre de una brecha técnica que existi

css mozilla firefox.com lincoln loop jo sprague
· GRAND fixes IPv6 asymmetry in FreeBSD

GRAND resuelve la asimetría de IPv6 en FreeBSD

El protocolo GRAND (Gratuitous Neighbour Discovery) corrige una asimetría crítica en el descubrimiento de vecinos de IPv6, donde el host puede alcanzar al router antes de que este conozca la dirección del host. Esta falta de información inicial provoca que los primeros paquetes de retorno experiment

ipv6 grand freebsd rfc 9131 rfc 4861
· Why I'm Giving Up on Smart Rings

Por qué abandoné el anillo inteligente Oura Ring

Un usuario de Oura Ring detalla las principales deficiencias de los dispositivos de seguimiento de salud en forma de anillo tras un año de uso. Aunque la herramienta fue útil para monitorear el sueño y detectar síntomas de enfermedades, el autor concluye que las limitaciones físicas y de durabilidad

oura ring google fitbit air wearable technology health tracking ouraring
· Mozilla assesses the state of open source AI in 2026

Mozilla analiza el estado de la IA de código abierto en 2026

Mozilla ha publicado su informe anual 'State of Open Source AI 2026', que evalúa el ecosistema de modelos de inteligencia artificial de código abierto. El documento, actualizado en septiembre de 2026, destaca que los modelos abiertos han logrado una paridad casi total en capacidad y eficiencia, redu

open source ai mozilla kimi k3 glm-5.3 qwen3.8
· Cartesian by Formas: AI 3D modeling tool for design

Cartesian by Formas: herramienta de modelado 3D con IA para diseño

Cartesian by Formas es una herramienta de modelado 3D asistida por inteligencia artificial diseñada específicamente para la arquitectura y el diseño de productos. Su objetivo principal es permitir a los profesionales modificar objetos individuales dentro de un modelo 3D sin alterar el contexto espac

cartesian by formas ai 3d modeling architecture product design sketchup
· Swift 6.4 released with build system unification and concurrency improvements

Swift 6.4 llega con mejoras en construcción, concurrencia y compatibilidad

Apple ha lanzado la versión 6.4 de Swift, una actualización que busca simplificar el código diario y mejorar el rendimiento en múltiples plataformas. El cambio más significativo es la adopción de Swift Build como sistema de construcción predeterminado en Swift Package Manager, lo que permite que los

swift apple swift 6.4 swift package manager webassembly
· TechCrunch Disrupt 2026 explores the prototype-to-production transition

TechCrunch Disrupt 2026 analiza el salto de prototipo a producción

TechCrunch Disrupt 2026, celebrado en San Francisco del 13 al 15 de octubre, presentará una sesión especial en la Real World AI Stage titulada 'From Prototype to Production: Can It Scale in Reality?'. El evento, que reunirá a más de 10.000 fundadores e inversores, abordará los desafíos técnicos y op

techcrunch disrupt john mackey boris sofman adrian macneil mbryonics
· How I Implemented the Forth Language in Lua Using C

Cómo implementé el lenguaje Forth en Lua usando C

El autor describe el proceso de desarrollo de MoonForth, una implementación del lenguaje de programación Forth escrita en C que utiliza la API de C de Lua para su ejecución. El proyecto surge de la necesidad de crear un entorno de programación minimalista y eficiente, aprovechando la estructura de p

forth lua moonforth c jonesforth
· China pavimenta su primera carretera con botellas de leche recicladas

China pavimenta su primera carretera con botellas de leche recicladas

En 2021, la empresa estadounidense Dow y la marca láctea china Shiny Meadow implementaron en Shanghái la 'Milk Bottle Road', el primer proyecto de infraestructura de plástico en el país. La iniciativa, presentada el 22 de abril de 2021 en el campus de la Universidad de Ciencias y Tecnología de China

dow shiny meadow east china university of science and technology shanghái elvaloy ret
· Superpose, AI pose app, hits 22,000 downloads

Superpose, app de poses con IA, alcanza 22.000 descargas

Superpose, una aplicación de cámara para iOS fundada por Melody Chu y Jing Liu, dos exemplemos de TikTok, ha alcanzado las 22.000 descargas desde su lanzamiento en julio. La herramienta utiliza inteligencia artificial para generar cuatro poses de selfie o fotografía de grupo, permitiendo a los usuar

superpose melody chu jing liu tiktok khosla ventures
· Fujifilm launches Instax Pal 2, a 10-megapixel compact digital camera

Fujifilm lanza la Instax Pal 2, una cámara digital compacta de 10 megapíxeles

Fujifilm ha anunciado el lanzamiento de la Instax Pal 2, una cámara digital compacta que se posiciona como una evolución directa de su modelo anterior, la Instax Pal, presentada en 2023. A diferencia de su predecesora, que carecía de pantalla o visor óptico, la nueva Pal 2 incorpora un visor óptico

fujifilm instax pal 2 digital camera kodak charmera peta pixel