Recently updated channels

Pick one to see only that channelBrowse all channels →
Matthew Bermantoday +20AI Engineertoday +23The Builderstoday +1Cognitive Revolution "How AI Changes Everything"yesterday +1Theo - t3․ggyesterday +115Sequoia Capitalyesterday +1a16zyesterday +1Reid Hoffmanyesterday +1Chris Williamsonyesterday +1Conversations with Tyleryesterday

Results

1 articles
Sort
PersonAlberto CarreteroLanguageEnglishLengthOver 30 min
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