Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
iwontberude
28 days ago
|
parent
|
context
|
favorite
| on:
AI will make formal verification go mainstream
The idea that LLMs are steering anything correctly with Rust reference management is hilarious to me, but only due to my experiences.
nrhrjrjrjtntbt
28 days ago
[–]
Id definitely use LLMs to troubleshoot but not blindly vibecode.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: