Vai al contenuto

root / tags / invariants

#invariants

2 fiches

Agenti di codifica IA e Skills Traduzione verificata automaticamente

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

Post di **Addy Osmani** sulla sua Substack *Elevate*, pubblicato il **14 ottobre 2026**; ~1.900 parole. Tesi: con i modelli attuali, il collo di bottiglia non è più la scrittura del codice ma la sua **verifica**; il lavoro umano passa dal *"revisionare ogni riga"* al *"costruire loop che l'agente può eseguire da solo."*

#verifica agentica#loop di feedback#agente auto-verificante

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

Trasformazione e Adozione Traduzione verificata automaticamente

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

Episodio #351 del podcast francofono **If This Then Dev** (Bruno) con **Julien Lépine**, Chief Technology Officer di **AWS France** (13 anni in Amazon), registrato a margine dell'**AWS Summit Paris** (1° aprile 2026, ~10.000 partecipanti). Tesi centrale: nell'era agentica, scrivere codice diventa secondario, e il valore si sposta verso **la comprensione del contesto, i compromessi architetturali e la responsabilità umana**. Prova centrale: **la riprogettazione di Amazon Bedrock** — una piattaforma critica che gestisce migliaia di miliardi di richieste — realizzata da un team di **6 persone in 72 giorni** (contro una stima di 30 persone / 18 mesi), **codice interamente generato dall'IA**, senza vibe coding. AWS sta **standardizzando internamente su Kiro** (IDE + CLI, basato su Claude Sonnet/Opus) per ~30.000 sviluppatori (annunciato da Matt Garman a re:Invent). Filo conduttore: **mantenere il controllo** senza rivedere tutto — tramite **modellazione formale (TLA+)** e **Raisonnement automatisé** per dimostrare invarianti e delimitare gli agenti, **blameless post-mortem**, e il principio secondo cui "la responsabilità dell'azione di un agente ricade su chi lo opera". Emergenza dell'**AI DLC** (sprint → più **Bolt** giornalieri) e rischio di **sovraccarico cognitivo / burn-out**.

#AWS Summit Paris#Amazon Web Services#agenti di codice

**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*).