alt Hacker NewsAI is a great use for this kind of boring, rote translation where precision is important. Humans are quite bad at it and tend to make mistakes. In either case the focus should be on improving testing, not trying to manually verify if the translation was correct by eye.
Replies
IsTom • yesterday at 11:33 PM
With programs large enough tests aren't going to ever be enough. Formal verification might work, but then who checks the specification for bugs?
➕ show 2 replies
pier25 • today at 1:39 AM
If precision is important then non deterministic AI is simply not a good tool.
I have an issue with the precision of generated code.
LLMs sometimes confidently leave things out or they will overbuild.
I use them all the time but mistakes happen. It's not exactly a scalpel, more like a sledge hammer.