Rime 双拼折腾记

Jun 1, 2023 Rime 双拼折腾记

Haskell as a non-toy

Jun 3, 2021 Haskell as a non-toy

G.E.B. —— A Mental Space Odyssey

Aug 25, 2020 G.E.B. —— A Mental Space Odyssey

蕴涵词的解释

Aug 23, 2020 蕴涵词的解释

线性代数中的量子力学

Feb 26, 2019 线性代数中的量子力学

有趣的依赖类型

Feb 18, 2019 有趣的依赖类型

Linux 发行版意味着什么？

Mar 3, 2018 Linux 发行版意味着什么？

从自输出程序到 Y 组合子

Aug 16, 2017 从自输出程序到 Y 组合子

Btrfs 与 Linux 安装

Jul 18, 2017 Btrfs 与 Linux 安装