自選集

Rime 双拼折腾记

我能联用两种翻译器而不伤身体

Haskell as a non-toy

Haskell 好用吗？

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

评《哥德尔、埃舍尔、巴赫——集异璧之大成》

蕴涵词的解释

实质蕴涵的实质是单调推理

线性代数中的量子力学

量子力学量力学