· Using LLM-based Verification to Eliminate Bugs in Linux's Network Stack

Verificación con LLM destapa dos fallos críticos en el cortafuegos nftables de Linux

Un equipo de la empresa Basis ha empleado modelos de lenguaje de gran tamaño (LLM) para verificar formalmente el compilador y optimizador de nftables, el cortafuegos integrado en el núcleo de Linux desde 2014. Durante el proceso, en el que reimplementaron la herramienta en el asistente de pruebas Ro

linux nftables formal verification llm rocq
· Electric air taxis go to war

Archer y Anduril presentan Thunder, un híbrido autónomo para uso militar

Archer Aviation y la empresa de defensa Anduril, fundada por Palmer Luckey, presentaron en el Farnborough Airshow (Hampshire, Inglaterra) una nueva aeronave de despegue y aterrizaje vertical denominada Thunder. Se trata de un rotorcraft híbrido en serie y totalmente autónomo, diseñado para operar ju

archer aviation anduril palmer luckey thunder midnight
· Ninja CREAMi Scoop & Swirl, análisis: la heladera doméstica que mi yo de siete años siempre quiso tener

Ninja CREAMi Scoop & Swirl: una heladera doméstica que cumple con nota

La Ninja CREAMi Scoop & Swirl es una máquina de hacer helados para uso doméstico que se presenta como una evolución de la Ninja CREAMi original. A diferencia de las heladeras tradicionales con compresor, este aparato procesa bloques de ingredientes previamente congelados en unas tarrinas de 480 ml m

ninja creami scoop & swirl heladera doméstica eléctrodomésticos de cocina helados caseros recetas
· GTA: Vice City Made Playable In GTA 3 In GTA: San Andreas

Un modder ejecuta GTA III y Vice City como texturas dentro de San Andreas

El modder Dryxio ha conseguido que Grand Theft Auto III funcione como una textura en tiempo real dentro de Grand Theft Auto: San Andreas, permitiendo jugar al título de 2001 en una televisión virtual mientras se recorre la versión de 2004. En el vídeo inicial, el mod arranca el juego completo desde

grand theft auto: san andreas grand theft auto iii grand theft auto: vice city modding rockstar games
· We’re Squandering LEDs’ Potential to Save Our Night Skies

El despilfarro del potencial de los LED para salvar nuestros cielos nocturnos

La iluminación LED, la tecnología de iluminación artificial más eficiente disponible —hasta un 90 % menos de consumo que las bombillas incandescentes—, no está cumpliendo su promesa de iluminar mejor las ciudades. Un reportaje recorre Londres y París para mostrar cómo el exceso de luz y los diseños

leds light pollution public lighting streetlights circadian rhythms
· Codex is wearing out our devices

Usuarios de Reddit denuncian que Codex desgasta sus dispositivos

En un hilo de Reddit titulado "Codex is wearing out our devices", varios usuarios discuten el impacto que el uso del asistente de programación Codex, desarrollado por OpenAI, tiene sobre el hardware de sus equipos. El contenido facilitado consiste únicamente en un listado de comentarios con puntuaci

codex openai reddit hardware wear ai coding assistants
· Inertia-1: A Universal Motion Model

Inertia-1: un único modelo fundacional para entender el movimiento humano

Inertia-1 es un modelo fundacional de movimiento que unifica, en un único espacio controlado, el ciclo completo de trabajo que hasta ahora estaba fragmentado: datos, captura sensorial, objetivos de aprendizaje y escala. Frente al panorama actual, donde cada conjunto de datos usa su propia frecuencia

inertia-1 motion foundation model self-supervised learning accelerometry activity recognition
· Hacker wipes Romania's entire land registry database

Un hacker borra la base de datos catastral de Rumanía tras un intento de extorsión fallido

Un pirata informático accedió a la Agencia Nacional de Catastro y Publicidad Inmobiliaria de Rumanía (ANCPI) con credenciales válidas, recorrió sus sistemas internos y borró los registros y las copias de seguridad del catastro nacional tras fracasar en un intento de extorsión. El incidente, hecho pú

· ECC and DDR5

ECC y DDR5: cómo funciona la corrección de errores en la memoria RAM

La memoria con ECC (código de corrección de errores) detecta y corrige fallos de bits antes de que lleguen a la CPU. El sistema más extendido es el código de Hamming, que con suficientes bits redundantes corrige errores de un solo bit y detecta los de dos bits en bloques de datos. En DDR4 el bus tra

ecc ddr5 ddr4 hamming code rdimm
· Gitolite: Hosting Git Repositories with Fine-Grained Access Control

Gitolite: guía para alojar repositorios Git con control de acceso detallado

Gitolite es una herramienta de código abierto que permite configurar un servidor central para alojar repositorios Git con un control de acceso granular y otras funcionalidades avanzadas. Se instala habitualmente desde el gestor de paquetes del sistema (donde suele aparecer como gitolite3) y su códig

gitolite git hosting access control ssh
· StrictlyVC returns to New York City September 10 to celebrate a huge year for the city's startup community

StrictlyVC regresa a Nueva York el 10 de septiembre con un cartel de inversores y fundadores

StrictlyVC, la serie de eventos de TechCrunch para inversores y fundadores, vuelve a Nueva York el 10 de septiembre tras dos años de ausencia. La cita se celebrará en Ideal Glass Studios, en West Village, con entradas generales a 180 dólares. La programación inaugural incluye una charla titulada 'Th

· Helados Estiu, la fábrica anónima que moldea los helados de Hacendado y arrasa con sus mochis

Helados Estiu, el fabricante anónimo que alimenta el imperio helado de Mercadona

Detrás de los helados de Hacendado —incluidos los virales mochis conocidos como "dochis"— se esconde Helados Estiu, una fábrica valenciana fundada en 1983 en Ribarroja del Turia que se ha convertido en proveedor estratégico de Mercadona desde 2002 dentro del modelo "proveedor tornillo". La compañía

helados estiu mercadona hacendado marca blanca mochi
· No hace falta un terremoto para mover una aguja sísmica: con un gol de España basta

Los goles de España en la final del Mundial se detectaron con sismómetros en Cataluña y Madrid

La selección española de fútbol se proclamó campeona del mundo por segunda vez tras vencer 1-0 a Argentina en la final del Mundial. La celebración tras el gol de Ferran, el tanto anulado a Mikel Merino y el pitido final se midió, además de verse y oírse, en los sismómetros de la Red Sísmica Educativ

selección española de fútbol final del mundial red sísmica educativa geo3bcn-csic instituto geográfico nacional
· Sonam Wangchuk: The hunger striking engineer demanding Indian education reforms

El ingeniero en huelga de hambre que exige reformas educativas en India

El ingeniero y educador indio Sonam Wangchuk, de 59 años, cumple una huelga de hambre desde el 28 de junio en Nueva Delhi en apoyo a jóvenes manifestantes que piden reformas del sistema educativo. Solo ingiere agua con sal y ha perdido más de 9 kilos; la policía lo ingresó forzosamente en un hospita

sonam wangchuk hunger strike education reform cockroach janta party ladakh
· Xiaomi confirma el fin del soporte para diez de sus móviles: comprueba si el tuyo está en la lista

Xiaomi deja sin soporte a diez móviles y tablets de las marcas Xiaomi, Redmi y Poco

Diez dispositivos de Xiaomi, Redmi y Poco dejarán de recibir actualizaciones a partir de este mes, según confirma el portal especializado GizChina. Los modelos afectados son Xiaomi 12, Xiaomi 12 Pro, Xiaomi 12S Ultra, Xiaomi Pad 6, Xiaomi Pad 6 Pro, Poco X5 5G, Poco X5 Pro 5G, Redmi Note 12T Pro, Re

xiaomi redmi poco hyperos android 17
· Plus Ultra anuncia una "investigación interna" para corregir "cualquier eventual falta de control" en su rescate

Plus Ultra abre una investigación interna sobre su rescate tras las nuevas acusaciones contra Zapatero

La aerolínea Plus Ultra ha remitido este lunes un escrito al juez José Luis Calama en el que anuncia una "investigación interna" sobre su rescate, asunto por el que está imputado el expresidente del Gobierno José Luis Rodríguez Zapatero. La comunicación se produce minutos después de que se conociera

plus ultra jose luis rodriguez zapatero julio martinez jose luis calama sepi
· Playwright: qué es y para qué sirve esta herramienta para controlar tu navegador automáticamente

Playwright: qué es y para qué sirve esta herramienta de automatización de navegadores

Playwright es una herramienta de código abierto desarrollada por Microsoft que permite controlar navegadores web mediante código, automatizando acciones como abrir páginas, pulsar botones o rellenar formularios. Es compatible con los motores Chromium, Firefox y WebKit, por lo que funciona con Chrome

playwright microsoft automatización de navegadores inteligencia artificial agentes de ia
· Hugging Face confirms breach affected internal datasets and credentials, urges users to take action

Hugging Face confirma el robo de credenciales internas y pide a sus usuarios que las revoquen

Hugging Face confirmó el viernes que un ataque cibernético sufrido la semana anterior comprometió sus conjuntos de datos internos y credenciales de servicio. Según la compañía, un conjunto de datos subido a la plataforma explotó una vulnerabilidad de seguridad que permitió ejecutar código malicioso

· The Trump Administration's Threat to Scientific Research

La amenaza de la Administración Trump a la investigación científica

La Administración Trump ha propuesto una nueva regulación que reescribe las normas de asistencia financiera federal y que, según varios analistas, representa una amenaza sin precedentes al sistema descentralizado de financiación científica de Estados Unidos. La regla, impulsada por el director de la

scientific research federal funding trump administration office of management and budget aaas
· Por qué un triunfo deportivo puede empujarte a pedir un aumento de sueldo

Por qué un triunfo deportivo puede empujarte a pedir un aumento de sueldo

La euforia que despierta una victoria deportiva modifica las decisiones económicas de las personas, según un estudio experimental de la Universidad de Pensilvania y la Universidad de Chicago publicado en Cambridge University Press. Los economistas Judd Kessler y Andrew McClellan, junto a sus colegas

economía de la conducta felicidad incidental psicología económica fútbol selección española
· The Moist Towelette Online Museum: a singular collection in East Lansing

El Museo de la Toallita Húmeda: una colección curiousa en Michigan

El Museo de la Toallita Húmeda (Moist Towelette Museum) es una singular colección temática ubicada en la sala 100 del Abrams Planetarium, en el campus de la Universidad Estatal de Michigan, en East Lansing. Curada por John French, la institución reúne cientos de toallitas húmedas procedentes de aero

moist towelette museum abrams planetarium michigan state university john french lufthansa
· My Year of Growing Mushrooms Badly

Un año cultivando setas en casa: qué funciona y qué no

Cultivar setas en casa o en el jardín es una alternativa atractiva a la recolección silvestre, que entraña riesgos de confusión entre especies tóxicas y de exponer las ubicaciones secretas. Sin embargo, los hongos son organismos exigentes: necesitan esporas, un sustrato nutritivo y humedad constante

mushroom cultivation shiitake oyster mushrooms lion's mane wine caps
· An Ebike Company Was Sued for Misleading Info on Safety. It Points to a Big Problem

Una marca de ebikes china siguió usando el sello UL falso tras un acuerdo judicial

Amazon y UL, la certificadora de seguridad, llegaron en julio a un acuerdo con varias empresas chinas que fabrican bicicletas eléctricas bajo la marca Aipas, tras demandarlas por usar de forma engañosa el sello UL en sus anuncios. Las compañías afectadas son Jiangmen Meijiasheng Bicycle, Hong Kong M

ebikes aipas amazon ul consumer product safety commission
· El Pantano de Tibi, la presa europea en activo más antigua, sigue funcionando 431 años después

El Pantano de Tibi, la presa viva más antigua de Europa, sigue regando huertos en Alicante

Construido entre 1580 y 1594 por orden de Felipe II, el Pantano de Tibi, sobre el río Monnegre entre Tibi y Jijona (Alicante), es la presa más antigua de Europa en funcionamiento continuo. Mide 46 metros de altura y fue la más alta del continente en su época, récord que ningún otro muro superó hasta

embalses infraestructura hidráulica pantano de tibi alicante felipe ii
· The Riemann hypothesis (or, how to earn $1 million)

La hipótesis de Riemann: el problema del millón de dólares explicado desde los primos

Euclides demostró hacia el 300 a.C. que existen infinitos números primos, pero la pregunta más sutil es cuantificar qué tan frecuentes son. Una forma de medirlo es sumar los recíprocos de los primos (1/2 + 1/3 + 1/5 + 1/7 + …): si esa serie converge, los primos son escasos; si diverge, son relativam

mathematics riemann hypothesis prime numbers riemann zeta function euler product
· Creíamos que el cerebro evolucionó para ser racional. La ciencia tiene una respuesta mucho más incómoda

Por qué el cerebro no evolucionó para ser racional sino para sobrevivir

La psicología evolutiva y la ciencia cognitiva han desmontado la idea de que los humanos piensan como algoritmos lógicos. Desde los trabajos fundacionales de Leda Cosmides y John Tooby, la investigación muestra que los mecanismos cognitivos se forjaron en entornos ancestrales donde la velocidad de r

psicología evolutiva sesgos cognitivos racionalidad de recursos toma de decisiones cerebro humano
· Microsoft arbeitet an Lösung für WSUS-Störungen

Microsoft corrige los fallos de WSUS en nuevas instalaciones y prepara parches para los servidores ya afectados

Microsoft ha reconocido los problemas que arrastra desde el lunes 13 de julio su software de distribución de actualizaciones Windows Server Update Services (WSUS) y ha comenzado a aplicar soluciones. Los fallos se traducen en tiempos de sincronización muy largos e incluso en timeouts de las operacio

microsoft wsus windows server update services windows 11 windows 10
· Building an AmigaOS Development Environment in 2026

Cómo montar un entorno de desarrollo para AmigaOS en 2026 sobre Linux

Daniel Kochmański publica una guía paso a paso para configurar en Linux un entorno completo de desarrollo cruzado para AmigaOS, válido en 2026 y dirigido a usuarios familiarizados con la compilación desde código fuente. El artículo explica cómo construir la toolchain amiga-gcc (ramas amiga16.1 para

retrocomputing amiga gcc linux amigaos
· EU-Kommission verhängt gegen AliExpress Rekordstrafe nach DSA-Verstößen

La Comisión Europea impone a AliExpress una multa récord de 550 millones por incumplir la Ley de Servicios Digitales

La Comisión Europea ha impuesto a AliExpress, el marketplace del gigante chino Alibaba, una multa récord de 550 millones de euros por incumplir de forma sistemática la Ley de Servicios Digitales (DSA, por sus siglas en inglés). Se trata de la tercera sanción que Bruselas aplica bajo esta normativa,

alibaba group aliexpress online-handel alibaba dsa-bussgeld