s/\/dev\/random/thraxil/g;

By anders pearson 21 Feb 2001

along with the redesign, i’ve decided to deprecate “/dev/random” as the name of the site. just about every day i get one or two hits from people searching for “/dev/random” on google. somehow i get the impression that this isn’t what they’re looking for. since its hard enough to find what you’re looking for online anyway, i thought i’d try not to aggravate the problem. so it’s now “thraxil”