Another better lower bound for n=17 square packing

· Hacker News