Transcoding UTF-8 strings to Latin 1 strings at 12 GB/s using AVX-512lemire.me2 pointsibobev3 years ago