致力于推广开源软件和捍卫自由软件 GPL 许可证的非盈利组织 Software Freedom Conservancy(SFC) 去年底对 Vizio 提起诉讼，指控其多次未能履行 GPL 许可证的基本要求。Vizio 是一家产品主要为高清电视机的消费电子品牌。SFC 称 Vizio 电视机产品使用的 SmartCast 系统包含了 GPL 授权的软件，按照 GPL 许可证要求，购买 Vizio 产品的消费者有权访问源代码，允许对源代码进行修改、研究和在适当条件下重新发行。5 月 13 日 SFC 成功赢得了动议将诉讼发回加州橙县(Orange County)高等法院。为什么说这是一次胜利？管辖范围包括橙县的加州中区联邦地方法院法官 Josephine L. Staton 在裁决书（PDF）中指出，SFC 主张 GPL 执行独立区分于版权法的额外合同许诺相当于一种额外元素，因此不能被排除。SFC 执行总监 Karen M. Sandler 解释说，这一裁决意味着 GPL 协议在功能上既作为版权许可又作为合同协议，而开源自由软件社区通常错误的以为 GPL 等公共版权(Copyleft）协议只具有版权许可功能，但最新裁决指出它还有合同功能。这将具有重要意义。

根据发表在《物理评论快报》上的一篇论文，中科大等的研究人员首次实现了侧信道无关量子密钥分发（QKD）的实验验证。QKD 基于量子力学基本原理，理论上可以为远程用户提供无条件安全的密钥交换。然而，实验实现和理论之间存在很大差距。在实际QKD系统中，由于现实器件并不完美，窃听者可以利用编码维度以外的侧信道，如光子频谱、发射时间、传播方向、空间角动量等来窃取密钥，这给现实 QKD 系统留下了潜在安全性漏洞。

俄罗斯数字发展部长 Maksut Shadaev 周二表示该国不打算封锁 YouTube，因为此举会影响到俄罗斯用户。YouTube 在俄罗斯有九千万月活用户，虽然俄有很多西方流行社交媒体的替代品，但还不存在规模上接近 YouTube 的替代。俄罗斯此前限制了对 Twitter、Facebook 和 Instagram 的访问，曾测试过切断全球互联网接入的试验。Shadaev 否定了俄罗斯可能考虑切断与全球互联网接入的猜测，表示俄罗斯不想与任何人隔离开来，应该继续成为全球网络的一部分。

中科院植物研究所研究员郭柯团队在西藏察隅县考察时，在云南黄果冷杉原始森林发现我国迄今为止最高树木。经无人机吊绳多次测量，该树木高度 83.2 米、胸径 207 厘米，高度超过了此前报道的位于西藏的不丹松（76.8米)和位于中国台湾的台湾杉（81-82米），刷新了中国最高树纪录。研究人员表示，该区域之所以能够保留如此高大完好的原始森林，得益于优越的气候和地形条件，以及极少的人类活动干扰。此处的大量高大树木及所在群落和生态系统具有重要的科研价值和保护意义。

Leslie Lamport 的名字可能不是家喻户晓，但作为计算机科学家，他比起那些名人不遑多让：排版程序 LaTeX 以及让 Google 和亚马逊云基础设施成为可能。他对一些问题给予了更多的关注，给它们起了独特的名字，比如面包店算法和拜占庭将军问题。这绝非偶然。这位 81 岁的计算机科学家对于人们如何使用和看待软件有着不同寻常的深入思考。2013 年，他赢得了被认为是计算领域诺贝尔奖的A.M.图灵奖，以表彰他在分布式系统方面的工作，此类系统由不同网络上的多个组件相互协调实现共同目标。互联网搜索、云计算和人工智能都涉及编排强大的计算机军团协同工作。当然这种协调也会给你带来更多的问题。Lamport曾说过：“分布式系统是这样一个系统：一台你甚至不知道其存在的计算机出现故障，就可能导致你自己的计算机无法使用。”

问题的最大来源之一是“并发系统”，其中多个计算操作发生在重叠的时间片中，导致模棱两可：哪台计算机的时钟是正确的？在 1978 年的一篇开创性论文中，Lamport 借鉴狭义相对论的见解，引入了“因果关系”概念解决这个问题。两个观察者可能在事件的顺序上存在分歧，但如果一个事件导致另一个事件，这就消除了分歧。并且发送或接收消息可以在多个进程之间建立因果关系。逻辑时钟——现在也称为 Lamport 时钟——提供了一种推理并发系统的标准方法。有了这个工具，计算机科学家接下来想知道他们如何能系统地使这些联网计算机变得更大，而不会增加错误。Lamport 提出了一个优雅的解决方案：Paxos，一种允许多台计算机执行复杂任务的“共识算法”。如果没有 Paxos 及其算法家族，现代计算就不可能存在。

两名美国国防情报高级官员周二表示，五角大楼致力于确定其所谓的“不明空中现象”——通常称为不明飞行物（UFO）——的起源，但承认其中许多现象仍然超出了政府的解释能力。Ronald Moultrie 和 Scott Bray 两名官员出席众议院情报小组委员会，参加美国国会半个世纪以来关于 UFO 的首次公开听证会。11 个月前，一份政府报告记录了美国军事飞行员自 2004 年以来观察到的 140 多起不明空中现象（UAP事件）。海军情报局副局长 Bray 表示，新成立的五角大楼特别工作组正式编目的 UAP 数量已增至 400 例。两位官员在描述特别工作组的工作以及可能的外星起源问题时都措辞谨慎，Bray 表示国防和情报分析人员并未排除这种可能性。Bray 表示，“我们没有材料，我们没有检测到任何放射物，在 UAP 特别工作组内部这表明它不是来自地球。”

Google AI 子公司 DeepMind 的首席研究员表示，人类水平的人工智能即将到来。Nando de Freitas 博士表示，在 DeepMind 推出能完成从堆积木到写诗的各种复杂任务的人工智能系统之后，实现通用人工智能（AGI）长达数十年的探索“游戏结束”。de Freitas博士表示，被描述为“通才代理”的 DeepMind 的新 Gato AI 只需要扩大规模，就能创造出与人类智能相媲美的 AI 能力。在回应 The Next Web 上一篇声称“人类永远无法实现AGI”的评论文章时，DeepMind 的研究主管写道，他认为结果是不可避免的。他在 Twitter 上写道：“现在一切都是规模的问题！游戏结束了。”“一切都是为了让这些模型更大、更安全、计算效率更高、采样速度更快、内存更智能、模式更多、创新数据、在线/离线……解决这些挑战就能实现 AGI。”机器学习研究员 Alex Dimikas 询问他认为 Gato AI 距离通过真正的图灵测试还有多远时，de Freitas 博士回答说：“还远着呢。”图灵测试是一种计算机智能的衡量标准，人类无法区分对方是机器还是人即算通过。de Freitas 博士在 Twitter 上回答 AI 研究人员提出的进一步问题时表示，在开发 AGI 时，“安全至关重要”。他写道：“这可能是我们面临的最大挑战。”“每个人都应该重视这个问题。缺乏足够的多样性也让我很担心。”

根据发表在《Scientific Reports》期刊上的论文，研究人员将花更多时间玩游戏与儿童智力提升关联起来，在某种程度上与游戏对年轻人有害的说法相矛盾。虽然认知能力的差异很小，不足以证明因果关系，但足以引起注意——研究仔细考虑了各种变量，包括遗传和儿童社会经济背景的差异。与此同时，看电视和使用社交媒体似乎对智力没有正面或负面影响。在年轻人花多少时间盯着屏幕是合适的这样的辩论中，这项研究应该是有用的。研究人员调查了 ABCD 研究中 9855 名儿童盯着屏幕的时间的记录，这些儿童都在美国，年龄在 9 岁或者 10 岁。平均而言，这些年轻人报告说每天花 2.5 小时看电视或者在线视频，1 小时玩电子游戏，半个小时使用社交网络。两年后研究人员再次查阅了其中 5000 多名儿童的数据。期间报告在电子游戏上花费的时间超过正常水平的儿童的智商比平均水平高出了 2.5 个点。智商评分的增加是基于孩子们在阅读理解、视觉空间处理以及专注于记忆、灵活思维和自我控制的任务上的表现。该研究只调查了美国的儿童，没有区分游戏的类型，如手游还是主机游戏。

迈阿密市长 Francis Suarez 支持的一种本地加密货币 MiamiCoin 过去几个月贬值了 95%，如今连一美分都不值。MiamiCoin 加密货币由 CityCoins 创造，它声称这是一场金融试验，通过社区驱动的收入流赋权公民，刺激数字城市服务。Francis Suarez 盛赞该代币有朝一日能取代市政税收成为市政府主要资金来源。CityCoins 还为纽约和德州奥斯丁推出类似的城市加密货币，但目前只有迈阿密市长对此类加密货币给与支持。MiamiCoin 于去年 8 月推出，但过去九个月其币值相比最高点下跌了 95%，目前只值 0.0032 美元。

中芯国际 CEO 赵海军表示，2022 年全球智能手机销量至少减少 2 亿部，受影响的主要是中国手机品牌。赵海军称，战争以及新冠封锁大幅减少了对消费电子和家电的需求，影响到了这些领域的芯片订单。赵海军表示他目前看不到结束的迹象，消费电子需求像石头一样直降，部分客户的库存存量能维持五个月。这种情况并没有影响到中芯国际的生产，工厂仍然以百分之百产能运行，绿色能源、电动汽车和工业应用电源管理芯片和微控制器的需求仍然十分旺盛。

《华尔街日报》引述消息人士指黑盒数据分析报道，中国东方航空客机三月在广西坠毁，造成全机132人死亡的事故，可能是有人蓄意撞毁飞机。东方航空公司对此表示，暂时无确凿证据支持上述揣测推断。东方航空回应《华尔街日报》查询时指，现时未有证据显示涉事飞机出现问题，又指有人强行闯入驾驶室的说法并不成立，暂时亦无任何确凿证据支持有关揣测。

HardenedLinux 写道 "基础架构包括计算机体系、物联网设备或其他信息化设备的固件、硬件组件、单元等基础组成部分，如主板Flash、显卡网卡等各类外设板卡的ROM，硬盘、EC、主板CSME/PSP/SMU等。基础架构安全性是整个系统的安全基石。如果基础架构的安全设置不当或存在高危漏洞、受到威胁，会导致整个系统的严重破坏，并且难以检测、恢复。固件的运行级别高于操作系统内核所在的RING 0级，如果用户的威胁模型中包含攻击者持久化这一项，那固件安全就不可忽视，特别在全球高级威胁防护的大趋势下，基础架构及平台固件属于整体防御中核心的环节，为了更好的推进行业对于基础架构整体弹性（Resiliency）水平，赛博堡垒（HardenedVault）和中科院软件所基础架构安全团队发起了一份关于平台固件安全的技术指南，草案版本由来自跨领域专家组的审阅，指南的alpha预览版发布于HardenedLinux社区（下载PDF），希望未来有兴趣的个人和机构可以继续推进。"