← 往期列表

日报

2026 年 7 月 22 日 · 星期三

读过 41 篇 · 精选 19 篇

更多
精读 预计 9 分钟

Rewriting the Futhark type checker

Futhark 类型检查器从单遍 Hindley-Milner 演进到四阶段约束式设计，分享重构动机、存在量词处理与分层优势，语言实现者可参考。

Futhark 类型检查器从纠缠单遍变成四阶段分治，错误定位和大小推断都变简单了

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

ECC and DDR5

解析 ECC RAM 的 Hamming 码原理、DDR5 on-die ECC 与 EC4/EC8 变体、RDIMM/UDIMM 区别及实际内存错误案例，适合关注内存可靠性与服务器硬件的人。

DDR5 on-die ECC 不能完全替代主板 ECC，EC4 / EC8 规格差异会影响 ChipKill 效果，硬件选型别踩坑

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

Some more things about Django I've been enjoying

Django 自定义 QuerySet、模板过滤器、自动迁移等实用功能的个人使用分享，适合想用传统后端方式建站的人参考。

Django 的 QuerySet 方法定义让查询代码更易读，querystring 过滤器直接搞定参数链接生成

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

The Value of Domain Knowledge in Software

讨论领域知识对软件开发者的价值，区分四类知识并举例说明学习方式，适合想提升自主决策能力的开发者

领域知识让开发者决策更自主，读教材和访谈用户是获取它的有效方式

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

Kimi K3 Is Competitive with Fable; Kimi K3 and Fable Is SoTA

Kimi K3 与 Fable 在约 1030 个 agentic 任务上准确率接近，oracle routing 结合可达 93% 并最高节省 50 倍成本，适合关注模型对比、路由策略与成本优化的读者。

Kimi K3 默认加 Fable 路由能拿 93% 准确率，成本最高低 50 倍，单模型直接过时

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

Your Agentic Workflow's Cache Keepalive Costs 8x Too Much

实测 Anthropic、OpenAI、Gemini 和 DeepSeek 四家提供商的 prompt cache keepalive 成本，指出 30 秒 ping 太贵、4 分钟更优，且仅 Anthropic 在 10 分钟停顿下省钱。

Agentic workflow 的 KV cache keepalive 最佳间隔是 4 分钟而非 30 秒，Anthropic 才值得，其他家多半亏钱

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

Using Nagios for small business infrastructure monitoring

一人 IT 团队用 Nagios 监控 54 主机 104 服务，月成本 4 美元，分享具体监控项目、插件用法和告警配置。

一人小团队用 Nagios 自托管监控 54 主机 104 服务只需 4 美元月费，现代工具的麻烦它避开了

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

“No AI” Statements Are Much More Than Mere Statements

作者反驳‘No AI’声明不必要的观点，阐述其作为支持人类创作的立场、历史背景及过程价值，适合关心 AI 内容区分与创作透明度的人阅读。

‘No AI’声明是创作者支持人类努力的立场宣言，AI 再强也无法取代过程价值

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

Web-based Jujutsu revset explorer & debugger

网页交互式 Jujutsu revset 探索调试工具，支持编辑图表、评估 revset 并生成 permalink 分享。

浏览器 playground 拖拽编辑 jj revset 图表、评估查询并 permalink 分享

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

Laguna S 2.1

Poolside 发布 118B - A8B MoE 模型 Laguna S 2.1，在 Terminal-Bench 等长时序编码基准上接近更大模型，附完整轨迹与案例研究

118B - A8B MoE 的 Laguna S 2.1 在 Terminal-Bench 2.1 拿 70.2%，靠后训练行为优化而非参数堆叠接近大模型

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

Claude Is Not a Compiler

探讨 Claude 等 LLM 在软件开发中作为跨层垂直资源而非编译器的定位，配有分布式 DNS 系统构建的详细案例。

Claude 不是编译器，而是能跨层决策的垂直集成资源，vibe-engineering 才是工程

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

An open-source alternative to iCloud and Google Photos

开源本地 LAN 增量媒体同步工具，支持 iOS/Android 到 macOS/Windows 的照片视频自动同步，适合想自建替代 iCloud/Google Photos 的人

Lynavo Drive 开源本地 LAN 照片同步，把 Electron React Native Go 架构和 OSS 边界拆得清清楚楚

Lobsters · 1 赞 · 6 评 进入阅读 →
略读 预计 13 分钟

Cosy Language

CoSy 作者通过邮件讨论对比 GitHub 与自身 list 语言的简洁性，并用 CoSy / FORTH 代码计算行星灰体温度约 278.7K。

CoSy 一行列表命令列目录取文件大小，Git 菜单结构显得多余

Lobsters · 4 赞 · 1 评 进入阅读 →
略读 预计 1 分钟

FPTalks 2026 — Thu Aug 6, free, online

FPTalks 2026 免费在线浮点计算研讨会完整日程，列出三场会话的具体演讲主题、讲者及机构，适合数值计算领域的人查看报名。

FPTalks 2026 把正确舍入函数、NVFP4 预训练和混合精度算法这些 AI 浮点话题排进免费在线日程

Lobsters · 2 赞 · 0 评 进入阅读 →

读完去做事。