评论
点赞
收藏Stealing from Biologists to Compile Haskell Faster
The trick that makes GHC’s ApplicativeDo optimization faster is structurally identical to how biologists predict RNA folding.
让 Haskell 与 PostgreSQL 顺畅通信：消除三大性能税
聚焦 Haskell 与 PostgreSQL 交互中三个具体的性能瓶颈：编码开销、往返延迟和 N+1 查询模式，并给出针对性的消除方法。每一条都来自实际踩坑经验，有技术深度和可复用的优化思路。标题吸引人且内容扎实，适合使用函数式语言做后端开发的工程师阅读。
归档：Redis 命令的自动最优管道化
一篇从 2012 年归档的技术文章，讲解了 Haskell Redis 客户端 Hedis 如何利用惰性 I/O 实现自动且最优的管道化——让同步风格的 API 获得异步的性能优势。内容虽然年代较早，但管道化思路和惰性 I/O 的设计取舍在今天仍有参考价值，适合对 Redis、函数式编程或高性能客户端实现感兴趣的工程师。没有多余的营销包装，纯技术干货。
今日小发现：HTTP/3 并非总是比 HTTP/2 更快
这篇短文用一个硬核发现抓住了读者：本地基准测试显示 HTTP/3 在某些场景下比 HTTP/2 慢 50-100 倍。原因在于 QUIC 的用户态实现在高带宽低延迟网络上完全打不过 Linux 内核经过数十年优化的 TCP 协议栈。结论出乎意料、数据具体、因果清晰，属于那种让人看完想转发给同事的短小精悍型技术文章。没有废话，只有实测和解释。
函数式程序员对系统的常见误解
一个犀利而有深度的观察：类型系统验证的是程序的属性，而生产环境的正确性属于系统的属性。两者之间的间隙恰恰是那些最有趣、最难排查的故障所在。文章没有陷入语言之争，而是从工程实践中提炼出一个值得反复思考的洞见。对于接触过程式/函数式编程之争的工程师来说，这篇提供了一个平衡且有启发性的视角。
你的最佳思考浪费在了错误的决策上
一篇关于工程决策元认知的极好短文。核心洞见：有些决策选错了会付出沉重代价，但大多数决策不会。学会区分这两类，并根据风险校准你的决策精力——这可能是你的团队从未刻意培养但最有价值的技能。作者有真实的工程经验、明确的个人观点、以及可直接指导实践的分类思路。没有空洞的道理，全是可用的框架，值得推荐给每一位技术管理者。
赞美控制平面：为何你需要一个立足之地
一篇简短的概念性文章，指出控制平面模式（协调者指挥工作者）在优秀基础设施中无处不在。作者认为这个概念虽然简单，但明确命名它非常有用。文章适合对系统架构模式有初步兴趣的读者，但内容偏概述，缺乏具体的实现案例或深入分析，更像一篇架构哲思随笔而非实操指南。
不，真的，Bash 不够用：大规模 CI 为什么需要编排器
基于多年 CI 系统建设和运维经验，深入论证为什么 Shell 脚本无法替代真正的 CI 控制平面。作者不是泛泛而谈，而是从大规模实践中提炼出具体痛点：错误处理、并行控制、状态管理、可见性等。有实战背景、有明确立场、有可复用经验，适合运维和平台工程师阅读。
GitHub Actions 正在慢慢杀死你的工程团队
一篇立场鲜明的 CI/CD 工具对比文，核心论点是 GitHub Actions 在开发者体验上存在诸多隐患——如同当年的 Internet Explorer，而 Buildkite 提供了更优路径。标题有煽动性，但内容来自作者的实操体验，列举了具体痛点如调试困难、重试机制、缓存处理、可观测性等。适合正在选型或对现有 CI 系统不满的团队阅读。需要留意作者有推荐 Buildkite 的倾向。
Punycode：我新宠的算法
作者带着个人热情深入讲解了 Punycode 的工作原理，用清晰的拆解让这个冷门但优雅的算法变得易懂。文章有鲜明的个人口吻（"my new favorite"），不是冷冰冰的科普，而是有人味的深度分享。适合对编码、国际化域名或纯粹对算法之美感兴趣的读者。兼具技术深度和个人表达。
JSON Schema Demystified: Dialects, Vocabularies and Metaschemas
An accessible guide to understanding the confusing terminology around JSON Schema. What are schemas, dialects, vocabularies, and metaschemas, and how do they all fit together?
CRDT 词典：无冲突复制数据类型实地指南
一篇全面且系统的 CRDT 指南，从计数器到序列等各类无冲突复制数据类型逐一讲解其原理和取舍。作者效仿 Typeclassopedia 的编写精神，将不同 CRDT 视为解决分布式共识拼图的不同拼块。信息密度高、结构清晰，适合有一定分布式系统基础、想系统理解 CRDT 家族的技术读者。纯干货，无营销味。
JSON Schema 解惑：读懂 Schema、Dialect、Vocabulary 与 Metaschema
这篇指南用通俗易懂的方式梳理了 JSON Schema 体系中容易混淆的核心概念：什么是 Schema、Dialect、Vocabulary 和 Metaschema，它们之间如何组合。对于经常跟 API 规范、数据校验打交道的开发者来说，能帮助厘清术语、减少配置错误，是一篇实用型技术科普。
流系统的事件设计入门
本文介绍了如何以高效、可扩展且面向未来的方式设计事件流。作为入门指南，文章提供了事件驱动系统的基础设计原则，适合想了解事件驱动架构的读者。
偶然还是本质？理解软件设计中的复杂性
讨论软件设计中本质复杂性与偶然复杂性的区别，这是一个在软件工程领域已被广泛讨论的话题。文章概念正确但缺乏新视角或一手经验，内容偏教科书式概述，对于有经验的工程师来说信息增量有限。
What You Need to Know About Trump\
A look at the Trump administration\
精算谋杀与其他分散的暴力行为
本文探讨了制度决策和系统性政策如何像慢性的暴力一样造成广泛伤害，却缺乏直接暴力那样的问责。作者以医疗、教育等领域的官僚选择为例，揭示了这些看似普通的商业决策如何带来改变人生的后果。文章角度犀利，引人深思。
欢迎来到已发布的笔记
一篇 Logseq 笔记发布的示例页面，内容仅为展示如何将 Logseq 笔记发布到网站。属于工具示例文档，没有独立的信息价值或观点，对大多数读者没有阅读意义。