Recently updated channels

Pick one to see only that channelBrowse all channels →
20VC with Harry Stebbingsyesterday +232JSJane Streetyesterday +119AI Engineeryesterday +1硅谷1012 days agoMBMatthew Berman3 days ago +168PragerU3 days agoY Combinator3 days agoa16z4 days ago +1SemiAnalysis4 days agoGOTO Conferences4 days ago

Results

1 articles
Sort
PersonAnatoliy BilenkoLanguageEnglish
5 slides34:11EN
GOTO Conferences· Oct 23, 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.Developer workflows & testingCode review & verificationObservability & reliability+2