|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