Posts for 2010 October

Easier inbox count with Gmail Favicon script

Post by Nico Brailovsky @ 2010-10-12 | Permalink | Leave a comment

There's a very cool script to add to your browser but first:

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

Post by Nico Brailovsky @ 2010-10-07 | Permalink | Leave a comment

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?"

Post by Nico Brailovsky @ 2010-10-04 | Permalink | Leave a comment

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: