/home/ksqsf

Rime 双拼折腾记

Rime 双拼折腾记

Haskell as a non-toy

Haskell as a non-toy

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

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

蕴涵词的解释

蕴涵词的解释

线性代数中的量子力学

线性代数中的量子力学

有趣的依赖类型

有趣的依赖类型

Linux 发行版意味着什么?

Linux 发行版意味着什么?

从自输出程序到 Y 组合子

从自输出程序到 Y 组合子

Btrfs 与 Linux 安装

Btrfs 与 Linux 安装