筛选结果
3 篇排序
1:48:29EN → 简体中文
Jane Street· 2026年10月16日AI 如何改变编程：John Crepezzi 与 Ron Minsky 的对话Yaron Minsky, John Crepezzi · Jane StreetJane Street 的 AI 工具负责人和 Signals and Threads 主持人探讨智能体基础设施、安全、代码审查，以及软件开发体验的变化。
1:36:37EN → 简体中文Jane Street· 2026年9月23日Aaron Bauer：在 AI 时代教授软件工程Yaron Minsky, Aaron Bauer · Jane Street当模型能够生成代码时，学习目标、主动练习和编辑器设计如何影响工程教育。
59:38EN → 简体中文Jane Street· 2023年5月18日Richard Eisenberg 谈依赖类型、OCaml 与 AI 辅助编程Yaron Minsky, Richard Eisenberg · Jane Street类型系统如何表达正确性和性能，以及 AI 编写代码时，精确、易读的规格为何仍然重要。