从夜爬泰山到走进曲阜，在齐鲁大地上完成一场关于身体与精神的朝圣。
2026-01-26
写给自己
写给自己。
2026-01-26
减肥
从饮食、喝水、运动到心态，把一次真实减脂经历里最有效的体会梳理出来。
2026-01-26
ch6 归纳定义
围绕规则归纳、算子与不动点，为后面的指称语义提前铺路。
2026-01-25
ch5 归纳原理
把归纳法的常见证明套路整理成工具箱，方便后续直接调用。
2026-01-24
ch4 操作语义
从抽象机视角进入操作语义，看大步与小步规则如何展开程序执行。
2026-01-23
ch3 集合论
用集合论把后续语义里的记号系统打底，减少推导时的卡顿感。
2026-01-22
ch1-2 数理逻辑
先把命题逻辑和谓词逻辑记号收拢好，为后续证明与推导热身。
2026-01-21
Introduction
先交代课程脉络、资料来源与阅读顺序，方便后面逐章推进。
2026-01-20
Lesson 22：安全（隔离、身份与访问控制）
围绕隔离、认证与授权，理解安全系统怎样一步步落到工程实践。
2026-01-16
Lesson 21：安全（数据安全与协议）
从威胁模型到加密协议，搭起系统安全分析的第一层框架。
2026-01-16
Lesson 19-20：分布式原子性与一致性
把两阶段提交与一致性问题放在一起，理解分布式系统里的核心取舍。
2026-01-15