Hacker News Reader

If you look at the images, it seems like they use linux as their OS? Can anyone else confirm?

A little late and I don't work there but I know I've seen at least Sun gear/monitors at JPL and Houston.