I have never thought of science as writing unit tests for the universe before, b... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

jimmux on April 8, 2021 | parent | context | favorite | on: Particle mystery: physicists confirm the muon is m...

I have never thought of science as writing unit tests for the universe before, but I really like this analogy.

matt_kantor on April 8, 2021 [–]

I'm fond of using this analogy in the other direction: "tests are experiments, types are proofs".

(To be more precise, static types are propositions that the type checker tries to prove, but that's not as catchy.)

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact