在 Typst 中使用 fletcher 包绘制交换图时的字体设置。

梳不平的毛球 在二维球面 $S^2$ 上，不存在处处非零的连续切向量场。无论你怎样尝试在球面上“梳头”，总会出现一个旋——这是经典的毛球定理。用向量丛的语言说：球面的切丛不是平凡的。 对于更高维球面 $S^n$，问题变为：切丛何时平凡？答案是惊人的：仅当 $n=1,3,7$。$S^1$ 是圆周；$S^3$ 和 $S^7$ 的特殊性则分别源于四元数与八元数。除此之外，没有任何球面的切丛是平...

福柯（Michel Foucault）的《监视与惩罚：监狱的诞生》（Surveiller et Punir: Naissance de la prison），英译本题为 Discipline and Punish。几年前本科的时候就买了三联的中译本，标题是《规训与惩罚》。当时没有看进去，最近重新拿起来看。发现这本是英文转译的，就去网上下载了台湾的译本，从法语原文翻译的。繁中本相比简中本，学术...

发布拉丁语名词变格表。

贝多芬艺术歌曲 Adelaide 的汉语译配。

在不改动 Chirpy 主题源码的前提下，通过覆盖机制实现字体定制，并保持主题升级时的配置稳定性。

近来学习量子信道理论，发现以 Stinespring 扩张定理统摄量子信道最为自然。从这一数学结果出发，导出 Kraus 的算符求和表示、蔡（Choi）-Jamiołkowski 的对偶，都是顺理成章。然而，仔细检查这几人工作的时间线，我发现最早的竟然是 1955 年 Stinespring 的文章，Kraus 的文章在 1971 年，Jamiołkowski 的文章在 1972 年，而蔡文...

在不改动 Chirpy 主题源码的前提下，为 Typst 代码块补齐语法高亮，并保持与原生代码块一致的展示和交互。

2025 写的诗。

本文介绍笔者正在进行的一场自我认知实验。