News for hackers. Stuff that matters.

A comment on Mining JIT traces for missing optimizations with Z3. Parent comment

Re:Mining JIT traces for missing optimizations with Z3 by fwip on Sunday July 21, 2024 @04:08PM (#41027725)
Ah, yes, I meant that the LLM could output suggestions, which a human would then think about and convince themselves, and only then, implement in Pypy.
[ Parent | on HN ]
Re:Mining JIT traces for missing optimizations with Z3 by derdi on Sunday July 21, 2024 @06:12PM (#41028703)
Presumably the LLM would generate a lot of proposed rules for humans to wade through. Reviewing lots of proposed rewrites while catching all possible errors would be tedious and error-prone. We have computers to take care of this kind of work.
[ Parent | on HN ]