On Compactness by Terence Tao [pdf] | Dark Hacker News