关于

这里记录计算理论、算法与工程实践的学习笔记。内容偏形式化,力求把问题定义、 表示与正确性写清楚,而不是停留在直觉。

站点用 Astro 构建,数学公式由 KaTeX 渲染, 交互部分以按需加载的 island 实现(参见 WebAssembly 示例)。