在这篇文章中，Jeff Dean 等人工智能大牛描绘了一幅机器学习在医疗领域的应用蓝图。 ...

微软发布了受 TypeScript 语法类型与 ML 和 Node/JavaScript 语义启发的新语言 Bosque ，源代码采用 MIT 许可证，托管在 GitHub上。Bosque 创作者是微软研究院的计算机科学家 Mark Marron，他设计通过拥抱代数运算和避开导致复杂性的技术，试图创造出一种简单易懂的语言，走出 1970 年代兴起的结构化编程模型。结构化编程范例使用循环、条件和子程序去管理流控制。Marron 相信我们可以通过抛弃循环、可变状态和参考相等性等导致复杂性的源头来做到更好。Bosque 代表了被 Marron 称为正规化编程（PDF）的编程范例。

...

宇宙最初是由三种简单的单原子元素构成，恒星要在创世大爆炸一亿年之后才会形成。但在一万年内，最早的分子出现了，它是氦和氢的一种组合，被称为氢化氦离子或 HeH+。它的形成是宇宙日益复杂之路的第一步，类似地球的生命从单细胞转变到多细胞。科学家早于 1925 年就在实验室里研究过 HeH+，但在自然环境中一直没有检测到它的存在。1970 年代的模型预测 HeH+ 应该大量存在于死亡的类太阳恒星喷射出的气体中。问题是地球大气层会消除这种分子所在电磁波段，它无法从地面探测到。因此 NASA 和德国宇航中心联合打造了空中观测站，使用了一架波音 747 飞机，安装了 2.7 米的巨大望远镜和红外光谱仪。在 2016 年 5 月进行的一系列飞行中，他们的设备探测到了 HeH+ 存在的证据。

...

苏格兰哲学家休谟（David Hume）认为，政府的起源，是人们舍远图近的偏狭心理，无法根本地救治自己或他人 。休谟相信，政府机构，如政治代表和议会辩论，有助于缓和我们冲动、自私的欲望，促进社会的长期利益和福祉。在今天看来，休谟的观点似乎是一厢情愿，因为我们的政治制度显然已经变成了短视泛滥的原因，而不是消除短视的良药。当新闻媒体一周 7 天、一天 24 小时不间断报道英国脱欧谈判的最新进展，或对美国总统的即兴推文喋喋不休时，现代民主政治的短视昭然若揭。那么，有没有针对政治短视的解药，能够长远地考虑后代子孙的利益呢？

...

Mozilla 物联网团队宣布了物联网开放平台 WebThings。Mozilla 的使命是确保互联网是一个全球公共资源，对所有人开放，所有人都可以访问。互联网将真正把人民放在第一位，个人能获得赋权、安全和独立。而 Mozilla 物联网团队的使命则是创建一种 Web of Things 实现去体现那些价值，帮助推动制定物联网的安全、隐私和互操作标准。它包括两个项目：用于家庭智能网关的软件发行版 WebThings Gateway，将突出隐私、安全和互操作；WebThings Framework，帮助开发者构建 web things 的可重复利用软件组件集。

...

一种能对疟疾提供 100% 防护的疟疾疫苗将首次在一项大规模临床试验中进行测试。试验将于 2020 年初在赤道几内亚海岸外的比奥科岛实施，将有 2100 名年龄在 2 至 50 岁之间的受试者参与。领导这项研究的疟疾研究人员 Steve Hoffman 表示，这项试验的目的是提供监管机构批准该疫苗所需的有效性和安全性数据。Hoffman 同时还是美国马里兰州罗克维尔市 Sanaria 公司的首席执行官，该公司开发了这种疫苗。赤道几内亚政府和私营能源公司正在赞助这项试验。在实验室研究中，这种名为 PfSPZ 的疫苗已被证明是迄今开发的最有效的疟疾疫苗，能为健康的志愿者提供完全的保护。PfSPZ 疫苗的工作原理是激发对恶性疟原虫的一种免疫反应。

...

NASA 的凌日系外行星巡天卫星（Transiting Exoplanet Survey Satellite，TESS）发现了它的第一颗类地行星。研究报告（预印本）发表在《Astrophysical Journal Letters》期刊上。新发现的类地行星围绕恒星 HD 21749 运动，这颗恒星距离地球 52 光年。HD 21749 有两颗行星，另一颗是类海王星，公转一周 36 天。类地行星 HD 21749c 是一颗岩石行星，但不适宜居住，公转一周 7.8 天，表面温度可能高达 800 摄氏度。这项发现证明 TESS 能识别临近恒星的小型行星。

...

2D 物理和合作建造独立游戏《King Arthur's Gold》宣布免费并公开源代码，源代码托管在 GitHub 上。《King Arthur's Gold》混合了失落的维京人的合作元素，加上了百战天虫中可完全摧毁地形的能力以及合金弹头系列里的视觉效果和动作元素。免费玩家限制了定制性，但可以通过购买 DLC 或 patreon 捐款支持解锁所有定制选项。

...

剑桥大学的一项新研究表明，英国约有四百万人携带能保护他们免受肥胖，2 型糖尿病和心脏病困扰的遗传变异。多年来科学家们已经知道基因可以影响一个人的体重。在调节体重中起关键作用的基因之一是 MC4R，它编码的是黑皮质素 4 受体。这种受体就像大脑中的开关，可以抑制食欲。如果体内这种受体出现了突变，那么就会很人容易增加体重。在最新的一项研究中，研究人员发现 MC4R 基因其它可以增加这种大脑受体活性的遗传突变，可以让人体不会超重，这一新发现将有助于新药去 “拷贝” 这种遗传突变，以达到或保持减肥的效果。研究报告（PDF）发表在《Cell》期刊上。

...

流行的远程访问和管理工具 OpenSSH 释出了 8.0 版本，新版本包含了众多新特性和 bug 修复。其中安全相关的变化包括 scp(1)工具和协议(CVE-2019-6111)弱点的缓解措施：从一个远程系统向本地目录拷贝文件时，scp(1)没有验证服务器发送的文件名是否就是客户请求的，这允许恶意的服务器利用其控制的内容创建用户不想要的本地文件。OpenSSH 8.0 加入了客户端的文件名检查。开发者称 scp 协议已经过时，没有准备好修复，他们推荐用户使用更现代的协议如 sftp 和 rsync 用于文件传输。

...

Canonical 宣布释出 Ubuntu 19.04“Disco Dingo”，同时发布的还有各个衍生版本，其中包括专为中国用户打造的优麒麟。Disco Dingo 不是长期支持版本，仅支持到 2020 年 1 月，但它为下一个长期支持版本打好了基础。Ubuntu 19.04 的新特性包括：桌面环境 GNOME 3.32，引入了新的视觉体验，更高的帧率，更流畅的启动动画，更快的图标加载，减少了 CPU+GPU 负荷， X-org 和 Wayland 支持 HiDPI 显示屏的分数缩放。其它变化包括内核升级到 Linux 5.0，QEMU 3.1、libvirt 5.0、glibc 2.29、OpenJDK 11、boost 1.67、rustc 1.31、GCC 8.3、可选 GCC 9，默认 Python 3.7.3 等等。中国的优麒麟则还有搜狗拼音输入法 Linux 版和金山 WPS 等。

...