Google DeepMind presentó AlphaProof Code, un framework que combina agentes de Gemini con el lenguaje Lean para probar matemáticamente la seguridad del protocolo de Signal. El proceso, que normalmente toma años, se completó en cuatro semanas y generó más de seis millones de líneas de prueba formal.
Amazon reemplazó Claude Sonnet 4.6 por un modelo de decisión propio en su sistema de tickets y recortó el costo por ticket en 98%. Este artículo explica qué es un modelo de decisión, en qué se diferencia de un LLM general y cuándo conviene hacer el mismo cambio.
Google amplió su familia de TPU de octava generación con TPU 8tx y TPU 8i Max, dos sistemas pensados para inferencia segura y contexto masivo en agentes de IA. Es la cuarta TPU que lanza en 2026 y suma a los casi 100 clientes que ya usan sus chips en la nube.
Anthropic presentó Claude Fable 5.2 y Mythos 5.2 el 9 de noviembre de 2026, con precios más bajos, un modo rápido opcional y saltos de rendimiento en ciberseguridad, biología y robótica. Repasamos qué cambia frente a la versión 5.1 y qué dicen los benchmarks publicados.
Una falla de autorización a nivel de objeto permitió controlar autos conectados con solo conocer su patente. El patrón se llama BOLA, domina el ranking de riesgos de API de OWASP, y aparece en cualquier plataforma IoT que olvide verificar a quién pertenece cada recurso.
BenchUp es una aplicación gratuita y de código abierto para modelar muebles en 3D antes de cortar la madera. Corre en el navegador o como app nativa en Windows, macOS y Linux, sin pedir cuenta ni pago.
Un modelo MoE en CPU de 284.330 millones de parámetros corre en 64 GB de RAM sin usar una sola GPU gracias a cuantización agresiva, offloading selectivo de expertos y cacheo de contexto. El proyecto llama-modchip sirve como caso práctico para entender cómo funcionan estas tres técnicas en conjunto.
Dux Modular Shell es el entorno de escritorio modular para niri, Hyprland y Sway que unifica el tema de tus apps con el algoritmo dank16. Repasamos sus componentes, cómo probarlo y en qué se diferencia de GNOME Shell o KDE Plasma.
El OpenStick, un gadget ARM de 10 dólares y 512 MB de RAM, sirve de caso límite para pensar el self-hosting con poca ram. Con Debian, systemd y Podman corren varios servicios útiles sin saturar la memoria, siempre que elijas bien qué instalar.
Discord mostró un cliente nuevo que usa 70% menos RAM que su app de Electron. Explicamos qué es el framework de Electron, por qué cada app empaqueta su propio Chromium y qué alternativas como Tauri y WebView2 existen para evitarlo.
