#计算机
【Agda 语言】形式化证明所需的主要设施
类型论的实践：函数式程序推理与演算。Agda 中的证明、归纳、列表、Internal Verification 和等式理论。
【着色器】随机与噪声
基于 GLSL 的噪声实现及应用。
【密码学】异或密码与 AES
使用 Haskell 完成的 The Cryptopals Crypto Challenges - Set 1
【着色器】色彩与复杂绘制
基于 GLSL 的 HSV 操作与经典数学对象的绘制。
【着色器】GLSL 的基础用法与技巧
基于 GLSL 的着色器基础内容：2D 绚丽图像及 Raymarching.