Recently updated channels

Pick one to see only that channelBrowse all channels →
Matthew Bermanyesterday +313Theo - t3․ggyesterday +33AI Engineeryesterday +6The Buildersyesterday +1a16zyesterday +2硅谷101yesterday +1SemiAnalysisyesterday +1Chris WilliamsonyesterdayCheeky PintyesterdayInvest Like The Bestyesterday

Results

1 articles
Sort
ChannelGOTO ConferencesLanguageEnglish
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