Randomness in computer science