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