科技新闻 2026-2-1
本期聚焦算力优化与安全架构：ARM SME加速矩阵运算，Genode OS构建高安全性专用系统；自动驾驶受指令注入威胁，隐私风险引关注；CERN获10亿美元资助未来对撞机，直流数据中心与P vs. NP新视角亦成焦点。
Demystifying ARM SME to Optimize General Matrix Multiplications 94
Tags:
ARM SMEGEMM矩阵乘法优化开源库高性能计算Source:
HackerNews| 阅读原文
[摘要]
MpGEMM首次系统性挖掘ARM SME架构潜力，通过缓存感知分块、动态转置与多向量加载，在Apple M4 Pro上实现1.23倍于苹果官方库的GEMM加速。
Autonomous cars, drones cheerfully obey prompt injection by road sign 92
Tags:
自动驾驶人工智能安全提示注入视觉语言模型物理世界攻击Source:
HackerNews| 阅读原文
[摘要]
研究人员演示了通过篡改路标对自动驾驶汽车和无人机实施间接提示注入攻击，利用AI优化文本内容与视觉呈现以诱导其执行恶意指令。
Show HN: Minimal – Open-Source Community driven Hardened Container Images 92
Tags:
容器安全极简镜像CVE管理WolfiapkoSBOM供应链安全Source:
HackerNews| 阅读原文
[摘要]
基于Wolfi包管理器与apko构建的每日更新、极简无漏洞容器镜像，实现零或近零已知CVE，显著降低攻击面并加速安全补丁响应。
Genode OS is a tool kit for building highly secure special-purpose OS 92
Tags:
操作系统安全架构L4微内核沙箱隔离嵌入式系统Source:
HackerNews| 阅读原文
[摘要]
Genode OS框架基于递归沙箱架构，通过最小权限原则实现高安全性，支持从嵌入式系统到通用计算的多场景部署。
CERN accepts $1B in private cash towards Future Circular Collider 92
Tags:
粒子物理对撞机CERN基础科学大型科研设施Source:
HackerNews| 阅读原文
[摘要]
CERN获10亿美元私人捐赠支持未来环形对撞机（FCC）项目，将建设91公里超大隧道对撞机，分阶段实现高精度希格斯粒子研究与新粒子发现。
Coding is when we're least productive 92
Tags:
软件工程开发实践产品思维人因工程Source:
HackerNews| 阅读原文
[摘要]
通过实地观察真实业务场景，仅用三行代码解决关键问题，揭示“代码量”非生产力的真正衡量标准。
Show HN: Foundry – Turns your repeated workflows into one-click commands 92
Tags:
自学习系统元编程人工智能代理OpenClaw自我演化架构Source:
HackerNews| 阅读原文
[摘要]
Foundry 是运行在 OpenClaw 平台上的自学习元扩展，通过观察用户工作流、研究文档与论文，自动编写并部署新功能，实现系统自我升级。
Mobile carriers can get your GPS location 87
Tags:
iOS移动安全隐私保护5GGNSS基带安全Source:
HackerNews| 阅读原文
[摘要]
苹果iOS 26.3引入新隐私功能，限制蜂窝网络通过基站获取设备精确GPS定位，仅限2025年后自研基带芯片设备支持，针对隐蔽的RRLP/LPP定位协议进行防护。
Direct Current Data Centers 87
Tags:
能源系统太阳能电池储能AI基础设施可持续计算Source:
HackerNews| 阅读原文
[摘要]
纯太阳能+电池系统可突破燃气轮机制造瓶颈，为AI规模化提供可持续、低成本的直流电力，实现地球级能量利用（卡达什夫Ⅰ型）。
P vs. NP and the Difficulty of Computation: A ruliological approach 87
Tags:
理论计算机科学计算复杂性算法理论规则宇宙图灵机Source:
HackerNews| 阅读原文
[摘要]
通过“规则宇宙”框架对计算宇宙中的具体程序进行实证探索，揭示计算复杂性理论中P vs. NP等核心问题的底层结构与实现难度。