Recently updated channels

Pick one to see only that channelBrowse all channels →
Matthew Bermantoday +7Theo - t3․ggyesterday +92AI Engineeryesterday +3a16zyesterday +1The Builders2 days ago +1硅谷1012 days ago +1SemiAnalysis2 days ago +1Chris Williamson2 days agoCheeky Pint2 days agoInvest Like The Best2 days ago

Results

1 articles
Sort
TopicCode review & verificationPersonAlberto Carretero
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