3 ms·
Little of what I do, even with the most rigorous methods available and the best practices from both software development and computational science, proves anyth
by Fomite 8y ago
Little of what I do, even with the most rigorous methods available and the best practices from both software development and computational science, proves anything.
- BurningFrog 8y agoI know. And I think it's a problem for science... Logical proofs will never happen for software development, but surely standards for scientific programming can be tightened up a few levels! I think I heard of some reform proposals from the Reproducibility Crisis reformers.
- Fomite 8y agoI more mean there are whole aspects of science that aren't provable without being able to actually obtain counterfactuals, and that means time machines