筛选结果
74 篇排序
34:11EN → 简体中文
GOTO Conferences· 2026年10月23日Anatoliy Bilenko 和 Alberto Carretero：用形式化方法和 AI 让数据库协议可靠Anatoliy Bilenko, Alberto Carretero · CanonicalCanonical 的数据库工程师把可执行规格、基于模型的测试、故障探索和重建的执行历史串起来，并说明为什么这些方法单独用，都无法证明真实系统正确。
1:56:28EN → 简体中文
The Pragmatic Engineer· 2026年10月21日播客 · 2 人对谈Will Larson：工程管理的修订规则嘉宾 Will Larson · 主持 Gergely Orosz2010 年代教给工程经理的第一课，是从此再也不要做技术决策。Imprint CTO、《Staff Engineer》作者 Will Larson 认为那个时代已经结束：回不到工作细节里的经理，正在掉进职业陷阱。
1:48:29EN → 简体中文AI 如何改变编程：John Crepezzi 与 Ron Minsky 的对话Yaron Minsky, John Crepezzi · Jane StreetJane Street 的 AI 工具负责人和 Signals and Threads 主持人探讨智能体基础设施、安全、代码审查，以及软件开发体验的变化。
1:36:37EN → 简体中文Aaron Bauer：在 AI 时代教授软件工程Yaron Minsky, Aaron Bauer · Jane Street当模型能够生成代码时，学习目标、主动练习和编辑器设计如何影响工程教育。
1:01:33EN → 简体中文
DeepLearningAI· 2026年9月22日用编程 Agent 做规格驱动开发：先写规格，再让 Agent 去建Andrew Ng, Paul Everitt · DeepLearning.AIJetBrains 开发者布道师 Paul Everitt 走完一整套规格驱动流程：一份项目章程，规划—实现—验收的功能循环，以及能跨工具带走的 agent 技能。氛围编程的替代方案，是一份 agent 忘不掉的 Markdown 契约。
1:25:00EN → 简体中文Eric Mannes：如何将杂乱的外部数据用于交易研究Ron, Eric Mannes · Jane Street从商品期货和 Excel 风险系统，到时点数据集和 AI，Eric Mannes 解释 Jane Street 数据工程背后的领域知识。
1:34:29EN → 简体中文Jacob Baskin：构建 Superstore 与调度 HiveYaron Minsky, Jacob Baskin · Jane Street这位 Jane Street 工程师回顾分布式分析数据库背后的设计选择，以及为不断扩大的研究集群分配资源的挑战。
57:42EN → 简体中文
20VC with Harry Stebbings· 2026年6月6日播客 · 2 人对谈Jacob Lauritzen：AI 工程、法律工作与 Legora 的建设嘉宾 Jacob Lauritzen · 主持 Harry StebbingsLegora CTO 讨论代码审查、token 预算、企业采用，以及法律工作流程可能如何变化。
1:34:36EN → 简体中文Nate Foster：把网络当作程序Yaron Minsky, Nate Foster · Jane Street从可编程交换机到 BGP，一位编程语言研究者解释高层策略和形式模型如何让网络更易于修改。
4:18:22EN → 简体中文
Lex Fridman· 2026年5月6日播客 · 2 人对谈每个周期都重要：解码几乎全网视频的志愿者们嘉宾 FFmpeg · 主持 Lex FridmanLex Fridman 与 Jean-Baptiste Kempf、Kieran Kunhya 谈 FFmpeg、VLC、手写汇编，以及 YouTube、Netflix 和火星车背后那群没有报酬的人。
48:49EN → 简体中文20VC with Harry Stebbings· 2026年4月25日播客 · 2 人对谈Amjad Masad 谈 Replit、编程智能体与软件的未来嘉宾 Amjad Masad · 主持 Harry StebbingsReplit CEO 讨论模型路由、软件经济、维护，以及产品构建者和工程师角色的变化。
1:08:22EN → 简体中文Mark Doss：高风险交易中的生产工程Mark Doss · Jane Street为什么每笔订单都重要、事件监控如何发现意外故障，以及一个真实感十足的案例揭示了交易运营的哪些特点。
46:35EN → 简体中文Jon Gjengset 谈并发协调的代价Jon Gjengset为什么共享缓存行会拖慢读密集型锁，以及另一种数据结构如何增加写入工作以换取可扩展的读取。
1:48:21EN → 简体中文Will Wilson：确定性模拟与软件测试的难题Yaron Minsky, Will Wilson · Jane StreetAntithesis 联合创始人解释可重放模拟如何探索复杂软件、性质为何重要，以及测试的边界在哪里。
1:03:18EN → 简体中文20VC with Harry Stebbings· 2026年2月21日播客 · 2 人对谈Alexander Embiricos 谈 Codex、编程智能体与创造的未来嘉宾 Alexander Embiricos · 主持 Harry StebbingsOpenAI 的 Codex 产品负责人讨论任务委派、审查、企业采用及通用智能体愿景。他的产品说法和预测反映其在 OpenAI 的角色，访谈中没有独立检验。
1:22:49EN → 简体中文Bryan Cantrill：为什么软件与硬件必须共同设计Bryan Cantrill · Oxide Computer Company从无法停止的 CPU 重置到消失的硬盘，Oxide 联合创始人说明为什么计算系统需要跨越软硬件边界进行设计和调试。
1:03:45EN → 简体中文20VC with Harry Stebbings· 2025年10月13日播客 · 2 人对谈Mike Cannon-Brookes：AI 估值、软件设计与打造长久的 Atlassian嘉宾 Mike Cannon-Brookes · 主持 Harry StebbingsAtlassian 首席执行官解释为何他预计软件工程师将增加、如何评估 AI 投资，以及创造力为何对跨越技术周期至关重要。
4:34:10EN → 简体中文Lex Fridman· 2025年9月30日播客 · 2 人对谈Pavel Durov 为十亿人打造了 Telegram，自己却不肯随身带手机嘉宾 Pavel Durov · 主持 Lex Fridman在与 Lex Fridman 长达四个半小时的对话中，这位 Telegram 创始人讲述了自己对自由的理解：从童年时离开苏联，到法国的一间拘留室、一次投毒，再到只有 40 人的工程团队。
1:12:58EN → 简体中文Chris Lattner：Mojo 与可移植 GPU 性能的追求Yaron Minsky, Chris Lattner · Jane StreetRon Minsky 与 Chris Lattner 讨论 Modular 如何通过语言和编译器设计，努力让加速器编程兼顾可移植性与速度。
1:50:28EN → 简体中文Lex Fridman· 2025年8月29日播客 · 2 人对谈每月有二十亿人打开的 87KB 程序嘉宾 Dave Plummer · 主持 Lex FridmanDave Plummer 和 Lex Fridman 聊任务管理器、早年的微软，以及自闭症人的大脑究竟怎么运作。
1:01:23EN → 简体中文Will Crichton：让 Rust 更容易理解Will Crichton · Brown University所有权可视化、交互式 trait 诊断和程序切片，展示了以证据为基础设计开发工具的方法。
1:27:41EN → 简体中文Ron Minsky 谈 Jane Street 的多核 OCaml 迁移历程Yaron Minsky · Jane Street一次生产环境迁移暴露了垃圾回收器的性能回退，催生新的节奏控制设计，也展示了将研究变为可靠基础设施的困难。
51:06EN → 简体中文20VC with Harry Stebbings· 2025年7月18日播客 · 2 人对谈Scott Wu 谈 Cognition 收购 Windsurf 与 AI 编程的未来嘉宾 Scott Wu · 主持 Harry StebbingsCognition 首席执行官讲述这笔快速达成的收购、AI 智能体在工程中的作用，以及他对软件开发的预测。
6:08:48EN → 简体中文Lex Fridman· 2025年7月12日播客 · 2 人对谈没人认真相信 Cookie 横幅有用嘉宾 DHH · 主持 Lex FridmanLex Fridman 与 David Heinemeier Hansson 聊了六个小时，话题涵盖 Ruby、Rails、AI、离开云、苹果的 App Store，以及小公司为什么依然可以拒绝别人的钱。加载更多已显示 24 篇，共 74 篇