最新文章
4,485 篇排序
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 演示。
30:03EN → 简体中文Mustafa Suleyman 的 2016 年医疗技术愿景Mustafa Suleyman · DeepMind一场历史演讲讨论临床人员主导设计、肾损伤预警、眼部扫描研究和外部审查。
1:09:24EN → 简体中文Yaron Minsky 谈高效 ML:为代码读者编写 OCamlYaron Minsky · Jane StreetJane Street 分享类型、接口和抽象的实用经验,帮助大型 OCaml 代码库保持易理解和正确。
16:01EN → 简体中文最速降线:为什么最快下降路径是摆线Grant Sanderson, Steven StrogatzGrant Sanderson 与 Steven Strogatz 探讨 Bernoulli 的光线类比和几何证明。
1:06:39EN → 简体中文Jane Street 为什么使用 OCamlYaron Minsky · Jane StreetJane Street 的一场演讲解释了函数式编程和静态类型如何帮助构建可靠的交易软件,也探讨了选择较冷门语言的代价。
23:58EN → 简体中文有效使用 ML:错误、抽象与复杂度管理Yaron Minsky · Jane Street一位 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 接口和类型如何让长期使用的代码更易理解和修改。
52:20EN → 简体中文用 Toyota Kata 持续改进Håkan ForssHåkan Forss 介绍目标状态、教练对话和小实验。
7:27EN → 简体中文用图的对偶性证明欧拉公式平面图及其对偶图拥有互补的生成树。数一数它们的边,就能直观证明 V − E + F = 2。
1:36:30EN → 简体中文强化学习第 5 讲:无模型控制David SilverDavid Silver 讲解蒙特卡洛控制、SARSA、资格迹和 Q-learning。
6:13EN → 简体中文把欧拉恒等式看作旋转:3Blue1Brown 的早期讲解从几何角度理解指数函数如何连接复平面上的加法、乘法与旋转。
9:47EN → 简体中文Ryan Hall 谈柔术中的原则与优先级嘉宾 Ryan Hall · 主持 Lex Fridman一位缠斗教练讨论基础、细节和学习。
9:16EN → 简体中文Ryan Hall 谈竞赛的价值嘉宾 Ryan Hall · 主持 Lex Fridman一位武术家讨论准备、纪律和诚实反馈。
1:10:27EN → 简体中文硬技能让你进门,软技能决定你能走多远嘉宾 Jules Walter · 主持 Lenny RachitskyYouTube 产品负责人 Jules Walter 把 PM 能力拆成 IQ 与 EQ,并讲怎样用最小请求找到导师、把反馈变成习惯。
加载更多已显示 24 篇,共 4,485 篇









