About

What? Clicking "Random Page" sends you to a random page within my web site.

Why? Mostly for my own internal purposes, to allow me to note bugs in parts of my web site that I would ordinarily rarely visit.

How? index.html reads a file, list.js, containing a list of all the html and pdf files under /~drorbn/, along with their "relative weights". It then chooses randomly between showing a random page from my wiki (12%), a random page from the knot atlas (18%), a random page from Math 1300Y/427S - Topology (1%), a random page from my Blackboard Shots (2%), a random page from my Academic Pensieve (3%), or a properly-weighted random page from within list.js (64%). In itself, list.js is made using the following makefile and the perl script filter.pl, which are run in a directory that contains a symbolic link named "web" to /~drorbn/. That directory also contains a (short) list of exclusions in a file "Excludes" which is not made available here.

Some Stats. As of Thu, 13 Aug 2009 11:21:28 -0400, the main part of my web site (pages beginning with http://www.math.toronto.edu/~drorbn/) contains

10061 files with extension .gif. 4714 files with extension .html. 4104 files with extension .jpg. 449 files with extension .png. 328 files with extension .pdf. 262 files with extension .JPG. 181 files with extension .css. 79 files with extension .class. 75 files with extension .ps. 71 files with extension .java. 48 files with extension .gz.

45 files with extension .htm. 25 files with extension .js. 21 files with extension .zip. 19 files with extension .txt. 17 files with extension .nb. 16 files with extension .m. 15 files with extension .dvi. 11 files with extension .jar. 7 files with extension .uu. 7 files with extension .php. 7 files with extension .tex.

6 files with extension .pl. 5 files with extension .fig. 4 files with extension .GIF. 4 files with extension .jvx. 4 files with extension .sty. 4 files with extension .jvd. 3 files with extension .dtd. 3 files with extension .old. 2 files with extension .c. 2 files with extension .htaccess. 2 files with extension .odt.

1 file with extension .sed. 1 file with extension .bmp. 1 file with extension .mf. 1 file with extension .C. 1 file with extension .otx. 1 file with extension .mpeg. 1 file with extension .f2m-opts. 14 files with no extension. A total of 20622 files in 520 directories.