There’s a very cool script to add to your browser but first:
- Do you try to keep your inbox count in 0 (but usually fail miserably)?
- Do you like (need!) to be notified when a new mail arrives?
- Do you like Opera?
If you meet this conditions then you are very sick and need professional help. In the meantime, go and check Gmail Favicon Alerts 3, a cool script which changes gmails favicon to show your current email count. It works on Opera but it makes it crash. Most likely the script is not the one to blame here…
Turns out mf is metafont, a programming language to define vector based fonts (!), kind of like postscript. It’s written by Donald Knuth, and there are three bits of trivia which make this post somewhat meaningful:
- The program’s version number asymptoticaly aproaches e, right now it’s on version 2.718281
- rtfm! The section on comments says: Warning: Type design can be hazardous to your other interests. Once you get hooked, you will develop intense feelings about letterforms; the medium will intrude on the messages that you read. And you will perpetually be thinking of improvements to the fonts that you see everywhere, especially those of your own design.”
- And lastly, on the bugs section: On January 4, 1986 the “final” bug in Metafont was discovered and removed. If an error still lurks in the code, Donald E. Knuth promises to pay a finder’s fee which doubles every year to the first person who finds it. Happy hunting.