Chris_Leong comments on Traps of Formalization in Deconfusion

[Chris_Leong]

Strongly agreed. I do worry that most people on LW have a bias towards formalisation even when it doesn’t add very much.