You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
shuffle3/lean/TODO.org

222 B

Improvements

  • ~70-80x speedup from shuffle3 1.0
  • Can properly handle large files without core dumping

Todo

  • impl rng
  • impl shuffling
  • impl out-of-place shuffling
  • arg parsing and dispatch