I'd rather hear: "The compiled code has gone through all tests in the comprehens... | Hacker News

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

		gloflo 9 months ago \| parent \| context \| favorite \| on: Everything I built with Claude Artifacts this week I'd rather hear: "The compiled code has gone through all tests in the comprehensive, human-expert-written, standardized test suite correctly" Compiling does not differentiate between True and False, so no safety for that escape pod door.

literalAardvark 9 months ago [–]

I took that as part of the build process.

But I definitely want as much as possible to be automated and formally correct, which is why I wrote what I wrote.

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