Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
yosefk
on April 24, 2024
|
parent
|
context
|
favorite
| on:
Dafny is a verification-aware programming language
OTOH when it writes buggy code, you tend to get decent error messages when trying to use it. In this sense Rust + LLM is way better than C++ + LLM
littlestymaar
on April 24, 2024
[–]
True, but having to fix all the
stupid
mistakes they make is kind of ruining the point of using an LLM in the first place.
Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: