A device-independent protocol for more efficient random number generation | Hacker News Reader