Hacker News new | ask | show | jobs
by lupire 2439 days ago
Even informally verified software would be a revolutionary improvement in quality of science.