Another better lower bound for n=17 square packing by from Hacker News on 2026-08-21 16:50 (#77VGV) Comments