PTXBench: What about just CUDA-PTX? | Hacker News Reader