编辑｜小智

　　本周要闻：2017全球移动互联网大会正在北京召开；谷歌开发了一个新的操作系统——Fuchsia；霍金：人工智能的崛起可能是人类文明的终结；TensorFlow 1.1.0 发布；Netcraft 4月 Web 服务器排名，微软已超 Apache 两倍；微软花了6个月才修复Office严重漏洞。

　　2017全球移动互联网大会正在召开，哪些亮点值得关注？

GMIC 2017北京大会将于4月27日-5月1日拉开帷幕。大会以“天·工·开·悟”为主题，寓意关注未来，着眼现在，在拥抱人工智能、商业航天、无人车等前沿领域的同时，关注如环境、医疗健康、娱乐、移动支付、教育等与生活息息相关的话题。

与往届相比，令人特别关注的是，不少全球顶尖的科学家们也参与到GMIC 2017北京大会中。作为本次大会的一大亮点，GMIC北京大会将设置G-Summit全球科学创新峰会北京专场，采用邀请制闭门峰会形式，以“科学复兴“为主题，邀请100位来自人工智能、生物医药、材料科学等前沿领域、享有世界声誉的顶尖科学家汇聚一堂，与创新企业领袖、前瞻投资人一起，以科学之名，探讨人类社会的新价值。

　　谷歌的Fuchsia：一个新的操作系统

Fuchsia是谷歌开发的一个操作系统，这是一个差不多从头研发的新系统。2016年8月，Fuchsia的开发新闻在技术新闻网站上引发了轰动，不过很多细节依旧成谜。Fuchsia是一个开源项目，无论开发工作还是相关的文档都还在持续完善中，除了该项目为开源之外，谷歌并未透露更多信息，包括其真正用途。根据零散分布在网上的文档、源码等信息，我们可以推测：Fuchsia是一个专为PC、平板电脑及高端手机所开发的一套完整的操作系统。

在源码库中可以下载到Fuchsia的源码及所有组件，如果诸位喜欢探索实验性质的操作系统，可以尝试一下这个系统——非常有趣。Fuchsia包含一个内核，其顶层是使用者空间（User Space）组件，负责提供Library及工具。源数据库中，在Fuchsia目录的下面有许多子项目，主要都是协助开发者创建应用的资料库及工具项目。Fuchsia大部分使用三条款BSD许可证（3-clause BSD license）授权，不过其内核是基于另一个项目Little Kernel（LK）建立的，而后者使用了MIT许可证，因此其内核的授权协议是混合型的。Fuchsia中包含的第三方软件都是根据其各自的开源许可证进行授权的。

　　微软宣布Azure Service Fabric SDK开源

微软最近宣布Azure Service Fabric SDK的源代码已经开源。Azure Service Fabric是一个分布式平台，用于微服务的打包、部署和管理。SDK暴露了Service Fabric平台中与.NET应用集成的Service Fabric API。

SDK中暂时只有一部分是公开的。微软这样说道：

Service Fabric在2015年作为一个产品对外公开，在此之前，它已经作为微软内部平台开发了超过五年的时间。这样导致的结果就是，我们的开发流程依然很深地植根于内部构建流程、工具和测试集。所以目前我们会继续在内部开发。在SDK每次发布的时候，我们会将最新的变更push到GitHub。随着时间的推移，我们会将更多的开发流程和工具对外开放。

　　Slack从Java切换至Type

Slack桌面端工程师Felix Rieseberg撰文介绍了Slack从Java切换至Type充满挑战，但也获得了巨大收益的过程。为了简化大型Java代码库的管理工作，在放弃使用JSDoc进行函数签名的记录，以及相关用途的描述后，Slack团队决定切换至Type。Rieseberg专门提到，对于现有代码库，很难应用JSON的方法，因为这需要对代码的修改制定严格的约束，但实际上通常可能根本无法轻松地了解预期的类型到底是什么，例如一个Ppromise所要解决的到底是什么问题。

Slack团队选择Type的原因之一在于，Type是Java的超集，因此无须更改现有代码即可使用，并能在采用后逐渐启用其代码分析功能，包括很多流行的软件包中提供的类型定义。随着时间的流逝，他们稍后还可以启用高级编译器选项，例如--noImplicitAny，借此防止编译器就any类型进行推断。Rieseberg说他们花了大约六个月的时间为大部分桌面应用的代码添加注解，在这个过程中，编译器发现了很多Bug，并且他们通过诸如自动补全等高级编辑功能大幅加快了开发速度。

　　Google 宣布与 Elastic 达成战略合作协议

4月6日谷歌对外宣布，她将与Elastic建立合作伙伴关系以提供用于Elasticsearch和Kibana开源软件的完整版本。Elasticsearch的核心功能是提供用于结构化和非结构化数据的搜索引擎，而Kibana则提供兼容的搜索仪表板和可视化服务。在同一天Elastic公司的网站上也发布了相同消息。

谷歌，这家业界首屈一指的互联网搜索公司，要向她的云平台里加入新的搜索服务了。谷歌云平台一直向企业客户出租计算、存储和网络等服务，现在谷歌则要与Elastic公司合作，为谷歌云提供新的搜索以及相关分析服务。

　　霍金：人工智能的崛起可能是人类文明的终结

4月27日，2017全球移动互联网大会（GMIC）在北京国家会议中心举行。著名物理学家斯蒂芬·霍金通过视频发表了题为《让人工智能造福人类及其赖以生存的家园》的主题演讲。他表示，人工智能的崛起可能是人类文明的终结。这已经不是霍金第一次提出“人工智能威胁论”。在今年3月，霍金向英国《独立报》表示，人类必须建立有效机制尽早识别威胁所在，防止新科技（人工智能）对人类带来的威胁进一步上升。

霍金在会上表示，人工智能的威胁分短期和长期两种。短期威胁包括自动驾驶、智能性自主武器，以及隐私问题；长期担忧主要是人工智能系统失控带来的风险，如人工智能系统可能不听人类指挥。他还认为，生物大脑和计算机在本质上是没有区别的。这与英国物理学家罗杰·彭罗斯的观点恰恰相反，后者认为作为一种算法确定性的系统，当前的电子计算机无法产生智能。

不过，霍金也表示，虽然他对人工智能有各种担忧，但他对人工智能技术本身还是抱有乐观的态度。他认为人工智能带来的收益是巨大的，人类或许借助这一强大的工具，可以减少工业化对自然的伤害。“但我们不确定我们是会被智能无限地帮助，还是被无限地边缘化，甚至毁灭。”他补充道。

转载请注明出处。