用 OCaml 的 Effect System 实现一个完整的 Agent Harness
"Make it work, make it right, make it fast — and ideally do all three through the type system." - paraphrased
Infra
用 MDP 思维设计 AI Agent：ReAct 与必须回答的四个问题
"No battle plan survives first contact with the enemy." - Helmuth von Moltke
从确定性到不确定性：用 MDP 给后端系统重新建模
"All models are wrong, but some are useful." - George E. P. Box
如何扩展有状态服务：从方法论到 Redis、Memcached、MySQL 实战
"There are only two hard things in distributed systems: 2. Exactly-once delivery 1. Guaranteed order of messages 2. Exactly-once delivery" - Unknown
PostgreSQL 存储引擎内幕（下）：WAL、Checkpoint 与持久性
"In the face of ambiguity, refuse the temptation to guess." - The Zen of Python
PostgreSQL 存储引擎内幕（中）：索引扫描与 MVCC
"The purpose of abstraction is not to be vague, but to create a new semantic level." - Edsger Dijkstra
PostgreSQL 存储引擎内幕（上）：Heap Page 与 Buffer Pool
"There are only two hard things in Computer Science: cache invalidation and naming things." - Phil Karlton
一个请求的旅程：数据中心网络全景
"There are only two hard things in Computer Science: cache invalidation and naming things." - Phil Karlton