“There are some things which cannot be learned quickly, and time, which is all we have, must be paid heavily for their acquiring. They are the very simplest things, and because it takes a man’s life to know them the little new that each man gets from life is very costly and the only heritage he has to leave.” - Ernest Hemingway (More…)
News #
I will be updating both good news, bad news and all kinds of news.
Posts #
Reading list on Graph Learning - Explainable artificial intelligence (xAI).
XAI-Graph # 2023 # [1] Azzolin, S., Longa, A., Barbiero, P., Liò, P., & Passerini, A. (2022). Global explainability of gnns via logic combination of learned concepts. arXiv preprint arXiv:2210.07147. [2] Miao, S., Luo, Y., Liu, M., & Li, P. (2022). Interpretable Geometric Deep Learning via Learnable Randomness Injection. arXiv preprint arXiv:2210.16966. [3] Liu, Y., Zhang, X., & Xie, S. (2023, February). A Differential Geometric View and Explainability of GNN on Evolving Graphs. In The Eleventh International Conference on Learning Representations.
Mathematics
Study Mathematics # Master of Science in Mathematics @ HCMUS Branches of Mathematics # 1. Foundation of Mathematics # Transition To Pure Rigour Math Set Theory Logic Category Theory Type Theory Homotopy Type Theory Surreal Numbers 2. Number Theory # Algebraic Number Theory Analytic Number Theory 3. Algebra # Abstract Algebra Group Theory Linear Algebra Ring Theory Galois Theory Lie Algebras 4. Combinatorics # Probabilistic methods in Combinatorics Algebraic Combinatorics Graph Theory 5. Geometry Topology # Differential Geometry Algebraic Geometry Algebraic Statistics Topology Algebraic Topology 6. Mathematical analysis # Real Analysis Harmonic Analysis Complex Analysis Functional Analysis Measure Theory ODE PDE Variational Analysis Calculus of Variations Calculus (Single/ Multi-variables) Optimization & Operation Research Dynamical Systems Set-valued Analysis 7. Probability and Statistics # Probability Theory Statistics Statistical Learning Stochastic processes 8. Numerical Analysis # 9. Signal Processing # 10. Mathematics for Computer Science # 11. Mathematical Physics #
Parallel Programming
CUDA C++ Programming Guide (Link) Table of instruction throughputs (Link) PTX Reference Manual (Link) Inline PTX syntax guide (Link) Tensor core instruction data layouts (Link) SASS Instruction List (Link) Compiler Explorer by Matt Godbolt (Link) GPU Mode (Link) Modal GPU Glossary (Link)
Theoretical Computer Science
Study Computer Science # Master of Science in Computer Science @ HCMUS Branches of Theoretical Computer Science # 1. Theory of Computation # Computational Complexity Communication Complexity Circuit Complexity Quantum Complexity Proof Complexity Computability Theory 2. Logic # 3. Programming Language Theory # Basic of Programming Language Theory Formal Verification Type Theory Functional Programming 4. Algorithms # General Algorithms Lower Bounds Randomization & Probability for Algorithms Approximation Algorithms Parameterized Algorithms Learning-augmented Algorithms 5. Information/Coding Theory # 6. Cryptography # 7. Machine Learning Theory # 8. Game Theory #
Cambridge Notes (Vietnamese)
Ghi chú bài giảng Cambridge # Tất cả các ghi chú đều được dịch từ Cambridge Notes do Dexter Chua biên tập. Các bản dịch sang tiếng Việt được sử dụng cho mục đích học tập. Vui lòng không sử dụng cho mục đích thương mại. Part IA # Michaelmas Term Phương trình vi phân - Differential Equations: HTML, PDF, PDF (Trim), PDF (defs), PDF (thm), PDF (thm+proof), Official Notes, PDF (Vi) Lý thuyết nhóm - Groups Số học và Tập hợp - Numbers and Sets Vector và Ma trận - Vectors and Matrices Lent Term