Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Havoc
24 days ago
|
parent
|
context
|
favorite
| on:
AI will make formal verification go mainstream
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
24 days ago
[–]
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
23 days ago
|
parent
|
next
[–]
Using GLM. It works but chews tokens pretty hard
iwontberude
23 days ago
|
parent
|
prev
[–]
Or downvote me without a reply proving my point
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
So far so good, though the smaller amount of training data is noticeable.