'Make interp': A joke about long-winded mechanistic interpretability writing · Digg