DS // El taller · Manuales de campo para la era de las máquinas

Deja de desplazarte.Empieza a construir.

Guías prácticas de IA, automatización, software y las herramientas que están dando forma al mañana. Menos teoría. Más hacer.

Los manuales de campo

Conocimiento práctico. Cero relleno.
Manual 010FORMAL VERIFICATION / RUST / CODING AGENTS / VERUS
Un agente robótico de programación que entrega una pila de hojas de código mediante una puerta de prueba que brilla en amarillo de advertencia en una cámara oscura de concreto, franjas de peligro en el piso

Usa Microsoft PDD Kit para verificar Rust de agente

Demuestra Rust escrito por un agente contra una especificación que aprobaste primero, y prueba solo las partes que una prueba no puede alcanzar en absoluto.

Tiempo de lectura
21 min
Herramientas
PDD KIT / CHOPIN / VERUS / RUST
Abrir el manual

Lee menos exageración.
Aprende más habilidades.

[ 01 ]

Práctico

Cada guía se construye alrededor de una tarea real, con un resultado que funciona al final. Si un manual no termina con algo construido, reparado o en marcha, no está terminado.

Ref.: DS-WP-01 · La tarea primero

[ 02 ]

Reproducible

Los pasos están escritos para seguirse en orden, con los comandos, los ajustes y las trampas incluidos. Nada importante se esconde detrás de la palabra simplemente.

Ref.: DS-WP-02 · Sin pasos saltados

[ 03 ]

Mantenido

Las herramientas cambian y los pasos se pudren. Los manuales se revisan cuando cambia el software que cubren, y una guía que ya no funciona se corrige o se retira.

Ref.: DS-WP-03 · Corregir o retirar