Re:Can a LLM convert C, to ASM to specs and then to a workin...
by ghuntley on Monday March 17, 2025 @08:07AM
(#43387611)
covered here https://news.ycombinator.com/item?id=43387590
but yes, indeed you still need to watch it like a hawk when using it outside of a tight eval loop (ie. make all | make property-tests) and/or implement some other form eval loop on the original /spec generation.
Re:Can a LLM convert C, to ASM to specs and then to a workin...
by ohmygoodniche on Monday March 17, 2025 @08:06AM
(#43387607)
The author says you have to trust the LLMs though for it to work... You can downvote this but read the articles conclusions first...
It’s still impressive, but it’s basically advanced autocomplete. You still have to read and check every line and make sure it is doing what you expect it to do.