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

選ぶとそのチャンネルだけを表示すべてのチャンネル →
Matthew Berman今日 +20Theo - t3․gg昨日 +115AI Engineer昨日 +7a16z昨日 +1Reid Hoffman昨日 +1Chris Williamson昨日 +1Conversations with Tyler昨日The Builders一昨日 +1Citadel Securities一昨日 +1硅谷101一昨日 +1

絞り込み結果

1 件
並び順
人物Alberto Carretero言語英語長さ30 分以上
スライド 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