Hacker News new | ask | show | jobs
by astrobe_ 3214 days ago
Portable, certainly not. Verifiable and replicable, certainly yes. Otherwise that's not the work of scientist.

Programs are mathematical proofs. If the mathematical proofs are a weak link in a scientific work, then this is a serious problem.