Tutorial Blog Posts

再学一次Vim

这将是你的最后一篇Vim教程(Hopefully)

Apr 30, 2023

Vim

Tutorial

配置 Clangd 为 Lean 写 FFI

Clangd is great. Very responsive.

Mar 6, 2025

Tutorial