Recently updated channels

Pick one to see only that channelBrowse all channels →
AI Engineertoday硅谷101yesterdayPragerU2 days agoY Combinator2 days agoSemiAnalysis3 days agoa16z3 days agoGOTO Conferences3 days agoLatent Space4 days agoDwarkesh Patel4 days agoAdrian Twarog5 days ago

Results

1 articles
Sort
ChannelGOTO ConferencesTopicCode review & verification
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