Solving and Verifying the Bool Pythagorean Triples Problem via Cube-And-Conquer | Hacker News Reader