筛选结果
77 篇排序
1:06:39EN → 简体中文Jane Street 为什么使用 OCamlJane Street 的一场演讲解释了函数式编程和静态类型如何帮助构建可靠的交易软件，也探讨了选择较冷门语言的代价。
23:58EN → 简体中文有效使用 ML：错误、抽象与复杂度管理一位 Jane Street 工程师讨论显式处理失败、样板代码、类型系统的克制，以及副作用的实际作用。
1:04:56EN → 简体中文Yaron Minsky：Incremental 如何从研究概念走向生产库Yaron Minsky · Jane Street回顾 Jane Street 的 OCaml 自调整计算库背后的算法、内存问题和性能权衡。
1:12:41EN → 简体中文Ron Minsky：交易、正确性与 Jane Street 转向 OCamlYaron Minsky · Jane StreetJane Street 的技术人员介绍做市业务，以及可读性、类型和可预测的性能如何影响公司选择 OCaml。
51:35EN → 简体中文Yaron Minsky 谈高效 ML：接口、不变量与代码读者Yaron Minsky · Jane Street在 2011 年 Harvard 讲座的第一部分，Jane Street 的 Yaron Minsky 展示 OCaml 接口和类型如何让长期使用的代码更易理解和修改。
10:20EN
Lex Fridman播客 · 2 人对谈How C++ Is Standardized: Votes, Consensus and the Move to a Three-Year Release Cycle嘉宾 Bjarne Stroustrup · 主持 Lex FridmanBjarne Stroustrup explains how the ISO committee works, why C++0x slipped to C++11, and how shorter cycles made C++14, C++17 and C++20 arrive on time.
10:24ENLex Fridman播客 · 2 人对谈Concepts: How C++ Finally Got Compile-Time Constraints on Templates嘉宾 Bjarne Stroustrup · 主持 Lex FridmanBjarne Stroustrup explains what C++ concepts are, why they are real and shippable today, and why it took decades to get them right.
40:25ENLex Fridman播客A Language That Knows the World: Stephen Wolfram on Computable Knowledge主持 Lex FridmanIn this clip from the Lex Fridman Podcast, Stephen Wolfram explains what makes the Wolfram Language different from ordinary programming languages and how it grew into a computable knowledge base, from Wolfram Alpha to computational contracts.
57:15ENLex Fridman播客Inside Torch and Autograd: How Deep Learning Libraries Compute Gradients主持 Lex FridmanAlex Wiltschko of Twitter walks through Lua Torch, then explains automatic differentiation and what separates modern deep learning frameworks.
14:47ENLex Fridman播客 · 2 人对谈Build Your Own Types: What Bjarne Stroustrup Learned from Simula, Fortran and Lisp嘉宾 Bjarne Stroustrup · 主持 Lex FridmanThe creator of C++ traces how Simula's user-defined types shaped his language, and why he builds for constrained, long-lived systems.