最新文章
4,485 篇排序
45:48EN → 简体中文2017 年的 Kotlin 多平台:跨层共享逻辑Dmitry JemerovDmitry Jemerov 介绍早期 expect/actual 模型、JavaScript 集成与原生计划。
1:06:49EN → 简体中文Bryan Cantrill:寻找性能飓风背后的蝴蝶Bryan Cantrill · Joyent微小缺陷可能穿过层层抽象,引发大规模性能故障。Bryan Cantrill 讲解如何通过提问、埋点和可视化展开调查。
56:12EN → 简体中文傅里叶的回声:从声波到快速卷积Christopher Hardin通过实际例子了解傅里叶变换、卷积,以及如何用数学方法让录音呈现真实或想象空间的声学效果。
1:00:38ENThe Race Car and the Rulebook: Chris Gerdes on Automated Vehicle Safety主持 Lex FridmanA Stanford engineer and former DOT innovation chief explains how autonomous racing, voluntary safety guidance, and data sharing could shape safer self-driving cars.
56:06EN → 简体中文Jane Street 如何用 Iron 审查代码Ian Henry · Jane StreetJane Street 的内部审查工具记录每位审查者实际读过的内容,将反馈保存在代码中,并在发布前执行审查要求。
1:13:25EN → 简体中文Nate Foster:验证可编程网络数据平面Nate Foster, Yaron Minsky · Cornell Universityp4v 如何将程序验证用于数据包处理代码,以及其结论为何取决于控制平面假设。
42:07EN → 简体中文使用异步微服务实现家庭自动化Fred GeorgeFred George 讲解 2017 年的设备、事件与小型服务实验。
20:33EN → 简体中文梯度下降:神经网络如何学习Grant Sanderson, Leisha Lee · 3Blue1Brown直观介绍如何最小化训练损失,并观察数字分类器学到了什么、没有学到什么。
18:18EN → 简体中文希尔伯特曲线:无限路径如何启发有限图像一条递归的像素路径,引出填满正方形的连续曲线。
1:38:23EN → 简体中文Yudkowsky 与 Hanson 辩论:智能爆炸会集中于一处吗?Eliezer Yudkowsky, Robin Hanson一场关于自我改进的 AI、知识积累、创新,以及先行者能否取得决定性领先的历史辩论。
52:51EN → 简体中文Caveat Configurator:当配置变成代码Dominick LoBraico · Jane StreetDominick LoBraico 解释灵活的 OCaml 插件为何给 Jane Street 的生产环境带来问题,以及配置生成和规范的插件管理如何应对这些问题。
5:38EN → 简体中文高阶导数:弯曲、加速度与加加速度Grant Sanderson通过直观图像认识导数的导数。
22:19EN → 简体中文泰勒级数:把导数变成近似构造余弦近似,从几何角度理解二次项,并认识收敛性。
12:39EN → 简体中文平均高度与平均斜率如何连接积分和导数3Blue1Brown 用 sin x 的平均值直观解释面积与原函数斜率之间的联系。
16:50EN → 简体中文导数与瞬时变化的悖论Grant Sanderson从差商、极限到立方函数导数的几何入门。
59:14EN → 简体中文Arjun Guha:验证系统配置Arjun Guha · UMass AmherstPuppet 清单虽然是声明式的,仍可能具有非确定性或不具备幂等性。验证工具通过建模资源之间的相互作用来发现这些问题。
38:17EN → 简体中文如何利用确定性重放构建可靠的交易系统Brian Nigito · Jane Street撮合引擎、组播和状态机复制可以让高吞吐量交易系统具备恢复能力。本讲座解释了这一设计及其权衡。
25:44EN → 简体中文函数式编程为何对 Jane Street 重要Sebastian Funk · Jane Street一位 Jane Street 开发者重新审视 John Hughes 的经典论点,并解释为什么表达能力强的静态类型对交易系统最重要。
28:31EN → 简体中文Incremental:OCaml 中的自调整计算Sebastian Funk · Jane StreetSebastian 介绍 Jane Street 的动态依赖图库,以及高效更新背后的算法。
13:58EN → 简体中文通过二进制计数解决汉诺塔Keith Schwarz二进制进位决定移动哪个圆盘,递归论证则说明这一解法为何使用最少步数。
16:29EN → 简体中文拓扑为什么重要:内接矩形的论证Grant SandersonGrant Sanderson 将曲线上的点对转化为莫比乌斯带。
1:29:03ENFrom Word Vectors to Memory Networks: The Building Blocks of Deep NLP主持 Lex FridmanRichard Socher explains how word embeddings, recurrent models, GRUs, pointer mixtures, and dynamic memory networks turn language tasks into trainable end-to-end systems.
13:10EN → 简体中文叉积坐标为何符合几何意义Grant Sanderson线性变换与对偶将行列式公式连接到面积和方向。
43:16EN → 简体中文平台如何运作:从部署到故障恢复Casey WestCasey West 介绍六项平台能力,并在 2016 年用 Cloud Foundry 演示。
加载更多已显示 24 篇,共 4,485 篇









