Parallel and Sequential Algorithms: Study Notes
Work and span, functional computation, sequence operations, algorithm design, and Standard ML practice.
保持好奇，
让思考留下痕迹。
记下遇见的问题，慢慢把知识连起来。
最近的笔记
全部文章数据库系统基础
将同一目录的十章数据库笔记合为一篇：关系模型、SQL、设计、查询优化、恢复与并发控制。
逻辑与计算机系统设计
合并九章数字系统笔记与复习补充，从逻辑门、编码和运算器到存储系统、指令与 CPU。
离散数学（二）
合并数论、组合计数、数理逻辑与证明记录，保留章节脉络并统一符号和前置条件。
从 C 代码到可执行文件
用一个 Hello World，串起预处理、编译、汇编和链接四个阶段。