I've been toying with vibecoding rust - hardly formal verification, but it is a step closer than python that's for sure.

So far so good, though the smaller amount of training data is noticeable.

▲

iwontberude 6 days ago | parent [-]

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 5 days ago \| parent \| next [-]
		Using GLM. It works but chews tokens pretty hard
	▲	iwontberude 5 days ago \| parent \| prev [-]
		Or downvote me without a reply proving my point