Easier inbox count with Gmail Favicon script

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…


Template Metaprogramming XVI: Appendix

I forgot but one thing about these posts: the titles. No one got the hint but they are all chapter names from one of my favorites series, Nowhere Man.

mv, mf, Ubuntu’s “did you mean?”

Some time ago I found about Ubuntu’s “did you mean” thingy on console. It’s very cool. Of course, I found it after makeing a typo on the console, I wrote mf instead of mv. Ubuntu suggested I was trying to use “mv”, but I could install “mf”, if I wanted to. I was a little bored, so I researched a little bit what mf is.

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.