E-Ink 新闻日报

英国公司注册处网站存在严重漏洞，允许未经授权访问任何注册公司的私有面板，暴露董事家庭地址并可能导致公司被劫持。该漏洞由一家企业服务提供商发现，利用方法简单，仅需在尝试为其他公司提交文件后回退导航即可绕过认证。公司注册处已暂时关闭系统进行修复。

蒙大拿州于2025年通过了《计算权法案》，为个人在自己硬件上运行计算提供法律保护。该立法旨在保障个人计算权利，防止对本地处理能力的限制。

Andrew 'bunnie' Huang 宣布推出 Baochip-1x，这是一款集成了内存管理单元（MMU）的 RISC-V 微控制器，该特性在其类别中较为罕见，可实现类似桌面系统的安全应用功能。该项目正在 Crowd Supply 上进行众筹，强调通过经受时间考验的安全架构来实现高可信软件。这是开放硬件领域的重要进展，尤其针对嵌入式和物联网安全应用。

Moment.dev 解释了为何拒绝使用流行的 Yjs 库进行协同编辑，认为其在离线和实时协作中都会导致文档损坏问题。他们提出了一个仅需 40 行代码的替代方案，无需 CRDT 即可实现类似功能，同时保持乐观更新和网络弹性。

根据iFixit的评估，苹果新款MacBook Neo被评为约十四年来最易于维修的MacBook，标志着苹果在设计理念上向用户可维修性的重大转变。这一发展代表了该公司近期设备日益封闭、难以维修趋势的显著转变。

美国陆军已授予国防科技公司Anduril一份潜在价值高达200亿美元的合同，该合同被描述为一项整合了120多项单独采购行动的企业协议。这笔重大交易标志着国防采购向非传统承包商采购先进技术的精简、大规模模式转变。该合同凸显了私营科技公司在现代军事行动和供应链中日益增长的作用。

本田已决定取消其针对美国市场规划的三款电动车型。这一战略性转变被视为一个关键失误，可能会严重削弱其在全球汽车行业的长期竞争力。此举标志着公司战略的重大调整，其影响将远超北美范围。

一位参与AI相关精神病案件的律师警告称，AI聊天机器人现已出现在大规模伤亡事件中，而不仅仅是自杀案件。技术发展速度远超安全措施的跟进，引发了关于监管与责任的紧迫担忧。

NASA官员拒绝提供Artemis II任务的具体风险评估，这是自1972年以来首次载人登月飞行。他们以任务的极端新颖性和SLS/猎户座系统有限的飞行数据为由，避免提供定量风险估计。该任务将前往比国际空间站远1000倍的距离，技术挑战巨大。

由于AI生成的垃圾PR和问题泛滥，开源Python组织Jazzband宣布关闭其开放会员和共享推送权限模式。AI垃圾内容导致确认率骤降，迫使curl等项目关闭漏洞赏金，GitHub甚至推出了PR紧急禁用功能。这凸显了生成式AI时代开源维护面临的严峻挑战。

GIMP 3.2 已发布，具有显著的性能改进、新的色彩管理系统和增强的文本工具功能。此次更新代表了开源图像编辑器的重大进步，提供了与商业替代品竞争的专业级功能。该版本在开发者和创意社区中引发了广泛讨论。

文章认为，尽管XML常因冗长而受批评，但它可以作为配置和数据表示的廉价且有效的领域特定语言（DSL）。文章探讨了XML的内置功能（如命名空间、模式和验证）如何使其在许多实际用例中具有实用性。讨论强调了XML与JSON或YAML等替代方案在各种技术场景中的权衡。

Megadev 是一款针对经典世嘉 Mega Drive/Genesis 和 Mega CD/Sega CD 主机的新开发套件。它提供了现代工具和文档，帮助开发者为此复古硬件创建自制游戏和应用程序。该项目在 Hacker News 上获得了 109 个积分，并引发了关于其对复古开发社区潜力的讨论。

Neovim 0.12 将内置 vim.pack，这是一个基于 Lua 的插件管理器，无需依赖外部工具。指南介绍了核心概念，包括 Lua 语法要求、运行时文件和实际使用模式。这标志着 Neovim 向具备原生插件管理能力的自包含编辑器迈出了重要一步。

本文探讨了Emacs和Vim在AI时代的未来，承认了来自VS Code等集成AI的IDE和新型AI原生编辑器的挑战，但同时认为这些经典编辑器的可扩展性和哲学理念可能让它们通过社区驱动的AI集成来适应并蓬勃发展。

一位开发者通过巧妙使用泛型模拟高阶类型（HKTs），探索Rust类型系统的局限性，最终导致Rust编译器陷入无限归纳循环而崩溃。文章深入探讨了余归纳和Curry-Howard对应等理论计算机科学概念，同时展示了编译器的实际漏洞。这代表了Rust类型检查器中一个有趣的边缘情况，而非关键安全问题。

Coalton 0.2预览版引入重大变更，包括用固定元数函数取代Haskell风格的柯里化，支持关键字参数、更好的类型错误提示和更高效的编译。这些改进基于工业应用中发现的实际需求，同时保持了该语言作为Common Lisp内嵌式函数式语言的特性。此次更新标志着这个静态类型函数式语言的重要演进。

Chimera Linux计划停止对32位PowerPC和64位POWER大端架构平台的支持，原因是缺乏社区维护、关键组件存在未修复的回归问题以及构建基础设施不足。该决定源于平台可用性逐渐恶化且没有专门的维护者来解决长期存在的问题。这不影响小端架构的ppc64le平台，该平台将继续获得支持。

据报道，Meta正考虑裁员，可能影响公司20%的员工，波及数千人。此举旨在抵消公司在人工智能基础设施、收购和招聘方面的激进支出。这反映了科技巨头为优先投资人工智能而进行重组的行业趋势。

埃隆·马斯克因对xAI编码产品表现不佳感到沮丧，下令再次裁员并进行管理层重组，试图追赶Anthropic和OpenAI等竞争对手。SpaceX和特斯拉的管理人员被调派审计xAI，导致更多联合创始人离职，并重点关注改进模型训练数据质量。马斯克表示要像特斯拉过去那样，对xAI进行彻底重建，同时为可能的历史性上市做准备。

据报道，Meta计划裁员高达20%，可能削减约15,800个职位，这是其战略重心从VR和元宇宙转向人工智能和数据中心投资的一部分。这将是自2022-2023年大规模裁员以来公司最大规模的裁员行动。此举突显了科技巨头在人工智能竞赛中面临的巨大财务压力和战略调整。

Python开源组织Jazzband宣布将逐步停止运营。这一决定影响了其众多流行Python库的维护和未来发展，将责任交还给原始维护者或社区。

本文是一篇面向软件开发者的Claude入门指南，作者分享了自己从AI怀疑者到重度用户的转变。文章强调有效使用大语言模型需要投入学习时间，类似于掌握vim这样的工具，并暗示如果读者反馈积极，后续会提供更多深入内容。

开发者发布了适用于树莓派5的Fedora 44早期镜像，支持HDMI图形加速、网络和KDE/GNOME桌面等核心功能，但需要手动配置CMA参数，且暂不支持NVMe和音频。这些镜像旨在为正式版发布前的测试提供支持，开发者计划在版本冻结前进一步改进。

本文强调计算机科学奠基人如Tony Hoare等人文背景如何影响其计算思维，指出哲学和古典研究训练直接塑造了他们对编程的逻辑与清晰性追求。Hoare在快速排序、形式验证和并发方面的贡献源于哲学原理而非纯工程目标。文章认为人文与技术的跨学科思考对创新仍有重要价值。

Libadwaita 1.9 引入了新的侧边栏小部件，为 GTK4 应用程序提供一致的 UI 组件，解决了先前侧边栏实现中的碎片化问题。该小部件包含选择、分区、工具提示和移动端集成等基本功能，内部使用 GtkListBox。此次更新主要关注改善开发者体验和 GNOME 应用间的视觉一致性，而非突破性功能。

Fatal Core Dump 是一款结合科幻谋杀谜案叙事与 GDB 调试实践的教育性互动游戏。玩家需要通过逆向工程真实二进制应用来调查空间站的软件故障，游戏要求具备 C 语言和 x86_64 汇编知识。该项目提供基于网页的虚拟机，兼具娱乐性和技术教学价值。

OpenAI为ChatGPT推出了新的应用集成功能，用户可以将DoorDash、Spotify和Uber等服务的账户直接连接到AI助手，以执行个性化任务，如创建播放列表或订购食物。文章介绍了如何通过提示或设置来配置这些集成，并强调了数据共享的隐私注意事项。用户可以通过ChatGPT界面管理已连接的应用和权限。

马斯克的xAI公司正在重新启动其AI编程工具的研发，并聘请了来自Cursor的两名新高管来领导这项工作。此举表明在构建有竞争力的AI开发工具方面存在重大战略调整和技术挑战。这是马斯克AI野心的又一次方向调整。

《杀戮尖塔2》已进入抢先体验阶段，作为备受期待的卡牌构筑类Roguelike续作。然而初步评测指出，该作与初代游戏过于相似，虽然保留了核心玩法，但可能缺乏令新玩家感到惊艳的新鲜挑战感。对于系列老玩家而言，这更像是一次舒适但缺乏新意的迭代。

华硕推出Cetra Open无线耳塞，采用开放式设计，允许用户在游戏时感知环境声音。产品配备备受好评的USB-C 2.4GHz发射器，带有直通充电端口，特别适合手持游戏设备。虽然低音表现不如密封式耳塞，但在其设计类别中提供了出色的舒适度和音质。

三星Galaxy S26 Ultra评测强调其隐私保护功能，缓解了用户在公共场合对屏幕内容被窥视的焦虑。该手机解决了日常使用中关于敏感信息被旁人观看的潜在担忧。虽然不是革命性创新，但为注重隐私的用户提供了实用解决方案。

Simon Willison 在 Pragmatic Summit 的炉边谈话中讨论了代理工程，概述了程序员采用 AI 工具的不同阶段，包括从 ChatGPT 过渡到编码代理，以及不阅读 AI 生成代码的争议趋势。他强调在安全关键环境中信任和验证 AI 输出的重要性。

Remarkable 推出了测试版网络应用程序，无需安装任何软件即可访问其电子墨水平板电脑功能。用户现在可以直接通过网页浏览器查看和管理笔记与文档，此功能以前仅限于他们的桌面应用程序。