Show HN：Corgi，一个帮你管理 AI agent 的终端多路复用器
NEW
开发者发布的 Corgi 是一个面向 AI 编码 agent 的终端多路复用器（在一个终端里同时管理多个会话），作者称受 Herdr 启发，已把它当作日常主力工具使用数周。它把多个 agent 会话放进同一个终端界面，实时展示每个 agent 正在做什么，并滚动输出它们的活动记录，支持在会话间快速切换与查看。相比用 tmux 加标签页手动管理的方式，这类“agent 编排层”工具要解决的是并行跑任务时的可观测性问题。对同时跑多个 Claude Code、Codex 会话的开发者来说，这是本周最值得先试的一类新工具。
StudyDebt：用开源 AI 把成堆截图变成 10 分钟微学习单元
这是 Hacktoberfest 开源 AI 挑战赛第三周（主题 Slow and Steady）的参赛作品 StudyDebt。作者瞄准一个普遍坏习惯：学生和自学开发者囤积了成百上千张截图——讲座幻灯片、教材示意图、代码片段、白板公式——却从不复习。项目用开源 AI 把这些零散材料整理成 10 分钟一个的微学习单元，把“收藏即学会”的错觉变成可以执行的短时复习。对想用 AI 搭建个人知识管理流程的开发者，它的思路和代码都已经公开，可以直接改造。
CVE Tracker：一个可检索的漏洞追踪面板
开发者上线了名为 CVE Tracker 的漏洞追踪站点，在 Hacker News 获得约 100 分、38 条讨论。它把分散在各处的 CVE 编号、受影响组件和公开信息汇总到一个可检索的界面，方便运维和安全工程师在打补丁前，快速判断某个漏洞是否影响自己的技术栈。这类轻量安全工具的价值在于缩短“看到漏洞公告—确认是否受影响—安排修复”的链路。对没有商业漏洞情报预算的小团队尤其实用，也可以当作自建内部漏洞看板时的参考。
Rune 1.3 发布：加入 TypeScript、Helix 编辑器与终端图形支持
NEW
Rune 1.3 正式发布，官方博客同步被 Hacker News 和 Dev.to 报道。Rune 的定位是“编辑器 + 终端多路复用器”的结合体。这一版最关键的更新是加入 TypeScript 支持，并集成 Helix 编辑器的按键模型，让习惯模态编辑的用户不必切到 Vim 或 Helix，就能留在同一套工作流里；此外还支持 Kitty 图形协议和 OSC-7501，明显改善终端内的图片与富文本显示。对经常在终端里写代码、又不满足于 tmux 纯文本体验的开发者，这次更新大幅提升了可用性。
systemd-nspawn 容器速览：被 Docker 掩盖的轻量方案
这篇写于 2025 年的巡览文章重新被顶上了 Hacker News。它系统讲解了 systemd-nspawn——随 systemd 一起分发、却长期被 Docker 掩盖的轻量容器工具。文章从最基础的 chroot 式目录启动讲起，逐步演示如何用 machinectl 管理容器、配置独立网络、挂载宿主机目录，以及与完整 systemd 实例配合。相比整套容器编排栈，nspawn 更接近“带 init 的 chroot”，适合在单机上快速起一个干净环境做调试、构建或复现问题。对想弄清容器底层机制的人，这是一份务实又省事的入门材料。
在生产环境跑 Laravel 队列：Redis、Supervisor、重试与失败任务
这篇实战指南针对一个典型事故场景：开发时配置好 QUEUE_CONNECTION、运行 php artisan queue:work，邮件、PDF 和 webhook 都正常；部署上线、关掉终端后，一周后用户来问为什么没收到订单确认邮件。文章完整讲解生产环境所需的四件事——用 Redis 做队列驱动、用 Supervisor 守护 worker 进程并配置自动重启、设置合理的重试次数与退避策略、以及用 failed_jobs 表收集并处理失败任务。对即将把 Laravel 项目上线的团队，这是一份可以直接照着配的清单，也解释了“本地能跑”和“生产可靠”之间的差距。
10 分钟检查 SSL 证书，并修掉最常见的 HTTPS 错误
SSL 证书过期是 Web 上最容易避免的线上事故之一：服务器本身没问题，但浏览器给每个访客弹出整页警告，大多数人会直接离开。文章给出了一套 10 分钟自查流程，从用 openssl s_client 检查证书链开始，重点覆盖最常见的问题——证书已过期、缺少中间证书导致部分客户端不信任、域名不匹配、证书链顺序错误。文中特别强调“缺中间证书”比过期更隐蔽，因为站点在部分浏览器里看起来完全正常。对没有专职运维的前端或全栈开发者，这是排障时能直接照着走的步骤。
实践中的 Core Web Vitals：页面性能如何影响排名
这篇文章强调 Core Web Vitals 不是加分项，而是“同分时的破局项”：LCP、INP、CLS 三项只要有一项不达标，整页的页面体验（Page Experience）排名加成就会全部丢失，不存在部分得分。文中指出阈值自 2024 年 3 月 INP 取代 FID 后一直稳定——LCP 小于 2.5 秒、INP 小于 200 毫秒、CLS 小于 0.1。作者按三项指标逐一给出定位手段与常见优化路径。对做 SEO 或负责页面性能的前端来说，这篇文章解释了一个容易被忽略的事实：在阈值边缘“差一点点”，实际代价远大于直觉。
UUIDv7 并不具备你以为的那些性质
HOT
这篇在 Hacker News 获得 110 余分的技术分析文章指出，被广泛宣传的 UUIDv7 并不具备大家以为的性质。UUIDv7 因把 48 位毫秒时间戳放在最前面、天然可按时间排序，被视为数据库主键的救星，用来替代随机 UUIDv4 和自增 ID。作者逐位拆解规范后指出，其时间有序性在多种情况下并不可靠：同一毫秒内的随机位使顺序无保证，时钟回拨会打乱全局单调性，不同实现的生成结果之间也未必可比。对打算把 UUIDv7 用作主键、并依赖其排序做分页或索引的团队，这是一次必要的预期校正。
“今天我们攻破了当初想攻破的目标：iPhone”
HOT
安全研究团队 Calif 发布博文《今天，我们攻破了当初想攻破的目标：iPhone》，在 Hacker News 首页获得超过 700 分、500 条评论，是当天最热的技术讨论之一。文章记录了团队针对 iPhone 攻击面开展研究的完整过程，以及最终取得突破的路径与所用手段。iPhone 的锁屏与沙箱一直是移动安全领域公认的高门槛目标，任何可复现的攻破路径都会直接影响 iOS 的威胁模型、补丁优先级与漏洞赏金定价。对做移动端安全、越狱或漏洞研究的读者，这是本周含金量最高的一手材料。
给系统构建者的动画：如何把分布式系统的运行讲清楚
在亚马逊负责系统研究的工程师 Marc Brooker 在个人博客发表《给系统构建者的动画》，讨论如何用动画解释分布式系统的运行过程。文章认为静态时序图与日志无法呈现并发、消息延迟、重试与部分失败交织时的真实状态，而精心设计的动画能让“某个请求究竟卡在哪一步”变得直观可见。作者结合自己构建和讲解大型系统的经验，给出动画该展示什么、该隐藏什么的原则。对需要写技术方案、做架构评审或向团队解释复杂链路的工程师，这套表达方法可能比多画几张框图更有效。
Kimi K3.1 Pro 与 K3.1 Pro Highspeed 发布
HOT
月之暗面发布 Kimi K3.1 Pro，并同时提供主打速度的 K3.1 Pro Highspeed 版本，官方博文在 Hacker News 拿到 713 分、455 条评论，是当天讨论量最高的 AI 条目。发布同时给出了模型文档、Artificial Analysis 的评测对比，以及关于中国开源模型的横向分析链接，方便开发者按推理能力、延迟和成本三个维度做选型。Highspeed 版本的出现说明厂商开始在同等能力下直接比拼吞吐与响应速度。对正在为编码 agent 或长上下文任务挑模型的团队，这一档新选项应当纳入评测清单。
合上盖子 Claude Code 还在跑：macOS DarkWake 如何在一夜之间消耗你的周额度
AI
这篇实操提醒讲了一个很多人踩过的坑：你启动一个耗时的 Claude Code 任务，合上 MacBook 盖子去睡觉，第二天发现任务没跑完，日志里全是“计算机休眠时连接中断”，而每周额度却少了 20 到 30 个点。原因在于 macOS 的 DarkWake 机制会在合盖后周期性短暂唤醒系统，Claude Code 借机重连并消耗额度，但任务并没有真正推进。作者据此建议用 caffeinate 或调整电源策略来管理长任务。对按周额度计费的 AI 编码工具用户，这是直接关系到额度的细节。
在干净机器上实跑 spec-kit：让 AI 写代码前，人要先写什么
AI
这是系列文章《用 AI 构建软件》七篇中的第二篇，作者在一台干净机器上实测 GitHub 的 spec-kit，回答一个前置问题：在让 AI 动手写代码之前，人到底该先写什么。文章记录了从安装 spec-kit、初始化项目到生成规格文档的完整命令流程，并对照说明哪些内容必须由人决定（需求边界、验收标准、不可协商的约束），哪些可以放心交给模型扩写。对已经开始用 Claude Code、Copilot 却仍被“AI 写完不合用”困扰的团队，规格先行是目前成本最低的纠偏手段。
工具层正在从“编辑器体验”转向“agent 编排能力”。Corgi 与 Rune 1.3 解决的是同一件事：当并行 agent 成为常态，能看见每个会话在干什么，比多几个快捷键更决定效率。可观测性正在成为开发工具的新战场。
本周有两篇“扫兴”文章值得读：UUIDv7 的时间有序性被逐位证伪，Core Web Vitals 没有部分得分。工程选型中最贵的错误往往不是不会用，而是把“据说”当成“保证”——文档没读到的位，迟早会在生产环境里来找你。
教程区有个共同点：Laravel 队列、SSL 证书、Claude Code 的 DarkWake 额度，全是“本地能跑、上线或隔夜才炸”的类型。这类内容的知识点并不新，价值在于把事故场景提前搬到读者眼前，让人少交一次学费。