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 Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact