为什么语言学至今仍是我研究 AI、数学与计算机科学的一部分
一篇立场文章，谈语言学为何从未真正离开过我对 AI、数学与计算机科学的学习：用模式把握结构的那种直觉，反复出现在语言谱系分类、句法树、范畴语法，以及 NLP 领域语言学家与统计学家之间的旧争论里。
LinguisticsAIComputer ScienceMathematics
博客
把学习看成受控近似
一篇把 gradient descent、temporal difference learning、stochastic approximation 和 Bellman fixed-point methods 放到同一个 correction pattern 下理解的学习笔记。
AIReinforcement LearningOptimizationStochastic Approximation
我的个人 AI 工作台：Codex、Hermes、Obsidian 和 CC Switch 怎么分工
一篇偏系统设计的个人记录：我的 AI 工作台里，Codex、Hermes、Obsidian、CC Switch 分别拥有哪些状态，cron 怎么维护它们，以及 Karpathy-style Obsidian second brain 在这里怎么落地。
AI WorkflowMulti-Agent SystemPersonal Knowledge ManagementObsidian
从噪声到图像：Diffusion Model 的发展简史
一篇面向学习路线的综述：Diffusion Model 如何从概率去噪思路，发展成实用的视觉生成系统。
AIDiffusion ModelComputer VisionGenerative AI
从词到注意力：我是如何理解 Transformer 的
一篇从词表示走到 attention、self-attention 与 Transformer 的学习复盘。
AITransformerAttentionNLP
自建 AI Gateway 实现统一 LLM 访问
一篇实践笔记：用自托管 New API gateway 汇总分散的 LLM API key，再通过 Tailscale 暴露给不同设备。
AI GatewayLLMAPI ManagementTailscale
OpenCode 作为早期多智能体工作台
一篇历史阶段的技术笔记：OpenCode 配置让我更清楚地看到 agent role、权限边界、协议接口和跨平台同步的问题。
OpenCodeMulti-Agent SystemAI WorkflowMCP
数据类型抽象：从接口到代数数据类型
一篇关于数据抽象的长篇学习笔记：从 Java 接口、C++ concepts，到 TypeScript 联合类型、Kotlin 密封层级和 Haskell 代数数据类型。
Programming LanguagesType SystemsType TheorySoftware Design
在NixOS和macOS之间搭建统一的个人全局开发环境
一篇历史笔记：我如何用 Nix、Home Manager 和模块化配置，让 NixOS 桌面与 macOS 笔记本保持一致。
NixCross-Platform
为什么保留这个网站
一篇说明我为什么需要一个公开 research notebook，而不是把写作、笔记和项目痕迹都散落在不同地方的短文。
Personal Knowledge ManagementAI WorkflowMathematicsLinguistics