Reasoning about code is a scam Posted on 2021-01-30 [Saturday] by jj5 Today I read Reasoning about code is a scam, itself a rather contrarian piece. But I enjoyed it.