最近更新的频道

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

筛选结果

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