福柯（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 写的诗。

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

Typst 包 ega-numbering 已经发布，请参看 Typst Universe。该包实现了 Éléments de géométrie algébrique (EGA) 风格的标号：将文中每一个有独立意义的段落组进行编号，无论是定理、定义，还是叙述性或解释性的文段，且一个编号不限于一段。该编号风格在法国数学家中最常用，例如 Max Karoubi 的 K-Theory (An I...

A lightweight Typst utility for maintaining a single figure library while seamlessly exporting individual, auto-cropped vector graphics for LaTeX or PowerPoint.