筛选结果
2 篇排序
34:11EN → 简体中文
GOTO Conferences· 2026年10月23日Anatoliy Bilenko 和 Alberto Carretero：用形式化方法和 AI 让数据库协议可靠Anatoliy Bilenko, Alberto Carretero · CanonicalCanonical 的数据库工程师把可执行规格、基于模型的测试、故障探索和重建的执行历史串起来，并说明为什么这些方法单独用，都无法证明真实系统正确。
13:12EN → 简体中文
OpenAI· 2026年10月7日Alexandra Lato 谈用 Codex 打造 Stack Overflow for Agents 和 Stack InternalAarti Bagul, Alexandra Lato · OpenAIStack Overflow 产品副总裁讲述一个小团队如何在两款产品上，用截然相反的约束使用 Codex——以及为什么面向 agent 的设计意味着让 agent 贡献知识，而不只是读取。