最近更新的频道

点选即可只看该频道浏览全部频道 →
AI Engineer今天20VC with Harry Stebbings今天硅谷101昨天PragerU前天MBMatthew Berman前天Y Combinator前天SemiAnalysis3天前a16z3天前GOTO Conferences3天前The Builders4天前

筛选结果

1 篇
排序
内容类型大会演讲人物Alberto Carretero
5 张幻灯片34:11EN → 简体中文
GOTO Conferences· 2026年10月23日Anatoliy Bilenko 和 Alberto Carretero：用形式化方法和 AI 让数据库协议可靠Anatoliy Bilenko, Alberto Carretero · CanonicalCanonical 的数据库工程师把可执行规格、基于模型的测试、故障探索和重建的执行历史串起来，并说明为什么这些方法单独用，都无法证明真实系统正确。开发流程与测试Code review & verification可观测性与可靠性+2