可靠计算系统设计分析与验证课程笔记 2，内容对应 Sessions 3–5：Analytical Modeling，讨论可靠性与性能的联合指标，以及可靠性框图、Markov 链、故障树、排队模型、随机 Petri 网和 SAN

密码学数学基础 笔记 5：求解线性同余方程，用中国剩余定理合并不同模数，并将多项式同余问题归结到素数幂

密码学数学基础 笔记 4：从同余类和模运算出发，理解约消、完全剩余系、简化剩余系与欧拉函数

可靠计算系统设计分析与验证（Design, Analysis and Validation of Reliable Computing Systems）课程笔记，内容对应 Sessions 1-2：Basic Concepts

密码学数学基础 笔记 3：从对加减法封闭的整数集合出发，证明素因数分解的唯一性，再讨论最大公因数与最小公倍数

密码学数学基础 笔记 2：欧几里得算法及其变形、Bézout 等式，以及线性丢番图方程的求解

密码学数学基础 笔记 1：从带余除法出发，讨论整除、素因数分解的存在性，以及素数的数量与筛法

记录一下 macOS 如何利用 APFS Volume Group, Signed System Volume 和 firmlink 组织出最终看到的文件系统

mac 配置过程中遇到的坑

linux 源码学习 - 内存管理