I can't imagine how writing C directly could possibly be better than using a lan... | Hacker News

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

		emorning4 14 days ago \| parent \| context \| favorite \| on: C Is Best (2025) I can't imagine how writing C directly could possibly be better than using a language like Dafny and then generating C code. Edit: Dafny: A verification language capable of enforcing invariants

emorning4 14 days ago [–]

Down-voting me without providing a counter comment is just pathetic.

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