从代数基本定理看求根与最优化
代数基本定理问的是有没有根，证明却是在找最低点。顺着这个证明，看求根和最优化怎样互相改写，改写之后地形又怎样变化，以及为什么复平面上没有假坑。
MathematicsOptimizationComputational MathematicsLearning Theory
博客
1254 个座位与近一万四千名学生：Monash Malaysia 图书馆到底需要多少座位？
2018 年官方公布的 1254 个座位，遇上如今约 13800 名学生，到底够不够？把校方当年的生均标准、高峰需求和最基本的 80% 找座成功率放进同一个模型，结果很简单：清书包只能减少浪费，填不上扩招留下的容量缺口。
MiscMathematicsProbability TheoryStatistics
当 AI 推进数学，人类的位置在哪里？
从亲手学习证明，到 AlphaGo、自动化研究与未来的论文形式，再追问学术体系中的人的位置，以及不再被需要的担忧。
AIMathematicsComputer ScienceAutomation
FYP 做了一半，聊聊我的一些感想
写在毕业设计中期：当自上而下的数学直觉撞上现代 AI 的经验炼金，关于缺乏指导、重压实验、事后叙事税以及长期学术追求的真实记录。
AIMathematicsLearning TheoryPersonal Knowledge Management
为什么语言学至今仍是我研究 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