精读 预计 4 分钟
I Am Not a Reverse Centaur
知名开源开发者 Miguel Grinberg 解释为何他拒绝审阅 AI 生成的 PR，并采取 “先讨论后提交” 的策略来抵制沦为被机器奴役的 “逆向人马”。
开源项目贡献指南加『先 issue 讨论』，直接把 LLM 垃圾 PR 拒之门外
Lobsters · 3 赞 · 0 评 进入阅读 →
略读 预计 5 分钟
The only scalable delete in Postgres is DROP TABLE
分析 Postgres 大规模 DELETE 的性能瓶颈，并建议通过 DROP TABLE、TRUNCATE 或表分区实现更具扩展性的数据清理。
Postgres 大规模删除最省力的招是 DROP TABLE
Lobsters · 4 赞 · 1 评 进入阅读 →
精读 预计 13 分钟
Diplomat: Multi-language FFI for Rust Libraries
介绍 Diplomat：一个能将 Rust 库自动转换为 C++、JS、Dart、Kotlin 等多语言惯用绑定的 FFI 工具。
Diplomat 工具用单个 bridge crate 生成多语言 FFI 绑定，Rust 改动不影响其他语言 API，C++ JS 构造函数也直接用
Lobsters · 2 赞 · 0 评 进入阅读 →
预计 1 分钟
Apple Foundation Models
介绍如何通过 Swift 软件包在 Apple 平台的 Foundation Models 框架中集成 Claude。
Claude for Foundation Models 的 Apple Swift 包纯是官方集成文档
Hacker News · 91 赞 · 21 评 进入阅读 →
精读 预计 3 分钟
Clojure is almost as fast as C (with some help)
介绍如何利用 Project Panama 的 Vector API 和 JVM 优化手段，让 Clojure 在矩阵变换压力测试中达到接近 C 语言的性能（差距缩减至 20% 以内）。
Project Panama Vector API 让 Clojure 写 SIMD 核也能 0.86 ms 秒杀 C，零 GC 抖动直接抄到你的 AI 项目
Lobsters · 1 赞 · 0 评 进入阅读 →
精读 预计 16 分钟
Comparison and Benchmarking of Rust Decimal Crates
对比评测 Rust 生态多款 Decimal crate 的分类差异、内存布局与 benchmark 结果，适合金融或对精度有要求的开发者快速决策
Rust Decimal 对比实测：Fixed-Point 最快，金融资产直接选它
Lobsters · 1 赞 · 0 评 进入阅读 →
精读 预计 47 分钟
Datalog
深度 Datalog 技术指南，涵盖了从递归求值原理、SQL 转换到程序分析（静态分析、反汇编）的广泛实践。
Souffle Datalog 路径可达性教程直接给 Python 递归实现，照搬就能用
Lobsters · 1 赞 · 0 评 进入阅读 →
精读
Speed Matters for Google Web Search [2009]
谷歌 2009 年的经典实验报告，量化了 100-400 毫秒的微小延迟如何显著且持久地降低用户搜索活跃度。
Google 搜索延迟实验：每多 100ms 延迟，日搜索量减少 0.2%~0.6%，停滞后仍掉 0.21%
Lobsters · 1 赞 · 0 评 进入阅读 →
精读 预计 24 分钟
Even more batteries included with Emacs
Emacs 内置命令实用技巧大全，涵盖字典工具提示、文件通配符、URI 扫描、轻量 diff 工具、备份增强、Apropos 扩展等，适合已有基础的 Emacs 用户
Emacs 自带 compare-windows 两窗口实时对比文本或文件属性，零配置就能用
Hacker News · 141 赞 · 25 评 进入阅读 →
预计 4 分钟
Your ePub Is Fine. Kobo Disagrees. Blame Adobe
Kobo 因 Adobe RMSDK 老化 CSS 引擎报错，epubcheck 3.3 通过却书无法打开，需先扔进 ADE 木屑机验证
你得把 EPUB 扔进 Adobe 木屑机验证 Kobo 兼容性
Hacker News · 113 赞 · 39 评 进入阅读 →
略读 预计 5 分钟
Did Anthropic ask for this?
探讨 Anthropic 为何因其长期游说政府监管 AI 而 “求仁得仁”，导致其最新模型 Claude Fable 和 Mythos 受到美国出口管制。
安森皮克 CEO Dario 提议政府阻挡 AI 生物武器风险，Anthropic 最新模型直接被出口管制
Hacker News · 144 赞 · 128 评 进入阅读 →
预计 5 分钟
Why Is Claude Turning into an a**Hole?
BitTorrent 创始人 Bram Cohen 抨击 Claude 近期版本变得好斗且难以沟通，并深入探讨了导致模型性格恶化的技术与政策原因。
Bram Cohen 吐槽 Claude 模型聊天行为越来越差的原因
Hacker News · 88 赞 · 125 评 进入阅读 →
精读 预计 2 分钟
Yserver: A modern X11 server written in Rust
用 Rust 从零实现的现代 X11 服务端，旨在舍弃历史包袱并支持 MATE / XFCE 等主流桌面。
Rust 写的现代 X11 服务器能跑完整桌面环境和 Compiz 合成，AMD Intel Asahi 等硬件全测试过，实用性爆表
Hacker News · 86 赞 · 74 评 进入阅读 →
精读 预计 33 分钟
AI Won’t Fix a Company That Can’t Ship
AI 无法拯救缺乏交付能力的传统公司，它往往只是掩盖管理无能和系统性功能障碍的 “魔法” 标签。
AI 推不了不会出货的公司，AI 只是快点交付，Selenium 才更靠谱
Lobsters · 1 赞 · 0 评 进入阅读 →
精读 预计 6 分钟
Show HN: Kage – Shadow any website to a single binary for offline viewing
将网站克隆为无脚本离线镜像的工具，支持导出为 ZIM 压缩包或自带查看器的单可执行文件。
kage 单命令就能把网站克隆成可离线浏览的镜像，脚本全剥离
Hacker News · 152 赞 · 37 评 进入阅读 →
略读 预计 4 分钟
Deconstructing Datalog
本文介绍了如何将 Datalog 的递归逻辑与函数式编程融合，通过 Datafun 语言实现高效、类型安全的逻辑查询。
Datalog 递归查询通过函数式语言 + 单调类型系统 + 增量化实现无缝集成，优化固定点后效率更高
Lobsters · 10 赞 · 0 评 进入阅读 →
精读 预计 5 分钟
Write-heavy sysbench tests, a large server, modern Postgres and MySQL
对比现代 Postgres (v15-19) 与 MySQL 8.4.7 在写密集型负载下的性能，指出 Postgres 存在吞吐波动及版本退化风险。
MySQL + InnoDB 写重 sysbench 胜 Postgres，平均高 1.55 倍吞吐节省 20% 写 IO
Lobsters · 2 赞 · 0 评 进入阅读 →
预计 1 分钟
Rio de Janeiro's "homegrown" LLM appears to be a merge of an existing model
里约热内卢政府声称 “自研” 的 397B 大模型被指控为 Nex 与 Qwen 模型的直接权重合并，而非独立训练。
巴西里约 3.5 本是 Nex-N2 Pro 的套壳模型
Hacker News · 132 赞 · 76 评 进入阅读 →
精读 预计 1 分钟
I indexed 669 GB of my GoPro videos using my M1 Max computer and local ML models
介绍如何利用 M1 Max 和开源 ML 模型对 669GB 的 GoPro 视频进行本地索引与搜索，并联动视频剪辑软件。
M1 Max 跑本地 ML 建向量库，GoPro 视频全自动切亮点发 Resolve 剪辑
Hacker News · 109 赞 · 23 评 进入阅读 →
精读 预计 9 分钟
Perlisisms (1982)
首届图灵奖得主 Alan Perlis 关于编程本质、语言设计与系统复杂性的 120 条经典警句。
Perlis 忠告编程：晚点绑定数据结构，别让代码死在后期
Hacker News · 87 赞 · 39 评 进入阅读 →
精读 预计 6 分钟
No, everyone is not using AI for everything
本文通过多项数据指出 “人人都在用 AI” 是媒体幻觉，实际上美国约三分之二的人仅偶尔使用或从不使用 AI。
美国 AI 采用率只有三分之一的人活跃使用，三分之二有限制或从不用，肉食类比提醒别信‘人人都在用’的炒作
Hacker News · 204 赞 · 196 评 进入阅读 →
略读 预计 1 分钟
KPMG pulls report on AI usage due to apparent hallucinations
KPMG 因 AI 幻觉导致报告内容失实而紧急撤回，涉及瑞银、NHS 等多家机构的虚假案例。
KPMG 因 AI 报告幻觉被撤，客户直指 AI 用在 AI 报告上全是谎言
Hacker News · 102 赞 · 19 评 进入阅读 →
精读 预计 1 分钟
Caddy compatibility for zeroserve: 3x throughput and 70% lower latency
zeroserve Caddy 兼容模式：通过 Caddyfile JIT 编译 eBPF，实测 HTTPS 反向代理吞吐量达 38k req/s、延迟降至 1.45ms，是 caddy 12.5k req/s 的 3 倍且内存仅 30.9MiB。
zeroserve 用 Caddyfile 编译 eBPF，吞吐直接 3 倍 caddy，延迟降到 1.45ms
Hacker News · 90 赞 · 23 评 进入阅读 →
精读 预计 6 分钟
Formal methods and the future of programming
Jane Street 解释为何从长期质疑转向积极投入形式化方法（Formal Methods），并指出 AI 智能体编程是改变其成本收益权衡的关键变量。
Jane Street 宣布建形式方法团队，用 agentic 代码验证爆瓶颈和反馈需求解锁类型系统全部潜力，OxCaml 可直接集成到你的 AI 项目
Hacker News · 113 赞 · 33 评 进入阅读 →
精读 预计 11 分钟
Software Architecture Guide (2019)
软件架构大师 Martin Fowler 维护的架构指南，系统性地阐述了架构的本质定义、对开发效率的影响，并汇集了微服务、无服务器等关键架构模式的深度资源。
应用边界靠开发者共识定义，微服务小服务独立部署可迁移到你的 AI 创业项目
Hacker News · 90 赞 · 36 评 进入阅读 →
精读 预计 1 分钟
Show HN: Trace – Offline Mac meeting transcripts you can flag mid-call
专为 Mac 用户设计的离线会议转录工具，支持在通话过程中通过快捷键实时标记关键时刻。
Mac 实时录音就能边开会边用 ⌘K 标记笔记，关键点自动嵌入转录里扫描就能找到
Hacker News · 103 赞 · 43 评 进入阅读 →
精读 预计 4 分钟
AI is code – and can't be prompted into being smarter
探讨 AI 作为代码的本质局限，指出 Prompt 无法使其真正 “变聪明”，并汇总了 AI 幻觉、安全漏洞及降本工具等技术动态。
AI 就是代码，根本无法靠提示变聪明
Hacker News · 110 赞 · 76 评 进入阅读 →
预计 1 分钟
Linux 7.1
Linux 7.1 邮件链接的 Anubis 反爬保护说明：使用 Proof-of-Work 方案结合浏览器指纹检测，解释为何需关闭 JShelter 等插件。
这网站用证明工作机制挡 AI 爬虫，还得禁用 JS 插件防检测
Hacker News · 92 赞 · 13 评 进入阅读 →
略读 预计 4 分钟
UK set to announce social media ban for under-16s
英国政府拟宣布禁止 16 岁以下青少年使用社交媒体，并对 AI 聊天机器人及深夜刷屏行为实施限制。
澳洲禁令执行力弱，英国强化年龄验证与聊天机器人监管
Hacker News · 122 赞 · 200 评 进入阅读 →
预计 1 分钟
Ask HN: What are you working on? (June 2026)
Hacker News 2026 年 6 月的月度讨论帖，汇集了社区成员正在开发的各种项目与新点子。
Hacker News 6 月问答帖：你正在做什么新项目
Hacker News · 117 赞 · 432 评 进入阅读 →