OpenBSD vs X
Evaluating stacks of paper too hard.  CC & such standards require bizzare language

Turing’s halting problem.
Mathematicians like proofs, but “provably secure” cryptosystems get attacked through some other angle.
Cryptographers in fact rely on experiment, from Deep Crack to the sha1 demos last summer at crypto