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