P4151 [WC2011] 最大XOR和路径
路径 = 链 + 若干个环；
最大异或和 -> 线性基
软件工程基础：面向对象编程
什么是 OOP？以及 OOP 的原则，学习《深入设计模式》
Vim 快捷键操作
学习 Vim 的键位操作，幻想变成 pro（
ManiSkill 里的 MuJoCo Robot File
ManiSkill 导入 MuJoCo 物体文件遇到的种种问题，真是吃了一大坨）
HuggingFace, GitHub 添加 SSH Key
HuggingFace 要求必须使用 SSH Key 的方式进行身份验证……记录记录踩过的坑
Haskell, Parameterized Types
Maybe T 和 Rust 里的 Option<T> 差不多。 Just (something) Nothing Either T U 保存着两个类型中的一个。例如 Either Int Bool 可以是 Left 0, Rig...
Haskell 快速入门
学一学函数式编程（
OCaml 代码文档
每一个工业语言都必须有的代码注释 hhhh
数学分析一 Ep.2：实数、有理数
从这里开始，我们开始开从实数拓展到有理数 命题一：实数包括有理数 实数定理 R\RR 包含所有有理数 Q\mathbb QQ，即存在单射 f:Q↦Rf:\mathbb{Q}\mapsto \Rf:Q↦R，使得对 ∀x,y∈Q\for...
OCaml 构建系统：Dune
Dune 的生态地位和 CMake 比较接近。