R reddit.com Did Linus Torvalds backdoor Linux random number generation? 15 points petsos 13 years ago 1 comments