函数式编程：代码中的数学结构
探索函数式编程背后美妙的数学理论。
泛函与变分法：最速降线问题与狄多问题
介绍泛函和变分法，并分别求解最速降线问题与狄多问题。
微分的符号谱系：从古典记号到现代算子理论
介绍目前主要的导数类型以及相应的符号，包括牛顿、拉格朗日、莱布尼茨、欧拉等古典记号，以及基于算子的现代微分符号。
流形上的积分：平面曲线和空间曲面
用流形理论重新解释平面曲线和空间曲面上的积分，并推导广义斯托克斯公式。
多变量函数的微分：梯度向量和海森矩阵
用线性代数相关理论，把单变量函数的微分直观且清晰地推广到多变量函数。
雅可比矩阵：微积分中的局部线性变换
从局部线性变换的角度，解释雅可比矩阵及其行列式。
高斯随机数生成器：Box-Muller 变换的数学证明和代码实现
用极坐标变换推导 Box-Muller 算法，并给出一个 JavaScript 实现。
矛盾的现实与现实的矛盾：辩证逻辑和话语批判
只用“是”与“不是”可以理解物理世界，但无法理解人类社会。
不存在天然的革命主体：请停止对无产阶级的幻想
埋葬对列宁式革命的憧憬，迎接更加混乱但同时拥有更多可能的现实世界吧。
消失的激情：女性主义的全球浪潮与本土实践
关于女性主义的四次浪潮，及其在本土既相似又特色的实践。