Hacker News Reader

...is taken as true but is a really lousy principle for modelling informal reasoning.

Compilers and compiler writers don't rely on informal reasoning when deciding whether an optimization is valid

This can be modelled formally: just drop the ex falso quodlibet axiom and its equivalents.