E-Ink 新闻日报

随着微软 Edge 浏览器转向限制较多的 Manifest V3 扩展 API，Firefox 公开承诺继续支持 uBlock Origin，使其成为最后一个提供完整广告拦截功能的主流浏览器。Safari 和 DuckDuckGo 同样不支持 uBlock Origin，对于依赖强大广告拦截功能的用户而言，Firefox 已成为唯一无需妥协的选择。

nixpkgs-multiverse 引入了"快速模式"，无需下载或评估完整的 Nixpkgs 树即可直接提供任意历史软件包版本的 store 路径。通过查询优先使用缓存的索引，用户可以绕过传统的评估开销，直接从二进制缓存中获取输出。这代表了访问和使用 Nixpkgs 版本历史方式的根本性转变。

SpaceX已正式完成对AI编程初创公司Cursor的收购，交易金额为600亿美元。该协议于4月首次披露，Cursor将获得SpaceX庞大的GPU集群和计算基础设施的使用权。此前SpaceX已于今年早些时候收购了xAI。

Serokell 的 GHC 团队持续推进 Haskell 依赖类型的实现工作，本报告提出了三项主要贡献：GADT 中的可见全称量词、命名空间指定的导入以及类型实例在 kind 检查中的应用，并附带多项增量改进。文章基于 GHC 提案 #378 的设计框架，梳理了多种量词形式，并朝着依赖乘积（Π 类型）的目标稳步迈进。

Herb Sutter的这篇著名文章指出，依靠提升时钟频率来获得性能提升的时代已经结束，CPU制造商正转向多核和超线程架构。这标志着软件开发的一个根本性转折点，要求程序员必须拥抱并发编程以继续提升应用性能。

Depot Registry 使用 TLA+ 模型检查重建了垃圾回收器，发现了测试和代码审查未能找到的真实 bug。文章介绍了 TLA+ 如何将系统建模为状态和转换，TLC 检查器通过探索所有可能的交错执行来验证不变量。

本文追踪了2004年RuneScape中玩家操作的单个字节传输过程，揭示了Jagex如何在56k拨号连接上实现多人在线角色扮演游戏。开发团队通过极致的字节节省策略，包括高效的数据包压缩、选择性数据传输和智能的编码方式实现了这一目标。

据报道，PayPal正与Stripe和私募股权公司Advent就潜在出售事宜进行积极谈判。在新CEO试图带领公司实现转折之际，这些讨论正在升温。

乌克兰使用FP-5

索尼发布了A7R VI，这是一款6680万像素的旗舰相机，采用全新的全堆栈传感器和Bionz XR2处理器。该相机突破了以往高像素相机在速度和画质之间的妥协，支持运动拍摄、动作捕捉及8K视频录制。

近期发表在《Alzheimer's & Dementia》上的一项研究发现，减肥药司美格鲁肽（Ozempic和Wegovy的主要成分）与较低的预期痴呆风险相关。这一发现为GLP-1受体激动剂除代谢益处外可能具有神经保护作用提供了新的证据。

作者分享了在GPU Mode自动研究竞赛中使用Codex优化批处理紧凑Householder QR分解内核的方法，实现了比基线快232倍的性能提升，在183名参赛者中排名第12。文章涵盖了研究方法论、QR分解的数学基础以及如何通过引入想法多样性来跳出局部最优解等实践策略。

一种名为深颈淋巴静脉吻合术（dcLVA）的手术，由中国首创，声称可通过重新引导大脑废物排水通道来逆转阿尔茨海默病症状。首位患者从严重痴呆在数月内恢复到近乎正常的认知功能。这一方法仍存在争议，并引起了国际研究者的关注。

密码学家Matthew Green警告称，AI驱动的软件安全改进可能使传统加密绕过手段失效，导致美国执法和情报机构失去对加密通信的访问能力。文章指出这种'失明'现象不仅威胁监控能力，也影响依赖加密竞争机制的整体隐私生态。

文章深入探讨了压缩与预测之间的数学联系，指出在概率建模中最小化对数损失等价于通过熵编码最小化编码比特数。作者从香农的经典信息论追溯到自适应压缩器，再到现代语言模型，指出最近的大模型成果不过是这一古老原理在更大规模上的体现。

这是L. Bainbridge于1983年发表的一篇开创性论文，探讨了工业流程自动化如何悖论性地扩大而非消除人类操作员面临的挑战。文章分析了在经典框架下处理异常情况的策略，并探讨了通过人机协同实现持续人类在线决策的潜力。

一名女子加入了对xAI的诉讼，指控其继父利用Grok根据她11岁时的照片生成了超过7000张色情图像。三名田纳西州青少年的原始诉讼指控xAI未能阻止Grok生成真实人物（包括未成年人）的裸露图像。

2026年上半年美国368个公用事业规模发电厂并网，太阳能占据主导地位，最大的SunZia风电场以装机容量领先。数据既显示了搁置已久的可再生能源项目陆续投产，也反映了天然气发电的持续扩张，但前列项目更多反映的是过去的建设热潮而非新兴趋势。

迪士尼D23 2026大会公布了多个重磅消息，涵盖旗下主要IP。重点包括《复仇者联盟：毁灭日》新预告、《X战警》演员阵容揭晓、《阿索卡》第二季及《星球大战：战斗机》预告片（瑞恩·高斯林出席），以及Disney+剧集《VisionQuest》首曝画面。

CrossPoint Reader 是一款面向 Xteink 电子阅读器的免费替代固件，即将引入第三方插件支持，使 X3、X4 和 X4 Pro 用户能够通过 OverDrive 的 Libby 图书馆应用访问受 DRM 保护的电子书。这解决了 Xteink 设备长期以来的主要局限——用户此前只能自行获取无 DRM 的书籍。

Davide Piffer认为，AI看似更优越的数学能力可能并非源于更强的推理能力，而是其拥有远大于人脑的工作记忆——能够在上下文窗口中保留整个问题、数百个中间方程以及多种尝试方法。这一观点将AI在数学上的表现重新解读为突破了人类的关键认知限制，而非通过更高智能实现超越。

一种可在家检测蜱虫是否感染莱姆病的测试产品有望帮助患者在被叮咬后更快做出治疗决定。全美每年超过3100万人被蜱虫叮咬，47.6万例莱姆病患者，早期诊断对治疗效果至关重要。

作者在AI革命四周年之际，对LLM在实际软件开发中的应用仍持怀疑态度，认为行业未能带来软件质量、安全性或生产力的实质提升。尽管投入巨大，但缺乏独立研究证明生产力显著提升。

作者通过一项小规模实验比较了RISC-V RVA23与ARMv9指令集在动态指令数和代码密度方面的表现，以chibicc自举编译作为测试负载。

Anthropic公布了Claude AI生成内容的数字水印技术细节，回应了关于水印是否可被编辑去除以及是否会影响代码输出等问题。此次更新旨在解决社区对水印系统实际可行性和鲁棒性的关注。

TechCrunch发布了一份关于检测和恢复ChatGPT、Claude、Perplexity等主流AI平台账户被入侵的安全指南。文章建议使用密码管理器中的唯一密码并开启多重身份验证，同时逐步指导用户在各个平台上检查活跃会话和重置密码。

聚变创业公司已累计融资71亿美元，大部分资金集中在少数几家融资超过1亿美元的企业手中。本文盘点了所有融资突破1亿美元的聚变初创公司。

一款名为"Your AI Slop Bores Me"的浏览器小游戏，让人类扮演AI聊天机器人，一人提交提示词，另一人在150秒内假装是LLM来回答。游戏采用了类似真实AI成本模型的积分/令牌系统，是对AI生成内容疲劳的幽默评论。

《The Verge》评测了Elektron的入门级Model:Samples和Model:Cycles鼓机，认为它们功能强大且充满乐趣，尽管在宣传上被Teenage Engineering等品牌以及Elektron高端产品线所掩盖。作者推荐它们作为电子音乐制作的优质入门选择。

漫威在D23大会上正式公布了新X战警电影的演员阵容，定档2028年5月5日上映。演员包括 Inde Navarrette 饰演赏金，Kit Connor 饰演镭射眼，Christopher Abbott 饰演X教授，Samara Weaving 饰演白皇后，Maya Boyd 饰演暴风女，Sadie Sink 饰演琴·葛蕾，以及亚当·德赖弗将在片中亮相。

iOS开发者Sean Byrne因与美国受制裁名单上的同名人士匹配，被苹果拒绝访问App Store Connect。尽管他提供了护照、驾照及正确的住址证明自己是误判，但苹果至今未作出回应或更正。

日本JIS X 0208编码标准在1978年添加的若干字符来源不明且无明确读音，被称为"幽灵字符"。1997年的一项调查追根溯源，发现这些字符大多源于行政参考文档编目过程中的人为错误。