todo:
- Reinforcement Learning
- ML Compiler
- MLIR Egglog
- rCore OS Kernel
- Pytorch Tutorial
- Security
- MIT6.824 Distributed System
doing:
- Concurrent+Rust cs431 https://github.com/kaist-cp/cs431
- Proof Assistant Lean https://lean-lang.org/theorem_proving_in_lean4/title_page.html
done: