ManiSkill 导入 MuJoCo 物体文件遇到的种种问题，真是吃了一大坨）

HuggingFace 要求必须使用 SSH Key 的方式进行身份验证……记录记录踩过的坑

Maybe T 和 Rust 里的 Option<T> 差不多。 Just (something) Nothing Either T U 保存着两个类型中的一个。例如 Either Int Bool 可以是 Left 0, Rig...

学一学函数式编程（

从这里开始，我们开始开从实数拓展到有理数 命题一：实数包括有理数 实数定理 R\RR 包含所有有理数 Q\mathbb QQ，即存在单射 f:Q↦Rf:\mathbb{Q}\mapsto \Rf:Q↦R，使得对 ∀x,y∈Q\for...

Byte-Pair Encoding 算法的实现。基于 Stanford CS336 完成

HKU 申请南洋理工交换的历程～

去南洋理工交换一个学期，记录一下签证之类的东西～

实数 我们定义实数 R\RR 是一个集合，上面有两个操作： 加法 +:R×R↦R,(x,y)↦x+y+:\R\times\R\mapsto\R, (x,y)\mapsto x+y+:R×R↦R,(x,y)↦x+y 乘法 ⋅:R×R↦R,(x,y...

与 C++ 里的 std::atomic<T> 类似的作用