· A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family

Un verificador de contratos detecta que el 39,5% de los kernels de GPU generados por IA aceptados como correctos están rotos

Un equipo de investigación ha construido un verificador de doce pruebas adversariales, varias de ellas sin tolerancia numérica, para auditar la corrección de los kernels de GPU generados por grandes modelos de lenguaje. El instrumento somete a revisión 2.638 kernels que el sistema público de generac

gpu kernels large language models blackwell tcgen05 gated linear recurrence
· Maximizing the value of your Claude Code sessions

Cómo aprovechar al máximo cada sesión de Claude Code: guía práctica de eficiencia

Anthropic ha publicado una guía detallada para reducir el coste por tarea al programar con Claude Code, su asistente de desarrollo con IA. La pieza parte de una idea central: en las herramientas agénticas como Claude Code, cada tarea completada tiene un precio distinto en función de cómo se gestione

claude code anthropic prompt caching agentic coding token efficiency
· Cursor is now a part of SpaceX

Cursor completa su adquisición por parte de SpaceX

Cursor, la plataforma de asistencia a la programación basada en inteligencia artificial, ha sido adquirida oficialmente por SpaceX, cerrando el proceso iniciado en abril, cuando anunció una alianza con SpaceXAI para acelerar el entrenamiento de sus modelos. Con la operación, Cursor se integra en la

cursor spacex acquisition artificial intelligence coding assistant
· Taylor Farms' connections to Trump admin spurs probe into Cyclospora response

La senadora Warren exige a RFK Jr. explicaciones por la gestión del brote de Cyclospora

La senadora demócrata Elizabeth Warren (Massachusetts) pidió al secretario de Salud, Robert F. Kennedy Jr., explicaciones sobre lo que calificó como una respuesta «desastrosa» al mayor brote de Cyclospora registrado en EE.UU., que ha afectado a más de 24.000 personas y causado dos muertes este veran

cyclospora outbreak taylor farms food safety fda rfk jr.
· R-rated director's cut of X-Files film restores Chris Carter's original horror vision

Hulu estrena el montaje del director clasificado R de 'The X-Files: quiero creer'

Hulu ha estrenado el montaje del director, clasificado R, de la película 'The X-Files: I Want to Believe' (2008), una versión que recupera la visión original y más oscura que su creador, Chris Carter, tuvo que suavizar para conseguir la calificación PG-13 exigida por el estudio. La nueva edición, ti

i want to believe director's cut gillian anderson 20th century studios the x-files
· Unattended Remote Access on Wayland with RustDesk

RustDesk incorpora acceso remoto desatendido en Wayland, con soporte multimonitor

RustDesk ha presentado una versión preliminar que ofrece acceso remoto desatendido real sobre Wayland en Linux, incluido el uso con varios monitores. Hasta ahora, Wayland era uno de los grandes escollos del escritorio remoto en este sistema operativo: la sesión necesitaba aprobación local cada vez o

rustdesk wayland linux remote desktop unattended access
· Se jugó el cuello por los nazis y le respondieron con dinero falso: esta es la historia de Elyesa Bazna

Elyesa Bazna, el ayuda de cámara que espió para los nazis y cobró en libras falsas

Elyesa Bazna, nacido en Pristina en 1904 y de biografía difícil de verificar, trabajó como ayuda de cámara del embajador británico en Ankara, Sir Hughe Knatchbull-Hugessen, tras ser recomendado por Douglas Busk, primer secretario de la legación. Ocultó a los británicos su paso anterior por la embaja

espionaje segunda guerra mundial elyesa bazna operación cicerón operación bernhard
· Equity podcast: Glimmer, Zuckerberg's manifesto, and this week's AI headlines

Episodio de Equity: Glimmer, el manifiesto de Zuckerberg y otras claves de la semana en IA

El último episodio del pódcast Equity de TechCrunch, presentado por Kirsten Korosec, Anthony Ha y Rebecca Bellan, analiza la estrategia de Meta en inteligencia artificial tras el lanzamiento de Glimmer, un nuevo modelo de IA de peso abierto que cualquiera puede descargar y ejecutar en su propio hard

· Samsung retrasa dos años su nodo de 1,4 nanómetros y admite que la litografía que iba a salvarlo no está lista

Samsung retrasa a 2029 su nodo de 1,4 nm y admite que la litografía High-NA EUV aún no está lista

Samsung ha pospuesto dos años el inicio de la producción en masa de su nodo de 1,4 nanómetros, que ahora sitúa en 2029 en lugar del calendario original de 2027. El cambio, confirmado por ChangMin Park, vicepresidente de tecnología de la compañía, durante la conferencia Next-Generation Lithography +

samsung tsmc asml smic high-na euv
· Las ruinas de St. Thomas emergen del lago Mead por la sequía, 88 años después de quedar sumergidas

Las ruinas de St. Thomas emergen del lago Mead por la sequía, 88 años después de quedar sumergidas

Las ruinas de St. Thomas, un antiguo pueblo de Nevada fundado por pioneros mormones en 1865, han vuelto a emerger del lago Mead como consecuencia de la prolongada sequía que azota el suroeste estadounidense. En agosto de 2026, el mayor embalse de Estados Unidos ha descendido hasta unos 317 metros so

st. thomas lago mead presa hoover nevada sequía
· Mangione se declara culpable del asesinato del CEO de UnitedHealthcare

Mangione se declara culpable del asesinato del CEO de UnitedHealthcare

Luigi Mangione, de 28 años, se declaró este viernes culpable ante un tribunal federal de Nueva York del asesinato de Brian Thompson, director ejecutivo de UnitedHealthcare, ocurrido en diciembre de 2024 en Midtown Manhattan. Durante una breve vista presidida por la juez Margaret Garnett, Mangione af

luigi mangione brian thompson unitedhealthcare asesinato sistema judicial estadounidense
· Guilt-Driven Development

Desarrollo impulsado por la culpa: cómo evitar sentirte mal por tus errores

El ingeniero Markus Eliasson narra cómo una falsa alarma de producción en Midsummer le provocó una intensa sensación de culpa y reflexiona a partir de ahí sobre por qué los desarrolladores deberían evitar entregar software que les genere remordimiento. Describe esa culpa como ondas que se propagan c

software development guilt-driven development software engineering static typing type-driven design
· Google will now allow users to remove visible watermark from its AI generations

Google permitirá eliminar la marca de agua visible de sus generaciones de IA

Google permitirá a partir de esta semana que sus usuarios eliminen la marca de agua visible que sus herramientas de inteligencia artificial superimponen sobre imágenes, vídeos y música generados. La medida, anunciada por Josh Woodward, vicepresidente de Google para Gemini y Labs, a través de su cuen

deepfakes credentio josh woodward eu regulations claude
· Unforgetful is a new reminders app for people who can't stop hitting snooze

Marco Arment presenta Unforgetful, una app diseñada para quienes no dejan de posponer sus recordatorios

El desarrollador independiente Marco Arment, creador de Overcast e Instapaper y ex director de tecnología de Tumblr, ha lanzado Unforgetful, una aplicación para iOS y Mac diseñada como alternativa a la app de Recordatorios de Apple y orientada a personas que tienden a aplazar sus tareas. Unforgetfu

unforgetful apple reminders marco arment ios mac
· Unexpected behaviour in Common Lisp array sub-typing with SBCL

Por qué SBCL rechaza arrays vacíos tipados con sub-tipos como unsigned-byte 16

El programador Simon Dobson documenta un comportamiento inesperado del compilador SBCL de Common Lisp al declarar estructuras cuyos campos son arrays tipados con sub-tipos restringidos, como (simple-array (unsigned-byte 16)). Cuando se usa la sintaxis literal #1A() o #1A(1 2 3), la macro del lector

common lisp sbcl array sub-typing type checking upgraded array element type
· Ars Live recap: Ross Scott on keeping online games alive after publishers walk away

Ross Scott pide a'éditeur también planificar el fin de la vida útil de sus juegos en línea

Ars Technica organizó esta semana una conversación en directo con Ross Scott, impulsor del movimiento Stop Killing Games, centrada en los esfuerzos legislativos para garantizar que los videojuegos sigan siendo jugables después de que las editoras cierren los servidores que los sustentan. El editor j

stop killing games ross scott kyle orland ars technica video game preservation
· Scottish police expect ‘great deal of public opposition’ to planned Larbert datacentre

La policía escocesa advierte de una “gran oposición pública” al centro de datos de Larbert

La Policía de Escocia ha advertido en una carta remitida a la consultora Apatura, promotora de un centro de datos en Larbert, a unos 48 kilómetros al oeste de Edimburgo, de que el proyecto generará “una gran oposición pública” y exigirá medidas de seguridad sólidas para evitar “incursiones” con fine

datacentre scotland larbert apatura scottish police
· Rayforce: an open-source C engine unifying columnar analytics, graphs and Datalog

Rayforce: un motor open source en C puro que une analítica columnar, grafos y Datalog

Rayforce es un motor de datos open source escrito íntegramente en C y sin dependencias externas que integra en una misma pipeline de ejecución la analítica columnar, el procesamiento de grafos y las consultas recursivas tipo Datalog. Está pensado para equipos que trabajan con grandes volúmenes de da

rayforce open source columnar analytics graph database datalog
· Ultraviolet Bird Photography: Revealing the Hidden Colors Birds See

Fotografía ultravioleta de aves: el color invisible que solo ellas ven

La fotografía ultravioleta aplicada a las aves revela un espectro cromático oculto al ojo humano. Las plumas iridiscentes del colibrí de Anna reflejan luz roja y ultravioleta, lo que les confiere una dimensión de color que los humanos no perciben. En cambio, el colibrí garganta rubí no refleja ultra

ultraviolet photography bird vision hummingbirds feather coloration iridescence
· How Google is Making Private AI Practical with Homomorphic Encryption

Google presenta HEIR, un compilador abierto para ejecutar IA con cifrado homomórfico

Google ha presentado HEIR (Homomorphic Encryption Intermediate Representation), un compilador de código abierto que permite ejecutar modelos de inteligencia artificial directamente sobre datos cifrados. La herramienta, disponible en heir.dev y en un repositorio de GitHub, forma parte de su Private C

· Private prisons announce $1.4 billion in revenue as immigration detentions climb

Las prisiones privadas de EE. UU. reportan 1.400 millones en ingresos al dispararse las detenciones migratorias

CoreCivic y GEO Group, las dos mayores compañías de prisiones privadas de Estados Unidos, anunciaron el jueves unos ingresos trimestrales conjuntos de 1.400 millones de dólares entre abril y junio, impulsados por el alza de las detenciones de inmigrantes, que rozan los 66.000 internos, cerca de nive

corecivic geo group immigration detention ice department of homeland security
· MIB Viewer - Free SNMP MIB Browser, Database & OID Search

MIB Viewer: navegador web gratuito para consultar más de 11.000 MIBs SNMP

MIB Viewer es una herramienta web gratuita que permite buscar, explorar, cargar y descargar MIBs del protocolo SNMP desde una base de datos con más de 11.000 módulos. Funciona íntegramente en el navegador y ofrece varias utilidades para administradores de red: localizar cualquier objeto de una MIB p

snmp mib oid network management browser tool
· earth.nullschool.net warns that NOAA data feeding its global wind and weather maps is at risk

El creador de earth.nullschool.net alerta del riesgo de los datos de NOAA

earth.nullschool.net, la popular visualización global de viento, clima y condiciones oceánicas, ha publicado un aviso en el que advierte de que parte de los datos que muestra proceden directamente de los servidores de la NOAA, la agencia estadounidense responsable de la predicción meteorológica, los

noaa weather forecasting earth.nullschool.net data visualization u.s. government
· AV1 vs AV2: Which Video Codec Should You Use in 2026?

AV1 frente a AV2: qué códec de vídeo conviene usar en 2026

AV1 y AV2 son códecs de vídeo abiertos desarrollados por la Alliance for Open Media. AV1, publicado en 2018, ya cuenta con un ecosistema de producción maduro: Netflix anunció en diciembre de 2025 que aproximadamente el 30% de su visionado utiliza AV1, y Meta ha comunicado reducciones de bitrate cerc

av1 av2 video codec compression efficiency streaming
· Graft: a Markdown knowledge graph that cuts cost and latency for coding agents

Graft: un grafo de conocimiento en Markdown para reducir coste y latencia de los agentes de código

Graft es una herramienta de código abierto de NanoNets que construye un grafo local del repositorio —un conjunto de archivos Markdown enlazados, uno por sistema, API o concepto— para que los agentes de programación (Claude Code, Cursor, Codex, Gemini u otros) eviten reexplorar el código en cada tare

· OpenAI and Anthropic in price war as Chinese AI rivals gain ground

OpenAI y Anthropic libran una guerra de precios frente a rivales chinos

OpenAI y Anthropic están recortando drásticamente los precios de sus modelos de inteligencia artificial para retener a clientes cada vez más sensibles al coste, que migran hacia alternativas más baratas procedentes de desarrolladores chinos como Moonshot y DeepSeek. OpenAI anunció una rebaja del 80

openai anthropic deepseek moonshot gpt-5.6 luna
· Kog is going deeper to squeeze more inference out of GPUs

La francesa Kog quiere exprimir más rendimiento de las GPU mediante software

La startup francesa Kog, fundada en solitario por Gaël Delalleau, asegura que es posible acelerar drásticamente la inferencia de modelos de inteligencia artificial en GPU estándar mediante optimización por software, frente a quienes consideran necesarias soluciones de hardware a medida como los chip

ai inference kog cerebras amd mi300x nvidia h200
· LLM Inference Cost Comparison 2026: DigitalOcean vs. Together AI, Fireworks AI, Modal, Nebius, Baseten, and OpenRouter

Comparativa de precios de inferencia LLM en 2026: DigitalOcean frente a Together AI, Fireworks, Modal, Nebius, Baseten y OpenRouter

DigitalOcean presenta el precio estándar de entrada más bajo del comparativo para inferencia en tiempo real del modelo gpt-oss-120b, con 0,10 dólares por millón de tokens, frente a los 0,15 dólares por millón de tokens de entrada que cobran Together AI y Fireworks AI para el mismo modelo. Esos dos ú

llm inference pricing comparison digitalocean together ai fireworks ai
· The MSI Claw EX is the most important PC handheld since Steam Deck — I still wouldn't buy one

La MSI Claw EX marca un hito en portátiles gaming, pero su precio de 1.800 dólares la deja fuera de juego

The Verge sitúa la MSI Claw EX como la consola portátil para PC más relevante desde la Steam Deck, aunque desaconseja su compra. Equipada con el nuevo chip Intel Panther Lake y un diseño revisado por MSI, ofrece el mayor salto de rendimiento visto en un handheld Windows, con alrededor de un 40 % más

msi claw ex intel panther lake handheld gaming pc steam deck xbox ally x
· Tech Visionary Says the Big AI Labs Don’t Get What People Want

Tim O'Reilly: los grandes laboratorios de IA no entienden qué quiere la gente

El editor y referente tecnológico Tim O'ReReilly sostiene que los principales laboratorios de inteligencia artificial están leyendo el futuro de forma equivocada al priorizar modelos cada vez más grandes. En una entrevista con Wired, afirma que esos sistemas frontera optimizan casos de uso concretos