Solidot

中美上周末在瑞士举行经贸高层会谈。北京时间 12 日下午三点左右，两国同步发表中美日内瓦经贸会谈联合声明，双方承诺将于 2025 年 5 月 14 日前，大幅降低过去一个多月来互相加征的关税，以继续推进谈判。双方对对方商品保留 10% 的加征关税，加征的 24% 关税暂停实施 90 天。其他新增关税全部取消。中国还会“暂停或取消”对美国的非关税反制措施，此举可能涉及中国对美国的稀土产品出口禁令。联合声明还称，采取上述举措后，中美将建立机制，进行经贸关系协商。

美国 28 个最大城市中有 25 个正在下沉，可能会影响数千座建筑物和数百万人。其中沃斯堡、休斯顿和达拉斯的下沉速度最快，平均每年超过 4 毫米。纽约、芝加哥、哥伦布、西雅图和丹佛，平均每年下沉超过 2 毫米。休斯顿 42% 的陆地每年下沉超过 5 毫米，12% 的陆地每年下沉超过 10 毫米。大部分下沉是由地下水开采引起的，然而在一些城市，如纽约、费城和华盛顿特区，下沉主要是由“冰川均衡调整”引起的。在上一个冰河时期，这些地区被巨大的冰盖覆盖。冰的绝对重量压迫地壳，就像坐在记忆海绵床垫上。当几千年前冰融化时，压力解除，地面开始缓慢反弹，但这种反弹并不均匀。部分地区如美国东海岸和中西部，陆地仍在下沉而不是上升，因为它们靠近前隆地带，这是一个被附近冰的重量推高的区域，现在正在塌陷。

大质量恒星在生命末期可能会塌陷发生超新星爆发，而靠近地球的超新星爆发则可能会毁灭地球上的生命。研究团队调查了地球方圆 3,260 光年内的大质量恒星，估算出距离地球 65 亿光年内，每 10 亿年大约发生 2.5 次会对地球产生巨大影响的超新星爆发。这一频率与地球上的大规模生命灭绝事件吻合：4.45 亿年前的奥陶纪灭绝事件以及 3.72 亿年前的泥盆纪灭绝事件。这两起灭绝事件都与臭氧层丧失有关，而超新星爆发释放的大量辐射是臭氧层遭到破坏的原因之一。对人类而言幸运的是，未来数百万年内只有两颗大质量恒星——参宿四和心宿二——可能会超新星爆发。而两颗恒星距离超过 500 光年，地球处于安全距离内，它们不会产生致命影响。

德国拜罗伊特大学研究团队首次运用 CRISPR-Cas9 基因编辑技术改造蜘蛛基因，让蜘蛛吐出了散发红色荧光的丝线。这项研究为开发新型生物材料开辟了新途径。蜘蛛丝堪称自然界的“生物钢丝”，不仅具有惊人的抗撕裂性和弹性，还非常轻、可以降解。若能通过基因编辑精准调控蜘蛛产丝过程，有望研制出性能更优异的仿生丝材料，广泛应用于多个领域。在最新研究中，团队调配出含有基因编辑组份和红色荧光蛋白基因序列的注射溶液，将其注入雌蛛未受精的卵细胞后，再与雄蛛进行交配。令人振奋的是，基因编辑后的蜘蛛后代成功吐出了红色荧光丝，这标志着外源基因序列已稳定插入丝蛋白内。

因违反打包政策 openSUSE 项目移除了 Deepin 桌面环境。Deepin 项目通过官方论坛发表声明表示将改进安全响应和修复安全问题。声明称，“过去几年，openSUSE安全团队指出的相关安全隐患，由于社区在安全响应机制上的不足，部分问题未能及时修复。对此，我们向 openSUSE 团队、下游打包者及所有受影响的用户郑重致歉，并承诺以此次事件为契机，全面推进系统性的优化改进。在收到openSUSE团队的声明后，我们已经在第一时间和openSUSE团队及openSUSE的deepin桌面环境的软件包维护贡献者进行了沟通，也将我们后续的改进措施同步到了openSUSE安全团队。”Deepin 项目表示将全面整改。

美国版权局上周五发表了一份有关使用版权材料训练 AI 模型是否是合理使用的报告，次日特朗普下令解雇了该局局长 Shira Perlmutter。科技巨头和 AI 公司是特朗普的支持者，其中马斯克（Elon Musk）旗下的 AI 公司是众多希望使用版权材料训练 AI 模型的公司之一。美国版权局的报告区分了研究用的 AI 模型和商业性 AI 模型，认为研究用的 AI 模型能带来变革，但商业性模型生成的是与训练使用的版权作品相似的输出，不太可能被视为带来变革性。商业用的 AI 训练类似人类学习。版权局更多是站在了版权所有者而不是 AI 公司这一边。

美国梅奥诊所、​​堪萨斯大学医学中心和罗切斯特大学医学中心的研究人员发现，高尔夫球场使用的农药增加了附近居民的帕金森症风险，越靠近高尔夫球场风险越高。住在距离高尔夫球场一英里以内的居民患帕金森症的风险是六英里以外居民的两倍多，三英里以内的居民也有较高的患病风险，三英里以外相关性减弱。研究人员称，出现这一相关性是因为高尔夫球场大量使用农药如毒死蜱（chlorpyrifos）和代森锰(Maneb)，残留农药污染了空气和地下水，导致了受污染区域居民的帕金森症风险增加。

根据发表在《eClinicalMedicine》期刊上的一项研究，相比减肥手术，第一代 GLP-1RA 减肥药除了减肥作用外，在预防肥胖相关癌症方面的直接作用高出 41%。GLP-1RA 通过模拟人体内激素 GLP-1 去实现减肥，这种激素可降低血糖水平，使人更长时间感到饱腹。肥胖和糖尿病都会增加多种癌症的风险，这些癌症被称为肥胖相关癌症，包括绝经后乳腺癌、结直肠癌、子宫体癌、脑膜瘤、肾细胞肾癌、肝癌或胆管癌、胰腺癌、甲状腺癌、胃癌和卵巢癌，以及多发性骨髓瘤。

流行减肥药 liraglutide 或 semaglutide 被发现也有助于减少酒精摄入。酒精相关障碍(Alcohol-Related Disorders)是一种复发性疾病，每年 260 万人死亡与之相关，占全球年死亡人数的 4.7%。戒酒非常困难，七成戒酒者会在一年内重新饮酒。胰高血糖素样肽-1（GLP-1）被用于治疗肥胖，在动物实验中被发现也有助于减少酒精摄入，但人体研究才刚刚起步。最新研究涉及 262 名超重或肥胖者，平均年龄 46 岁，平均体重 98 公斤。他们被允许服用 GLP-1 减肥。根据参与者自我报告的酒精消费量，研究人员将他们分成不饮酒者、少量饮酒者和经常饮酒者。在服用 GLP-1 四个月后，他们的平均酒精摄入量减少了三分之二，其中经常饮酒者减少了 68%。参与者称戒酒变得轻而易举。

2024 年 5 月 10 日，近二十年来首次 G5 级强地磁风暴袭击地球，此时恰逢 NASA 与多个美国政府机构进行太空天气的防灾模拟演习期间，这场被命名为 Gannon 的强地磁风暴，让原本防灾演习转立刻转变为实战。Gannon 风暴对地面与太空环境皆造成显著冲击。美国中西部地区一些依赖 GPS 导引的大型农业机具运作时偏离原来行走的方向，造成的农损平均达 17,000 美元。飞行中的客机为躲避辐射暴增与通讯中断的风险临时调整航线。大气层中的热气层温度急升至约摄氏1150度，大气因而膨胀导致卫星绕地球运行的阻力增加。NASA 的 ICESat-2 卫星因阻力增加、高度下降而进入安全模式，CIRBE 卫星则提前约五个月进入大气层。ESA 的 Sentinel 任务也需耗费更多燃料来维持轨道的高度。火星也受到了这次太阳日冕物质抛射的影响，整个火星被观测到被极光笼罩。

研究人员曾付费给用户使用微软 Bing 搜索引擎两周，结果发现部分人还想继续用。《华盛顿邮报》的科技专栏作家受此启发也尝试使用了基于 Bing 的 DuckDuckGo，发现放弃 Google 搜索比预期的更简单。今天 Google 的搜索质量已经无法让它的竞争对手望尘莫及，就用户体验而言 DuckDuckGo 大多数情况下并不比 Google 差，而且它收集的数据要比 Google 少得多，它也不会保存搜索内容的历史。使用 Google 更多是一种习惯。

Chungin Lee 曾在 ChatGPT 帮助下写作文，最终成功入学哥伦比亚大学，之后他几乎每一份作业都使用生成式 AI 作弊。他就读的是计算机科学专业，他说自己的入门编程作业是扔进 ChatGPT 然后直接将结果上交。他估算自己递交的每一篇作文有八成是 AI 写的。他会对作文进行润色，让它看起来是自己人工写的。那么他为什么要如此费劲考入常春藤盟校，然后将所有学习都交给机器人？他说常春藤盟校是找到合伙人和妻子的最佳场所。他找到了自己的合伙人，在开发了三款不怎么成功的 APP 之后，他们创造的远程编程面试作弊工具引发了广泛关注。他和合伙人从投资者手中筹集到了 530 万美元，用于开发另外一款 AI 应用。Lee 表示，他们将目标瞄准研究生入学标准化考试，以及所有校园作业、测验和考试，让学生可以在几乎所有地方都能作弊。哥伦比亚大学对他进行了纪律处分，不是因为他在作业中作弊，而是因为他开发了作弊用的 AI 工具。Lee 表示，他学校里认识的学生几乎没有一个不在用 AI 作弊。他并不认为这是一件坏事，认为我们距离一个没有人认为使用 AI 做作业是作弊的世界只剩下几年，或者可能是几个月时间。其他学生也认为没有人能抗拒一个能让所有作业都变得更容易，而且目前看起来没有任何后果的工具。

NASA 发布三则最新声音化作品，将哈勃太空望远镜（Hubble）、詹姆斯・韦伯太空望远镜（James Webb）、钱德拉 X 射线天文台（Chandra）、X 光偏振成像卫星（IXPE）等太空望远镜所搜集的观测资料，转译为音乐形式，带领听众用耳朵探索宇宙中最极端的天体：黑洞。这三段声音化作品分别呈现黑洞形成前的恒星状态、黑洞与伴星的动态交互作用，以及黑洞巨大能量喷流的壮观景象。

美国咖啡店正采取措施限制客户长时间占据座位，将咖啡店当作远程办公场所使用的行为。纽约 Devocion 连锁店将 WiFi 开放限制在工作日两小时时段，周末则完全关闭。底特律 Alba 咖啡店自 2023年 开业以来一直没有提供 WiFi。部分咖啡店甚至用胶带封住了电源插座。华盛顿 DC 咖啡馆 Elle 一开始没有提供 WiFi，因网上的差评而改为 WiFi 开放时间限制在周一至周四上午 8 点至下午 3 点，使用时间上限为 90 分钟。当然也有咖啡店认识到部分客户有远程办公的需求。它们特地为远程办公的客户提供了单独的房间，按小时收费，如果额外消费的话可获得积分。

根据杜克大学研究人员在 PNAS 期刊上发表的一项研究，使用 AI 是一把双刃剑——生成式 AI 可能会提高部分人的生产力，但也可能会损害他们的职业声誉。研究发现，在工作中使用 ChatGPT、Claude 和 Gemini 等 AI 工具的员工会面临同事和上司对其能力和积极性的负面评价。研究团队对逾 4400 名参与者展开了四项实验，调查对使用 AI 工具的用户的预期和实际评价。研究揭示了人们对使用 AI 帮助完成工作的人存在一致的偏见。针对 AI 用户的社会污名并不局限于特定人群。

墨西哥就 Google Maps 针对美国用户将“墨西哥湾（Gulf of Mexico）”改名为“美国湾（Gulf of America）”起诉 Google。美国众议院周四投票通过了改名法案，要求联邦机构将所有地图和文件中的“墨西哥湾”都改名为“美国湾”。墨西哥总统 Claudia Sheinbaum 表示，根据国际规则，墨西哥湾是一个多国共享的水域，其名称具有国际法律效力，而美国只有权将美国大陆架部分改名为美国湾，而不是给整片海域命名。现有美国领土有很大一部分两百年前是属于墨西哥，墨西哥湾就是这历史的一部分。

松下宣布将在全球裁员1万人左右，占员工总数的近 5%。作为结构性改革费用，将计入 1300 亿日元损失，并募集提前离职者。裁员将于 2025 至 2026 年度实施。社长楠见雄规召开线上记者会，称“经营责任在我，我深感愧疚”。他还表示将返还自己总报酬的约 40%。裁员设想的是国内、海外各5000人左右。松下控股的合并员工总数截至 2025 年 3 月底为 20.7548 万人。

即将发布的 Linux 6.15 将停止支持有 36 年历史的 486 以及第一代奔腾处理器。微软早在 2001 年发布 Windows XP 后就停止了对 486 的支持。Linux 作者 Linus Torvalds 在内核邮件列表上表示是时候放弃支持 i486 了，不值得在 i486 上浪费开发精力。资深内核开发者 Ingo Molnar 解释说，为了支持已经很少有人使用的旧 x86-32 架构，内核开发者花费了很多力气去实现兼容性。这种兼容性粘合常常会带来需要大量精力解决的问题，这些时间本可以做其它事情。Linux 是在 2012 年停止支持 386。未来对 x86 CPU 的支持最低将是 P5 微架构的奔腾处理器。
修正：
风之影 写道： Intel 80486处理器发布于1989年。486处理器缺少CX8（CMPXCHG8B）指令和TSC（时间戳计数器），为了支持486处理器，操作系统必须包含模拟CX8和TSC的逻辑，这带来了额外的维护工作。Linus Torvalds在2022年曾提议停止支持486处理器，但被投票否决了。近期，Linus Torvalds再次提议放弃对486处理器的支持，随后，内核老将Ingo Molnar提交了一组补丁，移除了对缺少CX8和TSC功能的CPU的支持。受影响的处理器除486以外，还包括部分早期的586处理器，如AMD K5和Elan系列、Cyrix的5x86/6x86/6x86MX、IDT的WinChip系列等。早在2012年的Linux 3.8中，就是Ingo Molnar编写的补丁终止了支持386处理器。
386和486处理器可用于嵌入式系统、工业电脑和航天领域，二者持续生产到了2007年才停产，但若停止支持486处理器的补丁获准通过，并不会对此产生影响，这是因为嵌入式系统使用的486处理器（如Intel Quark）支持CX8和TSC，而更原始的486处理器则搭载旧版Linux。
Windows操作系统早在2001年的Windows XP就因为要求CX8而停止支持486处理器。

Shawn the R0ck 写道：“Memory safety 近年来成为热门话题。但在讨论“memory safety”时，我们需要先明确究竟在探讨什么、追求什么目标。你是在关注通过编译器完成静态分析（如 Clang Static Analyzer、rustc 等）来在编译阶段捕获潜在问题，还是更信任编译器让代码顺利编译，通过运行时机制（比如 Go 或 Java 中的垃圾回收）来解决所有问题？或者，你仅仅关注于安全加固的最终目标——即防止系统遭受攻击？内存安全问题的复杂性正反映了安全领域的本质：安全是一门交叉学科，融合了计算机科学和复杂性理论，这使得要完全掌控其复杂性变得异常困难。因此，企图通过单一或者几种 “memory-safe language” 重写现有软件，从而彻底杜绝所有安全隐患，并非现实可行的方案。
一门编程语言在设计时可能就倾向于提供内存安全机制，例如自动垃圾回收、数组边界检查等，这些机制在规范层面上勾画了一个理想状态。但在现实中，不同的实现者会出于需求和性能指标的考虑采取不同的策略。例如，虽然 Lisp 通常配备垃圾回收机制、支持灵活的数据操作和动态类型系统，但这并不意味着所有 Lisp 解释器都能完全消除内存安全问题。如果由于特定需求或追求性能而对部分安全检查作出妥协，那么内存越界或非法指针访问等安全隐患依然有可能出现。
同样，C/C++ 被长期视为“不安全”的语言，因为它允许程序员直接操作内存和执行指针运算。然而，通过严谨的工程化手段（如静态分析工具、严格的代码审查、运行时检测机制等），使得 C/C++ 在特定环境下无限接近无 Bug 状态也是可能的。本文将以 HardenedLinux 过去数十年中在对抗系统复杂性、提升内存安全方面的一些做法为背景进行探讨。总体来看，内存安全不仅关乎编译器或运行时单一环节的责任，而是需要在语言设计、工具支持、工程实践等多方面协同努力，以实现最终“系统不被攻陷”的安全目标。本文不涉足强制访问控制，沙箱，Linux内核加固等议题。”

模仿 Windows 11 主题的 Linux 发行版 AnduinOS 最近因为进入了 DistroWatch 排行榜而引起了关注，它的唯一维护者 Anduin Xue 公开了身份：他是一名微软工程师，但工作与 Windows 操作系统不相干。他是在空闲时间维护这个基于 Ubuntu 的发行版的，每个月只抽出几小时时间维护它，因此没有计划商业化，也没考虑接受捐赠。他来自中国，因此有人担心该发行版可能会含有后门。Anduin Xue 说发行版的源代码是公开的，为政府植入后门是很容易曝光的。他表示如果未来有赞助或企业合作，他可能会全职维护该发行版。