P3632 [APIO2011] 寻路
码量题：扫描线建图；
最短路
P9368 [ICPC2022 Xi'an] Streets
利用合法答案下界的不劣性，优化时间复杂度；
优化问题通过二分答案转化为存在性问题：二分结合凸包寻找直线下最靠右的点
P4151 [WC2011] 最大XOR和路径
路径 = 链 + 若干个环；
最大异或和 -> 线性基
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 快速入门
学一学函数式编程（
数学分析一 Ep.2：实数、有理数
从这里开始，我们开始开从实数拓展到有理数 命题一：实数包括有理数 实数定理 R\RR 包含所有有理数 Q\mathbb QQ，即存在单射 f:Q↦Rf:\mathbb{Q}\mapsto \Rf:Q↦R，使得对 ∀x,y∈Q\for...
Tokenization, BPE 算法
Byte-Pair Encoding 算法的实现。基于 Stanford CS336 完成