© | Dror Bar-Natan: Random Page:

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 video from the dbnvp collection (2%), a random page from my Academic Pensieve (24%), or a properly-weighted random page from within list.js (45%). 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 Sun, 19 Jan 2014 16:27:43 -0500, the main part of my web site (pages beginning with http://www.math.toronto.edu/~drorbn/) contains
  • 4859 files with extension .gif.
  • 3983 files with extension .jpg.
  • 2484 files with extension .html.
  • 592 files with extension .png.
  • 460 files with extension .pdf.
  • 264 files with extension .JPG.
  • 176 files with extension .css.
  • 73 files with extension .class.
  • 71 files with extension .java.
  • 71 files with extension .ps.
  • 58 files with extension .zip.
  • 58 files with extension .js.
  • 44 files with extension .htm.
  • 35 files with extension .gz.
  • 19 files with extension .txt.
  • 19 files with extension .htaccess.
  • 17 files with extension .nb.
  • 11 files with extension .jar.
  • 11 files with extension .dvi.
  • 11 files with extension .m.
  • 8 files with extension .php.
  • 7 files with extension .uu.
  • 6 files with extension .pl.
  • 6 files with extension .tex.
  • 5 files with extension .fig.
  • 4 files with extension .GIF.
  • 4 files with extension .jvx.
  • 4 files with extension .jvd.
  • 4 files with extension .ogg.
  • 3 files with extension .old.
  • 3 files with extension .dtd.
  • 3 files with extension .sty.
  • 2 files with extension .c.
  • 2 files with extension .odt.
  • 1 file with extension .C.
  • 1 file with extension .otx.
  • 1 file with extension .sed.
  • 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 .swp.
  • 1 file with extension .mpeg.
  • 14 files with no extension.
  • A total of 13400 files in 595 directories.