The surprisingly subtle ways Microsoft Word has changed how we use language

Re:The surprisingly subtle ways Microsoft Word has changed h... by tomrod on Sunday November 05, 2023 @10:55AM (#38152209)

Clopen intervals in order to have a well-specified time system.

[0] [12:00 PM, 12:00 AM) for after the noon instant

[1] [12:00 AM, 12:00 PM) for before the noon instant

24-hour time is superior to the mod-12 time system in almost every way but mechanical clock faces and soldier shifts under early systems that used sun dials. However, the equivalent question can be asked by a day is a clopen interval of [00:00 current day, 00:00 next day)

[ Parent | on HN ]

Re:The surprisingly subtle ways Microsoft Word has changed h... by eesmith on Sunday November 05, 2023 @12:22PM (#38153216)

In 24-hour time, those are 12-24 and 0-12, respectively. https://en.wikipedia.org/wiki/ISO_8601

A place open 24 hours/day is open in the period 0-24.

[ Parent | on HN ]

Re:The surprisingly subtle ways Microsoft Word has changed h... by tomrod on Sunday November 05, 2023 @02:10PM (#38154500)

I don't follow your point. Are you correcting my point on clopen intervals and mod bases?

[ Parent | on HN ]

Re:The surprisingly subtle ways Microsoft Word has changed h... by eesmith on Sunday November 05, 2023 @04:55PM (#38156042)

I think clopen is too complicated in that it expresses ranges that are not practically useful, like (10,11], and it complicates expressing something like "Open 0-24", where your notation appears to require a date.

I think you get the essential utility you want in a 24 hour clock by simply letting 24 (or "24:00:00" when fully written out) be a way to represent the end of the day.

It's also already in use, with examples at https://ioi2023.hu/faq/ , http://www.garageferrarimilazzo.com/en/ , and https://jozsefvaros.hu/english/news-in-the-district/2022/12/... .

[ Parent | on HN ]