可靠计算系统设计分析与验证（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 源码学习 - 内存管理

记录一下学习 linux 源码过程中，遇到的一些神奇 coding 技巧

Chapter F - 原子中的电子

Chapter E - 薛定谔方程