Kürzlich aktualisierte Kanäle

Wählen, um nur diesen Kanal zu sehenAlle Kanäle →
AI Engineerheute硅谷101gesternPragerUvorgesternY CombinatorvorgesternSemiAnalysisvor 3 Tagena16zvor 3 TagenGOTO Conferencesvor 3 TagenLatent Spacevor 4 TagenDwarkesh Patelvor 4 TagenAdrian Twarogvor 5 Tagen

Ergebnisse

1 Artikel
Sortieren
InhaltstypKonferenzvorträgeThemaSoftware engineeringLängeÜber 30 Min.
5 Folien34:11EN
GOTO Conferences· 23. Okt. 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.Entwicklungs-Workflows & TestsCode review & verificationObservability & Zuverlässigkeit+2