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