关于About

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

Study notes on computation theory, algorithms, and engineering practice. The writing leans formal — an attempt to pin down problem definitions, representation, and correctness rather than stop at intuition.

站点用 Astro 构建,数学公式由 KaTeX 渲染, 深浅两套主题与中英界面均跟随系统偏好并可手动切换。

Built with Astro; math is rendered by KaTeX. The dark/light themes and the Chinese/English interface both follow your system preference and can be toggled.