给软件开发者准备的优质简报，每日阅读 10分钟。
Tell HN: I'm 60 years old. Claude Code has re-ignited a passion
60岁开发者谈Claude Code重燃编程激情
- 帖子作者60岁，正准备退休，回忆起年轻时学习ASP、COM组件、VB6等技术时的激情岁月
- Claude Code让他找回了当年废寝忘食编程的感觉，仿佛回到年轻时候
- 许多资深开发者共鸣于框架疲劳——无休止地学习新框架令人倦怠
- 部分人持反对意见，认为AI编程去除了编程的成就感
- 年轻一代与年长开发者对AI工具态度存在分歧
- 评论中有人认为是HN特有的幸存者偏差
LLMs work best when the user defines their acceptance criteria first
你的LLM写的不是正确代码，而是看似合理的代码
- LLM生成的Rust版SQLite重写编译通过、测试无误、文件格式兼容，但执行主键查询时比原生SQLite慢20,171倍（0.09ms vs 1,815.43ms），暴露根本性设计缺陷
- 核心bug一：查询规划器的
is_rowid_ref()函数仅识别"rowid"等三个字面值，完全忽略INTEGER PRIMARY KEY列的is_ipk标记，导致所有WHERE条件均触发全表扫描而非B树查找 - 核心bug二：非事务INSERT每次强制调用
fsync，而SQLite使用fdatasync并支持批量提交，后者比前者快78倍 - 叠加的性能反模式：每条语句克隆AST并重编译、每次读取4KB堆分配、每次提交后重载完整schema、热路径无条件序列化、全套对象反复分配销毁
- 同一作者的另一项目用82,000行Rust代码构建磁盘清理守护进程（含贝叶斯评分引擎和PID控制器），实际仅需一行cron命令，体现LLM生成"符合描述"而非"解决问题"的代码
- 谄媚性（sycophancy）是LLM的系统性问题：METR实验显示开发者使用AI后实际效率降低19%却主观认为提升20%，BrokenMath证实GPT-5对错误定理生成29%的虚假证明，根源在于RLHF偏好"顺从"而非"正确"
- 有效使用LLM的关键是用户需具备验证能力：能发现
is_ipk检查缺失等语义错误、定义可测量的验收标准，而非仅依赖代码编译和测试通过
Proton Mail Helped FBI Unmask Anonymous 'Stop Cop City' Protester
Proton Mail向瑞士当局提供支付数据协助FBI识别“阻止Cop City”运动匿名用户
- Proton Mail作为以端到端加密和瑞士隐私法著称的隐私邮件服务商，向瑞士政府提供了与“阻止Cop City”运动相关邮箱账户的支付数据，瑞士政府随后将这些数据转交给FBI
- FBI利用该支付数据确定了涉事匿名账户使用者的身份，该账户隶属于“保卫亚特兰大森林”（DTAF）组织
- 当局对此案的调查涉及该组织与纵火、破坏行为及“人肉搜索”披露个人信息行为的关联
- “阻止Cop City”运动抗议的是在亚特兰大Intrenchment Creek公园附近建造大型警察培训中心的计划，相关行动还包括在森林中露营及提起诉讼
- 目前针对超过60人的相关指控已被撤销
UUID package coming to Go standard library
proposal: crypto/uuid: 添加 UUID 生成和解析 API
- 提议在 Go 标准库中新增 crypto/uuid 包，提供 UUID 生成和解析功能，支持版本 3、4 和 5
- 核心论据是 github.com/google/uuid 是 Go 项目中最广泛使用的第三方库之一，几乎每个基于服务器/数据库的 Go 程序都需要导入它
- UUID 是 RFC 标准（最初为 RFC 4122，后更新为 RFC 9562），大多数主流语言（C#、Java、JavaScript、Python、Ruby）都将其纳入标准库，而 Go 是少数例外
- 该提案被关闭并标记为重复，指向替代方案 #76319（crypto/rand: add UUIDv4 and UUIDv7）；替代方案仅包含 UUID 生成功能，将解析排除在范围之外以遵循 RFC 将 UUID 视为不透明标识符的建议
- 提案状态曾标记为"Likely Accept"（可能接受）并处于最终评论期
Plasma Bigscreen – 10-foot interface for KDE plasma
Plasma Bigscreen：面向Linux的开源电视界面
- 由KDE社区志愿者开发的免费开源桌面环境，专为Linux电视、HTPC和机顶盒设计，可被任何Linux操作系统分发
- 支持多种输入方式：电视遥控器（CEC）、游戏控制器、键盘鼠标，以及通过KDE Connect用手机控制
- 基于KDE Plasma、KWin、KDE Frameworks、Qt和Kirigami等开源技术构建，源代码托管于KDE Invent
- 提供专为大屏幕设计的主屏幕叠加层和设置应用，可从沙发舒适位置搜索应用、切换运行程序、配置显示网络外观等
- 支持安装运行Steam、Kodi、Jellyfin、YouTube（通过VacuumTube）等Linux应用，通过发行版包管理器或Flathub安装
- 旨在打破电视和机顶盒领域的封闭生态，提供尊重和保护用户隐私的完全开放平台
Uploading Pirated Books via BitTorrent Qualifies as Fair Use, Meta Argues
Meta主张通过BitTorrent上传盗版图书构成合理使用
- 2023年，知名作家Richard Kadrey、Sarah Silverman和Christopher Golden等对Meta提起集体诉讼，指控其从Anna's Archive等影子图书馆下载盗版图书用于AI模型训练
- 去年夏天，法院裁定使用盗版图书训练Meta的Llama大语言模型构成合理使用，但下载并通过BitTorrent向他人分享的问题仍待解决（Meta称之为"苦乐参半的胜利"）
- Meta首次主张在BitTorrent下载过程中向其他用户上传（seed）盗版图书同样属于合理使用，理由是BitTorrent协议本身会自动向他人上传数据，这是技术固有特性而非自主选择
- Meta辩称Anna's Archive的数据集仅通过批量BitTorrent下载提供，这是获取数据的唯一实际可行方式，使用BitTorrent是出于效率和数据获取必要性的技术决策
- 原告作家在证词中承认无法指出Meta模型输出了其书籍中的任何内容，Sarah Silverman甚至表示"这完全不重要"，Meta以此论证不存在市场损害
- 原告律师反对Meta在诉讼后期提出新辩护，指出Meta自2024年11月已知悉上传指控却从未提及该合理使用辩护；Meta则回应称这在其2025年12月的案件管理声明中已明确提出
this css proves me human
这段CSS证明我是人类
- 作者使用
text-transform: lowercase将正文转为小写，但通过text-transform: none保留代码块的原始格式 - 修改字体文件中的 em-dash（长破折号），用两个 hyphen（短横线）组合成更宽的自定义字形，避免使用他人设计的标点
- 引用 Peter Norvig 的拼写纠正算法，按词频稀有度排序文章中的单词，用更罕见的词替换常见词（如 complement → compliment，discrete → discreet）
- 认为写作风格不仅是表面伪装，更是思考和与世界互动的方式，是承载意义的"承重墙"
- 最终选择不改变写作风格，以"No. Not today."结尾，保留真实的自我表达
Ki Editor - an editor that operates on the AST
Ki Editor | 多光标结构化编辑器
- 提供一流语法节点交互，直接操控语法结构，省去鼠标或复杂键盘操作
- 支持多光标并行操作语法节点，极大提升批量编辑和重构效率
- 重新定义模态编辑，选择模式标准化支持词、行、语法节点等操作，实现灵活一致移动
- 桥接编码意图与操作，避免手动操作与编码目标之间的差距
A Decade of Docker Containers
Docker 容器技术十年演进与核心创新
- Docker 于2013年发布，通过
docker build、docker push和docker run三大核心命令简化应用构建、分发和隔离运行流程；支持开发者使用 Dockerfile 自定义镜像并复用全球共享镜像，广泛应用于托卡马克模拟、流媒体服务及航天软件部署等场景，在 Stack Overflow 年度调研中持续被评为“最常用”和“最期待”开发工具，Docker Hub 托管超1400万镜像且月均处理超110亿次拉取请求 - 技术底层依赖 Linux 命名空间（如文件系统挂载命名空间/2001、进程通信命名空间/2006、网络命名空间/2007）实现轻量级进程隔离，采用分层文件系统和内容寻址存储确保镜像不可变性与高效去重，并通过 OCI 标准实现跨平台镜像格式统一；客户端-服务端架构（dockerd/containerd/buildkit）支持秒级容器启动，资源开销远低于传统虚拟机
- 为突破 Linux 环境限制，2016年推出 Docker for Mac/Windows，通过 HyperKit 库虚拟化技术将 Linux 内核嵌入桌面应用，结合定制化 LinuxKit 发行版和 vpnkit 网络栈（基于 OCaml 实现）解决跨平台网络隔离与防火墙兼容问题；2018年 WSL2 采用类似架构实现 Windows 原生支持
- 支持多 CPU 架构（ARM/Intel/POWER/RISC-V），通过 Linux 的
binfmt_misc机制与 QEMU 模拟器实现跨架构二进制透明翻译，并利用 Apple M1 的 Rosetta 指令转译技术进一步简化混合运行流程 - 持续扩展安全与硬件支持：通过可信执行环境（TEEs）实现机密容器对密钥的跨层级保护；2023年引入容器设备接口（CDI）动态绑定 GPU 设备文件与驱动库，适配 AI 工作负载的异构硬件需求
Filesystems Are Having a Moment
文件系统正在迎来它的时代
- LlamaIndex、LangChain、Oracle、Dan Abramov 等AI生态系统正在重新发现文件系统：LlamaIndex 发布"Files Are All You Need"，LangChain 讨论代理如何利用文件系统进行上下文工程，Karpathy 指出 Claude Code 成功的关键在于运行在用户本地机器上、拥有用户环境和数据
- 代理范式正在转变：Jerry Liu 认为未来将从拥有数百个工具的单一代理转向仅需 5-10 个工具（文件系统、代码解释器、网络访问），这反而更通用；Claude Code 作为 CLI 工具正驱动 Anthropic 接近盈利
- 上下文窗口不是真正的记忆：LLM 的上下文窗口更像不断被擦除的白板，而文件系统通过"写下来"实现持久化；ETH 苏黎世联邦理工学院研究发现上下文文件反而降低任务成功率并增加 20% 以上推理成本——问题在于人们把 CLAUDE.md 写成 2000 字 onboarding 文档而非简洁约束
- 文件格式即 API，但标准尚未统一：目前存在 CLAUDE.md、AGENTS.md、.cursorrules 等多种格式，Agent Skills（SKILL.md）作为开放标准已被 Microsoft、OpenAI、Atlassian、GitHub 和 Cursor 采纳，实现跨工具技能共享——这是"无需协调的互操作性"
- 瓶颈已转移：如同存储与计算解耦，AI 代理的瓶颈不在模型能力而在于上下文管理；文件系统作为接口（Interface）获胜，数据库作为底层（Substrate）仍是必需——"你在使用图结构而不自知"
- 这本质上关乎个人计算的未来：你的数据、偏好、技能以你拥有的格式存在，可在任意代理工具间迁移；Dan Abramov 的观点——我们的记忆和想法应该比创造它们的软件活得更久——这是一个价值观层面的论述，而非纯粹的技术参数
Show HN: ANSI-Saver – A macOS Screensaver
macOS ANSI艺术屏幕保护程序：重温BBS时代
- AnsiSaver是macOS屏幕保护程序，从16colo.rs BBS艺术档案库流式传输ANSI/ASCII艺术作品，使用与该网站相同的libansilove库进行渲染
- 支持多种文件格式：.ANS、.ICE、.ASC、.BIN、.XB、.PCB和.ADF，采用正宗的CP437位图字体，以60fps流畅动画展示
- 提供两种显示模式：连续滚动模式（艺术文件垂直堆叠形成无限流）和标准模式（支持向上/向下滚动或交叉淡入淡出过渡）
- 可配置滚动速度（10-200像素/秒）、渲染比例（1x-4x，适用于Retina显示器）、可选显示文件名分隔符
- 需要macOS Sequoia（15.0）或更高版本，支持Apple Silicon和Intel架构，需手动绕过macOS安全限制完成首次安装
- 艺术文件缓存在~/Library/Caches/AnsiSaver/，也支持指向本地文件夹以展示个人ANSI艺术收藏