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

選ぶとそのチャンネルだけを表示すべてのチャンネル →
Matthew Berman今日 +20AI Engineer今日 +16The Builders今日 +1Cognitive Revolution "How AI Changes Everything"昨日 +1Theo - t3․gg昨日 +115Sequoia Capital昨日 +1a16z昨日 +1Reid Hoffman昨日 +1Chris Williamson昨日 +1Conversations with Tyler昨日

絞り込み結果

1 件
並び順
人物Alberto Carretero長さ30 分以上人数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