3 ms·
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 amo
by Havoc 11mo ago
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 11mo agovibecoding 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.
- iwontberude 11mo agoOr downvote me without a reply proving my point
- Havoc 11mo agoUsing GLM. It works but chews tokens pretty hard