Other stuff

GNOME

For some time now, I have been the maintainer of the GNOME terminal, gnome-terminal, and doing some other work in the project.

...and

• My collection of quotes.
• I have a check from Donald Knuth on my name.
• A little numerology.

Indice

1. Homepage
2. Research
3. Teaching
4. Other stuff
   1. My collection of quotations
   2. A check from Knuth
   3. Cosas que regalarme...
5. Some links
6. How to contact me

mariano@dm.uba.ar