Ask HN: What is the name of this font?

http://blog.perplexedlabs.com/

I like the font used in the logo (the "labs" part) does anyone know what the name of that font is?

Tnx,

BJ