最近更新的频道

点选即可只看该频道浏览全部频道 →
Matthew Berman昨天 +478Theo - t3․gg昨天 +33AI Engineer昨天 +6The Builders昨天 +1a16z昨天 +2硅谷101昨天 +1SemiAnalysis昨天 +1Chris Williamson昨天Cheeky Pint昨天Invest Like The Best昨天

筛选结果

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