最近更新されたチャンネル

選ぶとそのチャンネルだけを表示すべてのチャンネル →
AI Engineer今日硅谷101昨日PragerU一昨日Y Combinator一昨日SemiAnalysis3 日前a16z3 日前GOTO Conferences3 日前Latent Space4 日前Dwarkesh Patel4 日前Zhang Xiaojun Podcast5 日前

絞り込み結果

1 件
並び順
チャンネルGOTO ConferencesトピックCode review & verification人数2 人
スライド 5 枚34:11EN
GOTO Conferences· 2026年10月23日Anatoliy 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.開発ワークフローとテストCode review & verificationオブザーバビリティと信頼性+2