https://blog.namln.org/en/tcs/Recent content in Tcs on Nam LeHugoen-USTue, 24 Jun 2025 00:00:00 +0000https://blog.namln.org/en/tcs/parallel-programming/Sat, 08 Apr 2023 00:00:00 +0000https://blog.namln.org/en/tcs/parallel-programming/<ol> <li>CUDA C++ Programming Guide (<a href="https://docs.nvidia.com/cuda/cuda-c-programming-guide/index.html">Link</a>)</li> </ol> <ul> <li>Table of instruction throughputs (<a href="https://docs.nvidia.com/cuda/cuda-c-programming-guide/index.html#arithmetic-instructions">Link</a>)</li> </ul> <ol start="2"> <li>PTX Reference Manual (<a href="https://docs.nvidia.com/cuda/parallel-thread-execution/">Link</a>)</li> </ol> <ul> <li>Inline PTX syntax guide (<a href="https://docs.nvidia.com/cuda/inline-ptx-assembly/index.html">Link</a>)</li> <li>Tensor core instruction data layouts (<a href="https://docs.nvidia.com/cuda/parallel-thread-execution/#warp-level-matrix-fragment-mma-1688">Link</a>)</li> </ul> <ol start="3"> <li>SASS Instruction List (<a href="https://docs.nvidia.com/cuda/cuda-binary-utilities/index.html#nvidia-ampere-gpu-and-ada-instruction-set">Link</a>)</li> <li>Compiler Explorer by Matt Godbolt (<a href="https://godbolt.org/">Link</a>)</li> <li>GPU Mode (<a href="https://github.com/gpu-mode">Link</a>)</li> <li>Modal GPU Glossary (<a href="https://modal.com/gpu-glossary">Link</a>)</li> </ol>https://blog.namln.org/en/theoretical-computer-science/Sat, 08 Apr 2023 00:00:00 +0000https://blog.namln.org/en/theoretical-computer-science/<p><img src="https://iibawards-prod.s3.amazonaws.com/projects/images/000/002/333/page.png" alt=""></p> <h2 class="heading" id="study-computer-science"> Study Computer Science<span class="heading__anchor"> <a href="#study-computer-science">#</a></span> </h2><ol> <li><a href="https://blog.namln.org/en/mathematics/study-computer-science-hcmus/">Master of Science in Computer Science @ HCMUS</a></li> </ol> <h2 class="heading" id="branches-of-theoretical-computer-science"> Branches of Theoretical Computer Science<span class="heading__anchor"> <a href="#branches-of-theoretical-computer-science">#</a></span> </h2><h3 class="heading" id="1-theory-of-computation"> 1. Theory of Computation<span class="heading__anchor"> <a href="#1-theory-of-computation">#</a></span> </h3><ol> <li>Computational Complexity</li> </ol> <ul> <li>Communication Complexity</li> <li>Circuit Complexity</li> <li>Quantum Complexity</li> <li>Proof Complexity</li> </ul> <ol start="2"> <li>Computability Theory</li> </ol> <h3 class="heading" id="2-logic"> 2. Logic<span class="heading__anchor"> <a href="#2-logic">#</a></span> </h3><h3 class="heading" id="3-programming-language-theory"> 3. Programming Language Theory<span class="heading__anchor"> <a href="#3-programming-language-theory">#</a></span> </h3><ol> <li>Basic of Programming Language Theory</li> <li>Formal Verification</li> <li>Type Theory</li> <li>Functional Programming</li> </ol> <h3 class="heading" id="4-algorithms"> 4. Algorithms<span class="heading__anchor"> <a href="#4-algorithms">#</a></span> </h3><ol> <li>General Algorithms</li> <li>Lower Bounds</li> <li>Randomization &amp; Probability for Algorithms</li> <li>Approximation Algorithms</li> <li>Parameterized Algorithms</li> <li>Learning-augmented Algorithms</li> </ol> <h3 class="heading" id="5-informationcoding-theory"> 5. Information/Coding Theory<span class="heading__anchor"> <a href="#5-informationcoding-theory">#</a></span> </h3><h3 class="heading" id="6-cryptography"> 6. Cryptography<span class="heading__anchor"> <a href="#6-cryptography">#</a></span> </h3><h3 class="heading" id="7-machine-learning-theory"> 7. Machine Learning Theory<span class="heading__anchor"> <a href="#7-machine-learning-theory">#</a></span> </h3><h3 class="heading" id="8-game-theory"> 8. Game Theory<span class="heading__anchor"> <a href="#8-game-theory">#</a></span> </h3>