On: Show HN: Every Day Is Pi Day

Except that's not what people mean when the say 'Pi Day' - they mean the US date format of 3-14.

If both work, and the one interpretation overlaps and is an international standard, who cares?

Maybe that day can be written 2017-π to preserve both the pun and (if not the letter) the spirit of ISO notation. In that sense, it's Pi day for a given year.