L lemire.me Removing characters from strings faster with AVX-512 146 points mdb31 4 years ago 85 comments