爱德华九九
加入了Miri团队！！Edward是一个突出的Haskell开发人员，普及使用镜头进行功能编程，目前在Haskell核心库周围维护许多库。
我也很高兴地宣布另一个新招聘：詹姆斯达人。詹姆斯在毛发启动下三年后加入Miri研究团亚博体育官网队。他以前从麻省理工学院过了数学和CS，并且他拥有来自国际奥林匹克国际奥林匹克的银牌，是世界上最负盛名的CS比赛之一。
在其他新闻中，我们今天发布了新版本合理性：从AI到僵尸合法的文本修订（第一次）打印版！
最后，我们2018年筹款人在我们的第一个目标上通过了中途标记！（目前有136,000美元以美元为美元的捐赠者匹配加倍开车！）
其他更新
- 斯图尔特阿姆斯特朗和索伦·蒙伯班的一篇新论文：“冬季的剃刀不足以推断不合理代理的偏好。“
- 新的AI对齐论坛帖子：Kelly Bettors.;有界甲骨文归纳
- Openai的杰克克拉克和轴讨论AI中的研究亚博体育官网共享，跟进我们的2018年更新邮政。
- eliezer yudkowsky的一个回归帖子：伦理学家是否应该在职业内部或外部？
新闻和链接
- 来自DeepMind安全团队的新款：Jan Leike的可扩展的代理通过奖励建模对齐（arxiv）和viktoriya krakovna的关于AI安全机器学习方法的探讨。
- 两个最近发布的核心对齐论坛序列：Rohin Shah's价值学习和保罗·克里努瓦迭代放大。
- 在80,000小时播客，凯瑟琳奥尔森和丹尼尔齐格勒讨论ML工程师的路径参与AI安全。
- Nick Bostrom有一个新的纸张：“脆弱的世界假说。“
