Inteligencia Artificial
Anthropic escanea y destruye libros raros para entrenar su IA
Empresas de inteligencia artificial compran libros raros en bloque a través de ISBNdb, los escanean con máquinas que cortan el lomo y destruyen el original. Un juez federal calificó la práctica de fair use, y Anthropic contrató al exresponsable de asociaciones de Google Books para un proyecto interno conocido como Project Panama.
Noticias Tech
LLMs prueban código en Lean: así se verificó un decodificador zstd
Un ingeniero de Google implementó un descompresor de Zstandard en Lean con pruebas formales generadas por un LLM, motivado por el altísimo costo histórico de verificar software como seL4. El experimento explora si la inteligencia artificial puede volver práctico un enfoque que hasta ahora era territorio de unos pocos equipos con presupuesto casi ilimitado.
Noticias Tech
Colon nulo en shell: valida argumentos con una sola línea
Un artículo publicado el 23 de julio de 2026 por Filip Roséen repasa el colon nulo, un comando de shell que no hace nada más que descartar su propio resultado. El truco permite validar argumentos obligatorios, asignar valores por defecto y truncar archivos en una sola línea, una práctica que existe desde el shell de Thompson en 1971.
Noticias Tech
Botones robados de Anatoly Zenkov: el mismo copy en toda la web
El diseñador Anatoly Zenkov documentó cómo el texto de los botones (“Aceptar todo”, “Continuar con Facebook”, “Suscribirme”) se copia y pega entre sitios sin rediseñarse nunca. El fenómeno tiene raíces técnicas concretas: frameworks de consentimiento, SDKs de OAuth y design systems con texto por defecto.
