Verified pre and post conditions would be nice. Especially in the era of LLM's, ... | Hacker News

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

		smaddox on Sept 27, 2024 \| parent \| context \| favorite \| on: It's hard to write code for computers, but it's ha... Verified pre and post conditions would be nice. Especially in the era of LLM's, which can usually fill in the implementation given a sufficiently clear specification.

aebtebeten on Sept 28, 2024 [–]

Eiffel is also well over 24 years old (but Albatross is more recent)

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