4 ms·

> In talking to another person in the industry dealing with the issue, they noted that technically 2020 had 53 weeks, and this is the 53rd week. As such, the su

> In talking to another person in the industry dealing with the issue, they noted that technically 2020 had 53 weeks, and this is the 53rd week. As such, the suspect Sony data file issue might actually be tied to that complexity. Wouldn't be surprised On a positive note, this is the first year in a row of 4 where I didn't see CI errors related to the year currently being 2021 but the 'week-year' still being 2020. (Did find one recent test that hardcoded 2020 instead of just taking the current year though, but at least that doesn't take any further investigation)

deleted 6y ago
[deleted]
grenoire 6y ago
Hitting up the classic article, https://infiniteundo.com/post/25326999628/falsehoods-programmers-believe-about-time https://infiniteundo.com/post/25326999628/falsehoods-program...
dingaling 6y ago
If Sony are doing anything other than just relaying the current almanac then they're doing something wrong: https://www.navcen.uscg.gov/?pageName=gpsAlmanacs https://www.navcen.uscg.gov/?pageName=gpsAlmanacs So it's more likely to be something related to the software implementation rather than the data.
vesinisa 6y ago
Relatedly, I had my Android phone set to the en-US locale. I noticed Calendar was showing 2020 had 52 weeks and all week numbers of 2021 were off by one. I changed to en-UK locale and the issue got resolved. Which begs the question: what on Earth week numbering system the en-US locale was using? I am not aware of any US-specific week numbering system, so it would seem logical for the en-US locale to use the ISO system.
- strombofulous 6y ago
  First day of the week in the US is Sunday, first day of the week in the EU is Monday.
  - vesinisa 6y ago
    That does not explain it. In US weeks more of W53/2020 lies in 2020 than in ISO weeks, but my phone still labels it W1/2021.
    - masklinn 6y ago
      > In US weeks more of W53/2020 lies in 2020 than in ISO weeks Your error is in assuming every week is uniquely identified as a week-year, but that's only true in ISO week numbering. In ISO, every week-year is exclusive and whichever week contains January 4th is the first of the year, so 2020-12-28/2021-01-03 is 2020-W53 and 2021-01-04/2021-01-10 is 2021-W01 But in the US whichever week contains Jan 1st is the first… and whichever week contains December 31st is the last of the previous year. Meaning the same week can be both X-W53 and X+1-W01 (aka the US system has overlapping / partial weeks at both start and end of year). This is exactly the case this year (and most years, really), the week from December 27th (Sunday) to January 2nd (Saturday) contains both January 1st and December 31st, meaning it's both the last week of 2020 and the first week of 2021.
      - vesinisa 6y ago
        Right, I figured something like this had to be in play. But by whom and where is this US week numbering system actually defined? I can see it is probably implemented in Java by java.time.temporal.WeekFields#SUNDAY_START, but there is no reference to any standard that actually defines it in the documentation. Just this (oddly worded) claim: "This week definition is in use in the US and other European countries."
        masklinn 6y ago
        > But by whom and where is this US week numbering system actually defined? I don't think there is any formal definition, it's just customary. AFAIK americans don't really use week numbering so it's not really a thing. OTOH ISO defines a very strict week-based calendaring system. Anyway SUNDAY_START defines that weeks start on sunday and the first week-of-year needs only contain a single day, so I expect you can never get the "overlapping" information from the JDK, it just considers that W01 is whichever week contains 01-01 and forgets about the overlapping last week of the previous year, if any.
notacoward 6y ago
> the year currently being 2021 but the 'week-year' still being 2020 Strava seems to have a similar problem. When I pull up leaderboard data for a segment I've just done, "this month" and "this year" and "all time" show my result but "this week" doesn't. Checking now for three segments, each "this week" only includes the part of the week that was in December. BTW, for any other Strava users here, be aware that it's also pretty stupid about years in which you go from one age group to another (in my case from 45-54 to 55-64). AFAICT only your annual CR gets considered for leaderboards, and if that's before your birthday then it'll act as though you've never even done that segment in your new age group.

deleted 6y ago

[deleted]

grenoire 6y ago

Hitting up the classic article, https://infiniteundo.com/post/25326999628/falsehoods-programmers-believe-about-time https://infiniteundo.com/post/25326999628/falsehoods-program...

dingaling 6y ago

If Sony are doing anything other than just relaying the current almanac then they're doing something wrong: https://www.navcen.uscg.gov/?pageName=gpsAlmanacs https://www.navcen.uscg.gov/?pageName=gpsAlmanacs So it's more likely to be something related to the software implementation rather than the data.

vesinisa 6y ago

Relatedly, I had my Android phone set to the en-US locale. I noticed Calendar was showing 2020 had 52 weeks and all week numbers of 2021 were off by one. I changed to en-UK locale and the issue got resolved. Which begs the question: what on Earth week numbering system the en-US locale was using? I am not aware of any US-specific week numbering system, so it would seem logical for the en-US locale to use the ISO system.

strombofulous 6y ago
First day of the week in the US is Sunday, first day of the week in the EU is Monday.
- vesinisa 6y ago
  That does not explain it. In US weeks more of W53/2020 lies in 2020 than in ISO weeks, but my phone still labels it W1/2021.
  - masklinn 6y ago
    > In US weeks more of W53/2020 lies in 2020 than in ISO weeks Your error is in assuming every week is uniquely identified as a week-year, but that's only true in ISO week numbering. In ISO, every week-year is exclusive and whichever week contains January 4th is the first of the year, so 2020-12-28/2021-01-03 is 2020-W53 and 2021-01-04/2021-01-10 is 2021-W01 But in the US whichever week contains Jan 1st is the first… and whichever week contains December 31st is the last of the previous year. Meaning the same week can be both X-W53 and X+1-W01 (aka the US system has overlapping / partial weeks at both start and end of year). This is exactly the case this year (and most years, really), the week from December 27th (Sunday) to January 2nd (Saturday) contains both January 1st and December 31st, meaning it's both the last week of 2020 and the first week of 2021.
    - vesinisa 6y ago
      Right, I figured something like this had to be in play. But by whom and where is this US week numbering system actually defined? I can see it is probably implemented in Java by java.time.temporal.WeekFields#SUNDAY_START, but there is no reference to any standard that actually defines it in the documentation. Just this (oddly worded) claim: "This week definition is in use in the US and other European countries."
      - masklinn 6y ago
        > But by whom and where is this US week numbering system actually defined? I don't think there is any formal definition, it's just customary. AFAIK americans don't really use week numbering so it's not really a thing. OTOH ISO defines a very strict week-based calendaring system. Anyway SUNDAY_START defines that weeks start on sunday and the first week-of-year needs only contain a single day, so I expect you can never get the "overlapping" information from the JDK, it just considers that W01 is whichever week contains 01-01 and forgets about the overlapping last week of the previous year, if any.

notacoward 6y ago

> the year currently being 2021 but the 'week-year' still being 2020 Strava seems to have a similar problem. When I pull up leaderboard data for a segment I've just done, "this month" and "this year" and "all time" show my result but "this week" doesn't. Checking now for three segments, each "this week" only includes the part of the week that was in December. BTW, for any other Strava users here, be aware that it's also pretty stupid about years in which you go from one age group to another (in my case from 45-54 to 55-64). AFAICT only your annual CR gets considered for leaderboards, and if that's before your birthday then it'll act as though you've never even done that segment in your new age group.