美国最高法院推翻欧盟-美国数据传输协议 -- US Supreme Court Just Blew Up EU-US Data Transfers

美国最高法院裁定联邦贸易委员会不再独立,而欧盟依赖该机构执行欧美数据协议达259次。隐私活动人士呼吁欧盟委员会有序撤销对美国的充分性认定,因美国已无独立监督机构。

戳破GPU泡沫 -- Popping the GPU Bubble

Moondream的推理引擎Photon通过优化GPU工作方式,将CPU与GPU间的通信延迟降至最低,消除了GPU空闲等待的“气泡”现象,在NVIDIA B200上实现了约33毫秒的接近实时视觉语言模型推理,解码吞吐量提升高达35%。

内存安全上下文切换 -- Memory Safe Context Switching

Fil-C 0.680版本起支持ucontext和setjmp/longjmp等上下文切换API,并确保内存安全。这些API常用于异常处理、协程和纤程实现,但容易因误用导致栈损坏。Fil-C通过特殊实现防止栈损坏和能力模型违规。

LongCat-2.0:总参数量1.6T、激活参数量48B的大规模MoE模型 -- LongCat-2.0, a large-scale MoE model with 1.6T total and 48B Active

LongCat-2.0是一个1.6万亿参数的MoE语言模型,每次激活约480亿参数。它完全基于AI ASIC超算集群训练,处理超35万亿token且无训练中断。模型引入稀疏注意力机制,支持百万级上下文,在编程和智能体任务上表现优异。

科学家发现液态水中两种结构的分子级证据 -- Scientists find molecular-level evidence for two structures in liquid water

科学家通过分子证据,首次证实了液态水在特定条件下存在新的结构形态,这一发现可能改写对水分子行为的传统认知,并为相关科学领域提供重要参考。

NixOS 26.05 -- NixOS 26.05

NixOS 26.05“Yarara”正式发布,将获得七个月的安全更新支持。旧版25.11已停止维护,将于2026年6月30日结束生命周期。

与AI协作:一个具体实例 -- Working With AI: A concrete example

作者对AI持矛盾态度,既承认其开发价值,也担忧智力钝化等风险。文章通过维护hyperscript解析器的具体案例,展示了AI的优缺点,并警示开发者若过度依赖AI可能陷入“魔法学徒困境”——无法理解并解决系统问题。

你能自信地保证你的软件什么? -- What can you confidently guarantee about your software?

文章指出,随着AI消除编写证明的成本,形式化验证已进入可广泛使用的阶段,能确保软件业务规则在数学上正确无误,而不仅仅是经过测试。

韩国将投入1万亿韩元扩大存储芯片生产及发展人形机器人 -- South Korea to spend $1T on more memory chip production and humanoid robots

韩国政府与三星、SK海力士等企业将投入1万亿美元,用于扩大内存芯片产能、建设AI数据中心,并计划在2028年前实现人形机器人的商业部署,以应对AI产业需求激增带来的芯片短缺问题。

.self:一个旨在支持自托管的新顶级域名 -- .self: A new top-level domain designed to support self-hosting

HCCF提出以人为中心的顶级域名愿景,旨在重塑数字身份,让用户重新掌控个人数据与在线主权,对抗当前由大型平台主导的互联网格局。