And https://news.ycombinator.com/user?id=johncarlosbaez!
Perhaps he'll contribute to this thread (or perhaps it would waste his time)