-
In software development there's a pattern called red/green/refactor: red means broken code, green means working code, refactor means optimizing that code so humans can maintain/read it later. More mathematicians should adopt refactoring into their writing workflow.
-
Yes I'm refereeing papers this weekend, why do you ask?