K: “new IO made it OK to tell stories rather than proving theorems” Posted on October 14, 2014 by jgordon Link. But didn’t K just say stories sans models were bad?
