freenode/#sbcl - IRC Chatlog Search Sunday, 18th of October 2020, 0:45:20 UTC 0:52:58 ak-coram anyone else trying to get avx-512 working?