nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq67pldadtyu2wrt4wezagy2vgvsjmzvu7ash7qw0rms2a4ymf86hstnd6ud Yeah they kept dicking around and putting 512 in, taking it out, shaking it all around. At one point they were talking about everything having "AVX256" which is AVX512 instructions, but ...