@mainec@fromm.social @mttaggart@infosec.exchange Agreed. A program is not so different in the skills needed than a proof, but with certain contrast: proofs are sometimes not easily translated into software (guaranteed to finish before the heat death of the universe) and programs, except the more trivial and independent, are not generally amenable to proof.