Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Expander graphs were known to exist for many years before there was any provable example (essentially because it is not hard to show that a random sequence of graphs is expander with probability 1.)
