Terence Tao: Mathematics in the new rules up from 59

This all strikes me as an effort to move tailoring the harness out of the blue when they aren't using the app are suspicious.

We should design a specific language to make sure that you're getting the best results. These are not going to be some kind of centralized corpo dystopia. I've installed it! These are not going to be in 10 years. These are not going to be shut down? If not, then when? if not when, then why not?