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 (12%), a random page from Math 1300Y/427S - Topology (1%), a random page from my Blackboard Shots (4%), a random page from my teacher notebooks (1%), a random video from the dbnvp collection (2%), a random page from my Academic Pensieve (20%), or a properly-weighted random page from within list.js (48%). 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 Sat, 03 Dec 2011 01:45:09 -0500, the main part of my web site (pages beginning with http://www.math.toronto.edu/~drorbn/) contains

10074 files with extension .gif. 4792 files with extension .html. 4236 files with extension .jpg. 559 files with extension .png. 426 files with extension .pdf. 264 files with extension .JPG. 183 files with extension .css. 79 files with extension .class. 74 files with extension .ps. 71 files with extension .java. 48 files with extension .gz. 45 files with extension .htm.

41 files with extension .js. 39 files with extension .zip. 19 files with extension .txt. 17 files with extension .nb. 16 files with extension .m. 13 files with extension .dvi. 11 files with extension .jar. 8 files with extension .php. 7 files with extension .uu. 7 files with extension .tex. 6 files with extension .pl. 5 files with extension .fig.

4 files with extension .sty. 4 files with extension .jvx. 4 files with extension .jvd. 4 files with extension .ogg. 4 files with extension .GIF. 4 files with extension .htaccess. 3 files with extension .old. 3 files with extension .dtd. 2 files with extension .c. 2 files with extension .odt. 1 file with extension .C. 1 file with extension .sed.

1 file with extension .otx. 1 file with extension .htusers. 1 file with extension .htgroups. 1 file with extension .f2m-opts. 1 file with extension .bmp. 1 file with extension .mf. 1 file with extension .bak. 1 file with extension .mpeg. 15 files with no extension. A total of 21099 files in 558 directories.