Tag
verification-formelle
software-factory
AWS Bedrock, 6 personnes, 72 jours : rester aux commandes des agents de code
Julien Lépine (CTO AWS France) détaille le redéveloppement d'Amazon Bedrock par 6 personnes en 72 jours — code intégralement généré par IA, sans vibe coding. Un proof-point hyperscaler qui déplace la valeur du code vers le contexte et la responsabilité humaine.
Image à venir
verification-formelle
TLA+
Langage de modélisation formelle (états, transitions, invariants) utilisé pour prouver les propriétés de systèmes critiques.
Explorez tous nos articles
Plus de contenus techniques sur l'IA, le Cloud, la Data et le Software Engineering.
Tous les articles