"As no one has yet invented an effective ANTI-STUPID device or program"

This is related to the problem of detecting (before running it) whether or not a computer program will stop or run for ever - basically insoluable.