New top story on Hacker News: “Reasoning about code” is a scam

“Reasoning about code” is a scam
10 by mpweiher | 2 comments on Hacker News.