· deft: optional type checks for Janet with gradual typing

deft: comprobaciones de tipo opcionales para Janet con tipado gradual

deft es un módulo para el lenguaje de programación Janet que añade comprobaciones de tipo opcionales aplicables en tiempo de ejecución, en compilación o con anticipación (ahead-of-time). El proyecto aplica los principios del tipado gradual descritos por Siek y Taha, junto con el cálculo de culpa (bl

janet deft gradual typing type inference static checking
· La salida a bolsa de Unitree convierte a Wang Xingxing en millonario

La salida a bolsa de Unitree convierte a Wang Xingxing en millonario

Unitree Robotics debutó el 19 de agosto en el mercado STAR de Shanghái con una subida de sus acciones de hasta el 629% durante la sesión, aunque cerró con un avance del 450% sobre el precio de salida. La demanda de la oferta pública inicial superó en más de 5.500 veces los títulos disponibles y perm

unitree robotics wang xingxing bolsa de shanghái mercado star robots humanoides
· La cinta magnética parecía una reliquia. En la era de la IA, la capacidad LTO ha vuelto a dispararse

La cinta magnética vuelve a crecer en la era de la IA: la capacidad LTO sube un 57%

El estándar LTO de almacenamiento en cinta magnética, considerado durante años una reliquia tecnológica, ha experimentado un repunte del 57% en la capacidad enviada durante el primer trimestre de 2026 respecto al mismo periodo de 2025, según el LTO Program. El crecimiento se apoya en la fortaleza de

lto cinta magnética almacenamiento de datos inteligencia artificial centros de datos
· Deadpan Photography: Enjoying the Pretence

La fotografía deadpan: el arte de fingir neutralidad

Este ensayo analiza en profundidad la fotografía deadpan, un estilo que adopta el lenguaje visual del archivo documental: encuadre frontal, luz uniforme, todo enfocado por igual y aparentemente sin autor. El texto toma como ejemplos la imagen 99 Cent de Andreas Gursky, una panorámica compuesta de un

deadpan deadpan photography photography andreas gursky bernd and hilla becher
· Can AI design circuit boards yet?

EEBench: el benchmark que mide si la IA ya sabe diseñar circuitos

¿Puede la inteligencia artificial diseñar placas de circuito impreso? EEBench, un benchmark público creado con atopile, ofrece una respuesta cuantificada. En lugar de evaluar a los modelos haciendo clic en un programa CAD gráfico —donde gastan contexto en coordenadas y menús—, la prueba trabaja sobr

eebench atopile openai anthropic xai
· El Gobierno quiere de vuelta una indemnización millonaria que los mineros asturianos no quieren asumir

El Gobierno exige 31,24 millones a la empresa que quiere reabrir una mina asturiana

El Instituto para la Transición Justa (ITJ), dependiente del Ministerio para la Transición Ecológica, ha reclamado 31,24 millones de euros a la empresa TYC Narcea como condición para que pueda explotar carbón en la mina de Veiga de Rengos, en Cangas del Narcea (Asturias). La cantidad corresponde a l

minería del carbón transición ecológica asturias cangas del narcea veiga de rengos
· Casio's Leaked G-Shock 'CasioNaut' Looks a Lot Like a Patek Philippe Classic

Filtración del G-Shock 'CasioNaut' de Casio, un guiño al Patek Philippe Nautilus

Casio prepara el lanzamiento de dos nuevas series de relojes G-Shock, las GMC-2500 y GAC-2500, cuya caja presenta unos hombros pronunciados que recuerdan al Nautilus de Patek Philippe, según imágenes filtradas en Notebookcheck e Instagram. La línea, apodada 'CasioNaut' en redes, supone un salto resp

casio g-shock patek philippe nautilus audemars piguet royal oak watchmaking
· Government Rails Site Hit Hours After CVE Patch

Una web gubernamental es atacada horas después del parche de una vulnerabilidad crítica en Ruby on Rails

Una agencia estatal estadounidense que utiliza aplicaciones basadas en Ruby on Rails sufrió un intento de explotación apenas ocho horas después de que su proveedor, la firma de seguridad Rietta, aplicara el parche de emergencia para la vulnerabilidad CVE-2026-66066, bautizada KindaRails2Shell. El fa

ruby on rails activestorage cve-2026-66066 kindarails2shell remote code execution
· GoPro says it’s still committed ‘to your collective stoke’

GoPro reitera su apuesta por las cámaras tras la fusión con Starman

El fundador y consejero delegado de GoPro, Nick Woodman, ha asegurado en una carta abierta a sus clientes que la fabricación de cámaras seguirá siendo el "ADN central" de la compañía, tras el anuncio de una adquisición propuesta de 285 millones de dólares por parte de Starman. Woodman responde así a

gopro starman nick woodman markiplier cameras
· Babashka 1.13.220 gets FFI

Babashka 1.13.220 añade FFI para llamar a bibliotecas C desde Clojure

Babashka ha publicado la versión 1.13.220, que incorpora el espacio de nombres babashka.ffi para invocar bibliotecas C directamente desde scripts de Babashka. Esta funcionalidad, basada en java.lang.foreign, también se distribuye como librería independiente para proyectos de Clojure sobre JVM, lo qu

babashka clojure jvm ffi c libraries
· Roland is getting into generative AI music with Melody Flip

Roland entra en la música con IA generativa con el plugin Melody Flip

Roland ha presentado Melody Flip, su primera incursión en la música generada por inteligencia artificial. El producto es un plugin para estaciones de trabajo de audio digital (DAW) que ofrece unas 250 "Paletas", colecciones temáticas de ideas musicales clasificadas por género. El usuario puede parti

roland melody flip generative ai music production digital audio workstation
· Resources to Get Good at Soldering?

Un aficionado pide recursos para aprender a soldar bien tras dañar una placa

Un usuario de Hacker News identificado como tosmatos ha abierto un hilo en la sección Ask para pedir recursos que le ayuden a mejorar su técnica de soldadura. Explica que empezó a soldar con el objetivo de reparar los joysticks de varios mandos de PlayStation 4 y, en general, quiere dominar la repar

soldering electronics repair playstation 4 hacker news ask hn
· Stop Thinking of LLMs as Next-Token Predictors

Por qué llamar a los LLM «predictores del siguiente token» es un modelo mental equivocado

Describir los grandes modelos de lenguaje como simples «predictores del siguiente token» es una aproximación útil como punto de partida, pero incompleta y, según este argumento, equivocada como modelo mental. Los modelos base sí aprenden repitiendo, sobre corpus masivo, los tokens que aparecen despu

large language models llm next-token prediction reinforcement learning rlvr
· Shutting down our public encrypted DNS servers and sponsoring Quad9 instead

Mullvad cierra sus servidores DNS cifrados públicos y patrocina a Quad9

Mullvad VPN ha anunciado el cierre de sus servidores públicos de DNS cifrado (DoH), operativos desde 2022, y su sustitución por el respaldo financiero al servicio Quad9, fundación de referencia en DNS centrados en la privacidad. La compañía argumenta que mantener una infraestructura de DNS público o

mullvad vpn quad9 dns over https doh mullvad browser
· Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express'

El manuscrito tardío que dio vida a 'Tren expreso de Tokio'

El artículo reconstruye la génesis de la novela policíaca 'Tren expreso de Tokio' (publicada por entregas en 1957 bajo el título 'Puntos y líneas') a partir de la biografía 'Matsumoto Seicho no Showa', de Makoto Sakai. Seicho Matsumoto, nacido en 1909 y entonces recién salido del diario Asahi Shimbu

seicho matsumoto tokyo express points and lines tabi japan travel bureau
· Claude completes the first computer-checked proof of Fermat's Last Theorem in 11 days

Claude completa en 11 días la primera demostración formal del Último Teorema de Fermat

Claude completa en 11 días la primera demostración formal del Último Teorema de Fermat La inteligencia artificial de Anthropic, Claude, ha logrado en apenas 11 días lo que la comunidad matemática llevaba años intentando: la primera demostración completa, verificada por ordenador, del Último Teorema

tianyi peng mathematics imperial college london machine learning lean
· Hayes AT command set: origin and evolution of the modem standard

El conjunto de comandos AT de Hayes: origen y evolución del estándar de módems

El conjunto de comandos AT de Hayes, también conocido como Hayes command set, es un lenguaje de comandos desarrollado en 1981 por Dale Heatherington y Dennis Hayes para el Hayes Smartmodem. Consiste en una serie de cadenas de texto cortas que, combinadas, permiten realizar operaciones como marcar un

hayes at command set modems dial-up rs-232 dennis hayes
· Judge blocks X rival from using Twitter name, but allows 'Tweet' for now

Un juez bloquea a un rival de X el uso del nombre Twitter, pero permite 'Tweet'

Un juez federal de Delaware ha emitido un fallo dividido en la batalla legal entre X, la red social de Elon Musk, y la startup Operation Bluebird, que buscaba explotar las marcas que la compañía dejó en desuso tras su transformación de Twitter a X. La resolución, emitida por el juez Colm F. Connolly

marcas registradas colm f. connolly michael peroff trademark x corp
· Alarcos opta al mejor descubrimiento histórico de National Geographic con su necrópolis ibérica

Alarcos opta al mejor descubrimiento histórico de National Geographic con su necrópolis ibérica

La necrópolis ibérica del Parque Arqueológico de Alarcos, a ocho kilómetros de Ciudad Real, es candidata al premio al Mejor Descubrimiento o Hallazgo Histórico Nacional en los Premios +Historia de National Geographic, cuya votación se cierra el 12 de octubre. El yacimiento, ocupado de forma continua

arqueología necrópolis ibérica alarcos ciudad real national geographic
· A preview of the future IA documentation

Intel publica un anticipo de la futura documentación de su arquitectura

Intel ha puesto a disposición de la comunidad de desarrolladores un sitio web que sirve como anticipo de cómo piensa documentar en el futuro la arquitectura Intel (IA), incluido el conjunto de instrucciones Intel 64 e IA-32. El objetivo declarado de la iniciativa es ofrecer una especificación más pr

intel intel architecture software development manual documentation developer tools
· OpenAI lanza GPT-6 Astra con más autonomía, razonamiento y seguridad

OpenAI lanza GPT-6 Astra con mayor autonomía y nuevas capacidades de seguridad

OpenAI presentó oficialmente GPT-6 Astra, su modelo más ambicioso hasta la fecha, diseñado para ejecutar tareas complejas en un ordenador con una autonomía sin precedentes. El lanzamiento se está realizando de forma escalonada, comenzando por un grupo reducido de organizaciones y extendiéndose poste

· La fusión de agujeros negros que rompió todas las reglas tenía truco: una lente gravitacional pudo haber inflado su tamaño

Una lente gravitacional pudoinflar la mayor fusión de agujeros negros detectada

La mayor fusión de agujeros negros registrada hasta la fecha, detectada en 2023 con masas de 103 y 136 masas solares, pudo no haber sido tan colosal como se creyó. Un equipo del Instituto Max Planck de Física Gravitacional plantea que una lente gravitacional causada por un objeto de entre 190 y 850

agujeros negros lente gravitacional fusión de agujeros negros instituto max planck gw230814
· jank reimagines C++ errors and gets an official native package repo

jank mejora sus errores y lanza un repositorio oficial de paquetes nativos

jank ha ampliado su sistema de errores en C++ con trazas de excepciones en tiempo de ejecución, páginas de ayuda y mensajes más claros para resolver ambigüedades entre funciones candidatas. El compilador combina información de depuración del ejecutable actual, archivos compilados con anticipación y

jank clojure c++ llvm jit clang
· Xiaomi renueva su pulsera más popular con la Smart Band 11: estas son sus novedades

Xiaomi presenta la Smart Band 11 con seguimiento del sueño por IA y hasta 21 días de batería

Xiaomi ha renovado su línea de pulseras inteligentes con la nueva Smart Band 11, una generación que mantiene el formato de sus predecesoras e incorpora mejoras en pantalla, diseño, deporte y seguimiento del sueño. La pantalla AMOLED sigue siendo de 1,72 pulgadas, pero reduce sus marcos hasta 2 milím

xiaomi smart band 11 pulseras inteligentes wearables hiper os
· Civitatis integra su catálogo en ChatGPT y Claude para reservar actividades turísticas

Civitatis integra su catálogo en ChatGPT y Claude para reservar actividades turísticas

Civitatis ha integrado su catálogo de actividades turísticas en ChatGPT y Claude mediante un servidor MCP (Model Context Protocol), lo que permite a los usuarios descubrir visitas guiadas y excursiones, consultar disponibilidad y preparar la reserva desde la conversación con ambos chatbots. El check

· People that worked on the same idea for decades

Décadas de trabajo sobre una misma idea: Robertson y BM25, Hokusai y la ola

Dos historias paralelas ilustran lo que supone perseverar durante décadas en torno a una misma idea. La primera recorre la trayectoria del informático Stephen Robertson, cuyo trabajo en recuperación probabilista de información culminó en BM25, un algoritmo de búsqueda todavía hoy referente en el cam

bm25 information retrieval stephen robertson karen sparck jones the great wave off kanagawa
· NPC-Forge: building a terminal assistant without embeddings, ML, or LLMs

NPC-Forge: un asistente de terminal sin embeddings, machine learning ni LLMs

El desarrollador italiano Gio Blu, conocido por el protocolo de red PJON, presenta NPC-Forge, un asistente para terminal construido desde cero con una restricción deliberada: no utiliza embeddings, ni machine learning ni modelos de lenguaje grandes. El proyecto nació como respuesta al gasto mensual

npc-forge terminal assistant open source machine learning python