这里维护了 cervol 的 obsidian 笔记，它们像精心栽培的盆栽，随手插下的柳枝，或蔓生的杂草，共同组成了一个数字花园。更理想的状态下，这里也充当了 cervol 的个人 wiki。
目前，这里的内容主要以计算机科学，尤其是程序语言，系统与形式化，以及软件工程为主题。希望能呈现出一种独特风味的禅意。
这里维护了 cervol 的 obsidian 笔记，它们像精心栽培的盆栽，随手插下的柳枝，或蔓生的杂草，共同组成了一个数字花园。更理想的状态下，这里也充当了 cervol 的个人 wiki。
目前，这里的内容主要以计算机科学，尤其是程序语言，系统与形式化，以及软件工程为主题。希望能呈现出一种独特风味的禅意。