#计算机
【密码学】经典数论算法：基于有限域上离散对数/整数分解/二次剩余
主要参考的是 An Introduction to Mathematical Cryptography 第二、三、四章。…
关于高性能计算的混乱感想
注：此文主要为吐槽，缺乏实质性内容。大致是发现有一个第三届 PKU HPCGame 的活动可以参加，在其中读题所见的浮光掠影与感想。…
记 Rust 编译至 WebAssembly 流程
一个完整的极度简化和减少下载量的 Rust 编译至 WebAssembly 的流程。
【着色器】综合的光照场景
一个综合了一、二、三内容的例子。
计算概论期末复习笔记（Bird Meertens 形式开始的部分）
主要包含使用 Bird Meertens Formalism 导出高效程序与进行自动并行化。
这是本课程的最后一个部分，同时可能是在上半学期和下半学期前部的铺垫下真正想讲的东西。其中函数式编程的想法提供了无副作用的函数和高阶函数的例子，从而能够被我们讨论；定理证明器则允许我们验证推导的正确性。…