以所持之物而非身分決定權限：基於能力的安全（Capability-Based Security）架構
分類
第 74 頁
電腦科學
P與NP問題的完全解剖：計算複雜度理論的金字塔與未解的深淵
四色定理與計算機數學的革命：百年難題與機器證明的哲學
型理論與 Curry-Howard 同構：命題=型別、證明=程式的深遠和諧
量子電腦的基礎：量子疊加與秀爾演算法
公鑰密碼學的數學：從 RSA 到橢圓曲線密碼學 (ECC)
區塊鏈與共識演算法
MapReduce的哲學：Google改變世界的分散式處理
上下文切換的代價與非同步處理（async/await）
垃圾回收（GC）的演進史
編譯器最佳化技術：什麼是 SSA（靜態單賦值）
雜湊函數的抗碰撞性與 SHA-3 (Keccak)
B樹與B+樹：資料庫索引為什麼那麼快
CAP定理與PACELC定理：分散式資料庫面臨的困境
正規表達式引擎與有限自動機
動態規劃（DP）與貝爾曼方程式
機率資料結構：布隆過濾器與 HyperLogLog
密碼學的歷史：從恩尼格瑪的攻防到公開金鑰密碼（RSA）的誕生
圖論的起源：跨越柯尼斯堡橋的一筆畫數學
質數定理：看似隨機的質數分佈中隱藏的優美法則
