Scaling Logical Reasoning on Modern HPC Hardware | Dark Hacker News