韩国研发“杀人机器人”遭众多学者联名抵制；微软发布 Visual Studio 发展路线图...

0、韩国研发“杀人机器人”，周志华、Hinton 等 50 多名学者联名抵制

最近，韩国科学技术院大学（KAIST）遭到了全球 20 多个国家、50 多名高校顶尖 AI 学者的集体抵制。KAIST 是韩国顶级名校，在 2016 年 QS 世界大学排名中居亚洲第 6、世界第 43 位。

来自蒙特利尔大学 Yoshua Bengio、多伦多大学 Geoffrey Hinton、瑞士人工智能实验室 Jürgen Schmidhuber、加州大学伯克利分校 Stuart Russell、香港中文大学的华云生教授、香港科技大学的杨瓞仁教授、南京大学的周志华教授等人，通过新南威尔士大学官网，向 KAIST 发出一封 公开信：停止研发自主武器！

这 50 多名学者们担心， KAIST 研发自主武器将会加速 AI 军备竞赛，像这样的技术可能导致更大规模的战争加速到来 。他们在信中警告，如果成功研制自主武器，战争速度之快、战争规模之大，将是前所未见的，也有可能成为恐怖分子的武器。

公开信发出后，KAIST 的总裁 Sung-Chul Shin 表示，听到抵制的消息他感到很难过。“我想重申，KAIST 没有任何意图参与开发致命的自主武器系统和杀手机器人。”Shin 在一份声明中说。

2015 年 7 月，来自世界各地的数千名的人工智能研究人员签署了一封公开信，呼吁联合国禁止超出人类控制的攻击性自主武器。迄今为止，已有 22 个国家要求禁止自主武器。

近日，谷歌与五角大楼合作遭 3100 名员工联名反对，事实上，人们没有办法阻止 AI 能力进入攻击性武器。但反对自主武器的 AI 科学家们却值得我们致敬

1、Java 全文搜索服务器 Apache Solr 7.3.0 发布

Apache Solr 7.3.0 已发布，Apache Solr (读音: SOLer) 是一个开源的搜索服务器。Solr 使用 Java 语言开发，主要基于 HTTP 和 Apache Lucene 实现。主要更新内容：

● SOLR-11798: The top-level <highlighting> syntax in solrconfig.xml is now formally deprecated in favour of <searchComponent> equivalent syntax. See also SOLR-1696.

● SOLR-11809: QueryComponent's rq parameter parsing no longer considers the defType parameter.

● ......（详情：http://www.apache.org/dyn/closer.lua/lucene/java/7.3.0 ）

2、谷歌开源 iOS 自动测试框架 GTXiLib，主打无障碍使用

最近 Google 在帮助开发者提升 App 可用性上可谓是动作频频，不只发布了无障碍技术指导方案，成立无障碍支援团队，近日还在博客上宣布开源 iOS 专用的自动化测试框架 GTXiLib ，以帮助开发者打造无障碍 App 。

GTXiLib 采用 Objective-C 编写，能与现存的 XCTest 测试框架整合，并在 XCTest 结束调用 tearDown 前，执行所有注册的可用性检查。当 GTXiLib 检测失败时，XCTest 的测试也会失败，两者相辅相成，能够更好地修补和发现问题。（详情：https://github.com/google/GTXiLib）

3、Kubernetes 1.7.16 和 1.7.17-beta.0 发布

Kubernetes 1.7.16 和 1.7.17-beta.0 发布了。主要更新内容如下：

● Use GCE metadata proxy v0.1.4-r1 to pick up security fixes. (#60245, @ihmccreery)

● Fixes storage e2e test failures in GKE regional clusters. (#61303, @verult)

● ......（详情：https://github.com/kubernetes/kubernetes/releases/download/v1.7.16/kubernetes.tar.gz）

4、PostgreSQL 或将因 LLVM JIT 获得更高性能

据了解，使用最广的 PostgreSQL 数据库可能会在近期变得巨快，这要感谢正在进行的 LLVM JIT 计划。分析称，该技术的原理是通过利用 LLVM 的即时编译支持，在 PostgreSQL 中进行 JIT 编译 SQL 查询，而不是通过 Postgres 的解释器传递 SQL 查询。通过 LLVM JIT 查询，可以更多地使用运行时信息，并且特别有助于提高复杂 SQL 查询的性能，从而生成更高效的代码。

5、Apache Geode 1.5.0 发布，数据管理平台

Apache Geode 1.5.0 已发布，Apache Geode 是一个数据管理平台，提供实时的、一致的、贯穿整个云架构地访问数据关键型应用。

Geode 1.5.0 包含许多改进和错误修复。 此版本在 OQL 查询的 WHERE 子句中增加对算术运算符的支持，销毁网关接收器的新 API，允许泛型与 registerInterest API 一起使用等（详情：https://cwiki.apache.org/confluence/display/GEODE/Release+Notes#ReleaseNotes-1.5.0）

6、Framework7 2.2.1 发布，全功能 HTML 框架

Framework7 2.2.1 已发布，Framework7 是一个开源的全功能 HTML 框架，用于构建具有 iOS 和 Android 原生外观的混合移动应用程序或 Web 应用程序。主要更新内容：

● List Index

Improved page scroll logic when scrolling upward

● Router

Fixed issue when Swipe Back may not work for views other than main

● ......（详情：https://github.com/framework7io/framework7/blob/master/CHANGELOG.md）

7、Apache Tomcat 8.5.29 发布，性能改进

Apache Tomcat 8.5.29 发布了。Apache Tomcat 8.5.x 旨在替换 8.0.x，并包含 Tomcat 9.0.x 将有新功能。 最小的 Java 版本和实现的规范版本保持不变。 与 8.5.28 相比，显着的变化包括：

● TLS stability improvements.

● Add documentation for the Host Manager web application.    Patch provided by Marek Czernek.

● ......（详情：https://tomcat.apache.org/download-80.cgi ）

8、微软发布 Visual Studio 发展路线图，大量新功能来袭

近日，微软在其官网发布了 Visual Studio 的发展路线图，详细介绍了这款流行的 IDE 的下一步动作。

该公司列出了目前正在开展的工作，并将其分为两个时间段：在第一个阶段，开发者将有望看到大量的新功能和改进，包括 JIT 调试和 .NET Core Step Back，自定义 Visual Studio 安装位置，改进启动和解决方案加载性能以及构建 F＃Azure 函数和 F＃ASP.NET Core 项目等等。第二个阶段的计划目前相对较少，但仍包含很多值得期待的事情。包括对 IntelliSense 的改进，C ++ 调试器的后退功能，使用命令行推至 Visual Studio Marketplace ，以及在具有不同 DPI 的显示器之间使用 Visual Studio 的能力。

9、《System Shock》开源

著名赛博朋克游戏《System Shock》在 GPLv3 许可证下开源，源代码托管在 GitHub 上。源代码包括了三部分：游戏代码， Mac 特定代码以及游戏开发商 Looking Glass 的游戏共享库。源代码不包括任何游戏数据，游戏数据仍然受到版权保护。《System Shock》由 Looking Glass 开发，1994 年发售，被认为开创了应变式游戏的新类型，进入了多个游戏名人堂排行榜，但 Looking Glass 没有赚到钱，续作《System Shock 2》被外包给 Irrational Games 开发。