News for hackers. Stuff that matters.

A comment on Large Language Models for Compiler Optimization. Parent comment

Re:Large Language Models for Compiler Optimization by SiempreViernes on Monday September 18, 2023 @06:50AM (#37554539)
What do you do when you check the proof and discover it is false? Just ask again for a proof or discard the emitted instructions?
[ Parent | on HN ]
Re:Large Language Models for Compiler Optimization by eru on Monday September 18, 2023 @08:44AM (#37555380)
Depends on your use case, I guess?
[ Parent | on HN ]