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