#Tech

与「Tech」相关的海外科技文章中文摘要。

电池:游戏规则已改变——而且与你想象的不一样

电池:游戏规则已改变——而且与你想象的不一样
电池行业正在经历一场深刻的变革,不再是单一的性能提升竞赛。如今,不同应用场景对电池的需求各异,例如快速充电、能量密度、成本和可扩展性。这意味着电池正从单一组件转变为横跨工业周期的关键能源基础设施,厂商需掌控技术、生产、集成和电网才能获得优势。CATL、BYD等公司正在通过技术创新和垂直整合,引领电池行业发展,而固态电池等技术将在无人机、人形机器人等高价值市场率先应用。钠离子电池则因其可扩展性和原材料丰富性,将在储能和低能耗应用中发挥重要作用。

中国施压赞比亚取消全球最大数码人权会议

中国施压赞比亚取消全球最大数码人权会议
全球最大数码人权会议RightsCon原定于赞比亚举行,但因中国政府施压,赞比亚政府以“信息披露”为由在开会前五天取消了会议。中国政府不满会议演讲者名单中包含来自台湾民间社会组织的代表。AccessNow组织表示,中国外交官向赞比亚政府施压,要求阻止台湾代表的参与。赞比亚政府提出的条件包括限制讨论议题并排斥特定群体,这被AccessNow组织视为不可接受的“红线”,最终导致会议被迫取消。

精神航空破产倒闭,34年运营戛然而止

精神航空破产倒闭,34年运营戛然而止
美国超低成本航空公司精神航空(Spirit Airlines)宣布公司已进入有序清算程序,运营立即停止,标志着其34年历史的结束。高油价,特别是因伊朗战争导致的价格上涨,是导致公司破产的关键因素。所有航班已被取消,客户服务也已停止。交通部长正在协调其他航空公司提供限时优惠机票给受影响的旅客,并协助安置流离失所的员工。此前,特朗普政府曾考虑对该公司进行救助,但未能达成协议。

苹果停止销售599美元入门级Mac mini,起售价升至799美元

苹果停止销售599美元入门级Mac mini,起售价升至799美元
苹果公司已正式停止销售最入门级的Mac mini配置,该型号配备M4芯片、16GB统一内存和256GB存储,原价599美元。现在,新的入门级Mac mini起售价为799美元,拥有M4芯片、16GB内存和512GB存储。 苹果CEO蒂姆·库克表示,Mac mini和Mac Studio的需求超出预期,主要受到AI和代理工具需求的推动。目前该型号的供货存在短缺,预计需要数月才能平衡供需, 256GB存储型号预计不会重新回归。 消费者如果想购买新的Mac mini,现在起步价将比之前贵200美元。

重新构想 GitHub/GitLab Actions

随着 LLM/Agent 在代码编写中发挥更大作用,GitHub/GitLab Actions 需要进行改进。主要改进方向包括:细粒度的权限控制,限制 Agent 权限;失败时提供回流机制,让 Agent 观察并修复错误;引入可选的动态注入步骤,进行行为检查;提供流式日志和可观测性;增加人工审核环节,防止意外部署;以及实现更动态的 CI 计划生成,以适应复杂项目。

我的AI应用开发工作流

我的AI应用开发工作流
本文分享了作者当前用于构建应用的AI工作流,强调了流程的系统性和可控性,而非简单堆叠AI工具。该工作流包括:利用ChatGPT、deep-research和last30days进行信息发现;通过six-hats进行决策和观点提炼;使用v0和Stitch快速探索UI设计;借助Pencil构建可复用的设计系统;运用grill-with-docs、PRD和issues将想法转化为实际工作;依赖自定义的Ralph loop执行任务,并用cmux管理AI代理;最后通过TDD和Playwright E2E进行质量控制。作者还在探索利用Zo进行移动端轻量级开发,并计划引入纸质原型设计和更加智能的BDD风格AI质量保证。

Kubernetes 漏洞修复:Copy Fail (CVE-2026-31431) 防御

Kubernetes 漏洞修复:Copy Fail (CVE-2026-31431) 防御
Linux内核存在一个名为“Copy Fail”的严重漏洞 (CVE-2026-31431),允许攻击者通过仅732字节的Python脚本获取root权限,影响多种Linux发行版,包括Ubuntu、RHEL等。该漏洞源于内核认证加密实现中的逻辑缺陷,利用了AF_ALG接口和splice()函数,可能在2017年就已存在。目前官方补丁尚未广泛应用,因此需要采取临时措施。Tetragon,一个基于eBPF的安全代理,可以通过在syscall级别阻止AF_ALG socket的创建,从而有效缓解该漏洞,且无需修改内核编译参数。用户可以通过安装Tetragon并配置TracingPolicy来阻止攻击,同时获得事件告警,方便进行安全监控。

最佳本地运行AI编码模型:5款值得关注

最佳本地运行AI编码模型:5款值得关注
本文介绍了5款可在消费级硬件上本地运行的开源AI编码模型,它们在性能上逼近GPT-5和Claude Opus,弥补了大型模型对高性能硬件的依赖。这些模型分别是Gemma 4 E4B-IT(文本、图像、音频处理能力强,适合多模态工作流)、gpt-oss-20B(编码性能强大,支持链式思维)、DeepSeek-R1-Distill-Llama-8B(擅长逻辑错误调试和算法推理)、Qwen3.6-35B-A3B(在GitHub问题解决和终端任务执行方面表现出色,具有推理上下文保留功能)以及Phi-4 14B(在推理和数学方面表现突出,尤其擅长Python编程)。这些模型的推出降低了AI编码的硬件门槛,为开发者提供了更多选择。

前福克斯新闻主持人史蒂夫·希尔顿:他可能成为加州下一任州长?

前福克斯新闻主持人史蒂夫·希尔顿:他可能成为加州下一任州长?
英国移民史蒂夫·希尔顿,曾是戴维·卡梅伦的顾问和福克斯新闻主持人,正在加州州长选举中意外地领先。尽管加州是民主党优势州,希尔顿却因利用民主党内部的分裂和混乱,以及对加州经济问题和高生活成本的批评,获得了意外的支持。他摒弃了传统的广告宣传方式,而是通过实地走访,强调变革的重要性,并利用对特朗普政府的友好关系吸引选民。尽管面临许多挑战,希尔顿的竞选活动正引发人们对加州政治格局可能发生的“政治革命”的讨论,他致力于通过改变政治环境来改善民生。

以色列武装分子袭击西岸学校,造成人员伤亡

以色列武装分子袭击西岸学校,造成人员伤亡
以色列的预备役人员在西岸穆盖尔村的一所学校外枪杀了14岁少年 Aws al-Naasan,随后又杀害了一名英语教师的弟弟。这起事件是近期西岸定居者暴力行为的一部分,针对学校和学生。此前,定居者还袭击并毁坏了一所为巴勒斯坦儿童提供教育的学校,并设置路障阻碍儿童上学。联合国儿童基金会谴责针对巴勒斯坦儿童教育的袭击,并指出这些袭击会对儿童的心理和生活产生长期影响。以色列军方声称枪手是预备役人员,并称其行为与军方无关。

Z 世代投资热潮:经济不确定性下的年轻一代

Z 世代投资热潮:经济不确定性下的年轻一代
由于经济不稳定和有限的社会保障,Z 世代(1997-2012 年出生)的年轻人正比以往任何一代都更积极地参与金融市场。他们投资的范围涵盖了避险债券、人工智能初创公司、锂电池、机器人技术等。尽管早期经历过加密货币投资的损失,部分 Z 世代通过技术和人工智能工具接触到投资信息,并倾向于长期投资低成本的指数基金(ETF)。另有小部分人参与高风险的日内交易和加密货币交易,但许多人正在利用人工智能来辅助投资决策,寻求财务上的独立和避免未来依赖公司工作。

超声波技术扑灭厨房火灾,能否取代喷淋系统?

超声波技术扑灭厨房火灾,能否取代喷淋系统?
加州一家名为Sonic Fire Tech的公司正在研发利用低频超声波(infrasound)进行火灾扑灭的技术。该技术通过震动氧分子,使其脱离燃料,从而抑制燃烧。在演示中,该系统成功扑灭了厨房油锅起火的场景。该公司希望该技术能够取代传统的喷淋系统,避免水资源浪费和水损害,并计划应用于数据中心和家庭环境。然而,行业专家对超声波技术完全取代喷淋系统的可行性表示担忧,认为缺乏充分的证据证明其在大型火灾和野火场景下的有效性,且对第三方验证报告的细节也存在疑虑。

基因治疗让部分失聪儿童重获听力

基因治疗让部分失聪儿童重获听力
美国食品药品监督管理局(FDA)已批准首款针对 OTOF 基因突变引起的严重至深重听力损失的基因治疗药物 Otarmeni。该疗法通过一次注射,使 80% 的患者恢复了可测量的听力,42% 的患者能够辨别细语。长期观察发现,90% 的患者在治疗后两年半仍能保持听力。基因治疗技术的进步,使其能够将患者从失聪状态带回听觉世界。虽然早期基因治疗因安全问题遭遇挫折,但如今通过改进的病毒载体和 CRISPR 基因编辑技术的应用,该领域迎来了复兴,并有望为更多疾病带来突破。

Fino - 费用追踪器

Fino - 费用追踪器
Fino是一款简洁、快速且强大的费用追踪和预算应用程序,旨在帮助用户轻松管理个人财务。它能够追踪收入、支出和余额,并提供直观的界面。用户可以通过Fino进行每日交易管理、制定预算、查看账户余额和支出概览,并根据支出类别对消费进行组织。此外,应用还支持离线使用,并提供数据导出和备份功能。

我的新电子书(免费下载):量化技术与现代人工智能系统

我的新电子书(免费下载):量化技术与现代人工智能系统
大型人工智能系统面临的主要瓶颈往往不是计算能力,而是内存。谷歌研究院发布的研究论文介绍了 TurboQuant,一种专为 KV 缓存压缩设计的矢量量化方法,可以将 KV 向量压缩到每维度 3-4 位,同时保持接近 FP16 的注意力准确度。作者撰写了一本超过 70 页的电子书,全面介绍了量化技术,从基础原理到现代大型 AI 系统,涵盖了多种量化方法和技术,包括 GPTQ、AWQ、SmoothQuant 以及 TurboQuant。本书旨在弥合机器学习理论、系统设计和生产 AI 基础设施之间的差距,为 ML 和 AI 基础设施工程师及 LLM 研究人员提供参考。

泛航航空因救助谈判破裂而停止运营

泛航航空因救助谈判破裂而停止运营
美国廉价航空公司泛航航空(Spirit Airlines)因未能获得特朗普政府5亿美元的救助,宣布停止运营并立即开始有序清算。此前,由于伊朗-以色列战争导致燃油成本飙升,泛航航空的财务状况恶化,尽管其正处于破产重组的第二阶段。所有预订航班已被取消,信用卡或借记卡支付的机票将自动退款,其他支付方式的退款将通过破产法院程序处理。燃油成本在航空公司的支出中占很大比例,此次伊朗战争造成的燃油价格暴涨被认为是泛航航空倒闭的“最后一根稻草”。

为在软件开发生命周期中使用人工智能发表意见,需要先获得相应的资格

为在软件开发生命周期中使用人工智能发表意见,需要先获得相应的资格
一位SVP(高级副总裁)通过亲身参与代码编写,深入了解了人工智能工具在软件开发生命周期中的应用。他发现,许多高管对人工智能工具的判断往往基于表面观察和演示,缺乏实际经验。为了弥补这一差距,他利用九周的时间,使用人工智能生成代码并亲自审查,完成了一个设计系统迁移项目。他发现人工智能在处理样板代码和生成测试用例方面表现出色,但在处理复杂遗留系统和视觉样式方面仍存在局限性。关键在于,人工智能负责代码编写,而工程师负责指导、审查和最终确认,需要对代码进行严格的约束验证,且必须有人参与代码审查,才能避免潜在的回归和错误。通过这次实践,他证明了人工智能在提高工程师效率和代码质量方面具有潜力,但也强调了工程师不可替代的作用。

克雷格·文特:争先破解人类基因组

克雷格·文特:争先破解人类基因组
文章引用詹姆斯·沃森的描述,概括了克雷格·文特的人物形象。文特认为自己在科学成就上仅略逊于弗朗西斯·克里克,但长期以来,他觉得自己未被科学界完全认可。这种不被认可的感受可能促使他以一种充满自信和冒险精神的方式推进科学研究,特别是在人类基因组的破解过程中。文章暗示文特在基因组测序的竞赛中表现出争先恐后的姿态。 基因组(genome)是指生物体的全部遗传物质,包含所有DNA。

量子物理学百年停滞:一种方法论的危机

文章指出,自1928年以来,尽管物理学在粒子和相互作用方面取得了巨大进展,但其底层存在论(ontology)却几乎没有变化,主要受1915年广义相对论和1928年狄拉克方程的限制。物理学在构建数学模型方面能力远超于更新其存在论,这导致了诸如量子力学解释争论等一系列难题,实际上是方法论的局限性。文章认为,物理学应回归到量子革命时期的核心发现,重视物质的波粒性、原子结构和粒子自旋等物理内容,而非将数学形式主义置于首位。问题的根源在于过度依赖数学模型方法,这与机器学习领域对大型神经网络的理解类似,需要关注模型是否构建了世界的内部模型。

洛杉矶“悬浮变形虫”博物馆:一种全新的艺术殿堂

洛杉矶“悬浮变形虫”博物馆:一种全新的艺术殿堂
洛杉矶郡艺术博物馆(LACMA)的新总部,大卫·杰芬美术馆(David Geffen Galleries),由瑞士建筑师彼得·庄慕勒设计,现已完工,将于5月4日向公众开放。这座耗资7.24亿美元的混凝土和玻璃建筑悬浮在威尔希尔大道上,外形酷似变形虫。 它将取代LACMA原有的位置,成为美国西部最大的艺术博物馆。 这座建筑的开幕标志着博物馆建筑理念上的一个新突破。

PoolQuant:你的泳池护理智能助手

PoolQuant 是一款旨在简化泳池护理的工具,用户只需在一个文本框中记录观察结果,它会自动将其分类记录。该工具能够解析读数(例如 pH 值、自由氯含量)、照片、行动和笔记,并提供个性化建议,例如根据泳池历史和当地天气预测化学品添加量。PoolQuant 强调一种安静、缓慢的实践哲学,以技术日志为界面,而非聊天机器人,避免游戏化和过度通知。目前处于 Alpha 测试阶段,免费使用,用户可通过 Google、Apple 或密码less 邮箱链接注册。

机器人产量能否迅速提升?

机器人产量能否迅速提升?
本文探讨了机器人技术取得重大突破后,产量能否快速提升。虽然软件可以快速部署,但机器人作为实物需要真实的工厂和工人生产,因此产量提升将受到物理条件的限制。文章分析了人形机器人、四足机器人、机械臂、轮式机器人和无人机五种机器人的生产现状和潜在瓶颈,并预测了2025年的产量。研究发现,高精度减速器是当前人形机器人和四足机器人产量的主要限制因素。历史需求激增,如二战期间和乌克兰战争期间,曾显著加速了机器人产量增长,未来可能进一步提升生产速度。

为救回搁浅座头鲸而战

为救回搁浅座头鲸而战
俄勒冈州雅哈茨附近海滩出现搁浅的座头鲸,当地居民发现其被螃蟹捕捞装置缠绕。一位居民将鲸鱼解救,但无法将它引导到深海,最终搁浅在沙滩上。在当地居民的呼吁下,志愿者组织网络专家前来评估情况,但因天气恶劣延至次日。一位名叫艾米·帕克的居民持续关注鲸鱼,并在社交媒体上寻求帮助。当地居民自发组织起来,并通过社交媒体分享信息,寻求更广泛的援助,甚至有人建议使用挖掘机。最终,在志愿者们与海浪配合,持续努力下,尽管官方组织未能及时到场,且未能完全将鲸鱼拖回深海,但鲸鱼展现出逃脱的意愿,为后续的救援留下了希望。

MooBlock:用牛来分散注意力

MooBlock:用牛来分散注意力
MooBlock是一款Chrome浏览器扩展程序,旨在帮助用户摆脱分散注意力的网站。它采用“自适应阻力”机制,即在访问干扰网站时设置短暂的延时,延时时间会随着访问频率的增加而延长,停止访问后逐渐缩短。 为了增加趣味性,它会在访问干扰网站时屏幕上显示牛,延时时间越长,牛越多。MooBlock通过这种方式,试图避免传统网页拦截器过于严格或过于容易绕过的缺点。开发者声明用户数据不会被出售给第三方,也不会用于与核心功能无关的目的。

世嘉未发售的土星原型游戏《金字塔》初露真容

世嘉未发售的土星原型游戏《金字塔》初露真容
近期,Sega Retro 在其网站上发现了一款名为“Pyramid”的世嘉土星未发售游戏原型盘。这款游戏并非《Nazo: Ankh 2》的变体,而是基于PC教育游戏《Pyramid: Challenge of the Pharaoh’s Dream》改编的。游戏是一个技术演示,玩家通过D-pad控制指针,并利用Z键拾取物品,左右按键进行场景滚动。开发人员Alexander Ehrath证实,该项目为探索将教育游戏移植到主机平台的尝试,但最终仅停留在技术演示阶段。通过对游戏数据的分析,团队得以了解更多关于该项目的信息,并对这款被遗忘的作品进行了深入研究。

英特尔 Lunar Lake CPU 在 Linux 上的性能提升

英特尔 Lunar Lake CPU 在 Linux 上的性能提升
文章测试了英特尔 Lunar Lake CPU 在 Linux 上的性能变化。对比了搭载英特尔酷睿 Ultra 7 258V 处理器(8 核心,最高睿频 4.8GHz,17W TDP)的联想 ThinkPad X1 Carbon Gen 13 Aura Edition,在 Ubuntu 25.04 (Linux 6.14 内核) 和 Ubuntu 26.04 (Linux 7.0 内核) 上的表现。测试发现,随着内核、编译器(GCC)和 Mesa 图形驱动等软件的更新,Lunar Lake CPU 的性能在过去一年内有所提升。 此次测试旨在了解使用较旧 Ubuntu 版本的老用户升级到 Ubuntu 26.04 LTS 后,能够获得多少性能增益。

性格的塑造:基因与环境如何影响我们?

性格的塑造:基因与环境如何影响我们?
一项研究探讨了塑造我们性格的复杂因素,并揭示了基因对我们影响的程度。最初,科学家认为某些行为由少数基因决定,但现在发现性格特征是多基因共同作用的结果,例如,MAOA基因变异(曾被称为“战士基因”)与攻击行为有关,但其影响远比最初认为的复杂。目前的研究表明,性格差异的遗传性在40%到50%之间,环境因素也起到重要作用。大型基因组研究正在揭示基因如何影响和不影响我们的性格,但“遗失的遗传性”问题依然存在,即基因组关联研究发现的遗传效应远低于双生子研究的结果。研究还表明,成年后经历的重大生活事件对性格的影响小于童年时期经历的创伤。

定理经济的崩塌

定理经济的崩塌
这篇论文作者回顾了自己未发表的数学成果,并对当前人工智能时代数学领域的现状表示担忧。作者指出,数学研究的真正困难不在于证明定理本身,而在于洞悉其背后的概念框架,并提出新的定义。然而,过分强调定理的证明,反而扼杀了数学创新,并导致了对数学本质的误解,即公众只关注“官方数学”(形式化的定理推导),而忽视了更重要的“秘密数学”(直觉、创造性和理解)。随着人工智能的快速发展,作者担心这种对数学的扭曲认知,可能对整个学科造成生存威胁。

我发布了“人工智能为人类的承诺”,原因如下

我发布了“人工智能为人类的承诺”,原因如下
文章作者长期关注普遍基本收入(UBI)问题,并观察到AI领域的领袖们经常提及UBI的必要性,但实际行动却很少。作者认为,这造成了一种虚假的舒适感,降低了人们对AI潜在风险的重视程度。为了推动实际行动,作者发布了“人工智能为人类的承诺”,这是一个公开信和承诺,要求有资源的人公开承诺将部分收入或财富投入到UBI试点项目、无条件现金计划以及倡导工作中。承诺分为两个层级:有资源者进行承诺,无资源者参与签名支持。作者旨在让言行一致,推动AI带来的财富共享,并强调UBI能够赋予个人更大的自主权和议价能力。

西雅图机场访客通行证计划

西雅图机场访客通行证计划
西雅图机场推出了访客通行证计划,允许每日最多300人通过安检,以便与正在出境(国际或国内)、转机(国内航班)或入境(国内航班)的旅客会面。申请者需提前或当天在线申请,并通过美国运输安全局(TSA)的审核。持有通行证的人员需出示二维码和 TSA 批准的身份证明,并遵守 TSA 的安检规定。该计划每天发放300个通行证,先到先得,且可能随时被取消或修改,仅限于个人使用。

4 / 15