4 ms·Ehh, auto-vectorization is a much less interesting problem than doing fun things manually.by duaneb 11y agoEhh, auto-vectorization is a much less interesting problem than doing fun things manually.