Pensamientos sobre diseno, desarrollo, infraestructura de IA y creacion de productos.
Leslie Lamport convirtió los sistemas distribuidos en una ciencia: el tiempo no es global, la causalidad es lo real, y la especificación del diseño llega antes que el código.
Engineering & CraftEdsger Dijkstra trató la simplicidad como la condición previa para la corrección y la demostración como superior a las pruebas: la elegancia no era opcional, sino la disciplina entera.
Engineering & CraftGrace Hopper construyó el primer compilador para que los programas se escribieran en lenguaje humano, volvió física la latencia con un cable de un nanosegundo y combatió los dogmas anquilosados.
Engineering & CraftJohn Carmack trata el rendimiento como una cuestión moral. Reduce todo al núcleo rápido y simple, comprende el problema hasta sus cimientos, publícalo y muestra tu trabajo.
Engineering & CraftAndrej Karpathy replanteó las redes neuronales como Software 2.0 -- un stack compilado a partir de datos, no escrito a mano -- y le enseñó a toda una generación a construirlo desde cero.
Engineering & CraftYukihiro Matsumoto, creador de Ruby, diseñó un lenguaje para la felicidad de los programadores, no de la máquina. El principio de mínima sorpresa: el código no debe sorprender a nadie.
Engineering & CraftLinus Torvalds define el buen gusto como el código donde el caso especial desaparece: la convicción de ingeniería detrás del kernel de Linux, git y "muéstrame el código".
Engineering & Craftjqwik 1.10.0 emite una cadena destructiva de inyección de prompts en la salida de Maven. Las secuencias ANSI la ocultan de las personas. El mantenedor la agregó a propósito.
AI & TechnologyEl Assistant de MLflow 3.9.0 expuso un agente local de IA en /ajax-api sin verificación CORS. Cualquier página web podía tomar el control de Claude Code. El error es más antiguo que MLflow.
AI & TechnologyLas solicitudes de aprobación para agentes de IA necesitan autoridad delimitada, categorías de riesgo, registros de auditoría, vencimiento y revocación para que las personas aprueben acciones concretas, no pedidos convincentes.
AI & TechnologyAgents.txt no es control de acceso. Usa robots.txt, llms.txt, verificación de bots, registros y políticas del lado del servidor para gestionar rastreadores de IA sin una falsa sensación de seguridad.
AI & TechnologyLos agentes de IA de larga duración necesitan canales duraderos: ID de flujo de trabajo, registros de eventos, flujos reanudables, señales tipadas, cancelación segura y puntos de control visibles para el usuario.
AI & TechnologyEscritura tecnica en Introl
Recomendaciones de hardware completas y análisis de costos para ejecutar grandes modelos de lenguaje localmente.
Guía de selección de GPU comparando los últimos aceleradores de datacenter de NVIDIA para diferentes cargas de trabajo de IA.
Análisis técnico profundo de la evolución de la Tensor Processing Unit de Google desde TPUv1 hasta TPUv5.
Estrategias de compartición de recursos para clústeres GPU en entornos containerizados.
Guía para construir y gestionar computación de IA distribuida con el framework Ray.
Análisis de la economía de LLM de código abierto y el posicionamiento competitivo de DeepSeek.
Requisitos de energía futuros de centros de datos y hoja de ruta de GPU de próxima generación de NVIDIA.
Soluciones de reactores modulares pequeños para alimentar la infraestructura de IA de próxima generación.
Análisis técnico de las innovaciones de arquitectura Multi-Head Compression de DeepSeek.