Re: [LEAPSECS] Actual versus legal duration makes programming hard

2015-06-01 Thread Poul-Henning Kamp
In message <20150602065310.ga11...@ucolick.org>, Steve Allen writes: >On Tue 2015-06-02T06:38:46 +, Poul-Henning Kamp hath writ: >> UTC is very much a technical standard, written to solve the problem >> of "what time did it happen" in international (and thus political) >> relations. >

Re: [LEAPSECS] Actual versus legal duration makes programming hard

2015-06-01 Thread Steve Allen
On Tue 2015-06-02T06:38:46 +, Poul-Henning Kamp hath writ: > UTC is very much a technical standard, written to solve the problem > of "what time did it happen" in international (and thus political) > relations. That degrades the work of IETF and every other organization that requires two inter

Re: [LEAPSECS] Actual versus legal duration makes programming hard

2015-06-01 Thread Poul-Henning Kamp
In message <20150602063313.ga11...@ucolick.org>, Steve Allen writes: >UTC is not a technical standard, it is a political construct. >That's why LORAN-C, GPS, Galileo, BeiDou, and the Indian satellite >system chose to construct their own time scales rather than to use UTC. UTC is very muc

Re: [LEAPSECS] Actual versus legal duration makes programming hard

2015-06-01 Thread Steve Allen
On Mon 2015-06-01T17:36:34 +, Poul-Henning Kamp hath writ: > In message <20150601172537.gc14...@ucolick.org>, Steve Allen writes: > > >We need a resolution of the issue so that the out-of-the-box defaults > >can just work without any choices. > > I'm happy that you have finally realized why som

Re: [LEAPSECS] authoritative tz project info

2015-06-01 Thread Brooks Harris
On 2015-06-01 03:25 PM, Steve Allen wrote: On Mon 2015-06-01T12:05:08 -0700, Tom Van Baak hath writ: Can you send me a definitive URL with global TZ rules so I can grep|sort|uniq to get a feel for when DST transitions occurs? I guess I thought it always was 2 am local (which implies jumps from

Re: [LEAPSECS] Google, Amazon, now Microsoft

2015-06-01 Thread Clive D.W. Feather
Tom Van Baak said: > Can you send me a definitive URL with global TZ rules so I can grep|sort|uniq > to get a feel for when DST transitions occurs? The following database: https://www.iana.org/time-zones is about as definitive as you will find. > I guess I thought it always was 2 am local (whi

Re: [LEAPSECS] Google, Amazon, now Microsoft

2015-06-01 Thread Clive D.W. Feather
Tom Van Baak said: >>> DST changes at 2am in the US and 1am in the EU. >> That is 01:00 UTC which is 02:00 standard / 03:00 summer time for most of >> the EU. > Tony, that's my understanding too, that all DST changes always occur at 2am > local time, both times a year. No. In the EU the changes

Re: [LEAPSECS] Google, Amazon, now Microsoft

2015-06-01 Thread Clive D.W. Feather
Pierpaolo Bernardi said: >> http://eur-lex.europa.eu/legal-content/IT/TXT/?uri=CELEX:32000L0084 > By the way, I noticed only now that the English text says 01:00 GMT, while > the Italian text says 01:00 Tempo Universale. It's worse than that. Of the 22 official texts: BG, CS, EL, EN, ET, FI, HU,

Re: [LEAPSECS] Google, Amazon, now Microsoft

2015-06-01 Thread Tom Van Baak
> You'll need a faster car. Or a plane. Maybe we could get the guys on the > space station to try it? Hi Brooks, On the equator, timezones fly by about 1000 mph (earth diameter is ~25000 miles, day is ~24 hours). So that excludes cars and commercial planes. Even up here at 45 degrees latitude,

Re: [LEAPSECS] Google, Amazon, now Microsoft

2015-06-01 Thread Clive D.W. Feather
Tom Van Baak said: > Oh, I wasn't thinking of cheating and adjusting timezones with a mouse click. > For maximum photo effect, I was planning to drive my mobile (car) time lab > across two time zones the night of June 30 and catch two Azure leap seconds. > Timezones are too wide to hit three in

[LEAPSECS] authoritative tz project info

2015-06-01 Thread Steve Allen
On Mon 2015-06-01T12:05:08 -0700, Tom Van Baak hath writ: > Can you send me a definitive URL with global TZ rules so I can > grep|sort|uniq to get a feel for when DST transitions occurs? I guess > I thought it always was 2 am local (which implies jumps from 02h->03h > and 02h->01h). I believe sev

Re: [LEAPSECS] Google, Amazon, now Microsoft

2015-06-01 Thread Pierpaolo Bernardi
On Mon, Jun 1, 2015 at 9:19 PM, Pierpaolo Bernardi wrote In the EU, the change happens simultaneously in all countries at 01:00 UTC. > > > The following is an authoritative source: > http://eur-lex.europa.eu/legal-content/IT/TXT/?uri=CELEX:32000L0084 > By the way, I noticed only now that the Eng

Re: [LEAPSECS] Google, Amazon, now Microsoft

2015-06-01 Thread Pierpaolo Bernardi
On Mon, Jun 1, 2015 at 6:35 PM, Tom Van Baak wrote: > > On 31 May 2015, at 03:28, Rob Seaman wrote: > >> > >> DST changes at 2am in the US and 1am in the EU. > > > > That is 01:00 UTC which is 02:00 standard / 03:00 summer time for most of > > the EU. > > > > Tony. > > Tony, that's my understand

Re: [LEAPSECS] Google, Amazon, now Microsoft

2015-06-01 Thread Tom Van Baak
Rob (or Steve), Can you send me a definitive URL with global TZ rules so I can grep|sort|uniq to get a feel for when DST transitions occurs? I guess I thought it always was 2 am local (which implies jumps from 02h->03h and 02h->01h). Also, possibly related, do you know of any place where DST is

Re: [LEAPSECS] Google, Amazon, now Microsoft

2015-06-01 Thread Brooks Harris
On 2015-06-01 12:37 PM, Tom Van Baak wrote: Tom Van Baak said: On a positive note, this means one could actually experience more than one Windows non-leap-second on June 30. Maybe this year I should try to celebrate the leap second twice, in Mountain and in Pacific time. Time to pull out the roa

Re: [LEAPSECS] Google, Amazon, now Microsoft

2015-06-01 Thread Rob Seaman
Hi Tom, > Tony, that's my understanding too, that all DST changes always occur at 2am > local time, both times a year. > > Rob, where did you see the 1am documented? Got me. Rummaging through zoneinfo, however, many different pivot hours have been used. The point was just that there is nothing

Re: [LEAPSECS] Actual versus legal duration makes programming hard

2015-06-01 Thread Poul-Henning Kamp
In message <20150601172537.gc14...@ucolick.org>, Steve Allen writes: >We need a resolution of the issue so that the out-of-the-box defaults >can just work without any choices. I'm happy that you have finally realized why some parties are pushing for the only resolution on the table[1] wh

Re: [LEAPSECS] Actual versus legal duration makes programming hard

2015-06-01 Thread Steve Allen
On Mon 2015-06-01T13:12:50 -0400, G Ashton hath writ: > Rules for deciding when to count leap seconds and when to ignore them are > not fully developed; it's entirely understandable that programmers have > trouble programming in an environment where there is no universal agreement > on the rules.

[LEAPSECS] Actual versus legal duration makes programming hard

2015-06-01 Thread G Ashton
People intentionally throw information away, for certain purposes, even when the information is not totally expunged. For example, when a baseball batter ends his at-bat, the information about the number of strikes and balls becomes irrelevant; all that matters, as far as the outcome of the game is

Re: [LEAPSECS] Google, Amazon, now Microsoft

2015-06-01 Thread Tom Van Baak
> Tom Van Baak said: >> On a positive note, this means one could actually experience more than one >> Windows non-leap-second on June 30. Maybe this year I should try to >> celebrate the leap second twice, in Mountain and in Pacific time. Time to >> pull out the road map. > > Why stop with Mountai

Re: [LEAPSECS] Google, Amazon, now Microsoft

2015-06-01 Thread Tom Van Baak
> On 31 May 2015, at 03:28, Rob Seaman wrote: >> >> DST changes at 2am in the US and 1am in the EU. > > That is 01:00 UTC which is 02:00 standard / 03:00 summer time for most of > the EU. > > Tony. Tony, that's my understanding too, that all DST changes always occur at 2am local time, both tim

Re: [LEAPSECS] Google, Amazon, now Microsoft

2015-06-01 Thread Tony Finch
On 30 May 2015, at 23:05, Tom Van Baak wrote: > > I understand that's why JD rolls over at noon instead of midnight. But, > for the other 7 billion people on the planet, it's nice that the > calendar, and local legal time, and even MJD rolls over at midnight > instead of noon. And GMT switches at

Re: [LEAPSECS] Google, Amazon, now Microsoft

2015-06-01 Thread Tony Finch
On 31 May 2015, at 03:28, Rob Seaman wrote: > > DST changes at 2am in the US and 1am in the EU. That is 01:00 UTC which is 02:00 standard / 03:00 summer time for most of the EU. Tony. -- f.anthony.n.finchhttp://dotat.at/ Hebrides: Southwest 5 or 6, becoming cyclonic 6 to gale 8, perhaps sev