https://jix.one/proving-50-year-old-sorting-networks-optimal-part-1/
Last updated: Jul 12 2025 at 04:33 UTC