todo:
- Reinforcement Learning
- ML Compiler
- MLIR Egglog
- rCore OS Kernel
- Pytorch Tutorial
- MIT6.824 Distributed System
- Security
- Games or CG
- Chromium
- Managed Runtime or Virtual Machines and Managed Runtimes
- Language Modeling from Scratch
doing:
- ML2025
- Go Runtime
done:
- Static Program Analysis Tai-e-assignments https://tai-e.pascal-lab.net/
- Haskell cis1940 https://www.seas.upenn.edu/~cis1940/spring13/
- Proof Assistant Lean https://lean-lang.org/theorem_proving_in_lean4/title_page.html Partially
- DynamoRIO does not support HarmonyOS
- Ray Tracing in One Weekend
- Concurrent+Rust cs431 https://github.com/kaist-cp/cs431 partial
- BOLT partial
- Life of a pixel How does web page become pixels? The underlying process of render pipeline.