1 articles

Articles sur #verification

Je lis les nouveautés de l’IA à la source, puis je les explique avec la vie de tous les jours.

pstack : les règles de Lauren Tan pour des agents dignes de confiance

pstack, le plugin de skills de Lauren Tan (@poteto) pour Cursor et Grok Bot : fiabiliser un agent avant d'en lancer dix, corriger à la racine et traiter la vérification comme de l'infrastructure, jusqu'aux modèles TLA+.

3 novembre 2026 8 min de lecture #grok-bot#agents#verification