3 ms·Show HN: Paranoid Scientist – Verification for scientific software2 points by trombonechamp 7y ago