You can change between AM/PM and 24h in the 'Configure Timezones' menu!
Reply on news.ycombinator.com