To correct that: there are many different definitions of randomness, and they're not actually using a form of algorithmic randomness in this paper (there are ma

To correct that: there are many different definitions of randomness, and they're not actually using a form of algorithmic randomness in this paper (there are many definitions of that too), which I guess isn't so relevant for randomness extraction.