The Rado graph: A remarkable construction from graph theory | Hacker News Reader