以所持之物而非身份决定权限：基于能力的安全（Capability-Based Security）架构
分类
74 个页面
计算机科学
P对NP问题完全解剖：计算复杂性理论的金字塔与未解的深渊
类型理论与柯里-霍华德同构：命题=类型、证明=程序的深远和谐
四色定理与计算机数学的革命：百年的难题与机器证明的哲学
量子计算机的基础：量子叠加与Shor算法
公钥密码学的数学：从RSA到椭圆曲线密码学（ECC）
区块链与共识算法
MapReduce的哲学：Google改变世界的分布式处理
编译器优化技术：什么是SSA（静态单赋值）
哈希函数的抗碰撞性与SHA-3 (Keccak)
垃圾回收（GC）的演进史
上下文切换的代价与异步处理（async/await）
B树与B+树：为什么数据库索引如此之快
CAP定理与PACELC定理：分布式数据库面临的困境
动态规划（DP）与贝尔曼方程
概率数据结构：布隆过滤器与 HyperLogLog
正则表达式引擎与有限自动机
密码学的历史：从恩尼格玛的攻防到公钥密码学（RSA）的诞生
素数定理：看似随机的素数分布中隐藏的美丽法则
图论的开端：跨越柯尼斯堡七桥的一笔画数学
