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 algo_trader on Sunday July 21, 2024 @03:06PM (#41027331)
You are not wrong

AlphaZero-type systems were unable to significantly improve over near-optimal solvers such as z3.

[ Parent | on HN ]
Re:Mining JIT traces for missing optimizations with Z3 by Zacharias030 on Sunday July 21, 2024 @04:02PM (#41027696)
Could you point me to some references to learn about his?
[ Parent | on HN ]