Terence Tao: A crowdsourced repository for optimization constants?terrytao.wordpress.com6 pointsfrozenseven5 months ago