Another better lower bound for n=17 square packing
(news.ycombinator.com)
1.
2.
New Lower and Upper Bounds for the Grothendieck Constant
(news.ycombinator.com)