News for hackers. Stuff that matters.

A comment on Git-random: Chrome extension replaces new tab with random GitHub user's profile. Parent comment

Re:Git-random: Chrome extension replaces new tab with random... by idnan on Saturday April 16, 2016 @08:45AM (#11510370)
But you are not going to see the same profile again and probably you don't know them. So it's random for you. :)
[ Parent | on HN ]
Re:Git-random: Chrome extension replaces new tab with random... by brudgers on Saturday April 16, 2016 @09:37AM (#11510544)
"Arbitrary" is probably more consistent with the mathematical rigor some people might expect. On the other hand, little in computing is random rather than pseudo-random.
[ Parent | on HN ]