一台使用了三年的华硕 Zenbook Pro 17 反复在休眠唤醒时重启，导致电池耗尽并在包内发热。原因是 MediaTek Wi-Fi 6E MT7922 适配器：在现代待机（Modern Standby）期间，其驱动错误处理低功耗转换，崩溃，使系统部分保持唤醒，触发异常电池耗电，并导致 Windows 强制唤醒失败，进而重启。解决方法是打开设备管理器，在网络适配器下找到 MediaTek 适配器，打开“属性 > 高级”，选择“节能”，并将其设置为“已禁用”。这样可防止适配器进入有问题的节能休眠，避免崩溃。目前仍无合适的驱动修复，但该临时方案已有效三周，应能帮助其他遇到相同问题的华硕/Windows 用户。
每日HackerNews RSS
请启用JavaScript和cookies以继续
过去几周，您可以直接从出版社购买我的新书《The Secret Life of Circuits》。但话说回来，我知道你们中有些人不想让杰夫·贝索斯挨饿，所以我高兴地宣布，它现已在亚马逊上架：在亚马逊购买。欧洲的潜在读者可以在 amazon.de、amazon.fr、amazon.pl、amazon.es、amazon.nl、amazon.se、amazon.it 和 amazon.co.uk 下单。本书也在美国和加拿大的 Barnes & Noble 及其他主要在线零售商有售。我们进行了严格测试，确认本书不含 AI 垃圾内容。趁此机会，我有一个小小请求：如果您读过《The Secret Life of Circuits》并且有亚马逊账户，请考虑留下真实评价。评价对他们的推荐算法很重要；2026 年，每位人类作者都在与数百本 AI 生成的书籍“竞争”。甚至还有 AI 标题抢注现象：当然，杰夫和我都要感谢你们的支持！
颜色名称 Color Names
16 天前
颜色名称 查找名称，或粘贴十六进制值 GitHub ？ 正在加载名称… 31,970 个由人们命名的颜色。 颜色名称是一个开放的、社区成长的、独特的、人工命名的颜色名称集合。可在 MIT 许可下免费使用，提供 npm 包或 API。 支持列表 领养一个颜色以支持我的工作。 选择你最喜欢的，打开并点击 领养此颜色 ： $5 起，你的名字将永远留在上面。每个颜色只能被领养一次。 领养颜色 明白了 全部 所有名称 精选 人工挑选 简短 一两个词 已领养 由支持者 查看
启用 JavaScript 和 cookies 以继续
在卫星导航与 GPS 诞生之前很久，探险家们就已经将目光投向太空。自人类第一次仰望夜空以来，就一直为星星所着迷。数千年来，天文学家一直在追踪星星及其他天体（如行星，古希腊人称之为 planetes，即“漫游者”）的位置。他们借助星星讲故事、做预测，甚至指路。这一切都依赖于对头顶天空的精确地图——无论是心理地图还是其他形式。这张由 Florian Winkler 制作的精美地图收录了北半球夜空中的星星。它基于 Stellarium、HYG 数据库以及 W. H. Finlay 的《深空天体简洁目录》的信息构建。
作者正在构建容器运行时，并总结了 Docker 的怪异之处：容器只是受限进程而非虚拟机，依赖命名空间、cgroups 和网络隔离；镜像是通过 chroot/pivot_root 访问的文件夹。Docker 下载镜像、存储它，然后运行其中的路径。runc 用 Go 编写，其多线程运行时和缺少 fork 使系统调用密集的容器设置复杂化，需要变通方法。Docker 通常需要 root，尤其用于网络；无 root 运行时可能在用户空间重新实现网络。构建该工具让作者学到了很多。
Anthropic 和 Theorem 使用 Claude 扩展了真实世界软件的形式化验证。Claude 为 123 个开源库中的 239 个模糊测试入口点证明了安全属性，表明在 RISC-V/Linux 上单线程静态二进制文件假设下，编译后的 RISC-V 程序不会因内存安全错误或断言失败而在任意小于 64 MB 的输入下崩溃。该工作生成了约 1.8 亿行 Rocq 证明，并发现了许多长期隐藏的错误，包括一些需要大或异常输入的错误。相同方法还支持了其他案例研究，例如证明 zlib 正确性和验证 Rust Python 解释器。作者认为，LLM 可以使形式化验证在关键任务软件之外变得实用，尽管证明依赖于规范和机器模型，因此已验证代码并不保证无 bug。他们预计验证将成为安全软件开发的标准部分。
Nick Desnoyer，植物生物学家兼花卉设计师，通过育种与基因工程创造新型花卉。他的新项目Paintunia将矮牵牛变为活画布：由地塞米松等小分子激活的诱导型基因产生色素，从而实现绘制图案；他计划加入青、品红与黄的色素通路。早前，他通过结合突变体与RUBY色素转基因，将拟南芥变成粉红色微玫瑰。他将花卉设计解释为雕塑形态与绘制颜色，利用已知突变、杂交、CRISPR与转基因，同时运用矮牵牛多样的色素与图案。他还探索气味与互动特性。最终，他希望建造一个由独特、奇异花卉组成的植物园，加深公众对生物学的理解与欣赏，并将Paintunia引入课堂，作为可及的艺术—科学工具。
Consumer Agent Testing Tool (CATT) 通过运行脚本化或模型驱动的智能体来测试助手如何使用服务，目标包括 MCP 服务器、MCP 应用、网站或 HTTP API。它检查记录的结果，允许检查证据，并比较不同构建的结果。Muse 和 Instinct 是支持的替代仿真目标，共享覆盖路由、记忆、支付、浏览器/HTTP 任务和调度的连接器测试契约。需要 Python 3.12+、uv 和 Node.js 20+。三个快速开始涵盖回环连接器通道、热门 MCP 服务器（"Everything"）和托管的 Coverage Cat 沙箱。运行记录封存在 `runs/` 下，支持报告、导出、回放和差异对比。退出码区分通过 (0)、失败 (1)、设置错误 (2) 和阻塞/不支持 (3)。CATT 近似模拟助手宿主；通过测试并不证明与 Muse 或任何托管助手兼容。MIT 许可，且与 Meta、Instinct、OpenAI 或 Anthropic 无关联。