Noticias Tech

Lawrence Paulson, creador de Isabelle, escribió un ensayo viral sobre por qué no usa Lean para formalizar matemáticas. Detrás del debate técnico hay 60 años de historia que casi nadie cuenta.

Un dominio activo durante 27 años, protegido con doble 2FA y privacidad completa, fue transferido a un desconocido por un empleado interno de GoDaddy en cuatro minutos. El caso expone fallas sistémicas en uno de los registradores más grandes del mundo.

Los statecharts son la evolución de las máquinas de estado finitas: agregan jerarquía, paralelismo e historia para modelar lógica compleja sin caer en la explosión combinatoria. Te explicamos cómo usarlos con XState y SCXML en 2026.

El estándar IEEE 754 está detrás de cada operación con decimales en tu código. Te explicamos por qué 0.1 + 0.2 no es 0.3, cómo funcionan los floating point en binario y por qué los formatos reducidos como FP8 y FP4 son la nueva frontera del entrenamiento de LLMs en 2026.

Kloak es un interceptor HTTPS basado en eBPF que reemplaza placeholders por secretos reales antes de salir del pod. Las apps nunca ven las credenciales y un proceso comprometido no puede filtrar lo que nunca tuvo.

Una nueva generación de adaptadores USB 10 GbE basados en el chip RTL8159 cuesta menos de la mitad que un Thunderbolt equivalente, ocupa una fracción del tamaño y casi no se calienta. Pero hay un detalle clave de USB que decide si vas a ver los 10 Gbps reales.

Lightwhale 3 es un sistema operativo Linux inmutable que arranca directamente desde un ISO y deja un Docker Engine listo en menos de un minuto. Sin instalación, sin configuración, todo el rootfs vive comprimido en memoria.

DeepSeek lanzó V4 Pro y V4 Flash con API compatible OpenAI y Anthropic. Llega un modo thinking explícito, el parámetro reasoning_effort y una deprecación anunciada de deepseek-chat y deepseek-reasoner para el 24 de julio de 2026.

Un soldado del Ejército de EE.UU. fue acusado de ganar más de $400.000 en Polymarket usando información clasificada sobre una operación militar contra Nicolás Maduro. El caso marca el primer precedente legal sobre insider trading en mercados de predicción y cambia las reglas del juego para la industria.