© |
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 Thu, 01 Feb 2024 11:29:07 -0500,
the main part of my web site (pages beginning with http://www.math.toronto.edu/~drorbn/)
contains
- 29552 files with extension .png.
- 4889 files with extension .gif.
- 3988 files with extension .jpg.
- 3284 files with extension .html.
- 2757 files with extension .js.
- 582 files with extension .pdf.
- 264 files with extension .JPG.
- 194 files with extension .css.
- 189 files with extension .eot.
- 188 files with extension .otf.
- 188 files with extension .woff.
- 90 files with extension .htaccess.
- 73 files with extension .class.
- 71 files with extension .java.
- 69 files with extension .ps.
|
65 files with extension .zip.
44 files with extension .htm.
35 files with extension .gz.
30 files with extension .txt.
24 files with extension .svg.
17 files with extension .nb.
13 files with extension .DS_Store.
13 files with extension .json.
12 files with extension .m.
12 files with extension .md.
11 files with extension .jar.
9 files with extension .dvi.
8 files with extension .php.
6 files with extension .tex.
6 files with extension .pl.
|
5 files with extension .fig.
5 files with extension .uu.
4 files with extension .GIF.
4 files with extension .map.
4 files with extension .jvx.
4 files with extension .ogg.
4 files with extension .jvd.
3 files with extension .old.
3 files with extension .dtd.
3 files with extension .ttf.
3 files with extension .sty.
2 files with extension .c.
2 files with extension .odt.
2 files with extension .coffee.
2 files with extension .swp.
|
1 file with extension .yml.
1 file with extension .6/LICENSE.
1 file with extension .gitignore.
1 file with extension .bmp.
1 file with extension .bak.
1 file with extension .Rhistory.
1 file with extension .npmignore.
1 file with extension .f2m-opts.
1 file with extension .sed.
1 file with extension .mpeg.
1 file with extension .woff2.
1 file with extension .C.
1 file with extension .mf.
1 file with extension .otx.
29 files with no extension.
A total of 46776 files in 2696 directories.
|