筛选结果
86 篇排序
1:14:23EN → 简体中文Cristina Rosu:用 Incr_dom 和 OCaml 构建动态 Web 应用Cristina Rosu · Jane Street从实用角度介绍 Elm 架构、虚拟 DOM 和增量计算,并现场演示计数器应用。
1:02:34EN → 简体中文Andy Ray:用 OCaml 设计 FPGA 并在其上运行软件Andy Ray · Jane StreetHardCaml 将 OCaml 变成硬件设计语言。Andy Ray 讲解 FPGA 基础、仿真和验证,并演示在软 CPU 上运行的 OCaml 软件栈。
38:17EN → 简体中文如何利用确定性重放构建可靠的交易系统Brian Nigito · Jane Street撮合引擎、组播和状态机复制可以让高吞吐量交易系统具备恢复能力。本讲座解释了这一设计及其权衡。
23:58EN → 简体中文有效使用 ML:错误、抽象与复杂度管理Yaron Minsky · Jane Street一位 Jane Street 工程师讨论显式处理失败、样板代码、类型系统的克制,以及副作用的实际作用。
10:20ENHow 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:23:15EN → 简体中文重写是陷阱,一对一也别开太多:Camille Fournier 的工程领导课嘉宾 Camille Fournier · 主持 Lenny Rachitsky《The Manager's Path》作者讲产品经理怎样惹恼工程师、系统重写为什么常失败、何时从一线转到管理,以及平台团队该怎么建。
1:32:32EN → 简体中文把写代码的人变成建筑师:Scott Wu 谈 Devin 与软件工程的下一形态嘉宾 Scott Wu · 主持 Lenny RachitskyCognition 联合创始人解释 15 人团队如何用一群 Devin 开发 Devin,产品现在能做什么、不能做什么,以及为什么他认为程序员会变多而不是变少。
40:42ENDon'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 → 简体中文更快,可是为了什么?Nicole Forsgren 谈 AI 时代如何衡量开发者生产力嘉宾 Nicole Forsgren · 主持 Lenny RachitskyDORA 和 SPACE 的提出者解释为什么多数生产力指标会骗人,AI 如何改写心流与信任,以及怎样把开发者体验做成能证明价值的项目。
1:16:53EN → 简体中文ZIRP 之后的工程领导力:战略、系统和问责嘉宾 Will Larson · 主持 Lenny RachitskyCarta CTO Will Larson 谈零利率时代结束后工程管理怎么变,以及他现在依赖的习惯:系统模型、写下来的战略、共享激励和诚实的价值观。
10:24ENConcepts: 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.
14:47ENBuild 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.
1:45:10EN → 简体中文先定时间再改范围:Ryan Singer 讲 Shape Up 在真实团队里怎么落地嘉宾 Ryan Singer · 主持 Lenny Rachitsky《Shape Up》作者 Ryan Singer 解释 appetite、六周时间盒和现场塑形,以及照搬 Basecamp 方法却没有相应条件时为何会失败。
1:40:03EN → 简体中文每分钟多做一点:Shopify 工程负责人谈强度、难路和用干活招人嘉宾 Farhan Thawar · 主持 Lenny RachitskyFarhan Thawar 讲结对编程、六周复盘、删代码和最长九十天的试工,如何让一家万人远程公司继续跑得很快。
11:59ENFrom a Side Project to TensorFlow's Core: François Chollet on How Keras Came to Be嘉宾 François Chollet · 主持 Lex FridmanThe creator of Keras recalls why he built it in 2015 around recurrent networks, how it moved onto TensorFlow, and what TensorFlow 2.0 means for its design.









