我原本用于写博客的时间现在都投入到了Logic for Programmers上。预计 2025 年初回归。

（我仍在更新每周通讯。）