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