freenode/#sbcl - IRC Chatlog Search Saturday, 17th of October 2020, 23:50:25 UTC 0:52:58 ak-coram anyone else trying to get avx-512 working?