资讯与观察
AI 行业动态、工程实践、产品方法和社区故事。
苹果 Fitness+ 进军健身房：推出 4 周个性化力量训练计划
IT之家 11 月 4 日消息，科技媒体 9to5Mac 今天（11 月 4 日）发布博文，报道称苹果 Fitness+ 推出 Gym Strength 力量训练功能，目前已开放测试。新功能面向健身房及居家训练场景，根据用户的目标、经验、时间安排和可用器材，生成四周渐进式计划，并根据每周记录的训练次数与重量，调整下一周内容。 用户可选择训练日期和重点部位，每次安排 5 个或 7 个动作，预计分别耗时 20~30 分钟、45~60 分钟…
研究重新审视关于 DNSSEC 的常见看法
一篇分析对「Against DNSSEC」提出的若干反对意见逐条进行检验，认为「网络层安全机制在架构上不可靠」的说法站不住脚。文章举例说，同样的逻辑也可以用来反对 Wi-Fi 加密、BGP 路由验证或 IP 包校验和，但这些机制普遍被接受。文章还指出，DNSSEC 成本高昂这一长期假设可能是阻碍部署的原因之一。
18 分钟 · Hacker News 最新
Pratt 解析中的数组索引处理
文章展示了 Pratt 解析器里数组索引的 led 实现，与函数调用的 led 结构相似。代码解析方括号内的逗号分隔表达式列表，构建 ArrayIndexing 节点，并在遇到非逗号非右括号时抛出 unexpected_token 异常。
30 分钟 · Hacker NewsLATEST STORIES
最新内容
Let's Encrypt 将默认签发 64 天证书，旧版 acme.sh 续期安排出错精选导读
Let's Encrypt 将于 2027 年 2 月 10 日起默认签发 64 天证书，其测试环境已于 2026 年 10 月 14 日启用。测试显示，使用 ARI 的客户端会在证书有效期约三分之二处（第 42 或 43 天）安排续期，而旧版 acme.sh 3.0.7 默认安排在第 59 天，用 --days 80 时甚至拖到过期后第 79 天，升级到 3.1.6 后恢复正常。
Traccia 发布 Python SDK，为 AI 智能体提供厂商中立的运行时管控精选导读
Traccia 推出一款生产可用的 Python SDK，可在运行时观察、评估并对 AI 智能体强制执行策略。它基于 OpenTelemetry，支持分布式追踪、token 与成本统计，以及花费上限、模型边界、循环上限等运行时策略拦截。该 SDK 框架无关，兼容 OpenAI Agents、LangGraph 和 CrewAI。
开发者用 Rust 写用户态 Linux 调度器，称比时间还快精选导读
一名开发者用 Rust 实现了一个用户态 Linux 调度器，声称能让纯 CPU 计算程序以“负时间”完成。其思路是在用户态更高效地调度成千上万个纯计算任务，替代内核调度器在满负载下的上下文切换开销。原文用 time -v 展示单次运行耗时 61 秒、约 218 次非自愿上下文切换。
新西兰警方用AI重组岗位，文件管理团队裁撤24人而转录团队未受影响精选导读
新西兰警方上月裁撤文件管理部门的24个岗位，但此前被认为可能被AI取代的转录服务团队基本未被裁员。此次重组共涉及60多个岗位的撤销、新设或调整，转录团队现已进入自身的现代化改造项目。警方表示，准确高质量的笔录仍需人工完成。
研究团队在 Lean 中形式化 Nvidia PTX 以证明 GPU 内核正确性精选导读
研究者提出在 Lean 中形式化 PTX 语义的新方法，用机器检查的证明验证 GPU 内核正确性。具体做法是让 LLM 编写 Lean 证明、由 Lean 验证，从而无需信任证明本身。该方法旨在弥补测试只能覆盖有限用例、难以发现竞态条件等隐患的不足。
美国宇航员在空间站完成中期选举投票精选导读
在国际空间站执行任务的美国宇航员Anil Menon通过电子表格从太空完成了中期选举投票，将选票发送至家乡哈里斯县。Menon在社交媒体视频中展示了空间站内兼作投票站的舱室，称自己享有与地面选民相同的投票权利。他于7月搭乘俄罗斯联盟号飞船抵达空间站，同行的美国宇航员Jessica Watkins和Luke Delaney也参与了投票。
Bookmarker：面向 macOS 的极简私密书签管理工具精选导读
Bookmarker 是一款为 macOS 原生打造的极简私密书签库，可从 Safari 右键保存网页、离线阅读干净副本，并搜索已下载的正文，书签以可移植 JSON 存放在 iCloud Drive 或任意文件夹，并自动保留七份每日本地备份。它通过 Safari 扩展实现保存，需在扩展设置中启用。
苹果 watchOS 27.3 首个开发者预览版 Beta 上线音频智能功能：支持全天谈话划重点 / 回顾 15 秒对话精选导读
IT 之家 11 月 4 日消息，苹果公司今天（11 月 4 日）面向开发者，推送 watchOS 27.3 首个开发者测试版，为 Apple Watch Series 12 和 Apple Watch Ultra 4 带来 Siri 回顾（Siri Recap）与 Live Rewind 两项音频智能功能。 在苹果官方支持页面上，显示上述两项功能适用于 Apple Watch Series 12 和 Apple Watch Ultr…
ZapFast 发布 Linux/macOS/Windows 原生 WhatsApp 客户端，支持通话精选导读
ZapFast 是一款适用于 Linux、macOS 和 Windows 的原生 WhatsApp 桌面客户端，支持语音和视频通话，启动不到一秒、内存占用约 200MB，且不内置浏览器引擎。它基于 egui 和 fastframe 框架构建，支持语音消息、多种文件类型与多账号切换，关闭窗口后仍驻留托盘保持连接。