Kevin Buzzard's intervention: Where is the fashionable mathematics? (Lean etc.)

My comment on Kevin Buzzard’s intervention:

Link list of the discussion threads:

Perhaps you can add some context to the question/discussion?

There is so much to read on those threads…what is the core of what is happening and what this thread is suppose to initiate?