发现自主驾驶汽车 AI 系统 Bug 的新方法

绝大多数软件的 bug 不会杀死你，但自主驾驶汽车的 AI 可能是一个例外，错误可能会导致 AI 在错误的时间做出错误的决定。哥伦比亚大学和 Lehigh 大学的研究人员设计的 DeepXplore 方法能在不同神经网络触发尽可能多的冲突决策，系统性的暴露软件错误。比如 DeepXplore 在 Nvidia 的 DAVE-2 自主驾驶软件发现了一个错误，能导致汽车撞上公路上的护栏。研究人员深知，只要恶意的黑客能利用一个 bug，整个系统就仍然是脆弱的。研究人员的测试发现，DeepXplore 在各种深度学习应用中发现了数以千计的以前未知的 Bug。它并不能保证能发现系统的所有 bug。Media

http://www.solidot.org/story?sid=54393

合法证书签名的恶意程序日益普遍

设计破坏伊朗核计划的 Stuxnet 蠕虫的一大突破是利用了合法证书签名。在 Stuxnet 曝光之后，安全研究人员发现，越来越多的恶意程序开始使用合法证书签名，先是国家支持的黑客，然后是逐利的网络犯罪组织。研究人员报告他们发现了 189 个使用合法有效证书签名的恶意程序样本，其中 109 个使用的证书仍然有效。使用有效证书能绕过用户账号控制和其它防止恶意程序安装的 Windows 机制。Media

http://www.solidot.org/story?sid=54394

中国造岛神器下水

中国公开了一艘被称为 “造岛神器” 的巨型船只，此举可能会重新引发对中国在南中国海领土主张的担忧。全长 140 米的天鲲号是亚洲最大的绞吸挖泥船，每小时能将相当于 3 个奥林匹克游泳池体积的岩石从海底粉碎吸出，输送至 15 公里开外的造岛工地。过去 5 年期间，中国使用类似船舶造出一系列战略岛屿，以支持其对南海 85% 海域的主权主张。2013 年至 2016 年间是中国兴建岛屿的高峰期，共建成 7 座岛屿，总面积达到 2000 英亩，并在上面兴建了机场、导弹基地与雷达系统。菲律宾周一对这艘造岛神器表达了担忧，称将会密切跟踪其活动。Media

http://www.solidot.org/story?sid=54395

臭氧层空洞收缩至 29 年来最小

NOAA 和 NASA 的观测发现，臭氧层空洞收缩至 29 年来最小。南极上空的臭氧层空洞在 9 月 11 日达到峰值——其面积相当于美国——760 万平方英里，比 2016 年的最大值 890 万平方英里小 130 万平方英里，比 2015 年的峰值小 330 万平方英里。自 1991 年以来，臭氧层空洞面积的平均最大值大约为 1000 万平方公里。虽然过去两年平流层高于平均的温度条件降低了臭氧层损耗，但目前臭氧层空洞的面积仍然很大，因为导致臭氧层损耗的物质如氯和溴仍然足够高到产生显著的臭氧损耗。科学家认为，过去两年臭氧层空洞的收缩是自然变率，并不代表快速愈合的信号。Media

http://www.solidot.org/story?sid=54396

博通提议以 1050 亿美元收购高通

世界第三大芯片制造商博通（Broadcom）正式提议以每股 70 亿美元溢价 28% 收购移动芯片巨头高通，收购金额约 1050 亿美元，加上 250 亿美元的净债务，总交易金额约 1300 亿美元。两家公司的交易额将让戴尔在 2015 年以 670 亿美元并购 EMC 的收购案相形见绌。两家公司都是重要的移动芯片供应商。匿名知情人士称，高通准备拒绝这一主动报价，认为这低估了公司的价值。Media

http://www.solidot.org/story?sid=54397

英特尔和 AMD 宣布合作

CPU 市场上的两大竞争对手英特尔和 AMD 正式宣布展开合作，双方的合作成果是一款定制的芯片，它包含英特尔的第八代 Core 核心、AMD 的 Radeon GPU 核心，以及 HBM2 显存。新的芯片针对的是笔记本电脑和轻薄本市场，在保持轻量级的同时提供高性能的游戏性能，这也是第一款使用 HBM 的移动芯片。这款产品预计将在 2018 年第一季度推出。这是英特尔的项目，也是英特尔率先接触 AMD。英特尔曾因为对 AMD 的反竞争行为而被罚了约 10 亿美元。两家公司的合作出人意料，但也在情理之中，英特尔的 GPU 仍然是其弱项，而 AMD 在 GPU 市场落后于另一个竞争对手 Nvidia。Media

http://www.solidot.org/story?sid=54398

阿富汗澄清它不会屏蔽 WhatsApp 和 Telegram

过去一周，传言称阿富汗电信监管机构致函 ISP 要求它们屏蔽即时通讯服务如 WhatsApp 和 Telegram。阿富汗政府的国家安全理事会想要通过屏蔽这些应用阻止塔利班和其他反对派使用加密消息，这一流言在社交媒体上引发了广泛争议。本周一，阿富汗政府发言人澄清他们不会屏蔽 WhatsApp 和 Telegram，表示政府不会屏蔽任何社会媒体平台，WhatsApp 和 Telegram 能继续在阿富汗运营。Media

http://www.solidot.org/story?sid=54399

美国法庭命令屏蔽 Sci-Hub

美国化学学会今年早些时候起诉了 Sci-Hub 及其创办人 Alexandra Elbakyan，指控其侵犯版权。Sci-Hub 当然不可能出席法庭为自己辩护，因此美国法官作出了缺席判决，判给了美国化学学会 480 万美元的赔偿，以及授予美国化学学会要求搜索引擎和 ISP 屏蔽 Sci-Hub 的禁令。禁令覆盖了域名注册商、主机托管商、搜索引擎和 ISP。如果美国化学学会决定执行这一禁令，搜索引擎和 ISP 可能会提出抗议。Media

http://www.solidot.org/story?sid=54400

Cloudflare 使用熔岩灯产生伪随机数

Cloudflare 是一家提供安全服务的云服务商，向客户提供了免费的 SSL 服务。因为要处理海量的加密流量，它需要使用到大量的随机数。这些随机数都是伪随机数生成器产生的。伪随机数生成器产生的随机数能被预测和破解。那么如何减少随机数的可预测性？Cloudflare 披露了它的方法——使用熔岩灯。熔岩灯的名字源于内部不定形状的蜡滴的缓慢流动，让人联想到熔岩的流动。Cloudflare 利用摄像头监视熔岩灯，拍摄视频和照片，然后将其转变成无法预测的随机比特流，再用它生成密钥。Media

http://www.solidot.org/story?sid=54401

中国立法限制点击农场和欺骗性在线销售

中国制定了《反不正当竞争法》， 其中包含了针对电子商务行业欺骗行为的相关规定，试图解决流行的点击农场和欺骗性销售。《反不正当竞争法》将于 2018 年 1 月 1 日起施行，其中第十二条规定： “经营者不得利用技术手段，通过影响用户选择或者其他方式，实施下列妨碍、破坏其他经营者合法提供的网络产品或者服务正常运行的行为：（一）未经其他经营者同意，在其合法提供的网络产品或者服务中，插入链接、强制进行目标跳转； （二）误导、欺骗、强迫用户修改、关闭、卸载其他经营者合法提供的网络产品或者服务；（三）恶意对其他经营者合法提供的网络产品或者服务实施不兼容；（四）其他妨碍、破坏其他经营者合法提供的网络产品或者服务正常运行的行为。”Media

http://www.solidot.org/story?sid=54402

Enlightenment DR 0.22.0 发布

轻量级桌面环境 Enlightenment DR 0.22.0 发布。主要特性包括：大幅改进 Wayland 显示服务器支持，改进了新的设备基础设施，sudo/ssh askpass 工具 GUI，meson 构建系统，集成每个窗口的音量控制，等等，详细可阅读 changelog。Media

http://www.solidot.org/story?sid=54403

微信从一年前就开始屏蔽与十九大相关关键词

加拿大多伦多大学公民实验室发表报告《Managing the Message》，称腾讯旗下的微信从一年前就开始屏蔽与十九大相关关键词。微信是中国最流行的移动消息应用，国外流行的消息应用多被屏蔽。研究发现，与十九大有关审查从一年多前就开始，随着会议日期的逼近，与十九大相关的关键词库不断更新和扩大。关键词涵盖内容非常广泛，不仅包括了对党代会，领导人以及共产党的带有批判色彩的词语，而且许多中性的指称也被过滤。在十九大召开前几周，研究人员发现了部分陈述中央政策（如 “一带一路” 倡议）和共产党核心意识心态概念（如 “中国特色社会主义”）的关键词。研究人员认为，“这不但限制了微信用户在该平台上对这些主题的普通讨论，甚至那些支持政府的言论也有可能因此被屏蔽。这些关键词有可能是因为微信方面的技术原因或者过度审查而被包含在词库内，另一方面，这也可能是有意的信息管理手段，目的在于引导与中央政策和意识形态有关网络讨论和公共舆论。”Media

http://www.solidot.org/story?sid=54405

苹果利用英属泽西岛避税

根据刚刚泄漏的“天堂文件 (Paradise Papers)”，美国利润最高的科技公司苹果被发现利用英属泽西岛避税。苹果此前因为采用“双层爱尔兰”之类的避税方法而受到批评，而爱尔兰政府也迫于国际压力决定收紧税收规则，苹果随后开始寻找新的避税方法，也就是通过英属泽西岛。国际调查记者联盟称，苹果“绝大部分利润继续适用超低税率，现在将很大一部分美国以外的盈利放在其 2520 亿美元的离岸金库”。国际调查记者联盟报告称，除了将两家子公司迁至泽西岛，苹果的第三家子公司——Apple Operations Europe 落户爱尔兰。税务专家表示，苹果可能正在利用爱尔兰对专利和商标等知识产权更加慷慨的税收抵免。他们援引了一个证据：爱尔兰的国民账户中突然出现了近 2700 亿美元的无形资产。Media

http://www.solidot.org/story?sid=54406

坠落试验显示 iPhone X 是最容易碎的 iPhone

多家网站和企业测试了 iPhone X 的抗摔能力。CNET 测试了从 3 英尺高度的坠落，发现手机在第一次测试中边角的玻璃就出现了破裂，第二次测试导致了更多破裂。提供移动设备保护方案的  SquareTrade 公司测试了多种手机坠落的场景，它根据结果将 iPhone X 称为是最容易碎的 iPhone。iPhone X 使用的 OLED 显示屏如果需要替换的话用户的花费将会比旧型号 LCD 显示屏更多，而苹果一年的保修并不涵盖意外损坏。显示屏技术分析公司 DisplayMate 则认为 iPhone X 拥有最具有创新性和高性能的智能手机显示屏。Media

http://www.solidot.org/story?sid=54407

MINIX 作者发表致英特尔的公开信

世界上最流行的操作系统不是 Linux 或 Windows，而是 MINIX。过去十年发布的所有英特尔处理器都运行了一个修改版的 MINIX 3。由计算机科学教授 Andrew Tanenbaum 作为一个教育工具开发的类 Unix 操作系统内置于每一款新英特尔处理器内。过去几天多家媒体报道了这一消息，以至于惊动了 Andrew 本人。他在个人网站上发表了公开信，强调自己并没有直接参与这个项目，如果这个系统有后门的话，这与他无关（他对此并没有明说只是暗示）。Andrew Tanenbaum 称，MINIX 3 在 2000 年决定采用 BSD 授权，原因是企业不喜欢 GPL 许可证，认为 GPL 会让他们花费许多时间精力金钱去修改代码，然后免费提供竞争对手。他说，英特尔的工程团队几年前接触了他，询问了 MINIX 3 大量的技术问题，要求他对 MINIX 3 进行大量改变，减少内存占用，选择性的关闭不需要的功能。在短暂的活跃之后双方进入了无线电静默，直到现在媒体报道英特尔处理器都运行了 MINIX 3。他对此感到吃惊，但并不在意，因为操作系统是 BSD 授权，英特尔不需要付钱给他。他只是希望英特尔在部署了 MINIX 3 之后能通知他一下，这只是礼貌问题。Media

http://www.solidot.org/story?sid=54408

比特大陆将发布 AI 芯片

最大的矿机制造商比特大陆将在明天举行的 AIWORLD 会议上公布基于 ASIC 的深度学习芯片“智子 BM1680”，该公司将开始销售基于这款 AI 芯片的系统。比特大陆的矿机占据了七成市场份额。根据公布的 BM1680 规格，这款芯片使用 32 位浮点运算，运算速度 2 teraflops，正常功耗 25 瓦，全速运行时功耗会提高到 41 瓦。比特大陆声称，BM1680 的架构类似于 Google 的 Tensor Processing Unit（TPU）。该架构被称为 systolic。该公司工程师称，他们在 2015 年底开始开发自己的 AI 芯片，采用了增强版的 systolic 技术，类似 Google 的 TPU。Media

http://www.solidot.org/story?sid=54409

研究称女性卵细胞存在“偏见”

根据发表《科学》期刊上的一篇论文，宾夕法尼亚大学的研究小组通过小鼠卵母细胞实验，发现了一个驱动减数不对称分裂的分子信号。证明女性卵细胞存在 “右倾” 偏见。过去几十年，科学家注意到有些基因传递的几率高于 “偶然概率”，这一现象被称为 “减数分裂驱动（meiotic drive）”。对雌性来说，减数分裂的最后阶段一个细胞会变成活卵子，另一个细胞（通常被称作极体）则会退化。往前溯源，两种细胞形成前，细胞内的纺锤体结构附着在不同染色体上，将最终分属于两个细胞的染色体拉至细胞对侧。研究人员观察小鼠卵母细胞组成纺锤体的微管，发现了微管 “tyrosination（ 酪氨酸化）” 控制的不平衡分布：与靠近皮质部的相比，靠近卵子一边的酪氨酸修饰比较少。这种不对称现象仅在减数分裂期纺锤体从细胞中部向皮质部方向移动时出现。Media

http://www.solidot.org/story?sid=54410

腾讯从 QQ 中修改了吸烟绘文字

腾讯从 QQ 中修改吸烟绘文字。官媒北京青年报报道称，北京控烟协会致函腾讯，建议它从其流行消息应用中改变吸烟绘文字。腾讯没有作出解释就直接用树叶替换了原来嘴里叼的香烟。新浪微博也在今年 9 月做出了类似的改变，但不是修改而是直接移除香烟。北京控烟协会会长表示，吸烟并不酷。Media

http://www.solidot.org/story?sid=54411

围棋职业比赛将禁止携带电子设备

官方的中国围棋协会宣布，鉴于围棋人工智能发展速度，2017 年进行的余下围棋职业比赛将禁止携带电子设备。当然围棋 AI 虽然进步显著，但还没有达到能在移动电子设备上运行的地步。Google AI 子公司 DeepMind 开发出的最先进围棋 AI AlphaGo Zero 需要 4 个专门用于运行深度学习算法的 TPU。中国围棋协会宣布， “1. 比赛期间，对局棋手一律禁止携带、观看手机及其他电子设备，一经发现立即判负。比赛期间指从对局开始到对局结束，包括中间休息的全部时间...3.包括午休时间在内，对局棋手一律禁止回房间。如因特殊情况必须返回房间的，须有当值裁判陪同。4. 团体比赛中，如发现棋手所在队领队、教练及其他相关人员利用人工智能技术影响对局进程，一经查实，全队当轮成绩取消。5. 上述规定，须由当值裁判长在比赛前向对局棋手宣读，赛前棋手可将手机等电子设备交至裁判长处保管。其他细节规定将于 2018 年出台。”Media

http://www.solidot.org/story?sid=54412

Twitter 正式将字符数限制放宽到 280 个字符

在数周的测试之后，Twitter 正式宣布将字符数限制放宽到 280 个字符，为原先 140 个字符数的两倍。但这一政策不适用于中文、日文和韩文，这些语言仍然有 140 个字符数的限制，Twitter 给出的理由是这些语言能用更少的字数表达意思，不需要更多的字符数。Twitter 产品经理 Aliza Rosen 在官方声明中指出，放宽到 280 个字符并没有导致用户发表大量填满 280 个字符的帖子，测试一开始确实如此，因为毕竟比较新颖，但很快行为就恢复了正常。他们观察到当用户需要使用到 140 个以上字符时，他们的发推更简单了，也更频繁了。绝大多数用户所发布帖子的字符数仍然在 140 个以内。Media

http://www.solidot.org/story?sid=54414

中国打击比特币的效果有限

中国投资者依然在交易比特币和买入 ICO 销售的代币，这似乎表明，在宣布要关闭比特币交易所数周后，北京方面打击加密货币的努力难以奏效。 观察人士曾担心，关闭中国境内比特币交易所将导致对比特币的需求急剧下降，因为中国是比特币需求的一大来源。 结果更多的加密货币买卖转向私人场外交易市场。根据政府背景的研究机构国家互联网金融安全技术专家委员会的一份报告援引的数据，比特币场外交易中人民币交易的份额已从 9 月初比特币交易所被关闭前的 5%，升至一个月后的大约 20%。很多比特币场外交易最初使用腾讯的微信完成，但对监视的担忧促使很多交易者转向安全性更高的加密平台 Telegram。Media

http://www.solidot.org/story?sid=54415