研究发现药物能阻止艾滋病的传播
艾滋病疫情有望终结。一项具有里程碑意义的研究发现，携带艾滋病的男性其体内的病毒能被逆转录病毒药物完全抑制住，无法感染其伴侣。这意味着如果每一位艾滋病患者都接受充分治疗，未来将不会在新的感染发生。研究报告发表在《柳叶刀》期刊上。这种药物不是疫苗，病毒携带者在其一生中需要每天服用药物，一旦停止病毒数量会再次增加，携带者将会再次传染给其他人。因此研究人员强调不能夸大这项研究的重要性。但这项研究无疑是一大突破，将会对艾滋病患者的生活产生巨大的影响，因为如果正确服用药物他们不会影响伴侣了。Media
https://www.solidot.org/story?sid=60505
艾滋病疫情有望终结。一项具有里程碑意义的研究发现，携带艾滋病的男性其体内的病毒能被逆转录病毒药物完全抑制住，无法感染其伴侣。这意味着如果每一位艾滋病患者都接受充分治疗，未来将不会在新的感染发生。研究报告发表在《柳叶刀》期刊上。这种药物不是疫苗，病毒携带者在其一生中需要每天服用药物，一旦停止病毒数量会再次增加，携带者将会再次传染给其他人。因此研究人员强调不能夸大这项研究的重要性。但这项研究无疑是一大突破，将会对艾滋病患者的生活产生巨大的影响，因为如果正确服用药物他们不会影响伴侣了。Media
https://www.solidot.org/story?sid=60505
加拿大边境服务局因拒绝披露密码扣押手机和笔记本电脑
加拿大边境服务局被指因律师拒绝披露密码而扣押其手机和笔记本电脑。这位叫 Nick Wright 的加拿大律师于 4 月 10 日乘飞机在多伦多的 Pearson 机场入境，他被要求接受额外的检查，边境服务局没有给出检查的理由。他对官员搜查他的包并无意见，但当官员要求提供密码搜查他的手机和笔记本电脑时他拒绝了。他称两个设备包含了客户的机密信息。边境服务局随后没收了他的设备，称将会送到政府实验室去破解密码搜索文件。律师认为当局此举侵犯了他的宪法权利。Media
https://www.solidot.org/story?sid=60506
加拿大边境服务局被指因律师拒绝披露密码而扣押其手机和笔记本电脑。这位叫 Nick Wright 的加拿大律师于 4 月 10 日乘飞机在多伦多的 Pearson 机场入境，他被要求接受额外的检查，边境服务局没有给出检查的理由。他对官员搜查他的包并无意见，但当官员要求提供密码搜查他的手机和笔记本电脑时他拒绝了。他称两个设备包含了客户的机密信息。边境服务局随后没收了他的设备，称将会送到政府实验室去破解密码搜索文件。律师认为当局此举侵犯了他的宪法权利。Media
https://www.solidot.org/story?sid=60506
黑猩猩文化受到人类活动的冲击
德国进化人类学和生物物种多样化研究人员发现，受人类活动冲击，非洲的黑猩猩社群文化行为在退化，而人类足迹较少的地区则没有这种现象。黑猩猩也有文化。野外观察和实验室研究都发现，黑猩猩在觅食、取水和交流沟通方面具备使用工具的技能，这些技能在一个社群内传习、共享，被代代传承。但是，由于生存环境不断受到人类侵蚀，以及人类活动造成的各种压力，黑猩猩的文化行为面临失传、消失的命运。文化退化的原因被认为包括种群数量减少，地理分布上相互隔离以及资源减少。Media
https://www.solidot.org/story?sid=60507
德国进化人类学和生物物种多样化研究人员发现，受人类活动冲击，非洲的黑猩猩社群文化行为在退化，而人类足迹较少的地区则没有这种现象。黑猩猩也有文化。野外观察和实验室研究都发现，黑猩猩在觅食、取水和交流沟通方面具备使用工具的技能，这些技能在一个社群内传习、共享，被代代传承。但是，由于生存环境不断受到人类侵蚀，以及人类活动造成的各种压力，黑猩猩的文化行为面临失传、消失的命运。文化退化的原因被认为包括种群数量减少，地理分布上相互隔离以及资源减少。Media
https://www.solidot.org/story?sid=60507
微软的新 Edge 将内置 IE 兼容模式
微软透露，基于 Chromium 的新 Edge 浏览器将内置 IE 兼容模式以运行旧的 Web 应用程序。该功能主要服务于企业级用户，企业开发的 Web 应用很少会频繁更新，因此需要旧版本的浏览器去运行不兼容于新版本的应用。新 Edge 内置的 IE 兼容模式将使用 Internet Explorer 11 引擎而不是 Chrome 引擎去渲染标签页。此外，新 Edge 还将引入新的隐私设置，有三种设置可选——无限制、平衡和严格。Edge 还将加入类似 Firefox Pocket 或 Google Keep 的功能 Collections 去保存网页或部分。Media
https://www.solidot.org/story?sid=60508
微软透露，基于 Chromium 的新 Edge 浏览器将内置 IE 兼容模式以运行旧的 Web 应用程序。该功能主要服务于企业级用户，企业开发的 Web 应用很少会频繁更新，因此需要旧版本的浏览器去运行不兼容于新版本的应用。新 Edge 内置的 IE 兼容模式将使用 Internet Explorer 11 引擎而不是 Chrome 引擎去渲染标签页。此外，新 Edge 还将引入新的隐私设置，有三种设置可选——无限制、平衡和严格。Edge 还将加入类似 Firefox Pocket 或 Google Keep 的功能 Collections 去保存网页或部分。Media
https://www.solidot.org/story?sid=60508
Windows 10 Linux 子系统将使用真正的 Linux 内核
微软在 Windows 10 一周年更新中引入了名叫 Windows Subsystem for Linux(WSL) 的 Linux 兼容层，WSL 不是真正的 Linux 内核，而是微软自己开发的内核组件，提供了与 Linux 内核相同的 API，本质上是将 Linux API 翻译到 Windows NT kernel API。它有很多不足之处，无法使用 Linux 驱动，尤其是文件系统驱动，因此它的文件系统性能只有真正内核的二十分之一。它提供的 API 集也比较陈旧，部分 API 没有实现，还有部分则是部分实现。Windows Subsystem for Linux 2（WSL 2）将改变这一状况，WSL 2 将在一个轻量级虚拟机里运行真正的 Linux 内核。Linux 采用 GPLv2 许可，微软将根据许可证要求公开它的内核补丁和修改。通过运行完整的内核，WSL 2 将支持 Docker 容器，不再需要自己去实现 cgroups 等内核功能。WSL 2 将在下个月发布首个预览版本。Media
https://www.solidot.org/story?sid=60509
微软在 Windows 10 一周年更新中引入了名叫 Windows Subsystem for Linux(WSL) 的 Linux 兼容层，WSL 不是真正的 Linux 内核，而是微软自己开发的内核组件，提供了与 Linux 内核相同的 API，本质上是将 Linux API 翻译到 Windows NT kernel API。它有很多不足之处，无法使用 Linux 驱动，尤其是文件系统驱动，因此它的文件系统性能只有真正内核的二十分之一。它提供的 API 集也比较陈旧，部分 API 没有实现，还有部分则是部分实现。Windows Subsystem for Linux 2（WSL 2）将改变这一状况，WSL 2 将在一个轻量级虚拟机里运行真正的 Linux 内核。Linux 采用 GPLv2 许可，微软将根据许可证要求公开它的内核补丁和修改。通过运行完整的内核，WSL 2 将支持 Docker 容器，不再需要自己去实现 cgroups 等内核功能。WSL 2 将在下个月发布首个预览版本。Media
https://www.solidot.org/story?sid=60509
以色列对哈马斯黑客发动空袭
上周以巴双方爆发了数年以来最激烈的武装冲突，哈马斯发射了数百枚火箭，而以色列则以空袭反击。在空袭中，它还特别把哈马斯的黑客作为打击目标，这应该是世界上首次以武力反击网络攻击。以色列国防军空袭了加沙地带的一幢建筑物，声称该建筑物内有哈马斯的黑客，他们一直在攻击以色列的网络。以色列军方的网络防御部门负责人称在防御网络攻击方面他们一直占据领先。以色列没有披露任何细节，只是表示以色列首先在网络维度对付了他们，然后空军在物理维度处理了他们，目前哈马斯已经失去了网络攻击能力。Media
https://www.solidot.org/story?sid=60510
上周以巴双方爆发了数年以来最激烈的武装冲突，哈马斯发射了数百枚火箭，而以色列则以空袭反击。在空袭中，它还特别把哈马斯的黑客作为打击目标，这应该是世界上首次以武力反击网络攻击。以色列国防军空袭了加沙地带的一幢建筑物，声称该建筑物内有哈马斯的黑客，他们一直在攻击以色列的网络。以色列军方的网络防御部门负责人称在防御网络攻击方面他们一直占据领先。以色列没有披露任何细节，只是表示以色列首先在网络维度对付了他们，然后空军在物理维度处理了他们，目前哈马斯已经失去了网络攻击能力。Media
https://www.solidot.org/story?sid=60510
微软跳过 .NET 4 宣布 .NET 5
在 Build 开发者大会上，微软宣布 .NET Core 3.0 后的下一个版本将是 .NET 5，跳过 .NET 4 以避免与 .NET Framework 混淆起来，后者多年来一直停留在版本 4。.NET Core 是微软发起的开源跨平台. NET 框架项目，支持 Windows、OS X、Linux、iOS、Android、tvOS、watchOS 和 WebAssembly 等，可用于开发各种类型的应用。微软表示， .NET 5 将引入新的 .NET API，新的运行时功能和语言特性。 .NET Core 3.0 将消除与 .NET Framework 4.8 在功能上的差距，而 .NET 5 将进一步将 NET Core、.NET Framework、Xamarin 和 Mono 统一到单一平台，将提供 Just-in-Time (JIT) 和 Ahead-of-Time (AOT)编译模式。微软计划在 2020 年 11 月发布 .NET 5，2020 年上半年发布预览版本。Visual Studio 2019、Visual Studio for Mac 和 Visual Studio Code 将通过更新提供支持。Media
https://www.solidot.org/story?sid=60511
在 Build 开发者大会上，微软宣布 .NET Core 3.0 后的下一个版本将是 .NET 5，跳过 .NET 4 以避免与 .NET Framework 混淆起来，后者多年来一直停留在版本 4。.NET Core 是微软发起的开源跨平台. NET 框架项目，支持 Windows、OS X、Linux、iOS、Android、tvOS、watchOS 和 WebAssembly 等，可用于开发各种类型的应用。微软表示， .NET 5 将引入新的 .NET API，新的运行时功能和语言特性。 .NET Core 3.0 将消除与 .NET Framework 4.8 在功能上的差距，而 .NET 5 将进一步将 NET Core、.NET Framework、Xamarin 和 Mono 统一到单一平台，将提供 Just-in-Time (JIT) 和 Ahead-of-Time (AOT)编译模式。微软计划在 2020 年 11 月发布 .NET 5，2020 年上半年发布预览版本。Visual Studio 2019、Visual Studio for Mac 和 Visual Studio Code 将通过更新提供支持。Media
https://www.solidot.org/story?sid=60511
倪光南称开源软件要向华为学习
中国工程院院士倪光南表示，在开源软件方面，倪光南认为，从业者应该向华为学习，通过引进、消化、吸收，创新发展。“中国除了阿里和腾讯以外，华为现在（也）可以和苹果比了。” 他表示，中国在世界信息技术领域中占有相当大的比重。针对软件人才资源，倪光南表示中国人才资源丰富，软件从业人员存量大、增量大。“我觉得要不了多少年，我们的存量人员比美国（的存量人员）还要多。” 同时，倪光南还指出，中国的人才成本低、效率高、速度快，因此中国在软件领域的发展具有较大优势。Media
https://www.solidot.org/story?sid=60512
中国工程院院士倪光南表示，在开源软件方面，倪光南认为，从业者应该向华为学习，通过引进、消化、吸收，创新发展。“中国除了阿里和腾讯以外，华为现在（也）可以和苹果比了。” 他表示，中国在世界信息技术领域中占有相当大的比重。针对软件人才资源，倪光南表示中国人才资源丰富，软件从业人员存量大、增量大。“我觉得要不了多少年，我们的存量人员比美国（的存量人员）还要多。” 同时，倪光南还指出，中国的人才成本低、效率高、速度快，因此中国在软件领域的发展具有较大优势。Media
https://www.solidot.org/story?sid=60512
Windows 终端将支持主题、标签和绘文字
微软在开发者大会上宣布了新的命令行终端 Windows Terminal，在功能它将能媲美 Unix 终端。Windows Terminal 将通过 Microsoft Store 在今年六月提供给用户，将支持主题、标签和绘文字。微软称它倾听了用户的呼声，新的终端支持多个标签；使用 GPU 加速的 DirectWrite/DirectX 文本渲染引擎，用户可选择使用新的字体；提供多种设置和配置选项，让用户更好的控制终端环境。微软计划在下个月发布预览版本，到今年底发布正式版本。微软表示 Windows Terminal 会开源，而现有的终端 Windows Console 也会开源。为了避免破坏向后兼容性，Windows Console 不会再引入新的改进。Media
https://www.solidot.org/story?sid=60513
微软在开发者大会上宣布了新的命令行终端 Windows Terminal，在功能它将能媲美 Unix 终端。Windows Terminal 将通过 Microsoft Store 在今年六月提供给用户，将支持主题、标签和绘文字。微软称它倾听了用户的呼声，新的终端支持多个标签；使用 GPU 加速的 DirectWrite/DirectX 文本渲染引擎，用户可选择使用新的字体；提供多种设置和配置选项，让用户更好的控制终端环境。微软计划在下个月发布预览版本，到今年底发布正式版本。微软表示 Windows Terminal 会开源，而现有的终端 Windows Console 也会开源。为了避免破坏向后兼容性，Windows Console 不会再引入新的改进。Media
https://www.solidot.org/story?sid=60513
暗网市场 Wall Street Market 被关
围绕暗网市场 Wall Street Market 管理员是否跑路的争论终于可以结束：三名被指运营 WSM 的德国人于上月底在德国被捕。美国、德国和荷兰的执法机关正式宣布了这一消息。WSM 是最大的暗网市场之一，美国司法部称它有 115 万客户账户，5400 名注册卖家。当局声称 WSM 管理员上个月从客户账户窃取价值约 1100 万美元的数字货币。他们确实想跑路，但没来得及。除了三人被捕外，还有一名巴西人被控担任网站的公关。Media
https://www.solidot.org/story?sid=60514
围绕暗网市场 Wall Street Market 管理员是否跑路的争论终于可以结束：三名被指运营 WSM 的德国人于上月底在德国被捕。美国、德国和荷兰的执法机关正式宣布了这一消息。WSM 是最大的暗网市场之一，美国司法部称它有 115 万客户账户，5400 名注册卖家。当局声称 WSM 管理员上个月从客户账户窃取价值约 1100 万美元的数字货币。他们确实想跑路，但没来得及。除了三人被捕外，还有一名巴西人被控担任网站的公关。Media
https://www.solidot.org/story?sid=60514
NSA 黑客工具在泄露前已被 APT 组织使用
自称 Shadow Brokers 的神秘黑客组织在 2017 年泄漏了 NSA 黑客工具，相关漏洞利用代码随后被用于发动了 WannaCry 和 NotPetya 勒索攻击。本周一，赛门铁克的研究人员披露，其中两个 NSA 黑客工具在 Shadow Brokers 泄漏前 14 个月就已被 APT 组织用于发动攻击。研究人员表示，他们不知道该黑客组织 Buckeye aka APT3、Gothic Panda、UPS Team 和 TG-0110 是如何获得这些工具的。研究人员猜测一种可能性是黑客逆向工程了 NSA 发动攻击后留下的代码。Buckeye 被认为来自中国。Media
https://www.solidot.org/story?sid=60515
自称 Shadow Brokers 的神秘黑客组织在 2017 年泄漏了 NSA 黑客工具，相关漏洞利用代码随后被用于发动了 WannaCry 和 NotPetya 勒索攻击。本周一，赛门铁克的研究人员披露，其中两个 NSA 黑客工具在 Shadow Brokers 泄漏前 14 个月就已被 APT 组织用于发动攻击。研究人员表示，他们不知道该黑客组织 Buckeye aka APT3、Gothic Panda、UPS Team 和 TG-0110 是如何获得这些工具的。研究人员猜测一种可能性是黑客逆向工程了 NSA 发动攻击后留下的代码。Buckeye 被认为来自中国。Media
https://www.solidot.org/story?sid=60515
维基百科被屏蔽
维基百科被屏蔽，封锁方法除了 DNS 注入还有 SNI 过滤。研究者用 curl 测试连接到 www.kernel.org（IP 147.75.46.191），但尝试使用 www.wikipedia.org 的 SNI 进行 TLS 握手。但得到的输出结果显示，TLS handshake, Client hello一发出，连接就中断了。相反，如果在与 www.wikipedia.org 进行 TLS 握手时尝试使用 www.kernel.org 的 SNI，请求是成功的并且能够完成 TLS 握手。Media
https://www.solidot.org/story?sid=60516
维基百科被屏蔽，封锁方法除了 DNS 注入还有 SNI 过滤。研究者用 curl 测试连接到 www.kernel.org（IP 147.75.46.191），但尝试使用 www.wikipedia.org 的 SNI 进行 TLS 握手。但得到的输出结果显示，TLS handshake, Client hello一发出，连接就中断了。相反，如果在与 www.wikipedia.org 进行 TLS 握手时尝试使用 www.kernel.org 的 SNI，请求是成功的并且能够完成 TLS 握手。Media
https://www.solidot.org/story?sid=60516
计算机科学家设计无法被黑的芯片
密歇根大学的计算机科学家设计出一种新的处理器架构，能主动抵御未来威胁，事实上让现有的 bug 和补丁安全模式过时。被称为 MORPHEUS 的芯片通过每秒 20 次加密和随机重编关键数据比特来阻止潜在的攻击，远快于人类黑客能做出反应的速度，比最快的电子黑客技术快数千倍。密歇根大学教授 Todd Austin 称，今天一个接一个消除 bug 的方法是一种失败的博弈，只要有新的代码，总会出现新的 bug 和安全漏洞。通过使用 MORPHEUS，即使黑客发现了一个 bug，利用 bug 所需的信息会在 50 毫秒后消失。它可能是最接近不会被黑的安全系统。Media
https://www.solidot.org/story?sid=60517
密歇根大学的计算机科学家设计出一种新的处理器架构，能主动抵御未来威胁，事实上让现有的 bug 和补丁安全模式过时。被称为 MORPHEUS 的芯片通过每秒 20 次加密和随机重编关键数据比特来阻止潜在的攻击，远快于人类黑客能做出反应的速度，比最快的电子黑客技术快数千倍。密歇根大学教授 Todd Austin 称，今天一个接一个消除 bug 的方法是一种失败的博弈，只要有新的代码，总会出现新的 bug 和安全漏洞。通过使用 MORPHEUS，即使黑客发现了一个 bug，利用 bug 所需的信息会在 50 毫秒后消失。它可能是最接近不会被黑的安全系统。Media
https://www.solidot.org/story?sid=60517
美国空军在测试中用激光击落多枚导弹
美国空军研究实验室在新墨西哥的白沙导弹试验场成功测试用定向能武器击落多枚空射导弹。该定向能武器由洛克希德马丁公司研发，设计用于保护战斗机和其它飞机。美国空军计划到 2021 年在真正的飞行测试中测试吊舱原型系统，到 20 年代末做好服役准备。洛马公司是在 2017 年获得合同去开发定向能武器，设计作为一个独立的吊舱系统悬挂在战斗机大小的飞机上。美国空军没有透露这次测试的细节，也没有透露击落的是什么类型的导弹。Media
https://www.solidot.org/story?sid=60518
美国空军研究实验室在新墨西哥的白沙导弹试验场成功测试用定向能武器击落多枚空射导弹。该定向能武器由洛克希德马丁公司研发，设计用于保护战斗机和其它飞机。美国空军计划到 2021 年在真正的飞行测试中测试吊舱原型系统，到 20 年代末做好服役准备。洛马公司是在 2017 年获得合同去开发定向能武器，设计作为一个独立的吊舱系统悬挂在战斗机大小的飞机上。美国空军没有透露这次测试的细节，也没有透露击落的是什么类型的导弹。Media
https://www.solidot.org/story?sid=60518
中国让城市变干净的方法是将污染转移到其它地方
2013 年北京的空气污染是如此严重，以至于中国政府立即启动了一项计划去减少大城市的空气污染。今天大城市的空气污染确实有了很大改善，但根据发表在《Science Advances》期刊上的一项研究，中外科学家团队发现中国让城市快速变干净的方法是将污染转移到欠发达地区。根据政府的政策，北京 53% 的能源生产转移到了其它地方，而农村地区能源生产效率和环境标准都更低。研究发现，政府的政策实际上增加了全国范围的颗粒物污染和碳排放，导致了更多偏远省份水资源短缺，因为这些省份需要向燃煤火电站供水。哈佛中国项目的执行总监 Chris Nielsen 称，中国政府制定此类狭窄目标的好处是它很容易测量很容易传达给公众，而全方面的环境政策更难解释也更复杂。Media
https://www.solidot.org/story?sid=60519
2013 年北京的空气污染是如此严重，以至于中国政府立即启动了一项计划去减少大城市的空气污染。今天大城市的空气污染确实有了很大改善，但根据发表在《Science Advances》期刊上的一项研究，中外科学家团队发现中国让城市快速变干净的方法是将污染转移到欠发达地区。根据政府的政策，北京 53% 的能源生产转移到了其它地方，而农村地区能源生产效率和环境标准都更低。研究发现，政府的政策实际上增加了全国范围的颗粒物污染和碳排放，导致了更多偏远省份水资源短缺，因为这些省份需要向燃煤火电站供水。哈佛中国项目的执行总监 Chris Nielsen 称，中国政府制定此类狭窄目标的好处是它很容易测量很容易传达给公众，而全方面的环境政策更难解释也更复杂。Media
https://www.solidot.org/story?sid=60519
研究称汉藏语系起源于约 7200 年前
根据发表在 PNAS 期刊上的研究，世界第二大语系——汉藏语系起源于大约 7200 年前的中国北方。汉语、藏语等 400 多种东亚语言被认为拥有共同的祖先语言，合称汉藏语系。尽管语言学家从 19 世纪初就开始对这一语系展开研究，但对汉藏语系的分化时间、起源地点等长期存有争议。法国高等社会科学学院东亚语言研究所和德国马克斯 · 普朗克人类历史学研究所等机构的研究人员，用谱系分类法对古汉语、古缅甸语和古藏语等 50 种汉藏语系语言的数据进行分析，研究结果显示，汉藏语系起源于种植粟的农业人口，他们生活在磁山文化晚期和仰韶文化早期的黄河流域。Media
https://www.solidot.org/story?sid=60520
根据发表在 PNAS 期刊上的研究，世界第二大语系——汉藏语系起源于大约 7200 年前的中国北方。汉语、藏语等 400 多种东亚语言被认为拥有共同的祖先语言，合称汉藏语系。尽管语言学家从 19 世纪初就开始对这一语系展开研究，但对汉藏语系的分化时间、起源地点等长期存有争议。法国高等社会科学学院东亚语言研究所和德国马克斯 · 普朗克人类历史学研究所等机构的研究人员，用谱系分类法对古汉语、古缅甸语和古藏语等 50 种汉藏语系语言的数据进行分析，研究结果显示，汉藏语系起源于种植粟的农业人口，他们生活在磁山文化晚期和仰韶文化早期的黄河流域。Media
https://www.solidot.org/story?sid=60520
联合国报告称百万物种因人类活动面临灭绝
联合国的一份报告（摘要）称有呀百万物种因人类活动濒临灭绝。这份长达约 1800 页的报告，是由来自 50 个国家的近 150 名专家经过三年时间编写的，另有 250 名专家对报告予以了额外贡献。科学家们在这份报告中预测，由于人类对经济发展的无节制追求，具体来说，是受农业、渔业、狩猎和气候变化的影响，地球上物种灭绝的速度将迅速加快。在人类已知的大约 800 万个物种中，100 万个物种将面临灭绝的威胁，其中很多物种灭绝将发生在数十年后。科学家们也表示，拯救生物多样性，目前还为时不晚。Media
https://www.solidot.org/story?sid=60521
联合国的一份报告（摘要）称有呀百万物种因人类活动濒临灭绝。这份长达约 1800 页的报告，是由来自 50 个国家的近 150 名专家经过三年时间编写的，另有 250 名专家对报告予以了额外贡献。科学家们在这份报告中预测，由于人类对经济发展的无节制追求，具体来说，是受农业、渔业、狩猎和气候变化的影响，地球上物种灭绝的速度将迅速加快。在人类已知的大约 800 万个物种中，100 万个物种将面临灭绝的威胁，其中很多物种灭绝将发生在数十年后。科学家们也表示，拯救生物多样性，目前还为时不晚。Media
https://www.solidot.org/story?sid=60521
中国私人火箭公司准备进行首次卫星发射
在两家民间公司发射失败之后，另一个中国私人火箭公司北京星际荣耀空间科技有限公司准备在六月初进行首次卫星入轨发射。星际荣耀、蓝箭航天、零壹空间、翎客航天、深蓝航天、星途探索、星河动力、灵动飞天、九州云箭至少 9 家民营火箭公司于 2015 年前后成立，并相继落户北京亦庄，这里被戏称为 “火箭一条街”。这些火箭企业已发射了 6 枚火箭，其中蓝箭航天去年 10 月发射的三级固体运载火箭 “朱雀一号” 及今年 3 月零壹空间发射的四级固体运载火箭遭遇失利。Media
https://www.solidot.org/story?sid=60522
在两家民间公司发射失败之后，另一个中国私人火箭公司北京星际荣耀空间科技有限公司准备在六月初进行首次卫星入轨发射。星际荣耀、蓝箭航天、零壹空间、翎客航天、深蓝航天、星途探索、星河动力、灵动飞天、九州云箭至少 9 家民营火箭公司于 2015 年前后成立，并相继落户北京亦庄，这里被戏称为 “火箭一条街”。这些火箭企业已发射了 6 枚火箭，其中蓝箭航天去年 10 月发射的三级固体运载火箭 “朱雀一号” 及今年 3 月零壹空间发射的四级固体运载火箭遭遇失利。Media
https://www.solidot.org/story?sid=60522
研究认为万智牌是图灵完全的
万智牌（Magic: The Gathering）是一种非常流行卡牌对战游戏，由 Richard Channing Garfield 设计，威世智公司（Wizards of the Coast）出品。英国和美国的三名研究人员发表论文（PDF），认为万智牌是图灵完全的，它的最优玩法至少和停机问题一样困难。他们从算法博弈论角度评估谁将赢得比赛的计算复杂性。他们提出了一种方法，将通用图灵机嵌入到万智牌游戏中，结果显示存在一种真实世界的游戏，判断必胜策略是不可计算的。Media
https://www.solidot.org/story?sid=60523
万智牌（Magic: The Gathering）是一种非常流行卡牌对战游戏，由 Richard Channing Garfield 设计，威世智公司（Wizards of the Coast）出品。英国和美国的三名研究人员发表论文（PDF），认为万智牌是图灵完全的，它的最优玩法至少和停机问题一样困难。他们从算法博弈论角度评估谁将赢得比赛的计算复杂性。他们提出了一种方法，将通用图灵机嵌入到万智牌游戏中，结果显示存在一种真实世界的游戏，判断必胜策略是不可计算的。Media
https://www.solidot.org/story?sid=60523
腾讯在英国实验用 AI 诊断帕金森病
腾讯利用人工智能 (AI) 为帕金森病患者诊断的项目开始在伦敦进行临床试验，这一项目是与英国初创企业 Medopad 合作进行的。两年前，中国政府要求这家科技巨头牵头开发用于医疗诊断的 AI 项目。“我们有很多共同的愿景，”腾讯医疗 AI 实验室主任范伟表示。“我们发现我们的道路越来越近了。”据 Medopad 公司介绍，帕金森病诊断的临床试验将在伦敦的一家私人精神健康诊所 Dementech Neurosciences 进行，大约 40 名患者参与试验。这项试验将在未来几个月完成。有 30 多名 Medopad 员工参与了与腾讯的合作。腾讯也有 35 人参与这一项目。Media
https://www.solidot.org/story?sid=60524
腾讯利用人工智能 (AI) 为帕金森病患者诊断的项目开始在伦敦进行临床试验，这一项目是与英国初创企业 Medopad 合作进行的。两年前，中国政府要求这家科技巨头牵头开发用于医疗诊断的 AI 项目。“我们有很多共同的愿景，”腾讯医疗 AI 实验室主任范伟表示。“我们发现我们的道路越来越近了。”据 Medopad 公司介绍，帕金森病诊断的临床试验将在伦敦的一家私人精神健康诊所 Dementech Neurosciences 进行，大约 40 名患者参与试验。这项试验将在未来几个月完成。有 30 多名 Medopad 员工参与了与腾讯的合作。腾讯也有 35 人参与这一项目。Media
https://www.solidot.org/story?sid=60524