Real programmers use Proggy Tiny. Proggy Tiny Bold Punctuation is well-proportioned and is the smallest programming font I could come up with while maintaining distinctive characters and good readability. I use this quite often where I want a high information density. It is identical to Proggy Tiny but has bold punctuation.
Use at point size 9 (bitmap font)