· The Dark Night of Mathematics

La noche oscura de las matemáticas frente a la IA

Un matemático joven, formado en la tradición de la creación matemática como experiencia espiritual, describe una crisis profunda ante la capacidad de los modelos de lenguaje para producir contraejemplos de conjeturas matemáticas de larga data. En apenas una semana, los LLM derribaron problemas abier

large language models mathematics philosophy of mathematics artificial intelligence leiden declaration
· Scanwheel: a DIY drum-style mechanical television

Scanwheel: una televisión mecánica de tambor que se puede construir en casa

Scanwheel es un proyecto de hardware abierto que permite construir una televisión mecánica de estilo tambor, un ingenio que recupera la estética de los primeros dispositivos de imagen escaneada. El diseño emplea un único tambor giratorio con cinco ventanas alineadas, cada una iluminada por LEDs inde

scanwheel mechanical television raspberry pi pico drum scanner micropython
· Bringing PyTorch Monarch to AMD GPUs: Single-Controller Distributed Training on ROCm

PyTorch Monarch llega a GPUs AMD con ROCm para entrenamiento distribuido tolerante a fallos

El equipo de PyTorch ha portado Monarch a GPUs AMD Instinct con ROCm, extendiendo su modelo de controlador único para entrenamiento distribuido más allá del ecosistema CUDA. Monarch permite orquestar clústeres completos de GPUs desde un único programa Python mediante un sistema basado en actores, ab

pytorch monarch rocm amd instinct distributed training
· Vercel redesigns project cards on its dashboard

Vercel rediseña las tarjetas de proyecto de su dashboard

El equipo de producto de Vercel ha rediseñado las tarjetas que muestran los proyectos dentro del dashboard de su plataforma, con tres líneas de trabajo principales: la compactación de la información visible en cada tarjeta, la incorporación de un menú contextual y la introducción de widgets personal

vercel dashboard ui design product cards context menu
· Task-centered iproute2 user guide

Guía práctica de iproute2 orientada a tareas

iproute2 es el conjunto de herramientas de red de Linux que sustituyó a los comandos clásicos como ifconfig, route, arp, vconfig y brctl, mantenidos hoy solo por compatibilidad. Creado originalmente por Alex Kuznetsov y mantenido actualmente por Stephen Hemminger, unifica la mayor parte de la config

iproute2 linux networking ip command sysadmin
· Open-weight AI is having its Kubernetes moment. Let's not ruin it.

El software abierto con IA vive su momento Kubernetes: no lo estropeemos

Los modelos de pesos abiertos se están convirtiendo en la base del próximo ecosistema de inteligencia artificial, y Estados Unidos debería competir dentro de él en lugar de aislarse. Tobi Knaup, cofundador de Mesosphere, traza un paralelismo con Kubernetes: cuando una plataforma abierta y portátil s

· Engineering management after the cost of code collapsed

Gestión de ingeniería cuando producir código ya no es caro

La caída del coste de producir código plausible gracias a los modelos de lenguaje ha obligado a revisar muchas prácticas clásicas de dirección de ingeniería. Un director con más de tres años de experiencia repasa los principios tradicionales —no codear, dar tiempo al trabajo, proteger al equipo del

engineering management llms software engineering ai assisted coding code review
· The Whole Premise Of Checking For Human Writing Is Daft

Comprobar si un texto es humano es absurdo

Un ensayo de opinión argumenta que la creciente exigencia de demostrar que un texto fue escrito «a mano», sin asistencia de inteligencia artificial, confunde el método de producción con la autoría intelectual. La premisa, sostiene el texto, es técnicamente regresiva y profundamente excluyente: presu

· A Minnesota wind turbine now produces green ammonia fertilizer using only wind, water and air

Una turbina eólica de Minnesota produce amoníaco verde para fertilizante agrícola

Un aerogenerador de 1,65 MW instalado en Morris (Minnesota) por el Centro de Investigación y Extensión del Oeste Central (WCROC) de la Universidad de Minnesota ha empezado a alimentar una planta química local que fabrica amoníaco verde a partir de viento, agua y aire. La instalación, diseñada con si

green ammonia wind energy fertilizer agriculture decarbonization
· A Taxonomy of Omnicidal Futures Involving Artificial Intelligence

Una taxonomía de futuros ominicidas con inteligencia artificial

Un informe difundido en arXiv propone una taxonomía de escenarios ominicidas vinculados a la inteligencia artificial, definidos como situaciones en las que la totalidad o la práctica totalidad de la humanidad podría morir a causa de sistemas de IA. El trabajo, presentado como preprint el 12 de julio

artificial intelligence existential risk ai safety ai governance catastrophic risk
· 98.css: a CSS library for building faithful Windows 98 interfaces

98.css: una biblioteca CSS para recrear fielmente la estética de Windows 98

98.css es una biblioteca de CSS diseñada para construir interfaces que reproducen con fidelidad la apariencia del sistema operativo Windows 98. El proyecto se distribuye como un único archivo de estilos sin dependencias de JavaScript, lo que lo hace compatible con cualquier framework de frontend (Re

css windows 98 retro ui design system semantic html
· Trump anuncia nuevos aranceles para más de 80 países, incluida España y sus socios europeos

Trump impone nuevos aranceles a más de 80 países, entre ellos España

El representante comercial de Estados Unidos, Jamieson Greer, anunció este jueves la imposición de nuevos aranceles a 60 socios comerciales —54 países más la Unión Europea—, entre los que figuran España y sus socios europeos, por no prohibir ni perseguir de forma efectiva la importación de productos

aranceles comercio internacional derechos humanos trabajo forzoso unión europea
· Alexa Plus is getting an AI update to handle more complicated instructions

Amazon amplía Alexa Plus con un kit de IA para integrarse con más dispositivos y servicios

Amazon ha anunciado una actualización de Alexa Plus que permite a su asistente de IA conectarse con dispositivos de hogar inteligente de marcas como Bosch, Delta, Ecovacs, iRobot, Yale Home, Whirlpool, Tapo y Eufy, entre otras. El sistema enruta automáticamente las peticiones al dispositivo adecuado

amazon alexa plus smart home model context protocol ai assistant
· Intels 11 Milliarden US-Dollar Nettoverlust existieren nur auf dem Papier

El supuesto pérdida de 11.000 millones de dólares de Intel es solo un asiento contable

Intel cerró un trimestre en el que sus cifras operativas mejoran con fuerza, aunque los estados financieros según los principios contables estadounidenses (GAAP) reflejan una pérdida neta de 11.000 millones de dólares. El motivo es estrictamente contable: las acciones que la empresa mantiene en un f

intel quartalsbericht gaap ki-agenten xeon
· Exclusive: Death of girl in Chinese gene-editing trial was never made public

Una niña de seis años murió en un ensayo chino de edición genética con CRISPR base y el caso no se hizo público

Una niña de seis años, hija de una pareja china identificada como Jason y Linda, murió en marzo de 2025 en el Hospital Xinhua de Shanghái tras recibir una terapia experimental de edición génica dirigida al cerebro para tratar un retraso del desarrollo causado por una mutación puntual. Siete días des

gene editing crispr base editing clinical trial china
· FDA reports new outbreak of explosive diarrhea with 72 cases identified

La FDA abre su sexto brote de ciclosporiasis del año con 72 casos identificados

La Administración de Alimentos y Medicamentos de Estados Unidos (FDA) anunció el miércoles la apertura de una nueva investigación por un brote de ciclosporiasis, la enfermedad diarreica causada por el parásito unicelular Cyclospora, con 72 casos identificados hasta la fecha. Se trata del sexto brote

cyclospora fda cdc cyclosporiasis foodborne illness
· Forgot your Google password? Now you can log in with a selfie.

Google permite recuperar la cuenta con un selfie en vídeo

Google ha incorporado una nueva opción para recuperar el acceso a una cuenta sin contraseña: un vídeo selfie. Los usuarios ya pueden registrar un vídeo de su rostro y, en caso de olvidar la contraseña o perder el autenticador, iniciar sesión mediante reconocimiento facial. La función se suma a las a

google account recovery facial recognition selfie sign-in passwordless authentication
· Claude’s voice mode is now available for Opus and Sonnet

Anthropic amplía el modo voz de Claude a los modelos Opus y Sonnet y suma idiomas

Anthropic ha extendido el modo voz de su asistente Claude a los modelos Opus y Sonnet, que hasta ahora solo estaba disponible en Haiku, su modelo más rápido pero menos potente. La compañía detectó que los usuarios empleaban el modo voz para resolver problemas empresariales reales, un uso para el que

anthropic claude voice mode opus sonnet
· General Resolution proposal seeks to ban LLM-assisted contributions in Debian

Debian debate una resolución general para vetar las contribuciones generadas con IA

El desarrollador Matthias Geiger ha presentado en la lista de votación de Debian una Resolución General (GR) que propone prohibir expresamente cualquier contribución escrita con ayuda de modelos de lenguaje de gran tamaño (LLM) u otras herramientas de inteligencia artificial generativa. El periodo d

debian general resolution llm generative ai social contract
· Wölfli, el artista que creó 25.000 páginas en una celda de siete metros cuadrados

Wölfli, el artista que creó 25.000 páginas entre siete metros cuadrados

Adolf Wölfli nació el 29 de febrero de 1864 cerca de Berna y murió el 6 de noviembre de 1930 en el manicomio de Waldau, donde permaneció treinta y cinco años tras ser condenado por agresiones sexuales a menores y diagnosticado de esquizofrenia paranoide. Trabajando en una celda de apenas siete metro

adolf wölfli arte bruto psiquiatría vanguardias artísticas manicomio de waldau
· FCC Chairman Brendan Carr's war on the First Amendment

El pulso del presidente de la FCC contra la Primera Enmienda

Brendan Carr, presidente de la Comisión Federal de Comunicaciones (FCC) de Estados Unidos, ha convertido su cargo en una plataforma de presión contra medios y番組 que ejercen su libertad de expresión. Desde el inicio del segundo mandato de Donald Trump, Carr ha amenazado a cadenas por sus coberturas y

fcc brendan carr first amendment free speech broadcast ownership
· Librarians are hosting viral 'Avoiding AI' workshops for people who are fed up with Big Tech

Bibliotecarios triunfan con talleres para desactivar la IA en dispositivos y servicios

Charlie Bailey, bibliotecario en el sur de Filadelfia, imparte un taller titulado 'Avoiding AI' en el que enseña a una veintena de adultos a desactivar funciones de inteligencia artificial en sus teléfonos y aplicaciones, empezando por Apple Intelligence y Gemini. La iniciativa nació de Hannah Cyrus

· Verse: A New Scripting Language? In THIS Economy?

Verse: ¿un nuevo lenguaje de scripting para el Unreal Engine 6?

El vídeo del canal Logan Smith analiza Verse, el lenguaje de scripting que Epic Games está desarrollando para sustituir al sistema de Blueprints en Unreal Engine 6. El autor parte de una pregunta provocadora: ¿tiene sentido aprender un nuevo lenguaje de programación en plena era de la inteligencia a

verse unreal engine epic games blueprints programming languages
· Brazilian farmers raise $20,000 in credit by tokenizing dairy cows on B3

Ganaderos brasileños obtienen 20.000 dólares en crédito al tokenizar vacas lecheras

Diez ganaderos del estado de Paraná, en Brasil, han tokenizado 10 vacas lecheras en la Bolsa de Valores B3, generando cerca de 20.000 dólares en crédito respaldado por el ganado, en un contexto de mayor restricción del crédito bancario para pequeños productores. Se trata de la primera operación de e

tokenization real-world assets agriculture blockchain agtech
· Zero roadkill as Amazon canopy bridges secure 15,000 crossings

Ocho puentes de copa en la Amazonía brasileña acumulan 15.000 cruces de fauna sin un solo atropello

Ocho puentes de cuerda instalados en 2024 sobre la carretera que conduce a Alta Floresta, en el norte de Mato Grosso (Brasil), han registrado en 15 meses más de 15.000 cruces seguros de fauna arborícola y ningún atropello, según cámaras trampa del proyecto Reconecta. Entre las especies documentadas

canopy bridges wildlife crossings roadkill biodiversity amazon
· Insurance startup Corgi reportedly raised more money at $4B — its third round in 8 weeks

Corgi, la startup de seguros con IA, cierra su tercera ronda en ocho semanas y duplica su valoración hasta 4.000 millones

La insurtech Corgi ha cerrado una nueva ronda, una segunda extensión de su Serie B, que prácticamente duplica su valoración hasta los 4.000 millones de dólares, según fuentes consultadas por Forbes. La operación llega apenas ocho semanas después de la B1, de 106 millones de dólares a una valoración

· U.S. regulators to draft new rules for car door handles after Tesla incidents

EE.UU. abrirá una normativa sobre manijas de车门 tras los incidentes en Tesla

La Agencia Nacional de Seguridad Vial (NHTSA) anunció el inicio de un proceso regulatorio para desarrollar nuevos requisitos que garanticen que los conductores y pasajeros puedan salir de sus vehículos de forma segura, después de una serie de incidentes, algunos mortales, en los que personas quedaro

tesla nhtsa door handles vehicle safety regulation
· AMD launches Helios AI rack to challenge Nvidia's dominance

AMD presenta Helios, su rack de IA para competir con Nvidia

AMD presentó en San Francisco, durante su conferencia Advancing AI agotada de entradas, el sistema de rack para inteligencia artificial Helios, diseñado para entrenar y ejecutar modelos de frontera a escala de gigavatios y rivalizar con las soluciones rack de Nvidia (Vera Rubin y Grace Blackwell). L

amd helios nvidia ai accelerators rack-scale systems
· The Echo Show 21 is a great smart home hub that's $80 off

El Echo Show 21 baja a 319,99 dólares en Best Buy y Home Depot

El Echo Show 21 de Amazon, una pantalla inteligente de 21 pulgadas con Fire TV y Alexa integrados, está rebajado a 319,99 dólares en Best Buy y Home Depot, 80 dólares por debajo de su precio habitual de 399,99 dólares. La oferta iguala el mínimo histórico registrado hasta la fecha, según la fuente.

amazon echo show 21 best buy home depot alexa