· Float and integer arithmetic follow two different paradigms

La aritmética de punto flotante requiere un paradigma de seguridad distinto

La aritmética de punto flotante sigue un paradigma de seguridad radicalmente diferente al de la aritmética de enteros, lo que explica por qué los modelos de lenguaje de gran escala (LLM) suelen fallar al tratar con números reales. Mientras que en la programación con enteros, el objetivo es prevenir

floating point ieee-754 c rust undefined behavior
· RustConf 2026: 'Beyond the &' project enhances smart pointers

RustConf 2026: el proyecto 'Beyond the &' mejora los punteros inteligentes

Tyler Mandry, líder del equipo de lenguaje de Rust, presentó en RustConf 2026 el proyecto 'Beyond the &' para resolver las limitaciones de los punteros inteligentes definidos por el usuario. Actualmente, ciertas operaciones posibles con referencias integradas no son viables con estos punteros, lo qu

rust rustconf 2026 tyler mandry smart pointers borrow checker
· Eliminación de peces invasores en dos lagos pirenaicos restaura el ecosistema

Eliminación de peces invasores en dos lagos pirenaicos restaura el ecosistema

Un equipo de investigadores supervisado por el Consejo Superior de Investigaciones Científicas (CSIC) y la Generalitat de Cataluña ha logrado la recuperación total de dos lagos de alta montaña en el Pirineo tras eliminar a una especie de pez invasora. En septiembre de 2025, se aplicó rotenona, un ic

rotedona piscardo tres estanys del mig tres estanys de baix csic
· Muere en Donostia un paciente oncológico por viruela del mono

Muere en Donostia un paciente oncológico por viruela del mono

Un varón de 61 años ha fallecido en el hospital Donostia, centro público de la red Osakidetza, debido a la viruela del mono. Según las primeras informaciones, el paciente contrajo la enfermedad en el propio hospital, donde estaba ingresado por cáncer, al compartir habitación con otro individuo cuyo

viruela del mono hospital donostia osakidetza rebeka ubera alberto martínez
· Vesta raises $30M to bring swarms of agents to mortgage lenders

Vesta recauda 30 millones para automatizar préstamos hipotecarios con IA

Vesta, una startup de software nativo de inteligencia artificial, anunció el jueves la recaudación de 30 millones de dólares en una ronda liderada por Conversion Capital. La empresa utiliza agentes de IA para automatizar la mayoría del proceso de origen de préstamos hipotecarios, con el objetivo de

vesta conversion capital mike yu ai agents mortgage lending
· Landaluce defiende su inocencia ante denuncia de acoso sexual

Landaluce defiende su inocencia ante denuncia de acoso sexual

José Ignacio Landaluce, alcalde de Algeciras, ha solicitado el respeto de su presunción de inocencia ante una denuncia presentada en el Tribunal Supremo por un presunto acoso sexual. El edil ha negado rotundamente los hechos y ha anunciado que defenderá su imagen judicialmente, mientras que partidos

jose ignacio landaluce algeciras tribunal supremo psde adelante andalucía
· WIRED and Neal Agarwal Create Interactive Tool to Visualize a Trillion Dollars

WIRED y Neal Agarwal crean una herramienta para visualizar un billón de dólares

WIRED ha colaborado con Neal Agarwal, creador del sitio web Neal.fun, para lanzar 'Spend Elon Musk’s Money', una nueva herramienta de visualización interactiva diseñada para ayudar a los usuarios a comprender la magnitud de un billón de dólares. El proyecto, que se presenta como una secuela de 'Spen

neal agarwal neal.fun wired elon musk spend elon musk's money
· Expertos del ADAC: el FSD de Tesla es demasiado bueno y peligroso

Expertos del ADAC: el FSD de Tesla es demasiado bueno y peligroso

Los expertos en seguridad del ADAC, el club automovilista alemán, han concluido que el sistema Full Self Driving (FSD) de Tesla es "demasiado bueno" para ser seguro, una valoración que sugiere que el sistema debería suspender el examen de conducir. Esta opinión se produce mientras el FSD, que opera

tesla fsd adac conducción autónoma seguridad vial
· Why specialArgs is harmful in the Nix ecosystem

Por qué specialArgs es perjudicial en el ecosistema de Nix

El uso de specialArgs en NixOS y nix-darwin se ha convertido en una práctica problemática debido a su falta de portabilidad y su impacto negativo en la reutilización de módulos. Este artículo técnico, publicado por un desarrollador tras su experiencia en NixCon 2026, argumenta que la inyección de ar

nix nixos nix-darwin nixcon 2026 nixpkgs
· Sevilla condena a tres por usar IA para desnudar a jóvenes

Sevilla condena a tres por usar IA para desnudar a jóvenes

Un tribunal de Sevilla ha dictado la primera sentencia condenatoria en la ciudad por el uso de inteligencia artificial para manipular imágenes de jóvenes. El magistrado de la plaza número 15 de la Sección de lo Penal condenó a tres varones por tres delitos contra la integridad moral con la agravante

inteligencia artificial sevilla código penal manipulación de imágenes redes sociales
· EE.UU. acelera la fabricación de la nueva bomba B61-13

EE.UU. acelera la fabricación de la nueva bomba B61-13

El complejo Y-12 de Oak Ridge, Tennessee, ha completado la certificación de los componentes nucleares de la bomba B61-13 tres meses antes de lo previsto, marcando un hito en la modernización del arsenal estadounidense. Este adelanto, que se produjo en julio, fue seguido por la certificación final de

b61-13 y-12 oak ridge pantex nnsa
· xataka.com

La AHM critica la publicación de OpenAI de documentos matemáticos

La Asociación para la Matemática Humana (AHM) ha emitido una declaración formal en respuesta a la publicación por parte de OpenAI, el 6 de octubre de 2026, de un repositorio de manuscritos que contienen soluciones a problemas matemáticos de alto perfil. La organización académica, que defiende actual

openai association for human mathematics advisory group on mathematics and artificial intelligence mathematical research copyright infringement
· Analysis of time mechanics in the video game Braid

Análisis de los mecanismos de tiempo en el videojuego Braid

El artículo analiza la implementación de mecánicas de manipulación temporal en el videojuego Braid, destacando su consistencia lógica frente a la ficción literaria. El texto argumenta que, a diferencia de las historias de viajes en el tiempo, que suelen presentar inconsistencias narrativas para just

braid time travel video games jami sieber puzzle games
· Claude Opus 5.5 creates an interactive visualization of Invisible Cities in six hours

Claude Opus 5.5 genera una visualización interactiva de Invisible Cities en seis horas

El modelo de inteligencia artificial Claude Opus 5.5 ha demostrado capacidades excepcionales en el diseño asistido por IA al generar una visualización interactiva completa de la obra literaria Invisible Cities de Italo Calvino. El autor del proyecto, Miguel Dal, utilizó un prompt específico que otor

claude opus 5.5 invisible cities italo calvino three.js ai design
· Anne Carson wins Nobel prize in literature 2026

Anne Carson gana el Premio Nobel de Literatura 2026

La Academia Sueca ha anunciado que la poeta y ensayista canadiense Anne Carson es la ganadora del Premio Nobel de Literatura 2026. La institución destacó en su decisión la 'obra audaz e inventiva' de Carson, que ha creado nuevas formas para la literatura contemporánea mediante un diálogo lúdico con

anne carson nobel prize in literature swedish academy autobiography of red canada
· Rapidus busca clientes de TSMC para competir en chips de 2 nm

Rapidus busca clientes de TSMC para competir en chips de 2 nm

Rapidus Corporation, fundada en 2022 por el Gobierno japonés con el respaldo de Sony, Toyota, NEC y otros siete grandes corporativos, ha iniciado pruebas piloto de fabricación de chips de 2 nm en su planta de Chitose (Hokkaido). Su objetivo estratégico es captar clientes de TSMC y Samsung, ofreciend

rapidus corporation tsmc samsung ibm asml
· Meloni aprueba reforma electoral para asegurar mayoría en 2027

Meloni aprueba reforma electoral para asegurar mayoría en 2027

El Gobierno de Giorgia Meloni ha aprobado definitivamente una reforma electoral en la Cámara de Diputados italiana, con 227 votos a favor y 164 en contra. Esta medida, conocida como 'Stabilicum' o 'Melonellum', introduce un nuevo sistema proporcional con premio de mayoría para los comicios de 2027,

giorgia meloni italia reforma electoral movimiento 5 stelle partido democrático
· Gentoo Linux seeks new infrastructure sponsors

Gentoo Linux busca nuevos patrocinadores de infraestructura

Gentoo Linux ha anunciado la búsqueda de nuevos patrocinadores para su infraestructura tecnológica tras la retirada de varios colaboradores a largo plazo. Esta distribución de código abierto, conocida por su enfoque en la compilación desde fuentes, depende de donaciones comunitarias y patrocinios co

gentoo linux open source infrastructure sponsorship linux community server hardware
· Diputada del PP critica las políticas de vivienda en València

Diputada del PP critica las políticas de vivienda en València

Candela Anglés, diputada del Partido Popular en las Corts Valencianes, ha protagonizado un incidente mediático al grabar un vídeo desde la acampada de vivienda en València. En la grabación, editada y difundida en redes sociales, la política pregunta a los jóvenes sobre las políticas de vivienda de l

candela ángel partido popular valencia política de vivienda pedro sánchez
· La NASA prepara PRIMA, el telescopio de infrarrojo lejano para 2033

La NASA prepara PRIMA, el telescopio de infrarrojo lejano para 2033

La NASA ha seleccionado el telescopio PRIMA como la primera misión de su nueva categoría de tamaño medio, con un presupuesto de 1.200 millones de dólares y un lanzamiento previsto para 2033. Esta iniciativa busca resolver la limitación de los observatorios espaciales actuales, como Hubble, James Web

nasa prima james webb roman hubble
· Lourdes! The Musical and other shows at Dublin Theatre Festival

Lourdes! The Musical y otros espectáculos en el Festival de Teatro de Dublín

El Festival de Teatro de Dublín presenta una programación que aborda temas pesados como el racismo, el conflicto y el prejuicio, destacando entre ellas la obra 'Lourdes! The Musical'. Esta producción, creada por Xnthony Ltd, narra la historia de un grupo de cinco viajeros que viaja a la ciudad franc

dublin theatre festival lourdes! the musical xnthony ltd brokentalkers dead centre
· More restrictions possible as South West reservoir level drops

El nivel bajo del lago de la Sudeste permite nuevas restricciones

La caída del nivel del agua en los embalses del suroeste de Inglaterra ha activado la posibilidad de implementar medidas de control adicionales. Esta situación, documentada por la BBC, refleja una tendencia preocupante en la gestión de recursos hídricos en la región, donde la disponibilidad de agua

south west england reservoir drought water management bbc
· Residents airlifted to safety in central Chile as El Niño blamed for torrential rains

Rescates aéreos en Talagante tras inundaciones por El Niño

Policíacas de Chile Central han rescatado a varios residentes mediante helicópteros tras las crecidas del río Mapocho, que inundó la ciudad de Talagante, situada a 35 kilómetros al suroeste de Santiago. Las lluvias torrenciales provocaron la ruptura de las orillas del río, dejando atrapados a habita

el niño talagante santiago mapocho chile
· Niños finlandeses cantan a la reina Letizia con una canción de Perales

Niños finlandeses cantan a la reina Letizia con una canción de Perales

La reina Letizia recibió a un coro de niños en la escuela de Käpylä, en Helsinki, durante su primera visita de Estado a Finlandia en 37 años. Los alumnos, que estudian español como tercera lengua extranjera más popular en el país, interpretaron la canción 'Que canten los niños' del cantautor José Lu

reina letizia jose luis perales finlandia los serrano que canten los niños
· Technical comparison: SPA performance vs PLANKA

Comparación técnica: rendimiento de una app SPA frente a PLANKA

Un equipo de desarrollo de zwei und eins gmbh ha publicado un análisis técnico detallado que compara el rendimiento de una aplicación de tablero Kanban construida con arquitectura Single Page Application (SPA) frente a PLANKA, una herramienta popular con más de 12.600 estrellas en GitHub. El estudio

single page application planka kanban board web performance sqlite
· Shopify returns to native apps; formal verification emerges as the next shift

Shopify regresa a apps nativas y la verificación formal como nuevo estándar

Shopify ha revertido su uso de React Native para desarrollar aplicaciones móviles, optando por código nativo en Swift y Kotlin. Este cambio, impulsado por la mejora de los agentes de programación, no responde únicamente a la necesidad de rendimiento, sino a la reducción del coste de desarrollo. Los

· OpenAI withdraws three math manuscripts due to a sign error

OpenAI retira tres manuscritos matemáticos por un error de signo

El equipo de OpenAI ha retirado tres manuscritos matemáticos debido a un error de signo que invalida un argumento de cancelación de trazas de estabilización y la construcción utilizada por dos trabajos dependientes. Los documentos afectados son 'Algebraicity of Weil classes on split abelian eightfol

openai mathematics k3 surfaces hodge conjecture formal verification
· The Slow Formation of Durable Software: The History of Zotero

La formación lenta de Zotero: historia de un software duradero

Zotero, la herramienta de gestión de referencias académicas utilizada por más de 20 millones de usuarios, no surgió de la noche a la mañana. Su desarrollo, que comenzó en 2001, requirió cinco años para crear un prototipo inicial y varios años más para su refinamiento, un proceso que contrasta con la

zotero dan cohen george mason university roy rosenzweig center for history and new media james sparrow
· Release v0.46.0 of jj, the Git-compatible version control system

Lanzamiento de la versión 0.46.0 de jj, el sistema de control de versiones

La versión 0.46.0 de jj, un sistema de control de versiones compatible con Git, introduce mejoras significativas en la gestión de espacios de trabajo y la compatibilidad técnica. El sistema ahora permite colocar espacios de trabajo junto al principal mediante la creación de worktrees de Git, control

jj version control git rust worktrees
· ASUS lanza portátiles y mini PC con NVIDIA RTX Spark para IA local

ASUS lanza portátiles y mini PC con NVIDIA RTX Spark para IA local

ASUS ha presentado tres nuevos dispositivos: los portátiles ProArt P16 y P14, y el mini PC ProArt GR1X, equipados con la GPU NVIDIA RTX Spark. Estos equipos están diseñados para profesionales creativos y desarrolladores que requieren ejecutar modelos de inteligencia artificial en local, sin depender

asus nvidia rtx spark nvidia blackwell nvidia grace