Canales actualizados recientemente

Elige uno para ver solo ese canalVer todos los canales →
20VC with Harry Stebbingsayer +146JSJane Streetayer +119AI Engineerayer +1硅谷101anteayerMBMatthew Bermanhace 3 días +95PragerUhace 3 díasY Combinatorhace 3 díasa16zhace 4 días +1SemiAnalysishace 4 díasGOTO Conferenceshace 4 días

Resultados

1 artículos
Ordenar
TemaObservabilidad y fiabilidadPersonaAnatoliy BilenkoDuraciónMás de 30 min
5 diapositivas34: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.Flujos de desarrollo y pruebasCode review & verificationObservabilidad y fiabilidad+2