← 往期列表

日报

2026 年 7 月 24 日 · 星期五

读过 47 篇 · 精选 30 篇

更多
精读 预计 18 分钟

Existentials on a Leash

Haskell 中用线性类型与证明令牌实现裸 existential types 编码及 optics 隐藏类型实例保留技术的文章，适合对类型系统、linear types 和 optics 感兴趣的读者

线性函数与 Fresh 代理把 Haskell 存在类型拴住，实现裸露使用并支持 lazy vecFromList 而绕过 GADT 包装

Lobsters · 2 赞 · 0 评 进入阅读 →
精读 预计 8 分钟

I Regret Migrating to Codeberg

作者因 Codeberg 新 ToS 禁止 LLM 和加密货币项目而后悔迁移，讨论 FOSS 平台内容审查与用户自由问题。

Codeberg 新条款禁 LLM 和加密项目，作者只待几个月就后悔迁移，打算自建主机，警告这开了审查先例

Lobsters · 5 赞 · 0 评 进入阅读 →
精读 预计 9 分钟

A tour of MLIR: The Dialect Stack Everyone Depends On

MLIR 方言栈的系统介绍，解释其作为 IR 构建工具包的原理、多层级共存与 lowering 流程，以及为何众多 ML 编译器依赖它。

MLIR 不是另一个 LLVM IR，而是方言构造器，让高低层操作混在同一模块里逐级 lowering

Lobsters · 1 赞 · 0 评 进入阅读 →
精读 预计 7 分钟

You should selfhost your mail (in 2026)

2026 年自建邮件服务器可行性指南，涵盖家庭托管条件、本地 LLM 反垃圾方案及 DNS 配置建议。

2026 自托管邮件可行，本地 Gemma 模型打 spam 让你摆脱 Gmail 掌控

Lobsters · 3 赞 · 0 评 进入阅读 →
精读 预计 19 分钟

Whose freedom is it anyway?

探讨 AI 与洗衣机、PC、互联网等历史技术如何借‘自由’营销，却常强化现有权力与劳动条件，引用 Berlin、Graeber 等观点，适合关注科技叙事与社会不平等的人

AI 自由承诺从洗衣机到今天一脉相承 结果从来只让拥有者更自由

Lobsters · 3 赞 · 0 评 进入阅读 →
精读 预计 15 分钟

Jolt: running Clojure on Chez Scheme

介绍用 Chez Scheme 实现 Clojure 的 Jolt 项目，覆盖库兼容、性能、nREPL 和原生桌面集成，适合关注 JVM 替代方案的 Clojure 开发者。

Jolt 把 Clojure 搬到 Chez Scheme，8MB 原生二进制秒启动，还能跑 Ring 应用和 GTK 原生 UI

Lobsters · 1 赞 · 0 评 进入阅读 →
精读 预计 9 分钟

Improving std::simd::swizzle_dyn

剖析 std::simd::swizzle_dyn 性能瓶颈并给出多项具体优化，适合关心 Rust SIMD 实现细节的开发者

std::simd swizzle_dyn 靠向量拆分加 AVX2 端口并行优化提速 6 倍，base64 实测可见，却仍卡在 build-std 和多版本化硬伤上

Lobsters · 3 赞 · 0 评 进入阅读 →
精读 预计 6 分钟

agent-shell 0.63 updates

Emacs agent-shell 0.63 更新日志，列出新增代理支持、Markdown 渲染扩展、活动分组、内联图像等具体改进，适合跟踪该 Emacs AI 工具的用户。

agent-shell 0.63 新增 Grok Build 和 Oh My Pi 支持，LaTeX 渲染加工具分组

Lobsters · 1 赞 · 0 评 进入阅读 →
精读 预计 10 分钟

Building on ATProto

分析 ATProto 协议在支持公私混合数据与本地优先应用时的设计问题，适合关注去中心化身份与数据协议的开发者或研究者

ATProto 把公共和权限数据设计成两套独立系统，开发者得写双份代码却骗用户说它们是一回事

Hacker News · 157 赞 · 80 评 进入阅读 →
精读 预计 12 分钟

Prompt Caching In Agents

分析编码代理中提示缓存的 KV 机制、工具定义影响、TTL 与未命中代价，以及 Pi 的缓存友好实践，适合关注 LLM 代理性能与成本的开发者

工具定义一改就全量重算，5 分钟 TTL 让长会话 continue 瞬间变贵，缓存不是小优化而是 agent 架构核心约束

Lobsters · 3 赞 · 0 评 进入阅读 →
精读 预计 12 分钟

What happened to TheNumbers.com

电影数据网站 TheNumbers.com 因 AI 爬虫与预测市场相关攻击而突然崩溃并重建，探讨 AI 对开放网络的冲击

AI 代理把 TheNumbers.com 这种 30 年权威数据站砸趴了，预测市场黑客让 web 比你想的脆弱得多

Hacker News · 182 赞 · 74 评 进入阅读 →
精读 预计 6 分钟

The arguments against open source AI are bad

逐一批驳反对开源 AI 的论点，分析历史先例与各方激励，适合关注 AI 政策、开源与中美竞争的人

开源 AI 反对论据漏洞百出，加密历史证明压制只会让美国落后，模型商品化后服务才是真护城河

Hacker News · 161 赞 · 114 评 进入阅读 →
精读 预计 9 分钟

How AI Is Changing Open Source

AI 让开源项目数量爆炸、代码审查不堪重负，并降低开发者公开代码的意愿，分析三大趋势及其影响。

AI 让开源项目通胀、审查崩溃，越来越多项目转向闭源

Lobsters · 2 赞 · 1 评 进入阅读 →
精读 预计 13 分钟

How MVCC and Transactions Work in RocksDB

详解 RocksDB LSM-tree 上的 MVCC 实现、sequence number、快照、SuperVersion 以及乐观 / 悲观事务与隔离级别，适合想了解其并发控制细节的读者

RocksDB 用 sequence number 加 SuperVersion 引用计数实现无锁 MVCC，快照与事务层冲突检测细节可直接抄到自研存储引擎里

Lobsters · 2 赞 · 0 评 进入阅读 →
精读 预计 26 分钟

Why Software Factories Fail (or: harness engineering is not enough)

分析 AI 驱动软件工厂失败原因，指出 harness 工程和 loops 无法解决模型训练局限导致的代码质量随时间下降问题，适合关注 AI coding agent 长期维护的开发者

再多 harness 也救不了 AI 软件工厂，模型训练缺陷让代码质量随时间崩坏

Hacker News · 158 赞 · 134 评 进入阅读 →
精读 预计 2 分钟

Software rendering in 500 lines of bare C++

500 行纯 C++ 从零手写软件渲染器系列，展示 OpenGL 等 API 工作原理，适合想手动实现 3D 图形管线的人

500 行裸 C++ 手写软件渲染器，从像素到三角形一步步实现，帮你看透图形 API 底层工作原理

Hacker News · 170 赞 · 30 评 进入阅读 →
精读 预计 7 分钟

Spatial languages: writing code in 2D

探讨二维空间书写代码的思路，展示 3 元运算符 @@、垂直链式表达及量子门模拟的鸡舍门控与 3 位加法器例子

空间语言用二维垂直链式搞定三元翻转和辅助变量重置

Lobsters · 4 赞 · 2 评 进入阅读 →
精读 预计 6 分钟

Amiga 1000: Ten years ahead of its time

1985 年 Amiga 1000 的图形、声音与抢占式多任务技术领先十年，以及 Commodore 管理与营销失误导致其未能普及的回顾。

Amiga 领先十年却失败了，全怪康懋达营销不会讲故事还让寡头捞钱

Hacker News · 158 赞 · 144 评 进入阅读 →
精读 预计 7 分钟

Malleable computing, Emacs, and you

Emacs 用户分享用 gh CLI 和 Elisp 快速搭建 GitHub issues 到 Org 的自动化工具，探讨可塑计算的实际案例。

Emacs 用 gh CLI 和 400 行 Elisp 就能一天自建 GitHub-Org 同步工具，证明可塑计算让个人开发者掌控工具定义而非等供给侧产品

Hacker News · 149 赞 · 48 评 进入阅读 →
精读 预计 8 分钟

Most Americans say "not in my backyard" to AI data centers

调查显示 53% 美国人反对在自家附近建 AI 数据中心，高于对公寓等其他建筑的反对；弗吉尼亚两县因数据中心税收教育支出大幅增长、居民税率下降。

53% 美国人反对 AI 数据中心建自家后院，但弗州两大县的数据中心税收却让教育支出增长近 80% 并压低居民税率

Hacker News · 143 赞 · 300 评 进入阅读 →
略读 预计 3 分钟

Software Should Work Worked

SSW 会议组织者分享活动超出预期，观众高度专注促成演讲互引与 Zig 仓库实际 issue

Zig 仓库因 Fil-C 演讲开了新编译模式 issue，会议组织者复盘小地方办会能筛选高质量参与者

Lobsters · 3 赞 · 0 评 进入阅读 →
略读 预计 10 分钟

Writing by hand is good for your brain

Neal Stephenson 分享手写对大脑的好处及 fountain pen 使用 dos and don’ts，适合想尝试或优化手写习惯的人

手写招募更多大脑区域处理想法， fountain pen 技巧让你写几万页都不手痛

Hacker News · 170 赞 · 52 评 进入阅读 →
略读 预计 1 分钟

Cruller: Bun's Zig Runtime, Continued on Zig 0.16

Zig 开发者记录为 Bun 构建运行时时的编译等待痛点，适合关心 Zig 编译性能或 Bun 开发体验的人

Zig 编译器编译 Bun debug 构建要 1 分 30 秒，语言服务器还不支持类型检查

Hacker News · 146 赞 · 109 评 进入阅读 →
略读 预计 9 分钟

Fairphone 6 wide camera experimental Linux support

Fairphone 6 超广角相机在 mainline Linux 上的实验支持，详细记录了 qcom-camss 移植与 libcamera 集成过程，适合关注 postmarketOS 和 Qualcomm 相机子系统的人。

Fairphone 6 超广角相机在 mainline Linux 上的实验支持，完整记录了 qcom-camss 驱动移植和 OV13B10 出图的每一步坑

Hacker News · 154 赞 · 59 评 进入阅读 →

读完去做事。