Notes, half-formed ideas, reading traces, and whatever I find interesting or worth thinking about. Some entries may become longer essays later; some may stay as small notes.
这里会放笔记、还没完全成形的想法、阅读痕迹，以及任何我觉得有意思、值得想一想的东西。 有些以后可能会变成长文章，有些就保留成短笔记。
Notes, ideas, and whatever I find interesting 笔记、想法，以及任何我觉得有意思的东西
A casual index for small observations, reading notes, questions, and longer essays. 一个更随意的索引，用来放短观察、阅读记录、问题和更长的文章。
AI agents for mathematics AI Agent 与数学
Thoughts on agentic workflows for proof, computation, literature reading, and research tools. 关于智能体如何帮助证明、计算、文献阅读和研究工具构建的一些想法。
Information geometry reading notes 信息几何阅读笔记
Things I want to understand about geometry, statistics, and probabilistic models. 关于几何、统计和概率模型中我想理解的问题。
Bayesian inference, uncertainty, and decisions 贝叶斯推断、不确定性与决策
Short notes on modeling uncertainty and turning inference into decisions. 关于如何建模不确定性，以及如何把推断转化为决策的短笔记。
Lean and formalized mathematics Lean 与形式化数学
Notes on Lean, theorem proving, and organizing mathematical knowledge. 关于 Lean、定理证明和组织数学知识的笔记。
AI for trading and automated trading AI 交易与自动交易
Questions around market signals, volatility, automated decisions, and research workflows. 关于市场信号、波动率、自动化决策和研究工作流的问题。
Algebraic combinatorics notes 代数组合笔记
A place for algebraic combinatorics reading notes and examples. 用于整理代数组合阅读笔记和例子的地方。
LaTeX, writing, and small tools LaTeX、写作和小工具
Small workflows and tools that make mathematical writing less painful. 一些让数学写作更顺手的小工作流和工具。