筛选结果
4 篇排序
59:38EN → 简体中文
Jane Street· 2023年5月18日Richard Eisenberg 谈依赖类型、OCaml 与 AI 辅助编程Yaron Minsky, Richard Eisenberg · Jane Street类型系统如何表达正确性和性能，以及 AI 编写代码时，精确、易读的规格为何仍然重要。
1:01:11EN → 简体中文Jane Street· 2021年11月3日Anil Madhavapeddy 谈 MirageOS 与操作系统的演进Yaron Minsky, Anil Madhavapeddy · Jane Street从 Xen 和 unikernel 到 OCaml 多核研究，一位系统研究者解释不断变化的抽象如何重塑基础设施。
1:00:04EN → 简体中文Jane Street· 2021年10月6日Ty Overby 谈 Bonsai 与函数式用户界面构建Yaron Minsky, Ty Overby · Jane StreetJane Street 为什么构建可组合的 OCaml 用户界面框架，以及它的设计如何启发我们理解增量计算、浏览器与可视化编程。
1:06:39EN → 简体中文Jane Street· 2016年3月31日Jane Street 为什么使用 OCamlYaron Minsky · Jane StreetJane Street 的一场演讲解释了函数式编程和静态类型如何帮助构建可靠的交易软件，也探讨了选择较冷门语言的代价。