Understanding the CUDA Compiler and PTX with a Top-K Kernel | Not Hacker News!