- Distributed System
- DB, TLA+, model checking, ML System...
- db lecture : https://15445.courses.cs.cmu.edu/fall2023/schedule.html
- CSE128 concurrency
- Model checking-Katoen
Important
kernel jobs
- exercise ( running ... )
- english ( speak, news )
- leet code contest ( satureday 11:30 pm )
- TLA+ : Introduction to Formal Pragmatic Modeling : https://elliotswart.github.io/pragmaticformalmodeling/
- Impossibility results : https://muratbuffalo.blogspot.com/2020/06/learning-about-distributed-systems.html
-
Distributed system
-
DB
-
ML sys
- compiler : https://mlc.ai/index.html#
- gpu : https://github.com/adam-maj/tiny-gpu
- cuda
-
ML
- RN : https://github.com/alessiodm/drl-zh
- TinyML and Efficient Deep Learning Computing: https://hanlab.mit.edu/courses/2024-fall-65940
-
else
- piano & guitar