The Semantic Police: Stop or my compiler will prove a theorem | Dark Hacker News