Anders BorumDonald Knuth on the rewards of computer programming
Martin EscardoSubstitute program for proof, and I agree, except for the last item, economic reward.
Cody@MartinEscardo @palmin proofs 4 ca$h
Substitute program for proof, and I agree, except for the last item, economic reward.