I agree with you on the first paragraph, but the second one is something you cou... | Hacker News

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

		dataflow 4 months ago \| parent \| context \| favorite \| on: What works (and doesn't) selling formal methods I agree with you on the first paragraph, but the second one is something you could presumably enforce with tooling and during reviews, no?

pjmlp 4 months ago [–]

In theory, in practice even enforcing unit tests is a challenge, and most code reviews end up being about code style than anything else, if they happen.

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact