知识
光滑流形上的微分与微分形式
我们希望了解 $\partial/\partial x$，$\mathrm{d}/\mathrm{d}x$ 及更复杂的记号本质上/在一般的流形上是什么。本文不涉及层论视角。…
单复变 Cauchy 积分理论
复变会告诉你：性质好的函数性质有多好。…
Agda 语言与基本的形式化证明
下半学期使用 Agda 来讲授函数式程序推理与演算，也展示了 Internal Verification 思想。…
几何学Ⅰ期中复习笔记
本文用于准备几何学Ⅰ的期中考试，包含需要特别记忆的定义和结论 & 考后总结。
几何是一个关联很多数学分支的分支，因此本文中可能涉及不那么几何的结论。…
异或密码的实现与 AES
本文实现 The Cryptopals Crypto Challenges 的基础练习集 Set 1. 曾经我使用 Julia 写过类似的内容，但没有良好的解耦。因此改用 Haskell 进行更清晰的实现，读者可在 Haskell Playground 运行，也可使用自己熟悉的语言实现。…