Oddbean new post about | logout
 @531868ba - Thanks!  I hadn't seen Terence Tao's post yet.

@c5cf7486