Curso en vivo · Inscripciones abiertas · 28 cupos
Dirigir agentes de programación con método: orquestación, harness propio y verificación que da resultados repetibles.
* primeros diez cupos. Descuento para empresas disponible.
Este no es un curso para aprender a conversar con un agente: eso ya lo sabes hacer. Es el curso para cuando el agente escribe buena parte de tu código y empiezas a necesitar método: cómo especificar el trabajo, cómo repartirlo entre varios agentes, cómo construir el andamiaje que los mantiene dentro de los rieles, y cómo verificar lo que producen sin leer cada línea. Trabajas sobre un repositorio real, el tuyo, desde la primera sesión.
Cada sesión: ~60 minutos de contenido y demostraciones + ~30 minutos de práctica guiada sobre tu propio repositorio.
Martes 6 de octubre
Estilos de prompt y cuándo sirve cada uno. Los métodos que han ido apareciendo para darle estructura al trabajo: spec-driven development, SPDD, BMAD y compañía. Qué problema resuelve cada uno, en qué se parecen y cuándo el método pesa más que el modelo.
Sales con: una especificación escrita para una tarea real de tu repositorio, y el criterio para elegir método según el trabajo.
Jueves 8 de octubre
Cuándo conviene dividir el trabajo y cuándo un solo agente rinde más. Subagentes, contextos separados y el costo real de coordinarlos. Patrones de orquestación: abanico, tubería, revisión cruzada. Cómo se comunican y dónde se pierde la información.
Sales con: una tarea de tu trabajo repartida entre varios agentes, funcionando.
Martes 13 de octubre
El andamiaje alrededor del agente: qué contexto recibe, qué herramientas tiene a mano y qué reglas lo gobiernan. Instrucciones de proyecto, capacidades reutilizables y permisos. Empiezas a construir el harness de tu propio repositorio.
Sales con: la primera versión de tu harness, en uso sobre tu código.
Jueves 15 de octubre
Automatización: enganches en el ciclo de trabajo, comandos propios y conexión a tus servicios. Cómo el harness deja de ser configuración y pasa a ser parte del repositorio, versionada y compartida con el equipo.
Sales con: tu harness terminado, versionado y usable por tu equipo.
Martes 20 de octubre
El problema de fondo: el agente no es determinista y tu proceso sí tiene que serlo. Qué tipo de test sirve para qué, y cuál conviene exigirle al agente en cada caso: unitarios, de integración, de contrato, basados en propiedades, golden y de extremo a extremo. Después, la pregunta incómoda: ¿tus tests atrapan algo? Pruebas de mutación para medirlo, sembrando fallas y viendo cuáles sobreviven.
Sales con: una suite que sabes que sirve, con su puntaje de mutación medido sobre tu propio código.
Jueves 22 de octubre
Donde el test ya no alcanza: una introducción a los métodos formales con Lean y parientes cercanos (Dafny, TLA+, Alloy). Qué significa demostrar en vez de probar, qué cuesta, y en qué partes de un sistema rinde de verdad. Cierre sobre calidad del código que queda: métricas que sirven y métricas que engañan, y cómo envejece un código escrito a gran velocidad.
Sales con: una especificación formal mínima escrita y verificada, y criterios de calidad y evolución para tu repositorio.
Inscripciones abiertas
* primeros diez cupos. Descuento para empresas disponible.
Inscribirme en el curso¿Dudas antes de inscribirte? Déjalas en el mismo formulario y te respondo.
Magíster en Tecnologías de la Información, Universidad de Chile.
Más de cuarenta años en desarrollo de software, liderando equipos de tecnología en empresas y startups. Fue arquitecto de software en Cornershop y luego ingeniero de software en Uber; actualmente es Tech Product Lead en Shinkansen.
Autor del blog y el libro «La Naturaleza del Software», y relator de cursos de desarrollo seguro de software en las universidades de Chile y Adolfo Ibáñez.