用 OCaml 的 Effect System 实现一个完整的 Agent Harness
"Make it work, make it right, make it fast — and ideally do all three through the type system." - paraphrased
Thoughts, stories and ideas.
Recent Posts
用 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
为什么 Union + Intersection 类型下子类型检查不可判定？
"There are no solved problems; there are only problems that are more or less solved." - Henri Poincaré
如何扩展有状态服务：从方法论到 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
神笔：在浏览器里造一门给小朋友的编程语言
"The best way to predict the future is to invent it." - Alan Kay
用 OCaml 实现一个嵌入式表达式语言
"A language that doesn't affect the way you think about programming is not worth knowing." - Alan Perlis
为 Google Workspace 插件打造 Webpack 脚手架
"The best tool is the one that disappears into the workflow." - Jef Raskin
PowerSearch：构建可组合的前端高级搜索栏
"The art of being wise is the art of knowing what to overlook." - William James
Schema 驱动表单（下）：表达式引擎与通用 UI 渲染
"Any sufficiently advanced configuration is indistinguishable from code." - Adapted from Arthur C. Clarke
Schema 驱动表单（上）：数据模型与渲染器
"Simplicity is the ultimate sophistication." - Leonardo da Vinci
从零构建分布式异步任务队列：在 Shopee 的实战经验
"The best time to plant a tree was 20 years ago. The second best time is now." - Chinese Proverb
手搓 SSR Server：为 GraphQL 应用构建自定义服务端渲染
"Any sufficiently advanced technology is indistinguishable from magic." - Arthur C. Clarke
用 OCaml 写一个 URL Router：一个有趣的过度工程
"A language that doesn't affect the way you think about programming is not worth knowing." - Alan Perlis
从零到生成：纯 C++ 手搓 LLM 推理引擎全记录
"What I cannot create, I do not understand." - Richard Feynman
从 0.98 到 267 GFLOPS：矩阵乘法性能优化全记录
"Premature optimization is the root of all evil." - Donald Knuth
大厂光环下的真实体验
"All that glitters is not gold." - Shakespeare
Shopee 这几年
"The only constant in life is change." - Heraclitus
职业发展的开始
"Luck is what happens when preparation meets opportunity." - Seneca