Aller au contenu

root / tags / invariants

#invariants

2 fiches

Agents de codage IA & Skills

Agentic Verification — The bottleneck has moved from writing code to knowing it's correct.

Billet d'**Addy Osmani** sur son Substack *Elevate*, publié le **14 octobre 2026** ; ~1 900 mots. Thèse : avec les modèles actuels, le goulot n'est plus l'écriture du code mais la **vérification** de sa justesse ; le travail humain passe de *« review every line »* à *« build loops the agent can run itself »*.

#vérification agentique#boucle de rétroaction#agent auto-vérifiant

Addy Osmani — ingénieur (Anthropic, cf. fiches antérieures) ; billet sur son Substack *Elevate*.

Transformation & Adoption

IFTTD #351 - AWS Summit : Rester aux commandes des agents de code (avec Julien Lépine)

Épisode #351 du podcast francophone **If This Then Dev** (Bruno) avec **Julien Lépine**, Directeur de la technologie d'**AWS France** (13 ans chez Amazon), enregistré en marge de l'**AWS Summit Paris** (1er avril 2026, ~10 000 personnes). Thèse-pivot : à l'ère agentique, écrire du code devient secondaire, la valeur migre vers la **compréhension du contexte, l'arbitrage d'architecture et la responsabilité humaine**. Preuve maîtresse : le **redéveloppement d'Amazon Bedrock** — plateforme critique gérant des milliers de milliards de requêtes — par une équipe de **6 personnes en 72 jours** (vs 30 personnes / 18 mois estimés), **code intégralement généré par IA**, sans vibe coding. AWS **standardise en interne sur Kiro** (IDE + CLI, branché sur Claude Sonnet/Opus) pour ~30 000 développeurs (annonce Matt Garman à re:Invent). Fil rouge : **garder le contrôle** sans tout relire — via la **modélisation formelle (TLA+)** et le **raisonnement automatisé** pour prouver les invariants et borner les agents, le **blameless post-mortem** et le principe « la responsabilité d'une action d'agent incombe à la personne qui l'opère ». Émergence de l'**AI DLC** (sprints → **Bolts** pluri-quotidiens) et du risque de **surcharge cognitive / burn-out**.

#AWS Summit Paris#Amazon Web Services#agents de code

**Julien Lépine** — Directeur de la technologie (CTO) d'Amazon Web Services France · 13+ ans chez Amazon ; ses équipes accompagnent les clients AWS sur le cloud · la data et l'IA. **Hôte** : Bruno (créateur et animateur du podcast *If This Then Dev*).