I just used AVX-512 today for a lisp processor very performant.