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

選ぶとそのチャンネルだけを表示すべてのチャンネル →
Matthew Berman昨日 +478Theo - t3․gg昨日 +51AI Engineer昨日 +4a16z昨日 +1The Builders昨日 +1硅谷101昨日 +1SemiAnalysis昨日 +1Chris Williamson昨日Cheeky Pint昨日Invest Like The Best昨日

絞り込み結果

1 件
並び順
チャンネルGOTO Conferences人物Anatoliy Bilenko言語英語
スライド 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