Chaînes mises à jour récemment

Choisissez-en une pour ne voir qu’elleToutes les chaînes →
20VC with Harry StebbingshierAI Engineerhier硅谷101avant-hierMBMatthew Bermanil y a 3 jours +11PragerUil y a 3 joursY Combinatoril y a 3 joursSemiAnalysisil y a 4 joursa16zil y a 4 joursGOTO Conferencesil y a 4 joursThe Buildersil y a 5 jours

Résultats

1 articles
Trier
ThèmeAgents de codePersonneAlberto CarreteroLangueanglais
5 diapositives34:11EN
GOTO Conferences· 23 oct. 2026Anatoliy Bilenko and Alberto Carretero: Making Database Protocols Reliable with Formal Methods and AIAnatoliy Bilenko, Alberto Carretero · CanonicalCanonical’s database engineers connect executable specifications, model-based tests, failure exploration, and reconstructed execution histories—and explain why none of these techniques proves a real system correct on its own.Workflows de développement et testsCode review & verificationObservabilité et fiabilité+2