最新文章
4,485 篇排序
37:53EN → 简体中文
Lex Fridman· 2018年10月17日播客 · 2 人对谈Steven Pinker：智能并不等于权力意志嘉宾 Steven Pinker · 主持 Lex Fridman这位哈佛心理学家在和 Lex Fridman 的对谈中说，把 AI 与核武器相类比、回形针的故事，以及对 AI 接管人类的恐惧，为什么都把解决问题和支配混为一谈。
57:54EN → 简体中文Lex Fridman· 2018年9月1日播客 · 2 人对谈通过每一项图灵测试的 2040 年 Siri，仍然不会有意识嘉宾 Christof Koch · 主持 Lex Fridman神经科学家 Christof Koch 在与 Lex Fridman 的对话中说明：智能是一种功能，意识是一种存在；一个完美的大脑模拟，并不比模拟黑洞的笔记本电脑更有内在的体验。
1:22:58EN → 简体中文Lex Fridman· 2018年8月26日播客 · 2 人对谈NASA 要是在火星上一无所获，Max Tegmark 反而会欢呼嘉宾 Max Tegmark · 主持 Lex Fridman《生命3.0》的作者、麻省理工学院物理学家 Max Tegmark 在与 Lex Fridman 的对话中说，在可观测宇宙里，我们可能是唯一发展出高级文明的生命。因此，通用人工智能（AGI）的对齐是一份宇宙级的责任，不只是科幻小说里的一条支线。
1:14:23EN → 简体中文
Jane Street· 2018年8月24日Cristina Rosu：用 Incr_dom 和 OCaml 构建动态 Web 应用Cristina Rosu · Jane Street从实用角度介绍 Elm 架构、虚拟 DOM 和增量计算，并现场演示计数器应用。
14:26EN → 简体中文
3Blue1Brown· 2018年5月19日把导数看作变换：不动点的稳定性Grant Sanderson局部缩放视角解释连分数及其两个不动点。
1:02:34EN → 简体中文Jane Street· 2018年5月10日Andy Ray：用 OCaml 设计 FPGA 并在其上运行软件Andy Ray · Jane StreetHardCaml 将 OCaml 变成硬件设计语言。Andy Ray 讲解 FPGA 基础、仿真和验证，并演示在软 CPU 上运行的 OCaml 软件栈。
1:03EN → 简体中文Lex Fridman· 2018年4月21日播客 · 2 人对谈Geoffrey Hinton 在 2016 年对文档理解的展望嘉宾 Geoffrey Hinton · 主持 Lex Fridman关于翻译和语义搜索的一次历史预测。
25:26EN → 简体中文3Blue1Brown· 2018年4月20日用几何证明 π 的 Wallis 乘积单位根、圆上的距离和谨慎处理的极限解释一个无穷乘积。
1:14:37EN → 简体中文Jane Street· 2018年4月5日为 OCaml 添加效应系统Leo White · Jane Street一个原型将代数效应引入 OCaml 类型系统，并探索如何追踪异常、I/O 和局部可变状态。
1:08:43EN → 简体中文Jane Street· 2018年3月19日Ron Minsky：类型及其对软件的重要性Yaron Minsky · Jane Street类型系统可以提升程序性能、发现错误并指导大型重构，但其价值取决于语言和工作内容。Ron Minsky 通过实际例子解释其中的取舍。
39:42EN → 简体中文
Google DeepMind· 2018年3月7日Shane Legg：如何测量机器智能Shane Legg · Google DeepMind一项发表于 2010 年的通用智能定义，以及通过多种环境中的测试近似测量它的方法。
1:10:18EN → 简体中文Jane Street· 2018年2月28日Shriram Krishnamurthi：为真实课堂设计计算课程Shriram Krishnamurthi · Brown UniversityBootstrap 项目将课程设计视为工程问题：先确定目标和约束，再支持教师并衡量学习成果。
45:48EN → 简体中文
GOTO Conferences· 2018年2月21日2017 年的 Kotlin 多平台：跨层共享逻辑Dmitry JemerovDmitry Jemerov 介绍早期 expect/actual 模型、JavaScript 集成与原生计划。
1:06:49EN → 简体中文Jane Street· 2018年1月30日Bryan Cantrill：寻找性能飓风背后的蝴蝶Bryan Cantrill · Joyent微小缺陷可能穿过层层抽象，引发大规模性能故障。Bryan Cantrill 讲解如何通过提问、埋点和可视化展开调查。
56:12EN → 简体中文Jane Street· 2018年1月16日傅里叶的回声：从声波到快速卷积Christopher Hardin通过实际例子了解傅里叶变换、卷积，以及如何用数学方法让录音呈现真实或想象空间的声学效果。
1:00:38ENLex Fridman· 2017年12月6日播客The 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· 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 如何将程序验证用于数据包处理代码，以及其结论为何取决于控制平面假设。
42:07EN → 简体中文GOTO Conferences· 2017年11月7日使用异步微服务实现家庭自动化Fred GeorgeFred George 讲解 2017 年的设备、事件与小型服务实验。
20:33EN → 简体中文3Blue1Brown· 2017年10月16日梯度下降：神经网络如何学习Grant Sanderson, Leisha Lee · 3Blue1Brown直观介绍如何最小化训练损失，并观察数字分类器学到了什么、没有学到什么。
18:18EN → 简体中文3Blue1Brown· 2017年7月21日希尔伯特曲线：无限路径如何启发有限图像一条递归的像素路径，引出填满正方形的连续曲线。
1:38:23EN → 简体中文Jane Street· 2017年7月18日Yudkowsky 与 Hanson 辩论：智能爆炸会集中于一处吗？Eliezer Yudkowsky, Robin Hanson一场关于自我改进的 AI、知识积累、创新，以及先行者能否取得决定性领先的历史辩论。
52:51EN → 简体中文Jane Street· 2017年6月20日Caveat Configurator：当配置变成代码Dominick LoBraico · Jane StreetDominick LoBraico 解释灵活的 OCaml 插件为何给 Jane Street 的生产环境带来问题，以及配置生成和规范的插件管理如何应对这些问题。
5:38EN → 简体中文3Blue1Brown· 2017年5月7日高阶导数：弯曲、加速度与加加速度Grant Sanderson通过直观图像认识导数的导数。加载更多已显示 24 篇，共 4,485 篇