WireGuard 合并到 OpenBSD
WireGuard 合并进入到了 OpenBSD，这意味着未来 OpenBSD 将能原生支持 WireGuard VPN。WireGuard 由 Jason Donenfeld 开发，前身是是一个数据渗漏工具，相比 OpenVPN 和 IPSec，WireGuard 代码更简单，它只有 4000 行代码，而 OpenVPN 超过 10 万行。除此之外，它支持最新的加密算法和协议。WireGuard 今年初合并到了 Linux 内核主线，随 Linux kernel 5.6 的发布正式提供给用户，它被认为将对 VPN 服务产生深远影响。Media
https://www.solidot.org/story?sid=64733
WireGuard 合并进入到了 OpenBSD，这意味着未来 OpenBSD 将能原生支持 WireGuard VPN。WireGuard 由 Jason Donenfeld 开发，前身是是一个数据渗漏工具，相比 OpenVPN 和 IPSec，WireGuard 代码更简单，它只有 4000 行代码，而 OpenVPN 超过 10 万行。除此之外，它支持最新的加密算法和协议。WireGuard 今年初合并到了 Linux 内核主线，随 Linux kernel 5.6 的发布正式提供给用户，它被认为将对 VPN 服务产生深远影响。Media
https://www.solidot.org/story?sid=64733
越南如何做到无人死于新冠
越南有 9700 万人口，与中国接壤，但至今没有报告一例新冠死亡病例，总确诊病例数也只有 349 例。越南官方的数据外人难以核查，卫生专家称越南在疫情初期就采取了迅速而激烈的行动，从而避免了全面的灾难。在 1 月治疗第一个新冠病人时，越南就将其视为威胁，立即行动起来跟踪接触者并限制行动。鉴于病毒的传播能力，早期的时机非常重要。除了全国性的协调和针对性的测试，以及隔离，越南政府还不顾公众的争议在物理和虚拟的空间展开全面的监视。越南采取了极其严格的措施，比如入境的人需要接受测试并在指定地点隔离 14 天，如果发现测试阳性那么政府将在其居住地周围建立隔离区，进入公共场所需要消毒，需要佩戴口罩，进入公交车需要保持距离，等等。Media
https://www.solidot.org/story?sid=64736
越南有 9700 万人口，与中国接壤，但至今没有报告一例新冠死亡病例，总确诊病例数也只有 349 例。越南官方的数据外人难以核查，卫生专家称越南在疫情初期就采取了迅速而激烈的行动，从而避免了全面的灾难。在 1 月治疗第一个新冠病人时，越南就将其视为威胁，立即行动起来跟踪接触者并限制行动。鉴于病毒的传播能力，早期的时机非常重要。除了全国性的协调和针对性的测试，以及隔离，越南政府还不顾公众的争议在物理和虚拟的空间展开全面的监视。越南采取了极其严格的措施，比如入境的人需要接受测试并在指定地点隔离 14 天，如果发现测试阳性那么政府将在其居住地周围建立隔离区，进入公共场所需要消毒，需要佩戴口罩，进入公交车需要保持距离，等等。Media
https://www.solidot.org/story?sid=64736
Sergey Brin 秘密建立了一支紧急救援队
飓风 Dorian 去年九月袭击了巴哈马群岛，其中 Abaco 岛受创最重。飓风刚停息，巴哈马政府的援助尚未到来前，一支美国救援队乘着高速游轮抵达了当地，他们清理了道路，随行医生救治了十分之一的人口，海洋专家利用声纳勘察海床识别障碍物，航空专家修理机场重建空管系统，使得上千架救援飞机得以降落疏散受灾人群。对这一快速干预行动，Abaco 岛感谢的对象不是来自红十字会或无国界医生，而是 Global Support and Development (GSD)。GSD 是 Google 联合创始人 Sergey Brin 秘密建立的紧急救援队，由 Brin 的前保镖管理。过去五年，GSD 静悄悄的使用高科技系统在备受瞩目的灾难中快速提供人道主义援助。成立 GSD 的想法源自 2015 年，当时飓风 Pam 袭击了 Vanuatu 岛，导致当地许多人无家可归，缺乏食物和饮用水。Brin 的一艘游轮 Dragonfly 正好航行到附近，他本人并不在船上。船长 Mike Gregory 认为他们应该伸出援手。他联络了 Brin，接电话的是他的保镖、前美国海军中尉 Grant Dawson。Dawson 现在担任 GSD 的 CEO。这次救援行动 Dawson 负责，他找了自己认识的人，采购了大量药品，在收到通知 18 个小时后发起了救援。Media
https://www.solidot.org/story?sid=64737
飓风 Dorian 去年九月袭击了巴哈马群岛，其中 Abaco 岛受创最重。飓风刚停息，巴哈马政府的援助尚未到来前，一支美国救援队乘着高速游轮抵达了当地，他们清理了道路，随行医生救治了十分之一的人口，海洋专家利用声纳勘察海床识别障碍物，航空专家修理机场重建空管系统，使得上千架救援飞机得以降落疏散受灾人群。对这一快速干预行动，Abaco 岛感谢的对象不是来自红十字会或无国界医生，而是 Global Support and Development (GSD)。GSD 是 Google 联合创始人 Sergey Brin 秘密建立的紧急救援队，由 Brin 的前保镖管理。过去五年，GSD 静悄悄的使用高科技系统在备受瞩目的灾难中快速提供人道主义援助。成立 GSD 的想法源自 2015 年，当时飓风 Pam 袭击了 Vanuatu 岛，导致当地许多人无家可归，缺乏食物和饮用水。Brin 的一艘游轮 Dragonfly 正好航行到附近，他本人并不在船上。船长 Mike Gregory 认为他们应该伸出援手。他联络了 Brin，接电话的是他的保镖、前美国海军中尉 Grant Dawson。Dawson 现在担任 GSD 的 CEO。这次救援行动 Dawson 负责，他找了自己认识的人，采购了大量药品，在收到通知 18 个小时后发起了救援。Media
https://www.solidot.org/story?sid=64737
Ron Gilbert 开源了 Delores
著名游戏设计师和程序员 Ron Gilbert 开源了他的一部作品《Delores》。他说在疫情隔离期间，相信很多人可能厌倦了一直玩动森，“所以”他放出源代码让玩家们玩玩其它东西。他没有公开《Delores》的游戏引擎，原因之一是他使用了第三方库，无权自己决定将其开源。《Delores》是他开源的第一个项目，他接受其他用户递交的 bug 补丁和翻译（英文文本已经提取出来）。Ron Gilbert 以互动类的冒险游戏著称，早期作品为《猴岛小英雄》系列，近期的作品为 《银莲公园（Thimbleweed Park）》。Media
https://www.solidot.org/story?sid=64738
著名游戏设计师和程序员 Ron Gilbert 开源了他的一部作品《Delores》。他说在疫情隔离期间，相信很多人可能厌倦了一直玩动森，“所以”他放出源代码让玩家们玩玩其它东西。他没有公开《Delores》的游戏引擎，原因之一是他使用了第三方库，无权自己决定将其开源。《Delores》是他开源的第一个项目，他接受其他用户递交的 bug 补丁和翻译（英文文本已经提取出来）。Ron Gilbert 以互动类的冒险游戏著称，早期作品为《猴岛小英雄》系列，近期的作品为 《银莲公园（Thimbleweed Park）》。Media
https://www.solidot.org/story?sid=64738
意大利用白色防水布减缓冰川融化
炎炎夏季到来前，意大利人用白色防水布覆盖住冰川，试图减缓冰川的融化。在意大利北部，自 1993 以来 Presena 冰川体积减少了三分之一以上。为阻止其融化，一到滑雪季结束，保护者就会用白色防水布遮住雪地。Carosello-Tonale 公司从事这项功能，2008 年项目启动之初他们覆盖的面积约 3 万平方米，现在扩大到了 10 万平方米。白色防水布可以反射阳光，使得雪地保持在较低的温度。项目负责人 Davide Panizza 称，奥地利的部分冰川也使用了类似的覆盖系统。这些覆盖物会在 9 月份移除。Media
https://www.solidot.org/story?sid=64739
炎炎夏季到来前，意大利人用白色防水布覆盖住冰川，试图减缓冰川的融化。在意大利北部，自 1993 以来 Presena 冰川体积减少了三分之一以上。为阻止其融化，一到滑雪季结束，保护者就会用白色防水布遮住雪地。Carosello-Tonale 公司从事这项功能，2008 年项目启动之初他们覆盖的面积约 3 万平方米，现在扩大到了 10 万平方米。白色防水布可以反射阳光，使得雪地保持在较低的温度。项目负责人 Davide Panizza 称，奥地利的部分冰川也使用了类似的覆盖系统。这些覆盖物会在 9 月份移除。Media
https://www.solidot.org/story?sid=64739
Facebook 发布工具从单张照片实现高清人像 3D 数字化
深度神经网络推动了基于图像的三维人体形状估计技术的进步，但现有的技术还无法产生细节丰富的高清人体三维结构。主要限制是创建精确的 3D 模型需要更多的上下文背景和更高的图像分辨率，以及更多的内存。南加州大学和 Facebook 的研究人员提出了 PIFuHD（PDF） 去解决这个问题，代码发布在 GitHub 上。从简单图像重组高清三维人像的演示动画。Media
https://www.solidot.org/story?sid=64740
深度神经网络推动了基于图像的三维人体形状估计技术的进步，但现有的技术还无法产生细节丰富的高清人体三维结构。主要限制是创建精确的 3D 模型需要更多的上下文背景和更高的图像分辨率，以及更多的内存。南加州大学和 Facebook 的研究人员提出了 PIFuHD（PDF） 去解决这个问题，代码发布在 GitHub 上。从简单图像重组高清三维人像的演示动画。Media
https://www.solidot.org/story?sid=64740
Ruby on Rails 作者谈如何写出优秀的代码
Ruby on Rails 作者 David Heinemeier Hansson 接受采访谈论了如何写出出色的代码。他被问道作为一个见识了大量代码的人，好的差的代码是否能一目了然。Hansson 回答：如果代码很糟糕，在检查逻辑前你就察觉到。没有缩进，代码风格混乱，一点也不细心。学习写出出色的代码是一生的追求。正如我在 RailsConf 2014 上所说的，我们不是软件工程师，而是软件作者。相比工程，写作是更适合我们所从事工作的比喻。写作事关清晰，以一种清晰易懂的方式展示信息，因此人人都能理解。成为优秀的作者靠背字典是不行的。知道可用的单词知道开发模式不能让你成为出色的开发者。你必须发展出自己的见解，你需要决定你的系统最重要的是清晰。优秀程序员的定义是能写出清晰软件的人，而要成为优秀的程序员，唯一的方法是你必须阅读大量的软件和写大量的软件。Media
https://www.solidot.org/story?sid=64741
Ruby on Rails 作者 David Heinemeier Hansson 接受采访谈论了如何写出出色的代码。他被问道作为一个见识了大量代码的人，好的差的代码是否能一目了然。Hansson 回答：如果代码很糟糕，在检查逻辑前你就察觉到。没有缩进，代码风格混乱，一点也不细心。学习写出出色的代码是一生的追求。正如我在 RailsConf 2014 上所说的，我们不是软件工程师，而是软件作者。相比工程，写作是更适合我们所从事工作的比喻。写作事关清晰，以一种清晰易懂的方式展示信息，因此人人都能理解。成为优秀的作者靠背字典是不行的。知道可用的单词知道开发模式不能让你成为出色的开发者。你必须发展出自己的见解，你需要决定你的系统最重要的是清晰。优秀程序员的定义是能写出清晰软件的人，而要成为优秀的程序员，唯一的方法是你必须阅读大量的软件和写大量的软件。Media
https://www.solidot.org/story?sid=64741
野生动物贸易增加冠状病毒传播
一项对越南南部三省野生动物贸易的研究发现，随着动物被捕到进入市场，再到供应链的下一步餐馆，其体内冠状病毒呈阳性反应的比例显著上升。田鼠是越南及其邻国很流行的动物，测试发现捕获者出售的野生田鼠冠状病毒呈阳性的比例约为 20%，而市场里销售的田鼠冠状病毒呈阳性的比例约 30%，而餐馆的阳性比例达到了 55%。这意味着有很高的比例餐桌盘子里的田鼠感染了某种冠状病毒。流行病学家 Sarah H. Olson 解释说，交易的野生动物生活在拥挤的环境中，压力很大，因此更容易感染病毒。这是经典“疾病生态学”。研究报告发表在预印本网站 bioRxiv 上。Media
https://www.solidot.org/story?sid=64742
一项对越南南部三省野生动物贸易的研究发现，随着动物被捕到进入市场，再到供应链的下一步餐馆，其体内冠状病毒呈阳性反应的比例显著上升。田鼠是越南及其邻国很流行的动物，测试发现捕获者出售的野生田鼠冠状病毒呈阳性的比例约为 20%，而市场里销售的田鼠冠状病毒呈阳性的比例约 30%，而餐馆的阳性比例达到了 55%。这意味着有很高的比例餐桌盘子里的田鼠感染了某种冠状病毒。流行病学家 Sarah H. Olson 解释说，交易的野生动物生活在拥挤的环境中，压力很大，因此更容易感染病毒。这是经典“疾病生态学”。研究报告发表在预印本网站 bioRxiv 上。Media
https://www.solidot.org/story?sid=64742
FBI 如何识别一位蒙面纵火犯
每个网民在某种程度上都会留下数字痕迹。在费城最近发生的一次抗议活动中，一位没有露面的女子纵火烧毁了一辆警车。而 FBI 识别出这位纵火犯就是利用了她在网上留下的各种蛛丝马迹。她所穿的 T 恤是非常独特的，在 Etsy 上出售，因此 FBI 的调查人员查看了 Etsy 上的留言，寻找是否有费城的人发帖，他们发现一位化名为 alleycatlore 的费城居民给了五星好评，称发货很快。FBI 探员在网上搜索了 alleycatlore，结果在时尚网站 Poshmark 上找到了一位名叫 lore-elisabeth 的用户。在费城搜索 Lore Elisabeth，找到了她在 LinkedIn 的资料。她手臂上的纹身出现在了 Lore Elisabeth 做按摩的一个旧视频中。美国司法部的新闻稿称她面临最高 80 年的监禁，当地新闻网站则表示她面临的最高刑期为 10 年和最高 50 万美元罚款。她目前已被关押并且无法得到保释。Media
https://www.solidot.org/story?sid=64743
每个网民在某种程度上都会留下数字痕迹。在费城最近发生的一次抗议活动中，一位没有露面的女子纵火烧毁了一辆警车。而 FBI 识别出这位纵火犯就是利用了她在网上留下的各种蛛丝马迹。她所穿的 T 恤是非常独特的，在 Etsy 上出售，因此 FBI 的调查人员查看了 Etsy 上的留言，寻找是否有费城的人发帖，他们发现一位化名为 alleycatlore 的费城居民给了五星好评，称发货很快。FBI 探员在网上搜索了 alleycatlore，结果在时尚网站 Poshmark 上找到了一位名叫 lore-elisabeth 的用户。在费城搜索 Lore Elisabeth，找到了她在 LinkedIn 的资料。她手臂上的纹身出现在了 Lore Elisabeth 做按摩的一个旧视频中。美国司法部的新闻稿称她面临最高 80 年的监禁，当地新闻网站则表示她面临的最高刑期为 10 年和最高 50 万美元罚款。她目前已被关押并且无法得到保释。Media
https://www.solidot.org/story?sid=64743
日本 ARM 超算富岳登顶 Top 500 榜单
Top 500 公布了最新的榜单，日本基于 ARM 架构的超算富岳登顶，其 Linpack 运算性能达到 415.5 petaflops，是排在第二位的美国橡树岭国家实验室 IBM 超算 Summit 的 2.8 倍。富岳（PDF）安装在神户的日本理化所计算机科学中心，其处理器为富士通公司的 48/52 核 A64FX ARM v8.2-A，采用了可缩放矢量扩展（Scalable Vector Extension）和 512 位实现，为高性能计算进行了优化，由台积电 7 纳米工艺制造，晶体管数量 878.6 亿。A64FX 包含 48 个计算核心和 2 到 4 个辅助核心，没有 GPU 加速器，封装了 HBM2 内存。富岳总共有 158,97 个节点，峰值功率 28.33MW，使用水冷冷却系统，运行的操作系统为 Red Hat Enterprise Linux 8 和 McKernel（轻量级多内核操作系统）。Top 10 超算还有 Summit （148.6 petaflops），Sierra，神威太湖之光，天河二号 A，HPC5（意大利），Selene，Frontera，Marconi-100 和 Piz Daint。中国依旧保持超算数量第一有 226 台，美国 114 台，日本 30 台，法国 18 台，德国 16 ，美国超算的总性能高于中国。联想制造的超算数量再次保持第一，共有 180 台，之后是曙光 (68)，浪潮 (64)，HPE (37)，克雷/HPE (35)，富士通 13。500 台超算中 469 台使用英特尔 CPU，有 11 台。Media
https://www.solidot.org/story?sid=64744
Top 500 公布了最新的榜单，日本基于 ARM 架构的超算富岳登顶，其 Linpack 运算性能达到 415.5 petaflops，是排在第二位的美国橡树岭国家实验室 IBM 超算 Summit 的 2.8 倍。富岳（PDF）安装在神户的日本理化所计算机科学中心，其处理器为富士通公司的 48/52 核 A64FX ARM v8.2-A，采用了可缩放矢量扩展（Scalable Vector Extension）和 512 位实现，为高性能计算进行了优化，由台积电 7 纳米工艺制造，晶体管数量 878.6 亿。A64FX 包含 48 个计算核心和 2 到 4 个辅助核心，没有 GPU 加速器，封装了 HBM2 内存。富岳总共有 158,97 个节点，峰值功率 28.33MW，使用水冷冷却系统，运行的操作系统为 Red Hat Enterprise Linux 8 和 McKernel（轻量级多内核操作系统）。Top 10 超算还有 Summit （148.6 petaflops），Sierra，神威太湖之光，天河二号 A，HPC5（意大利），Selene，Frontera，Marconi-100 和 Piz Daint。中国依旧保持超算数量第一有 226 台，美国 114 台，日本 30 台，法国 18 台，德国 16 ，美国超算的总性能高于中国。联想制造的超算数量再次保持第一，共有 180 台，之后是曙光 (68)，浪潮 (64)，HPE (37)，克雷/HPE (35)，富士通 13。500 台超算中 469 台使用英特尔 CPU，有 11 台。Media
https://www.solidot.org/story?sid=64744
美国将暂停 H1B、H2B 等外国工人工作签证
美国总统特朗普签署行政令，宣布将在今年内暂停专业技术人士工作签证 H1B，季节工 H-2B 签证，交流访客计划的 J 签证，L-1 公司内部调派等类型的工作签证。大型科技公司和美国商务部均表示，在新冠疫情肆虐经济后，暂时停发签证将箝制经济复苏。这项公告的立即影响可能有限，因美国全球各地使馆大部分例行的签证程序仍处于关闭状态。国土安全部一位高阶官员表示，该公告将不会影响在美国已经持有有效签证者。共和党籍的特朗普正寻求在 11 月 3 日总统大选成功连任，而强硬的移民政策立场是他争取选民的中心主轴之一；但疫情、经济停滞和全国各地抗议警察暴行，使得特朗普这项竞选诉求蒙上阴影。特朗普政府计划修订 H-1B 签证计划，这样每年按该计划颁发的85,000个签证将发给收入最高的申请人，取代当前的抽签制。Media
https://www.solidot.org/story?sid=64745
美国总统特朗普签署行政令，宣布将在今年内暂停专业技术人士工作签证 H1B，季节工 H-2B 签证，交流访客计划的 J 签证，L-1 公司内部调派等类型的工作签证。大型科技公司和美国商务部均表示，在新冠疫情肆虐经济后，暂时停发签证将箝制经济复苏。这项公告的立即影响可能有限，因美国全球各地使馆大部分例行的签证程序仍处于关闭状态。国土安全部一位高阶官员表示，该公告将不会影响在美国已经持有有效签证者。共和党籍的特朗普正寻求在 11 月 3 日总统大选成功连任，而强硬的移民政策立场是他争取选民的中心主轴之一；但疫情、经济停滞和全国各地抗议警察暴行，使得特朗普这项竞选诉求蒙上阴影。特朗普政府计划修订 H-1B 签证计划，这样每年按该计划颁发的85,000个签证将发给收入最高的申请人，取代当前的抽签制。Media
https://www.solidot.org/story?sid=64745
苹果未来的 Mac 电脑将使用它自己设计的 ARM 处理器
在周一举行的 WWDC 2020 大会上，苹果演示了 iOS 14，WatchOS 7 和 macOS Big Sur，证实了最近几天的传言：即它未来的 Mac 电脑将抛弃基于 x86 架构的英特尔 CPU 改用它自己设计的 ARM 处理器。 苹果 CEO 库克（Tim Cook）称这是 Mac 电脑具有历史性意义的一天。此举也意味着 macOS 将原生支持 iOS 应用。在短期内苹果仍然会继续提供采用英特尔 CPU 的 Mac 电脑。苹果鼓励开发者更新他们的应用。对于旧的未更新的应用，苹果将会提供模拟层 Rosetta 2 让 ARM Mac 能继续运行旧应用。采用自己的 ARM 处理器将让苹果能大幅降低成本，并降低功耗，按自己的计划对 Mac。Media
https://www.solidot.org/story?sid=64746
在周一举行的 WWDC 2020 大会上，苹果演示了 iOS 14，WatchOS 7 和 macOS Big Sur，证实了最近几天的传言：即它未来的 Mac 电脑将抛弃基于 x86 架构的英特尔 CPU 改用它自己设计的 ARM 处理器。 苹果 CEO 库克（Tim Cook）称这是 Mac 电脑具有历史性意义的一天。此举也意味着 macOS 将原生支持 iOS 应用。在短期内苹果仍然会继续提供采用英特尔 CPU 的 Mac 电脑。苹果鼓励开发者更新他们的应用。对于旧的未更新的应用，苹果将会提供模拟层 Rosetta 2 让 ARM Mac 能继续运行旧应用。采用自己的 ARM 处理器将让苹果能大幅降低成本，并降低功耗，按自己的计划对 Mac。Media
https://www.solidot.org/story?sid=64746
微软关闭游戏直播平台 Mixer
微软宣布将在 7 月 22 日关闭它在 2016 年收购的游戏直播平台 Mixer。微软在宣布关闭的同时鼓励用户和合作游戏主播转移到另一个直播平台 Facebook Gaming。微软在收购 Mixer 之后将其整合到了 Xbox One 主机中，成为 Xbox 平台内置的游戏直播平台，虽然用户仍然可以安装竞争对手的服务如 Twitch。微软几个月前还花高价挖来了热门游戏主播如 Tyler "Ninja" Blevins，随着 Mixer 的关闭，微软宣布他们可以自由选择其它直播平台。Media
https://www.solidot.org/story?sid=64747
微软宣布将在 7 月 22 日关闭它在 2016 年收购的游戏直播平台 Mixer。微软在宣布关闭的同时鼓励用户和合作游戏主播转移到另一个直播平台 Facebook Gaming。微软在收购 Mixer 之后将其整合到了 Xbox One 主机中，成为 Xbox 平台内置的游戏直播平台，虽然用户仍然可以安装竞争对手的服务如 Twitch。微软几个月前还花高价挖来了热门游戏主播如 Tyler "Ninja" Blevins，随着 Mixer 的关闭，微软宣布他们可以自由选择其它直播平台。Media
https://www.solidot.org/story?sid=64747
苹果发布《基地》电视剧预告
苹果在 WWDC 大会上发布了《基地》电视剧的首个预告片(YouTube)。这部备受期待的电视剧改编自艾萨克·阿西莫夫的同名科幻小说，它在 YouTube 上线 10 小时播放量就超过了一千万次，它将于 2021 年在苹果的订阅服务 Apple TV+ 上播出。《基地》系列小说的创作受到了吉本《罗马帝国衰亡史》的启发，小说出版于 1940 到 1950 年代，讲述了历史长达万年的银河帝国崩溃，然后又在混乱中重新崛起的故事。早期的核心角色是数学家 Hari Seldon，他发明了心理史学，能通过历史事件预测未来趋势。根据心理史学他预言银河帝国将在五百年内覆灭，随后将出现长达三万年的混乱的黑暗时代。统治银河帝国的公共安全委员会认为其妖言惑众，逮捕了他以及其助手 Gaal Dornick。在审判中，Seldon 为自己辩护，称他无法阻止帝国覆灭，但可以将黑暗时代的时间跨度缩短到一千年，方法是建立一个基地保存人类知识。Media
https://www.solidot.org/story?sid=64748
苹果在 WWDC 大会上发布了《基地》电视剧的首个预告片(YouTube)。这部备受期待的电视剧改编自艾萨克·阿西莫夫的同名科幻小说，它在 YouTube 上线 10 小时播放量就超过了一千万次，它将于 2021 年在苹果的订阅服务 Apple TV+ 上播出。《基地》系列小说的创作受到了吉本《罗马帝国衰亡史》的启发，小说出版于 1940 到 1950 年代，讲述了历史长达万年的银河帝国崩溃，然后又在混乱中重新崛起的故事。早期的核心角色是数学家 Hari Seldon，他发明了心理史学，能通过历史事件预测未来趋势。根据心理史学他预言银河帝国将在五百年内覆灭，随后将出现长达三万年的混乱的黑暗时代。统治银河帝国的公共安全委员会认为其妖言惑众，逮捕了他以及其助手 Gaal Dornick。在审判中，Seldon 为自己辩护，称他无法阻止帝国覆灭，但可以将黑暗时代的时间跨度缩短到一千年，方法是建立一个基地保存人类知识。Media
https://www.solidot.org/story?sid=64748
中国发射最后一颗北斗三号卫星
中国周二在西昌卫星发射中心用长征三号乙运载火箭，成功发射北斗系统第 55 颗导航卫星暨北斗三号最后一颗全球组网卫星。此前因中国 2 次航天发射任务失利，北斗卫星的发射时间由 5 月调整至 6月 。6 月 16 日，因临射前发现产品技术问题，发射再次推迟至 6 月 23 日。1994 年，北斗卫星导航系统启动建设。20 多年间，中国在西昌卫星发射中心共组织了 44 次北斗发射任务，利用长征三号甲系列运载火箭，先后将 4 颗北斗一号试验卫星、 55 颗北斗二号和北斗三号组网卫星送入预定轨道，Media
https://www.solidot.org/story?sid=64749
中国周二在西昌卫星发射中心用长征三号乙运载火箭，成功发射北斗系统第 55 颗导航卫星暨北斗三号最后一颗全球组网卫星。此前因中国 2 次航天发射任务失利，北斗卫星的发射时间由 5 月调整至 6月 。6 月 16 日，因临射前发现产品技术问题，发射再次推迟至 6 月 23 日。1994 年，北斗卫星导航系统启动建设。20 多年间，中国在西昌卫星发射中心共组织了 44 次北斗发射任务，利用长征三号甲系列运载火箭，先后将 4 颗北斗一号试验卫星、 55 颗北斗二号和北斗三号组网卫星送入预定轨道，Media
https://www.solidot.org/story?sid=64749
CERN 计划造 100 公里周长的超级对撞机
欧洲粒子物理研究所 CERN 的理事会批准了投资 230 亿美元建造 100 公里周长的超级对撞机计划，新对撞机将让 27 公里长的大强子对撞机相形见绌。CERN 的未来环形对撞机（Future Circular Collider）能以超过 100 TeV 的能量进行粒子碰撞，将能创造更多的希格斯玻色子，而“希格斯工厂”将帮助物理学家更好的理解暗物质和其它粒子物理标准模型的未解之谜。未来环形对撞机将分两个阶段建造，第一阶段将是对撞正负电子产生更多希格斯玻色子，第二阶段将是以 100 TeV 的能量进行质子间对撞以产生新的粒子去补充标准模型。CERN 计划在 2038 年开始建造新的隧道，目前的难题是筹集资金，它可能需要成立一个全球性的组织去资助该项目。Media
https://www.solidot.org/story?sid=64750
欧洲粒子物理研究所 CERN 的理事会批准了投资 230 亿美元建造 100 公里周长的超级对撞机计划，新对撞机将让 27 公里长的大强子对撞机相形见绌。CERN 的未来环形对撞机（Future Circular Collider）能以超过 100 TeV 的能量进行粒子碰撞，将能创造更多的希格斯玻色子，而“希格斯工厂”将帮助物理学家更好的理解暗物质和其它粒子物理标准模型的未解之谜。未来环形对撞机将分两个阶段建造，第一阶段将是对撞正负电子产生更多希格斯玻色子，第二阶段将是以 100 TeV 的能量进行质子间对撞以产生新的粒子去补充标准模型。CERN 计划在 2038 年开始建造新的隧道，目前的难题是筹集资金，它可能需要成立一个全球性的组织去资助该项目。Media
https://www.solidot.org/story?sid=64750
阿拉斯加超级火山喷发可能帮助终结了罗马共和国
罗马共和国的衰亡笼罩着火山的阴影：古代历史学家记载，尤利乌斯•凯撒在公元前 44 年遇刺后太阳神秘的消失了，随之而来的是寒冷的气候，农作物歉收。现在，一组科学家和历史学家发现公元前 43 年爆发的一次大规模火山喷发可能是共和国瓦解帝国形成那两年气候异常和出现饥荒的原因。凯撒遇刺后的昏暗天气可能是埃特纳火山的一次小规模喷发所致，但第二年初阿拉斯加 Okmok 火山发生了大规模喷发，形成了 10 公里宽的火山口。它喷出的遮天蔽日的火山颗粒很容易飘散到北半球。研究人员称，他们确信这次喷发造成了极端气候。研究报告发表在 PNAS 期刊上。Media
https://www.solidot.org/story?sid=64751
罗马共和国的衰亡笼罩着火山的阴影：古代历史学家记载，尤利乌斯•凯撒在公元前 44 年遇刺后太阳神秘的消失了，随之而来的是寒冷的气候，农作物歉收。现在，一组科学家和历史学家发现公元前 43 年爆发的一次大规模火山喷发可能是共和国瓦解帝国形成那两年气候异常和出现饥荒的原因。凯撒遇刺后的昏暗天气可能是埃特纳火山的一次小规模喷发所致，但第二年初阿拉斯加 Okmok 火山发生了大规模喷发，形成了 10 公里宽的火山口。它喷出的遮天蔽日的火山颗粒很容易飘散到北半球。研究人员称，他们确信这次喷发造成了极端气候。研究报告发表在 PNAS 期刊上。Media
https://www.solidot.org/story?sid=64751