#计算机
Hash 与基于哈希的 table 实现
阅读 Rust 标准库的 Hash 与 RawTable 相关代码。
量子计算（一）：基本原理与基本结论
量子计算的一些系统学习。从量子状态定义到量子密集编码、量子隐形传态、纠缠的量化。
Agda 学习（一）：完成简单证明的一切
类型论的实践：函数式程序推理与演算。Agda 中的证明、归纳、列表、Internal Verification 和等式理论。
着色器（三）：随机与噪声
基于 GLSL 的噪声实现及应用。
密码学（一）：异或密码与 AES
使用 Haskell 完成的 The Cryptopals Crypto Challenges - Set 1