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.
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.
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.
Un mantenedor de ADB en Google sugirió restringir las conexiones locales del protocolo para frenar a bad actors, un cambio que golpearía de lleno a Shizuku y a cualquier app construida sobre libadb. Todavía no es una decisión oficial, pero la comunidad developer ya está reaccionando en el Issue Tracker.
Universidades de Estados Unidos volvieron a los exámenes a mano después de años de trabajos digitales, por el uso extendido de IA generativa. Neal Stephenson explica en su ensayo cómo la escritura manuscrita involucra más al cerebro, y qué pluma o roller conviene usar para escribir mucho sin cansarse.
Neal Stephenson lleva 25 años componiendo sus novelas con pluma fuente sobre papel y nunca sintió el clásico calambre de escritor. Su ensayo reciente explica qué instrumento usar, qué papel evitar y por qué la fricción justa es la clave, justo cuando las escuelas vuelven a los exámenes escritos a mano para frenar el uso de IA.
