Facebook 低调开发 AI 技术工具：自动扫描代码找漏洞

编辑 | 小智

本周要闻： 苹果和华为都声称第一款 7 纳米手机芯片；Facebook 开发 AI 技术工具，能自动扫描代码找漏洞；中国发布自己的域名系统基础软件 “红枫”；李飞飞从 Google 离职；TempleOS 作者去世；HHVM 将停止支持 PHP；微软 Edge 和苹果 Safari 浏览器曝漏洞，可致用户访问到虚假网站内容。

大公司

苹果和华为都声称第一款 7 纳米手机芯片

苹果刚刚宣布了新旗舰手机 iPhone Xs 和 Xs Max，声称它们搭配的 A12 处理器是第一款 7 纳米手机芯片。而华为上月底发布麒麟 980 时也声称它是第一款商用 7 纳米芯片。那么第一的荣誉究竟应该归谁？也许应该是台积电，这些芯片都是台积电生产的。台积电从今年 4 月开始批量生产 7 纳米芯片，竞争对手三星则要等到今年底或明年初。GlobalFoundries 最近宣布放弃 7 纳米工艺研发。英特尔的 10 纳米工艺等价于台积电和三星的 7 纳米工艺，而芯片巨人已经多次延期批量生产。苹果新手机使用的 A12 由 6 个 CPU 核心（2 个性能 4 个能效），4 个 GPU 核心和一个处理机器学习任务的 8 核神经网络引擎构成。苹果声称其神经网络引擎每秒能执行 5 万亿次运算。华为麒麟 980 的 CPU 是基于 Cortex-A76，有 8 个核心；GPU 是 Mali-G76。麒麟 980 有 69 亿个晶体管，搭载这款处理器的 Mate 20 手机将于 10 月 16 日发布。

Facebook 低调开发 AI 技术工具：自动扫描代码找漏洞

Facebook 低调开发和部署了一种名为 SapFix 的人工智能（AI）工具，可以自动扫描代码，寻找漏洞，然后测试不同的补丁，并向工程师推荐最佳修补方案。这款工具是在 Facebook 的 @Sacle 工程大会上宣布的，目前已经应用于 Facebook 庞大的代码库。该公司还计划最终向外部开发者分享该工具。SapFix 既可以与 Sapienz 配合使用，也可以独立使用，Sapienz 是 Facebook 之前的自动化漏洞发现工具，与 SapFix 配合使用时，可以针对 Sapienz 发现的问题推荐解决方案。

腾讯研究院发布《2018 年全球自动驾驶法律政策研究报告》

近日，腾讯研究院发布了《2018 年全球自动驾驶法律政策研究报告》。报告认为目前中国自动驾驶汽车领域仍面临立法空白、上路测试面临合法性质疑、高精地图测绘和使用受到法律限制等法律政策障碍；在宏观政策支持自动驾驶技术发展的同时，国家和地方也在陆续出台监管政策细则，规范自动驾驶。

百度有意为 AI 和自动驾驶汽车开拓海外市场

据 CNBC 报道，百度一直在积极探索人工智能和自动驾驶汽车等尖端科技。下一步，百度将把自己的 AI 和自动驾驶技术出口到海外市场，进一步向全球科技巨头的目标前进。百度已经开发并生产了 100 多辆自动驾驶公交车，这些自动驾驶汽车不日将部署到北京和深圳的街头，并将于 2019 年初进入日本的自动驾驶市场。

小米架构调整：元老放权新生代接班，发力 IoT 和互联网

此次调整后，小米八位联合创始人中大多数都已经历经分管业务的变化，有的去开拓新业务，有的从掌管具体业务走向纯管理岗位，有的则已经离职。重组成十个新的业务部之后，由四个互联网业务部、四个硬件产品部、一个技术平台部和一个消费升级的电商部构成，业务更加细分和清晰，同时这也意味着小米意欲在 IoT 和互联网业务上进一步发力。

发 布

中国发布自己的域名系统基础软件 “红枫”

中国发布了自己的域名系统基础软件 “红枫（Maple DNS）”。新闻稿称，红枫软件在 2011 年立项，由域名工程中心开发，“与目前广泛使用的免费开源软件 Bind9 相比，红枫软件由于采用全新架构设计，在高性能解析、多线路智能调度、快速数据更新、扩展性等多方面优于 Bind9。例如 Bind9 一般情况下每秒可以处理 5 万次查询请求，红枫软件可以轻松实现百万级查询能力。基于红枫软件，域名工程中心和中科曙光联合推出首台国产化域名服务器。”详情：

http://www.zdns.cn/page_1523801_3675863.html

Kotlin 1.2.70 发布，增量编译速度提高 7 倍

Kotlin 1.2.70 已发布，这是 Kotlin 1.2 的一个新的 bug 修复和工具更新版本。Kotlin/JS 增量编译得到了极大的改进。根据新的项目结构，这可以将开发速度提高 7 倍甚至更多。此外，Kotlin/JS Gradle builds 现在支持跨模块增量编译。

OpenSSL v1.1.1 发布：支持 TLSv1.3

"2018 年 9 月 11 日，著名的开源密码库项目 OpenSSL 发布了 v1.1.1 版本，本次版本最大的变化是加入了 TLSv1.3 的实现，TLSv1.3 简化了的密码套件的可选项，彻底剔除了 RSA padding，前向安全 ( Forward secrecy) 成为默认，大幅度增强了安全性的同时也改善了性能 ;v1.1.1 也参考 NIST standard SP 800-90Ar1，DRBG 默认使用 AES-CTR DRBG，新增加的算法包括 SHA3，SHA512/224 and SHA512/256，EdDSA (including Ed25519 and Ed448) 以及中国商业密码算法 SM2/SM3/SM4 等，但目前因为一些原因暂时未支持基于 TLS 协议下 SM2/SM3/SM4 的密码套件，基于 OpenSSL 的开源项目 GmSSL 对 SM2/SM3/SM4 实现的密码套件基于 TLSv1.1; 另外，这个版本也增强了对侧信道攻击的防御。"

Haiku OS 接近发布 beta 版本

开源 BeOS 操作系统 Haiku 在历尽 17 年开发之后正接近发布首个 Beta 版本。BeOS 操作系统在 2001 年被 Palm 收购后就停止了开发，Haiku 项目在这之后不久正式启动，2002 年发布了首个版本，但在 17 年之后 Haiku 项目仍然停留在 Alpha 阶段。Haiku 开发者 Adrien Destugues 表示在发布 Beta 前他们需要修复一些最令人尴尬的 bug。Haiku 最新的版本 R1 Alpha 4.1 还是在 2012 年发布的。开发者表示他们想要确保发布的版本是高质量的，他们愿意为此延期。Destugues 说，在一切准备就绪前他们不会发布。

业 界

李飞飞从 Google 离职

Google 云服务 CEO Diane Greene 宣布卡耐基梅隆大学计算机科学院院长 Andrew Moore 将接替李飞飞负责领导云人工智能业务，而李飞飞将按照原计划回归斯坦福大学担任教授，她将改任 Google 云人工智能和机器学习顾问。李飞飞表示，其所在工作中学到的知识将进一步加强学术界和工业界的合作。李飞飞是在 2016 年 11 月加盟 Google 担任人工智能首席科学家。2017 年 12 月，李飞飞在中国举行的开发者大会上宣布成立 AI 中国中心，这成为近年来 Google 在中国最重要的战略布局。她曾卷入早些时候引发争议的 Project Maven 军用 AI 项目，但没有迹象显示她的离开与此有关。

TempleOS 作者去世

TempleOS(née LoseThos) 唯一的程序员 Terrence Andrew Davis 去世，年仅 48 岁。Terry Davis 出生于 1969 年 12 月，是父母八个孩子中的第 7 个，在亚利桑那州立大学获得了电机工程的硕士学位。他最早接触的电脑是 Apple II，之后在 Commodore 64 上学习过汇编语言。他一开始是天主教徒，之后拥抱了无神论，认为大脑就是一台计算机，视自己为一位科学的唯物论者。他至今仍然认为自己有科学的头脑，是一位与上帝交谈过的无神论者。1996 年初，他出现了精神分裂症状。在精神状况转好之后，他搬回家与父母住在一起，着手写一本《1984》的续集。这本书没有完成。在想象中的上帝的要求下，他开始全心全意开发 TempleOS，这个操作系统有着来自 DOS 时代的图形用户界面。

HHVM 将停止支持 PHP

Facebook 开发的 PHP 执行引擎 HHVM 宣布将停止支持 PHP。HHVM 通过将 PHP 代码动态翻译成原生机器码而大幅提高速度。HHVM 支持 PHP 和 PHP 方言 Hack 语言，但现在开发者宣布 HHVM v3.30 将是最后支持 PHP 的版本，2019 年 1 月释出的 v4.0.0 将不支持 PHP，而到 2019 年 11 月 19 日 v3.30 将终止支持。它建议使用 HHVM 的项目完全迁移到 Hack 或 PHP7 和 PHP 运行时。

报道称网秦创始人被董事长绑架一年多

凤凰网报道称，网秦创始人林宇被董事长史文勇绑架一年多。网秦或现在叫凌动智行是一家在纽约交所的上市企业，提供移动互联网服务，该公司的原网站 www.netqin.com 已经有好几年没有更新了，很多网址已经是死链或被重定向到凌动智行。这家公司的股票接近垃圾股。报道称，史文勇从 2016 年 11 月到 2017 年底绑架林宇长达 13 个多月。林宇称他是被北京警方解救的，但没有提供任何细节。他发布公告宣布了新的董事会和管理层人事调整与变动，自己接任网秦 CEO，并担任 Co-Chairman （联席董事长），任命原创始员工傅达、周远和张跃兵为新董事。史文勇据报道已经离境。

TiDB 开发商 PingCAP 完成 C 轮 5000 万美元融资

近日，新型分布式关系型数据库公司 PingCAP 宣布完成 5000 万美元 C 轮融资，这是目前为止新型分布式关系型数据库领域的最大笔融资。本轮融资将主要用于技术研发和全球化生态系统建设。TiDB 是一款定位于在线事务处理 / 在线分析处理 (HTAP: Hybrid Transactional/Analytical Processing) 的融合型数据库产品，实现了一键水平伸缩，强一致性的多副本数据安全，分布式事务，实时 OLAP 等重要特性。同时兼容 MySQL 协议和生态，迁移便捷，运维成本低。

微软 Edge 和苹果 Safari 浏览器曝漏洞，可致用户访问到虚假网站内容

据 The Register 报道，近日网络安全研究人员保罗对媒体称，他发现了微软 Edge 和苹果 Safari 浏览器中的一个漏洞，导致用户可能在正常的网址下访问到虚假网站内容。保罗表示，到目前为止，微软公司已经针对 Edge 浏览器发布了安全补丁，修补了漏洞。但是苹果尚未公布安全补丁。换言之，全世界数亿 Safari 浏览器用户，仍然面临这一风险。