/home/ksqsf
twitter
github
rss
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 安装