Aim for programs and arguments that can be reasoned about formally, not merely tested empirically.

Challenge accepted practices when they are unsound, even if doing so is unpopular.

Communicate with exactness and economy; every unnecessary word or line is a potential source of confusion.

Favor simple, elegant solutions over complicated ones, even when complexity is socially rewarded.

Avoid anthropomorphizing computers or treating programming as magic; it is a human activity governed by logic.

Respect the importance of mathematics as a foundation for reliable computing and rigorous engineering.