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 ]
There are no comments on this comment yet.