Sounds like Ada. A lot of the time, once you got your code to compile, it would ... | Hacker News

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

		teach 1 day ago \| parent \| context \| favorite \| on: If you're going to vibe code, why not do it in C? Sounds like Ada. A lot of the time, once you got your code to compile, it would work.

kaladin-jasnah 1 day ago [–]

What about Lean?

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