编程 · 架构 · 随笔 —— 一名工程师的技术手记http://localhost:4321/zh-CNhttp://localhost:4321/posts/bidirectional-algebraic-effects/http://localhost:4321/posts/bidirectional-algebraic-effects/滑铁卢大学助理教授 Yizhou Zhang 在 SPLASH 2020 上提出的双向代数效应（bidirectional algebraic effects）：一种能涵盖现有控制流模式、支持双向控制转移，并能静态保证"所有已声明效应都被处理、且不会被错误处理"的类型化抽象。Sun, 18 Oct 2026 00:00:00 GMT编程代数效应编程语言控制流翻译http://localhost:4321/posts/how-to-compile-pattern-matching/http://localhost:4321/posts/how-to-compile-pattern-matching/Jules Jacobs 的一篇小笔记，讲清楚如何把 ML 风格的模式匹配编译成不做冗余测试的决策树——子问题分解、变量测试下沉，以及用启发式避免代码爆炸。Sun, 18 Oct 2026 00:00:00 GMT编程模式匹配编译器函数式编程翻译http://localhost:4321/posts/eframe-egui-layout-for-frontend/http://localhost:4321/posts/eframe-egui-layout-for-frontend/egui eframe 的布局 ，几乎都能对应到 flex、grid 和固定定位。从前端的角度讲解 eframe = "0.36" 的布局 API。Mon, 12 Oct 2026 00:00:00 GMT前端Rusteguihttp://localhost:4321/posts/agent-compaction-prompt-cache/http://localhost:4321/posts/agent-compaction-prompt-cache/prompt cache 是前缀匹配，压缩请求一旦换了 tools 或 system，就等于把十几万 token 按原价重读一遍。翻完九个 agent 的源码后，这里是一份能直接照做的清单。Sat, 10 Oct 2026 00:00:00 GMT编程Prompt CacheLLM上下文压缩http://localhost:4321/posts/monolith-to-microservices/http://localhost:4321/posts/monolith-to-microservices/拆分不是目的，边界才是。记录一次真实项目中服务拆分的决策过程与复盘。Wed, 12 Mar 2025 00:00:00 GMT架构微服务http://localhost:4321/posts/rust-ownership/http://localhost:4321/posts/rust-ownership/从内存模型出发理解 ownership 与 lifetime，让编译器从对手变成队友。Fri, 28 Feb 2025 00:00:00 GMT编程Rusthttp://localhost:4321/posts/astro-zero-js/http://localhost:4321/posts/astro-zero-js/Islands 架构如何做到默认零 JS？从构建原理到部署优化的完整实践。Sun, 09 Feb 2025 00:00:00 GMT前端Astrohttp://localhost:4321/posts/mysql-index-rules/http://localhost:4321/posts/mysql-index-rules/B+ 树、最左前缀与覆盖索引：从慢查询日志里总结出的设计准则。Fri, 17 Jan 2025 00:00:00 GMT后端MySQLhttp://localhost:4321/posts/code-review-checklist/http://localhost:4321/posts/code-review-checklist/可读性优先于技巧。一份在团队里跑了两年的评审清单。Fri, 03 Jan 2025 00:00:00 GMT随笔工程文化http://localhost:4321/posts/ddd-pitfalls/http://localhost:4321/posts/ddd-pitfalls/限界上下文不是组织架构图。聊聊 DDD 落地时最常见的三个认知偏差。Mon, 05 Aug 2024 00:00:00 GMT架构DDD中台http://localhost:4321/posts/tech-selection/http://localhost:4321/posts/tech-selection/技术选型的本质不是选最好的，而是选"输得起"的。一张可以直接抄的决策清单。Thu, 14 Mar 2024 00:00:00 GMT随笔工程文化http://localhost:4321/posts/push-ifs-up-fors-down/http://localhost:4321/posts/push-ifs-up-fors-down/两条朴素的编码经验法则：把条件判断推向调用方，把批处理留在被调用方——前者收敛控制流，后者摊薄成本。Wed, 15 Nov 2023 00:00:00 GMT编程性能优化重构http://localhost:4321/posts/short-url-service/http://localhost:4321/posts/short-url-service/发号器、302 跳转、缓存与防刷：一个经典系统设计题的完整推演。Mon, 02 Oct 2023 00:00:00 GMT架构系统设计http://localhost:4321/posts/five-years-deleting-code/http://localhost:4321/posts/five-years-deleting-code/好代码是删出来的。五年里我删掉的四样东西，比写下的任何东西都值钱。Thu, 18 May 2023 00:00:00 GMT随笔工程文化