Don't have Telegram yet? Try it now!
https://hgpu.org/?p=19794
Let's sort this out: GPGPU Verification of Radix Sort