最近更新的频道

点选即可只看该频道浏览全部频道 →

最新文章

4,485 篇
排序
1:26:44EN → 简体中文
Lex Fridman· 2018年11月22日播客 · 2 人对谈他像养孩子一样养大 Python,然后把它放手交给社区嘉宾 Guido van Rossum · 主持 Lex Fridman2018 年,Guido van Rossum 在与 Lex Fridman 的对谈中,从电子制作套件和生命游戏讲起,一直讲到他辞去“终身仁慈独裁者”的那个周四早晨。开源与社区Programming LanguagesOpen-source ecosystems+3
54:03EN → 简体中文
Lex Fridman· 2018年11月16日播客 · 2 人对谈教科书略去了学习中最难的那部分嘉宾 Vladimir Vapnik · 主持 Lex FridmanVladimir Vapnik 在与 Lex Fridman 的对谈中认为,智能的核心工作是发明能缩小可容许函数集的谓词,在一大堆数据上拟合规则做不到这一点。模型与训练机器学习基础Deep Learning Critique+3
6 张幻灯片1:06:51EN → 简体中文
Jane Street· 2018年10月24日Marius Eriksen:用 Reflow 进行云端增量数据处理Marius Eriksen · GRAIL函数式语言和运行时将数据工作流转化为有类型的程序,复用已有结果并按需配置云资源。Software engineering基础设施与部署Programming Languages
42:18EN → 简体中文
Lex Fridman· 2018年10月20日播客 · 2 人对谈成年人能改变去年的想法,网络却做不到嘉宾 Yoshua Bengio · 主持 Lex FridmanYoshua Bengio 对 Lex Fridman 说,深度学习缺的那几块,在于信用分配、训练目标,以及从经典 AI 借来的一种组合性,靠堆出一万层网络补不上。模型与训练Deep Learning机器学习基础+3
37:53EN → 简体中文
Lex Fridman· 2018年10月17日播客 · 2 人对谈Steven Pinker:智能并不等于权力意志嘉宾 Steven Pinker · 主持 Lex Fridman这位哈佛心理学家在和 Lex Fridman 的对谈中说,把 AI 与核武器相类比、回形针的故事,以及对 AI 接管人类的恐惧,为什么都把解决问题和支配混为一谈。安全安全与治理Existential Risk+3
57:54EN → 简体中文
Lex Fridman· 2018年9月1日播客 · 2 人对谈通过每一项图灵测试的 2040 年 Siri,仍然不会有意识嘉宾 Christof Koch · 主持 Lex Fridman神经科学家 Christof Koch 在与 Lex Fridman 的对话中说明:智能是一种功能,意识是一种存在;一个完美的大脑模拟,并不比模拟黑洞的笔记本电脑更有内在的体验。Consciousness & IntelligencePhilosophy of MindAI research+3
1:22:58EN → 简体中文
Lex Fridman· 2018年8月26日播客 · 2 人对谈NASA 要是在火星上一无所获,Max Tegmark 反而会欢呼嘉宾 Max Tegmark · 主持 Lex Fridman《生命3.0》的作者、麻省理工学院物理学家 Max Tegmark 在与 Lex Fridman 的对话中说,在可观测宇宙里,我们可能是唯一发展出高级文明的生命。因此,通用人工智能(AGI)的对齐是一份宇宙级的责任,不只是科幻小说里的一条支线。安全安全与治理AGI Timelines+3
9 张幻灯片1:14:23EN → 简体中文
Jane Street· 2018年8月24日Cristina Rosu:用 Incr_dom 和 OCaml 构建动态 Web 应用Cristina Rosu · Jane Street从实用角度介绍 Elm 架构、虚拟 DOM 和增量计算,并现场演示计数器应用。Programming LanguagesSoftware engineeringDeveloper productivity+1
14:26EN → 简体中文
3Blue1Brown· 2018年5月19日把导数看作变换:不动点的稳定性Grant Sanderson局部缩放视角解释连分数及其两个不动点。MathematicsEducation
11 张幻灯片1:02:34EN → 简体中文
Jane Street· 2018年5月10日Andy Ray:用 OCaml 设计 FPGA 并在其上运行软件Andy Ray · Jane StreetHardCaml 将 OCaml 变成硬件设计语言。Andy Ray 讲解 FPGA 基础、仿真和验证,并演示在软 CPU 上运行的 OCaml 软件栈。SemiconductorsProgramming LanguagesSoftware engineering+1
1:03EN → 简体中文
Lex Fridman· 2018年4月21日播客 · 2 人对谈Geoffrey Hinton 在 2016 年对文档理解的展望嘉宾 Geoffrey Hinton · 主持 Lex Fridman关于翻译和语义搜索的一次历史预测。
25:26EN → 简体中文
3Blue1Brown· 2018年4月20日用几何证明 π 的 Wallis 乘积单位根、圆上的距离和谨慎处理的极限解释一个无穷乘积。MathematicsScience Communication
8 张幻灯片1:14:37EN → 简体中文
Jane Street· 2018年4月5日为 OCaml 添加效应系统Leo White · Jane Street一个原型将代数效应引入 OCaml 类型系统,并探索如何追踪异常、I/O 和局部可变状态。Programming LanguagesSoftware engineering开发流程与测试
5 张幻灯片1:08:43EN → 简体中文
Jane Street· 2018年3月19日Ron Minsky:类型及其对软件的重要性Yaron Minsky · Jane Street类型系统可以提升程序性能、发现错误并指导大型重构,但其价值取决于语言和工作内容。Ron Minsky 通过实际例子解释其中的取舍。Programming LanguagesSoftware engineering开发流程与测试
39:42EN → 简体中文
Google DeepMind· 2018年3月7日Shane Legg:如何测量机器智能Shane Legg · Google DeepMind一项发表于 2010 年的通用智能定义,以及通过多种环境中的测试近似测量它的方法。AI research评估Reinforcement Learning+2
6 张幻灯片1:10:18EN → 简体中文
Jane Street· 2018年2月28日Shriram Krishnamurthi:为真实课堂设计计算课程Shriram Krishnamurthi · Brown UniversityBootstrap 项目将课程设计视为工程问题:先确定目标和约束,再支持教师并衡量学习成果。EducationProgramming LanguagesSoftware engineering
45:48EN → 简体中文
GOTO Conferences· 2018年2月21日2017 年的 Kotlin 多平台:跨层共享逻辑Dmitry JemerovDmitry Jemerov 介绍早期 expect/actual 模型、JavaScript 集成与原生计划。Software engineering
6 张幻灯片1:06:49EN → 简体中文
Jane Street· 2018年1月30日Bryan Cantrill:寻找性能飓风背后的蝴蝶Bryan Cantrill · Joyent微小缺陷可能穿过层层抽象,引发大规模性能故障。Bryan Cantrill 讲解如何通过提问、埋点和可视化展开调查。可观测性与可靠性基础设施与部署Software engineering
8 张幻灯片56:12EN → 简体中文
Jane Street· 2018年1月16日傅里叶的回声:从声波到快速卷积Christopher Hardin通过实际例子了解傅里叶变换、卷积,以及如何用数学方法让录音呈现真实或想象空间的声学效果。MathematicsSoftware engineering
1:00:38EN
Lex 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.安全Autonomous Driving安全与治理+3
5 张幻灯片56:06EN → 简体中文
Jane Street· 2017年12月4日Jane Street 如何用 Iron 审查代码Ian Henry · Jane StreetJane Street 的内部审查工具记录每位审查者实际读过的内容,将反馈保存在代码中,并在发布前执行审查要求。Code review & verificationSoftware engineering开发流程与测试
6 张幻灯片1:13:25EN → 简体中文
Jane Street· 2017年11月27日Nate Foster:验证可编程网络数据平面Nate Foster, Yaron Minsky · Cornell Universityp4v 如何将程序验证用于数据包处理代码,以及其结论为何取决于控制平面假设。Programming LanguagesSoftware engineeringCode review & verification
42:07EN → 简体中文
GOTO Conferences· 2017年11月7日使用异步微服务实现家庭自动化Fred GeorgeFred George 讲解 2017 年的设备、事件与小型服务实验。Software engineering基础设施与部署
20:33EN → 简体中文
3Blue1Brown· 2017年10月16日梯度下降:神经网络如何学习Grant Sanderson, Leisha Lee · 3Blue1Brown直观介绍如何最小化训练损失,并观察数字分类器学到了什么、没有学到什么。Deep LearningMachine LearningMathematics+1
加载更多已显示 24 篇,共 4,485 篇