1 苹果公司首次在全球智能手机市场占据首位

2023 年，全球智能手机出货量下降了 3.2%，为 11.67 亿部智能手机，除了苹果公司（3.7%）和中国的传音（30.8%），前五位的其它厂商都报告了市场份额收缩。2023 年的智能手机全球出货量是十年来最低的。据 IDC 数据，虽然苹果手机的全年出货量也在下降，但其全年达到 2.346 亿部，iPhone 在全球智能手机市场中首次取得领先（20.1%）。而长期占据智能手机市场第一名的三星（19.4%）上一次失去第一名是在 2010 年，当时的第一名是诺基亚。

（插图：DA/fd9926b1-0168-4220-bd2c-6f8ea5f0f2e6）

消息来源：The Verge

老王点评：虽然一再被诟病，但是没想到苹果手机居然取得了第一。

2 美国国会要求 NASA 必须打败中国重返月球

美国国家航空航天局（NASA）的 阿耳特弥斯 Artemis 登月计划目前计划在 2025 年和 2026 年发射其飞行器。但前 NASA 局长 迈克·格里芬 Mike Griffin 说：“当别人登上月球时，美国及其合作伙伴却没有登上月球，这是不可接受的。”美国众议院科学、太空和技术委员会于 17 日召开听证会，多名成员对计划的拖延表示担忧，认为屈居第二可能危及美国的国家安全。有趣的是，该委员会主席说，“首先登陆的国家将有能力开创一个先例，决定未来的月球活动是以公开透明的方式进行，还是以更受限制的方式进行。”他们将太空称为 “最终的军事制高点”，称谁在最后的前沿领域领先，谁就 “将控制这个地球的命运”。

（插图：DA/2fdd9e44-76a4-41ee-bc2b-c617469dc6e9）

消息来源：Space

老王点评：是不是首先登陆先不说，但是这是不是又一个“星球大战”计划？

3 摩根大通每天遭受 450 亿次网络攻击

摩根大通资产与财富管理部门主管 玛丽·埃多斯 Mary Erdoes 在达沃斯发表讲话时说，黑客每天攻击其系统 450 亿次，是一年前的两倍。她表示，该银行每年在技术方面的支出达 150 亿美元，并雇用了 62,000 名技术专家，其中许多人专门致力于打击日益猖獗的网络犯罪。之所以拥有“比谷歌或亚马逊更多的工程师”，是因为欺诈者变得更聪明、更精明、更迅速、更狡猾、更调皮。

（插图：DA/4c0f6e95-4928-4f92-ba81-a81302c48ee2）

消息来源：《金融时报》

老王点评：这个数据是非常令人吃惊的。

回音

• 五天后，Linus Torvalds 恢复 上线，开始合并 Linux 6.8 的补丁。

美国 NASA 向 1977 年发射的两个旅行者探测器发送补丁

自 1977 年发射以来，美国国家航空航天局（NASA）的旅行者 1 号和 2 号探测器已经飞行了超过 120 亿英里，并且仍在从太阳系外发回数据。然而由于一些问题，NASA 需要跨越整个太阳系向它们发送补丁。其中一项工作是解决飞船上一些推进器的窄管内似乎积聚了燃料残渣的问题。推进器用于使每个航天器的天线对准地球。这次任务已经开始让两个航天器在每个方向上稍微旋转远一点，差不多 1 度。预计这个预防措施，可也让飞船推进器推进剂入口管至少五年内不会完全堵塞。另外一个补丁是为了解决一个姿态衔接和控制系统的错误。

消息来源：NASA

老王点评：就说为了维护一个几十年前的计算机设备得有多困难，而且可能没有试错的机会。

大多数人在车内还是只听收音机

现在是 2023 年，你可能会认为 AM/FM 收音机即将被淘汰，但新的数据显示，对很多人来说并非如此。市场调研发现，没有车载娱乐系统的人有 67% 的时间在收听 AM/FM 广播，其余时间在收听流媒体服务或播客等。但是，在有车载娱乐系统的人中，46% 的人仍在收听 AM/FM 广播。

消息来源：9to5mac

老王点评：这是国外的调查数据，国内如何，大家在开车时听什么？

Mozilla 首次发布年度数字隐私“惊悚指数”：今年“非常可怕”

Mozilla 首次发布 “ 年度消费者惊悚指数 Annual Consumer Creep-o-Meter ，该指数试图为数字隐私设定基准并识别趋势。2023 年，我们的数字隐私状况是：非常可怕。 2017 年以来，2023 年，产品和公司正在收集比以往更多的个人数据，用于有针对性的广告和人工智能训练。越来越多的产品无法离线使用，在很多情况下，这已不再是一种选择。

消息来源：Mozilla

老王点评：迎接新的时代吧，无隐私时代 —— 我已经对保持数字隐私放弃了期望。

谷歌“资源池化”员工工位，要求一些员工拼桌上班

谷歌超过四分之一的全职员工都在其云计算部门。现在，谷歌正在要求云计算员工“分享他们的办公桌，并从下个季度开始与他们的拼桌伙伴交替工作。”这样做是为了让公司可以腾退一些办公楼，“能够继续投资于云计算的发展”。他们希望员工能隔天来上班，这样他们就不会在同一天在同一张办公桌上。

消息来源：CNBC

老王点评：就像云计算资源池和超卖一样，谷歌云真是将云计算理念运用到了“实处”。

AI 对资本家最有用

有观点认为，AI 对资本家最有用。除非 AI 是开源的，且由终端用户控制，否则除了 AI 的软件供应商，其他人的未来可能是暗淡的。像 GPT-3 之类的大语言模型能用于扩展人类的工作或帮助完成枯燥的工作，就像程序员用 Copilot 加快工作效率，律师、医生、会计师、营销人员等都将会有自己的 AI 助手。就像智能手机，在生活中无处不在，成为生活必用品。没有它们我们的生活几乎寸步难行，而提供这些产品的公司变得极其富有而强大。这些产品带来的生产力提升只受益于少数人，这些企业也只雇佣少数人，绝大部分人的工资停滞不前。

消息来源：Me Bassett

老王点评：我不同意这个观点，AI 会像智能手机一样成为生活必需品，但是没有人因为智能手机而失业和变得更贫困。我更担心的是，AI 回头会觉得人类是累赘。

美国 NASA 发起 “开源科学倡议”，敦促采用开放科学

NASA 科学数据官 Steve Crawford 介绍了 NASA 的开源科学计划。他用 “尽可能的开放、必要的限制、永远的安全” 来概括这一政策。具体来说，“出版物应该公开，没有禁运期，包括研究数据和软件。数据应以知识共享零许可（CC0）方式发布，软件应以常用的许可方式发布，如 Apache、BSD 或 MIT。新政策还鼓励使用和贡献于开源软件”。并且，NASA 更新了政策，明确其员工可以以其官方身份为开源项目做出贡献。此外，作为该计划的一部分，NASA 已经开始了一项为期五年、耗资 4000 万美元的向开放科学转型任务。

消息来源：LWN

老王点评：有一点我是服的 —— 美国的很多国家机构，真是拿开源当回事，而不是只知道用开源。而且，他们真敢开源一些看起来“敏感”的领域的技术。

微软的 Linux 仓库遭遇 22 小时中断

上周三，packages.microsoft.com 遭遇严重瘫痪。这是微软为 CentOS、Debian、Fedora、OpenSUSE 等 Linux 发行版提供软件安装程序的仓库。这次故障影响了试图安装 .NET Core、Microsoft Teams、Microsoft SQL Server for Linux 等的用户，也影响了 Azure 的开发管道。

微软工程师在最初报告后约 5 小时确认了这一故障，并隐晦地提及基础设施团队遇到了一些空间问题。

作为一家致力于开源的、拥有全球顶级的云服务的企业，在提供的开源基础设施如此漫不经心，我有点怀疑它的诚意。

我国网络基础设施已经全部支持 IPv6

中国通信标准化协会副理事长兼秘书长闻库表示，目前，网络基础设施方面，在三大运营商，CDN 企业、数据中心企业的共同努力下，已全部支持 IPv6。应用基础设施方面，数据中心、云产品、内容分发也初步具备全国全网 IPv6 的支持服务能力，用户数量和用户的使用量取得不菲的成效。

虽然有些人对迁移到 IPv6 不满意，甚至还有人搞了个所谓的“IPv9”，但是我认为 IPv6 才是当前可行的解决方案。

美国 NASA 努力修复哈勃太空望远镜 1980 年代的计算机故障

哈勃太空望远镜于 1990 年被发射到低地球轨道，当时使用的是一台更古老的计算机。在接下来的 13 年里，它接受了五次来自美国航天飞机的宇航员的升级和维修。在最近，该计算机在 6 月 13 日星期日停止了运行。14 日重新启动计算机的尝试失败。而望远镜本身和科学仪器仍然处于良好的状态。据判断是内存模块退化导致的故障。

真是老当益壮，但是这个计算机实在太老了，不知道能不能换台新的，要论性能的话，没准树莓派都更高一些。

最近我们刚为开设了一个新的“科学类”的文章分类。其中发表的最新一篇文章名为：开源是怎样影响科学的。在这篇文章中我们主要讨论了 NASA 的积极努力，这些努力包括他们通过开源实践来促进科学研究的积极作用。

NASA 是怎样使用开源手段促进科学研究的

NASA 将他们的整个研究库对整个公共领域开放，这是一项壮举。

没错！每个人都能访问他们的整个研究库，并能从他们的研究中获益。

他们现已开放的资料可以大致分为以下三类：

• 开源 NASA
• 开放 API
• 开放数据

1、开源 NASA

这里有一份 GitHub 的联合创始人之一和执行总裁 Chris Wanstrath 的采访，他向我们介绍道，一切都是从很多年前开始的。

该项目名为 “code.nasa.gov”，截至本文发表为止，NASA 已经通过 GitHub 开源了 365 个科学软件（LCTT 译注：本文原文发表于 2018/3/28，截止至本译文发布，已经有 454 个项目了）。对于一位热爱程序的开发者来说，即使一天研究一个软件，想把 NASA 的这些软件全部研究过来也要整整一年的时间。

即使你不是一位开发者，你也可以在这个门户网站浏览这个壮观的软件合集。

其中就有阿波罗 11 号的制导计算机的源代码。阿波罗 11 号空间飞行器首次将两名人类带上月球，分别是 Neil Armstrong 和 Edwin Aldrin 。如果你对 Edwin Aldrin 感兴趣，可以点击这里了解更多。

NASA 开源代码促进会使用的开源代码许可

它们采用了几种开源许可证，其分类如下：

• Apache 许可证 2.0
• Nasa 开源许可证 3.0
• GPL v3
• MIT 许可证

2、开放 API

开放 API 在推行开放科学中起到了很大作用。与开源促进会类似，对于 API，也有一个 开放 API 促进会。下面这张示意图可以告诉你 API 是怎样将应用程序和它的开发者连接起来的。

记得点击这个链接看看。链接内的文章使用了简单易懂的方法解读了 API ，文末总结了五大要点。

这会让你感受到专有 API 和开放 API 会有多么大的不同。

NASA 的 Open API 主要针对应用程序开发者，旨在显著改善数据的可访问性，也包括图片内容在内。该网站有一个实时编辑器，可供你调用每日天文一图（APOD） 的 API。

3、开放数据

在我们发布的第一篇开放科学的文章中，我们在“开放科学”段落下提到的三个国家 —— 法国、印度和美国的多种开放数据形式。NASA 有着类似的想法和行为。这种重要的意识形态已经被多个国家所接受。

NASA 的开放数据门户致力于开放，拥有不断增长的可供大众自由使用的开放数据。将数据集纳入到这个数据集对于任何研究活动来说都是必要且重要的。NASA 还在他们的门户网站上征集各方的数据需求，以一同收录在他们的数据库中。这一举措不仅是领先的、创新的，还顺应了数据科学、AI 和深度学习的趋势。

下面的视频讲的是学者和学生们是怎样通过大量研究得出对数据科学的定义的。这个过程十分的激动人心。瑞尔森大学罗杰斯商学院的 Murtaza Haider 教授在视频结尾中提到了开源的出现对数据科学的改变，尤其让是旧有的闭源方式逐渐变得开放。而这也确实成为了现实。

现在任何人都能在 NASA 上征集数据。正如前面的视频中所说，NASA 的举措很大程度上与征集和分析优化数据有关。

你只需要免费注册即可。考虑到论坛上的公开讨论以及数据集在可能存在的每一类分析领域中的重要性，这一举措在未来会有非常积极的影响，对数据的统计分析当然也会大幅进展。在之后的文章中我们还会具体讨论这些细节，还有它们和开源模式之间的相关性。

以上就是对 NASA 开放科学模式的一些探索成就，希望您能继续关注我们接下来的相关文章！

via: https://itsfoss.com/nasa-open-science/

作者：Avimanyu Bandyopadhyay 选题：lujun9972 译者：Valoniakim 校对：wxy

本文由 LCTT 原创编译，Linux中国 荣誉推出

引言： 你知道 NASA 顶级程序员如何编写关键任务代码么？为了确保代码更清楚、更安全、且更容易理解，NASA 的喷气推进实验室制定了 10 条编码规则。

NASA 的开发者是编程界最有挑战性的工作之一。他们编写代码并将开发安全的关键任务应用程序作为其主要关注点。

在这种情形下，遵守一些严格的编码规则是重要的。这些规则覆盖软件开发的多个方面，例如软件应该如何编码、应该使用哪些语言特性等。

尽管很难就一个好的编码标准达成共识，NASA 的喷气推进实验室（JPL）遵守一个编码规则，其名为“十的次方：开发安全的关键代码的规则”。

由于 JPL 长期使用 C 语言，这个规则主要是针对于 C 程序语言编写。但是这些规则也可以很容地应用到其它的程序语言。

该规则由 JPL 的首席科学家 Gerard J. Holzmann 制定，这些严格的编码规则主要是聚焦于安全。

NASA 的 10 条编写关键任务代码的规则：

1. 限制所有代码为极为简单的控制流结构 — 不用 goto 语句、setjmp 或 longjmp 结构，不用间接或直接的递归调用。
2. 所有循环必须有一个固定的上限值。必须可以被某个检测工具静态证实，该循环不能达到预置的迭代上限值。如果该上限值不能被静态证实，那么可以认为违背该原则。
3. 在初始化后不要使用动态内存分配。
4. 如果一个语句一行、一个声明一行的标准格式来参考，那么函数的长度不应该比超过一张纸。通常这意味着每个函数的代码行不能超过 60。
5. 代码中断言的密度平均低至每个函数 2 个断言。断言被用于检测那些在实际执行中不可能发生的情况。断言必须没有副作用，并应该定义为布尔测试。当一个断言失败时，应该执行一个明确的恢复动作，例如，把错误情况返回给执行该断言失败的函数调用者。对于静态工具来说，任何能被静态工具证实其永远不会失败或永远不能触发的断言违反了该规则（例如，通过增加无用的 assert(true) 语句是不可能满足这个规则的）。
6. 必须在最小的范围内声明数据对象。
7. 非 void 函数的返回值在每次函数调用时都必须检查，且在每个函数内其参数的有效性必须进行检查。
8. 预处理器的使用仅限制于包含头文件和简单的宏定义。符号拼接、可变参数列表（省略号）和递归宏调用都是不允许的。所有的宏必须能够扩展为完整的语法单元。条件编译指令的使用通常是晦涩的，但也不总是能够避免。这意味着即使在一个大的软件开发中超过一两个条件编译指令也要有充足的理由，这超出了避免多次包含头文件的标准做法。每次在代码中这样做的时候必须有基于工具的检查器进行标记，并有充足的理由。
9. 应该限制指针的使用。特别是不应该有超过一级的解除指针引用。解除指针引用操作不可以隐含在宏定义或类型声明中。还有，不允许使用函数指针。
10. 从开发的第一天起，必须在编译器开启最高级别警告选项的条件下对代码进行编译。在此设置之下，代码必须零警告编译通过。代码必须利用源代码静态分析工具每天至少检查一次或更多次，且零警告通过。

关于这些规则，NASA 是这么评价的：

这些规则就像汽车中的安全带一样，刚开始你可能感到有一点不适，但是一段时间后就会养成习惯，你会无法想象不使用它们的日子。

此文是否对你有帮助？不要忘了在下面的评论区写下你的反馈。

作者简介：

Adarsh Verma 是 Fossbytes 的共同创始人，他是一个令人尊敬的企业家，他一直对开源、技术突破和完全保持密切关注。可以通过邮件联系他 — [email protected]

via: https://fossbytes.com/nasa-coding-programming-rules-critical/

作者：Adarsh Verma 译者：penghuster 校对：wxy

本文由 LCTT 原创编译，Linux中国 荣誉推出