New top story on Hacker News: Tell HN: My usability pet peeve – am/pm times with a leading zero

Tell HN: My usability pet peeve – am/pm times with a leading zero
8 by FearNotDaniel | 0 comments on Hacker News.
I don't know why I've started noticing this a lot more recently on websites, but it seems to be getting more common to see times-of-day stated in the am/pm format but still using a leading zero on the hour. E.g. "03:00 pm" instead of "15:00" or "3:00 pm". My brain has got so used to parsing the 24-hour clock such that I see a leading zero and assume it's a morning time, then there is the moment of cognitive dissonance when I spot the "pm" and have to recalculate in my mind (especially if the time in question is in a foreign time zone). Does anyone else anecdotally get this? Has anyone measured whether it is a problem on a larger scale?