Another better lower bound for n=17 square packing August 21, 2026 · Hacker News Read full story at source