OCaml 快速入门
OCaml 据传是 Jane Street 内部使用的语言，看看怎么个事儿（
Tokenization, BPE 算法
Byte-Pair Encoding 算法的实现。基于 Stanford CS336 完成
南洋理工交换指北
HKU 申请南洋理工交换的历程～
新加坡签证指南
去南洋理工交换一个学期，记录一下签证之类的东西～
数学分析一 Ep.1 ：实数的公理化描述、四条公理
实数 我们定义实数 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...
Rust 原子操作与内存顺序
与 C++ 里的 std::atomic<T> 类似的作用
Rust 同步：Semaphore, 条件变量, 互斥锁
Rust 也实现了共享资源的经典方法
Rust 泛型
作用和 C++ 的 template 差不多
Rust 线程同步：消息传递
以 pipe 的方式进行数据传输
Rust 多线程与并发
安全和高效的处理并发是 Rust 语言的主要目标之一。随着现代处理器的核心数不断增加，并发和并行已经成为日常编程不可或缺的一部分。可惜的是，在 Rust 中由于语言设计理念、安全、性能的多方面考虑，并没有采用 Go 语言大道至简的方式，而是选择了多线程与 async/await 相结合，优点是可控性更强、性能更高，缺点是复杂度并不低，当然这也是系统级语言的应有选择：使用复杂度换取可控性和性能。