This one is pretty easy! Just write your business requirements in a clear, unamb... | Hacker News

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

		otabdeveloper4 21 days ago \| parent \| context \| favorite \| on: Toward automated verification of unreviewed AI-gen... This one is pretty easy! Just write your business requirements in a clear, unambiguous and exhaustive manner using a formal specification language. Bam, no coding required.

rsoto2 21 days ago [–]

damn if only this language could be made to work with numbers we would really have something. Let's ask an LLM about it

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact