精读 预计 4 分钟
Why l (new runtime for k and q)
作者阐述为 K 和 Q 开发新运行时 l 的动机，聚焦 SIMD、并行、融合与压缩四大实现理念以匹配现代硬件，适合关注数组语言底层优化的读者
K / Q 25 年老手不换语言只换引擎，SIMD 并行融合压缩默认跑现代硬件，兼容老代码
Lobsters · 2 赞 · 0 评 进入阅读 →
精读 预计 22 分钟
30 to 70 PRs a Day: How We Managed to Not Wreck Our Systems
Honeycomb 团队报告如何用 AI 将峰值工作日 PR 合并数从约 30 提升至 74，同时事故增长大致与变更量线性相关，并分享保持系统稳定的实践与 caveats。
Honeycomb 把峰值 PR 合并从 30 拉到 74，靠持续交付和功能开关这些老实践放大 AI，而不是模型魔法
Lobsters · 1 赞 · 0 评 进入阅读 →
精读 预计 8 分钟
Security incident disclosure — July 2026
Hugging Face 披露 2026 年 7 月 AI 自主代理入侵事件，详述数据集处理漏洞利用、响应措施及使用 GLM 5.2 进行取证分析的经验。
HF 被 AI agent 攻破数据管道，防守需自备 open-weight 模型避 guardrail 阻挡
Lobsters · 1 赞 · 0 评 进入阅读 →
精读 预计 1 分钟
Five US tech giants' hidden debts soar to $1.65T on opaque AI funding
日经研究显示美五大科技巨头因 AI 投资隐性债务四年增八倍至 1.65 万亿美元，Meta 表外债务约 4200 亿美元，投资者风险评估难度上升
AI 投资让美五大科技巨头隐债飙到 1.65 万亿美元，Meta 一家表外债务 4200 亿，风险评估难度大增
Hacker News · 168 赞 · 46 评 进入阅读 →
精读 预计 1 分钟
Incremental – A library for incremental computations
Incremental 库介绍高效增量计算的构建方式，适合需要响应输入变化的应用场景。
Jane Street 的 Incremental 库用自调整计算让复杂依赖在输入变时只重算必要部分，适合反应式数据管道
Hacker News · 167 赞 · 25 评 进入阅读 →
精读 预计 1 分钟
Using a SSH bastion, but only when I'm touching grass
分享 SSH config 用 Match + getent 判断，仅在外网时走 bastion，适合有 homelab 和 split-horizon DNS 的人
getent 解析失败才走 bastion，SSH 配置家用直连外出自动跳转，复制即用
Lobsters · 1 赞 · 0 评 进入阅读 →
精读 预计 4 分钟
Secrets Don’t Belong in Config
密钥不应混入配置，NixOS 110 模块 workaround 案例与 SecretSpec 声明式分离方案，适合关注配置安全实践的开发者。
SecretSpec 声明一次 secret 需求，provider 负责解析注入，config 再也不用混密码，NixOS 110 个 workaround 就是反面教材
Lobsters · 2 赞 · 1 评 进入阅读 →
精读 预计 2 分钟
Jellyfin founder Andrew leaves team
Jellyfin 项目领导 Joshua 和核心成员 Anthony 宣布离职，此前 Andrew 已辞职，分享 burnout 等个人原因并确认 amicable 过渡
Jellyfin 创始人因倦怠和生活变化离职 项目已证明 FLOSS 能服务数百万用户并将继续
Hacker News · 155 赞 · 100 评 进入阅读 →
精读 预计 5 分钟
Opaque, Interoperable Passkey Records
提出 passkey 记录的互操作规范与 Go API 草案，适合想让服务器端 passkey 处理更像密码哈希的开发者
Passkey 记录像密码哈希一样存成不透明字符串，c2sp 规范让换库或语言都轻松
Lobsters · 2 赞 · 0 评 进入阅读 →
精读 预计 9 分钟
Human mathematicians are being outcounterexampled
AI 工具连续找到并 Lean 形式化 Erdős 单位距离猜想、Grothendieck 群概型问题和 Jacobian 猜想的反例，作者记录形式化过程与数学界反应
AI 工具 Sol 和 Fable 数周内形式化多个开放数学猜想反例，人类数学家被按在地上摩擦
Lobsters · 6 赞 · 0 评 进入阅读 →
精读 预计 11 分钟
How Gnutella Scaled to Handle Query Traffic
Gnutella 从洪泛路由转向 QRP 协议的查询路由机制，详解 leaves / ultrapeers 架构与近似表结构如何支持百万级节点规模。
Gnutella 用 QRP 近似表和 ultrapeer 分层把洪泛查询的带宽浪费砍掉，百万节点规模下仍能跑的真实路由实践
Lobsters · 2 赞 · 0 评 进入阅读 →
精读 预计 7 分钟
Postgres 19 Compression: from pglz to LZ4
Postgres 19 计划将 TOAST 默认压缩从 pglz 切换到 LZ4，讲解压缩框架、历史、存储策略与索引应用。
Postgres 19 默认 TOAST 压缩切 LZ4，速度快 8 倍还能省空间，直接设 COMPRESSION lz4 就能用
Lobsters · 2 赞 · 0 评 进入阅读 →
精读 预计 4 分钟
SleeperGem: RubyGems supply chain attack targets dormant maintainer accounts
RubyGems 首次出现针对多年休眠维护者账号的供应链攻击，恶意 gem 下载二进制并传播到其他包
RubyGems 休眠维护者账号被劫持推送恶意 gem，首次出现类似 npm 的供应链攻击
Lobsters · 1 赞 · 0 评 进入阅读 →
精读 预计 1 分钟
Jacobian Conjecture from Wolfram MathWorld
Wolfram MathWorld 更新 Jacobian 猜想条目：三维找到多项式反例，Jacobian 行列式为非零常数但映射非单射，源自 AI 系统 Fable。
AI Fable 用三维反例击破 Jacobian 猜想，证明其在三维及以上不成立
Lobsters · 3 赞 · 0 评 进入阅读 →
精读 预计 12 分钟
A Linux Kernel 0-day Journey - From a limited UAF to Physical Memory R/W
Linux 内核 red 调度器 0-day，从 slab UAF 经 pgv 升级到 page UAF 再到物理内存 R / W 的完整利用链，附 AI 辅助 exp 开发经验。
kernel 0-day 从 slab UAF 升级到物理内存读写 作者记录了用 Claude 辅助 exploit 开发的真实成败
Lobsters · 2 赞 · 0 评 进入阅读 →
精读 预计 11 分钟
Who needs a real-time database?
kdb+ 开发者讨论实时数据库（RDB）是否必要，比较 RDB 与纯磁盘架构的性能与扩展性，适合评估系统设计的读者
kdb+ 默认 RDB 架构在现代 NVMe 下已非必需，直接磁盘加 OS 页缓存更简单可扩展且支持并行
Lobsters · 1 赞 · 0 评 进入阅读 →
精读 预计 12 分钟
Agent swarms and the new model economics
Cursor 团队对比新旧 agent swarm 在从零实现 SQLite 上的表现，介绍 planner-worker 树状结构、冲突协调机制与模型混合成本差异。
Agent swarm 的 planner-worker 树分解加冲突协调机制，让混合模型四小时建 SQLite 达 80%+，成本远低于全 frontier
Hacker News · 127 赞 · 51 评 进入阅读 →
精读 预计 6 分钟
Extending MVCC to be serializable, in TLA+ (2024)
TLA+ 扩展 MVCC 模型实现可串行化快照隔离，包含 pivot 事务识别、中止机制及 TLC 检查示例，适合研究事务隔离形式化的人。
pivot transaction 的 anti-dependency 循环让 snapshot isolation 非序列化，Cahill 算法通过 abort 机制保证 serializable，TLA+ 模型完整演示
Lobsters · 1 赞 · 0 评 进入阅读 →
精读 预计 16 分钟
A deep dive into my Forgejo setup
详细分享 Forgejo 自托管 Git 平台搭建，包括 Podman、Ansible 和 GitOps 流程，适合想迁移 GitHub 的开发者
60 欧 VPS 用 Podman Systemd 跑 Forgejo，CI 构建快 6 倍还无限私有仓库 GitOps
Lobsters · 2 赞 · 0 评 进入阅读 →
精读 预计 4 分钟
Over 30% of new ArXiv submissions now read as AI-written
arXiv 新论文 AI 写作比例测量：用校准检测器分析 12750 篇论文，结果约 32% 被标记，附方法、领域差异与局限
arXiv 新论文 32% 读起来像 AI 写的，CS 领域 65%，这数据直接改写你对研究写作现状的判断
Hacker News · 116 赞 · 82 评 进入阅读 →
精读 预计 4 分钟
I Stopped "Creating Content"
作者反思商业术语如何扭曲创作心态，建议用更自然的词描述自己的工作而非被‘内容’框架主导。
把工作叫'内容'会把读者当流量，改用'博主'或'作者'能让你更尊重他们的时间
Hacker News · 125 赞 · 87 评 进入阅读 →
精读 预计 30 分钟
The Voice of Google
Google 前员工自述 2007 年起在通讯部门如何打造内部 “声音”、放大公司修辞并逐渐转向异议，适合对科技公司文化与权力结构感兴趣的人
前谷歌员工回忆 Google+ 强制拉新 flop 和 Reader 被砍内幕，撕下大厂产品决策的光环
Hacker News · 135 赞 · 65 评 进入阅读 →
精读 预计 5 分钟
Kimi K3, Qwen 3.8, and Anthropic's (Potential) Unravelling
分析 Kimi K3、Qwen 3.8 等开源前沿模型对 Anthropic 等实验室的经济模式与战略风险，讨论基础设施所有权如何影响长期利润率
Kimi K3 与 Qwen 3.8 开源将让 Anthropic 这类纯模型 labs 陷入 margin 劣势与 unbundling 风险，基础设施所有权才是长期胜负手
Hacker News · 141 赞 · 142 评 进入阅读 →
精读 预计 11 分钟
Corners Don't Look Like That: Regarding Screenspace Ambient Occlusion (2012)
2012 年文章用公寓真实照片和像素亮度图表，展示 SSAO 渲染的凹角暗化效果与现实差异，适合关注图形渲染真实性的开发者参考。
别让 SSAO 骗你，真实照片里的角落暗化远没那么夸张
Hacker News · 108 赞 · 39 评 进入阅读 →
精读 预计 3 分钟
American AI is locked down and proprietary. It's losing
中美 AI 策略对比：美国封闭专有模型，中国开放权重模型正缩小差距并获得生态优势，分析护城河、出口管制及潜在经济影响。
中国开源权重把美国闭源 AI 的算力劣势直接转为全球分发优势，模型切换成本低到几乎无护城河
Hacker News · 140 赞 · 126 评 进入阅读 →
精读 预计 3 分钟
Perfection Is Not Over-Engineering
区分完美与过度工程，指出后者源于需求模糊而非追求完美，适合思考系统设计与技术选型的人
完美不是过度工程，解错问题才是；需求拧紧到只剩一个解，完美方案自己站出来
Hacker News · 114 赞 · 52 评 进入阅读 →
精读 预计 16 分钟
Who's Afraid of Chinese Models?
讨论中国开源权重模型如 Kimi K3 对 AI 智能商品化的影响、成本结构与前沿实验室反应，适合关注 AI 产业经济逻辑的人
中国模型低价是假象，智能商品化后成本结构决定谁能盈利，反应过度了
Hacker News · 138 赞 · 103 评 进入阅读 →