vibecoding rust sounds cool, which model are you using? I have tried in the past... | Hacker News

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

		iwontberude 15 days ago \| parent \| context \| favorite \| on: AI will make formal verification go mainstream vibecoding rust sounds cool, which model are you using? I have tried in the past with GPT4o and Sonnet 4, but they were so bad I thought I should just wait a few years.

Havoc 14 days ago | [–]

Using GLM. It works but chews tokens pretty hard

iwontberude 14 days ago | [–]

Or downvote me without a reply proving my point

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