筛选结果
218 篇排序
56:12EN → 简体中文
Jane Street· 2018年1月16日傅里叶的回声：从声波到快速卷积Christopher Hardin通过实际例子了解傅里叶变换、卷积，以及如何用数学方法让录音呈现真实或想象空间的声学效果。
56:06EN → 简体中文Jane Street· 2017年12月4日Jane Street 如何用 Iron 审查代码Ian Henry · Jane StreetJane Street 的内部审查工具记录每位审查者实际读过的内容，将反馈保存在代码中，并在发布前执行审查要求。
1:13:25EN → 简体中文Jane Street· 2017年11月27日Nate Foster：验证可编程网络数据平面Nate Foster, Yaron Minsky · Cornell Universityp4v 如何将程序验证用于数据包处理代码，以及其结论为何取决于控制平面假设。
52:51EN → 简体中文Jane Street· 2017年6月20日Caveat Configurator：当配置变成代码Dominick LoBraico · Jane StreetDominick LoBraico 解释灵活的 OCaml 插件为何给 Jane Street 的生产环境带来问题，以及配置生成和规范的插件管理如何应对这些问题。
59:14EN → 简体中文Jane Street· 2017年3月15日Arjun Guha：验证系统配置Arjun Guha · UMass AmherstPuppet 清单虽然是声明式的，仍可能具有非确定性或不具备幂等性。验证工具通过建模资源之间的相互作用来发现这些问题。
38:17EN → 简体中文Jane Street· 2017年3月13日如何利用确定性重放构建可靠的交易系统Brian Nigito · Jane Street撮合引擎、组播和状态机复制可以让高吞吐量交易系统具备恢复能力。本讲座解释了这一设计及其权衡。
25:44EN → 简体中文Jane Street· 2017年3月9日函数式编程为何对 Jane Street 重要Sebastian Funk · Jane Street一位 Jane Street 开发者重新审视 John Hughes 的经典论点，并解释为什么表达能力强的静态类型对交易系统最重要。
28:31EN → 简体中文Jane Street· 2017年3月9日Incremental：OCaml 中的自调整计算Sebastian Funk · Jane StreetSebastian 介绍 Jane Street 的动态依赖图库，以及高效更新背后的算法。
1:09:24EN → 简体中文Jane Street· 2016年4月5日Yaron Minsky 谈高效 ML：为代码读者编写 OCamlYaron Minsky · Jane StreetJane Street 分享类型、接口和抽象的实用经验，帮助大型 OCaml 代码库保持易理解和正确。
1:06:39EN → 简体中文Jane Street· 2016年3月31日Jane Street 为什么使用 OCamlYaron Minsky · Jane StreetJane Street 的一场演讲解释了函数式编程和静态类型如何帮助构建可靠的交易软件，也探讨了选择较冷门语言的代价。
23:58EN → 简体中文Jane Street· 2016年3月31日有效使用 ML：错误、抽象与复杂度管理Yaron Minsky · Jane Street一位 Jane Street 工程师讨论显式处理失败、样板代码、类型系统的克制，以及副作用的实际作用。
1:04:56EN → 简体中文Jane Street· 2016年3月31日Yaron Minsky：Incremental 如何从研究概念走向生产库Yaron Minsky · Jane Street回顾 Jane Street 的 OCaml 自调整计算库背后的算法、内存问题和性能权衡。
1:12:41EN → 简体中文Jane Street· 2016年3月31日Ron Minsky：交易、正确性与 Jane Street 转向 OCamlYaron Minsky · Jane StreetJane Street 的技术人员介绍做市业务，以及可读性、类型和可预测的性能如何影响公司选择 OCaml。
51:35EN → 简体中文Jane Street· 2016年3月31日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.
1:19:25EN → 简体中文
Lenny's Podcast播客美客多如何用 1.8 万工程师、每天 3 万次发布，撑起拉美最大公司主持 Lenny Rachitsky前 Mercado Libre 产品与工程负责人、现任 Roblox 工程高级副总裁 Sebastian Barrios，讲述这家千亿美元公司如何把工程和产品当成一支队伍来跑。
1:23:15EN → 简体中文Lenny's Podcast播客 · 2 人对谈重写是陷阱，一对一也别开太多：Camille Fournier 的工程领导课嘉宾 Camille Fournier · 主持 Lenny Rachitsky《The Manager's Path》作者讲产品经理怎样惹恼工程师、系统重写为什么常失败、何时从一线转到管理，以及平台团队该怎么建。
1:32:32EN → 简体中文Lenny's Podcast播客 · 2 人对谈把写代码的人变成建筑师：Scott Wu 谈 Devin 与软件工程的下一形态嘉宾 Scott Wu · 主持 Lenny RachitskyCognition 联合创始人解释 15 人团队如何用一群 Devin 开发 Devin，产品现在能做什么、不能做什么，以及为什么他认为程序员会变多而不是变少。
40:42EN
No Priors: AI, Machine Learning, Tech, & Startups播客 · 2 人对谈Don't Mistake a Month of Hype for the End of Software主持 Sarah Guo, Elad GilSarah Guo and Elad Gil separate the SaaS-apocalypse noise from the real signals: record revenue ramps, collapsing token prices, and the question of when a founder should sell.
1:16:17EN → 简体中文Lenny's Podcast播客 · 2 人对谈更快，可是为了什么？Nicole Forsgren 谈 AI 时代如何衡量开发者生产力嘉宾 Nicole Forsgren · 主持 Lenny RachitskyDORA 和 SPACE 的提出者解释为什么多数生产力指标会骗人，AI 如何改写心流与信任，以及怎样把开发者体验做成能证明价值的项目。
1:16:53EN → 简体中文Lenny's Podcast播客 · 2 人对谈ZIRP 之后的工程领导力：战略、系统和问责嘉宾 Will Larson · 主持 Lenny RachitskyCarta CTO Will Larson 谈零利率时代结束后工程管理怎么变，以及他现在依赖的习惯：系统模型、写下来的战略、共享激励和诚实的价值观。
1:41:26EN
Cognitive Revolution "How AI Changes Everything"播客The AI Scouting Report, Part 3: What AI Can Already Do, Who Will Win, and Why Nathan Labenz Wants Caution on Scaling主持 Nathan LabenzNathan Labenz closes his AP-course tour of AI with capabilities, market moats, jobs, law, safety plans and a stance on what to do next.
1:03:25ENLex Fridman播客Theano in an Hour: Symbolic Graphs, Automatic Gradients and a Compiler That Rewrites Your Math主持 Lex FridmanPascal Lamblin of MILA walks through how Theano builds, differentiates, optimizes and runs computation graphs, then trains logistic regression, a convnet and an LSTM.
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.加载更多已显示 24 篇，共 218 篇