From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: John Cowan Newsgroups: gmane.lisp.guile.bugs Subject: bug#26164: time-difference mishandles leap seconds Date: Mon, 5 Nov 2018 08:47:46 -0500 Message-ID: References: <20170318224126.GK6518@fysh.org> <8736syzz61.fsf@netris.org> <20181105110236.ypop5ihwnajobcqs@fysh.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="000000000000f856720579eb21ce" X-Trace: blaine.gmane.org 1541425630 20250 195.159.176.226 (5 Nov 2018 13:47:10 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 5 Nov 2018 13:47:10 +0000 (UTC) Cc: 26164@debbugs.gnu.org To: zefram@fysh.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Mon Nov 05 14:47:06 2018 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gJfDd-00059v-VT for guile-bugs@m.gmane.org; Mon, 05 Nov 2018 14:47:06 +0100 Original-Received: from localhost ([::1]:35370 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gJfFk-0005UZ-HJ for guile-bugs@m.gmane.org; Mon, 05 Nov 2018 08:49:16 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:52689) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gJfFf-0005US-Cu for bug-guile@gnu.org; Mon, 05 Nov 2018 08:49:12 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gJfFW-0003Ui-PF for bug-guile@gnu.org; Mon, 05 Nov 2018 08:49:10 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:58669) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gJfFW-0003SC-6j for bug-guile@gnu.org; Mon, 05 Nov 2018 08:49:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gJfFV-000105-W7 for bug-guile@gnu.org; Mon, 05 Nov 2018 08:49:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: John Cowan Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Mon, 05 Nov 2018 13:49:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 26164 X-GNU-PR-Package: guile X-GNU-PR-Keywords: Original-Received: via spool by 26164-submit@debbugs.gnu.org id=B26164.15414256873784 (code B ref 26164); Mon, 05 Nov 2018 13:49:01 +0000 Original-Received: (at 26164) by debbugs.gnu.org; 5 Nov 2018 13:48:07 +0000 Original-Received: from localhost ([127.0.0.1]:34694 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gJfEc-0000yx-VH for submit@debbugs.gnu.org; Mon, 05 Nov 2018 08:48:07 -0500 Original-Received: from mail-wr1-f46.google.com ([209.85.221.46]:44758) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gJfEZ-0000yT-Rs for 26164@debbugs.gnu.org; Mon, 05 Nov 2018 08:48:05 -0500 Original-Received: by mail-wr1-f46.google.com with SMTP id j17-v6so4463715wrq.11 for <26164@debbugs.gnu.org>; Mon, 05 Nov 2018 05:48:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ccil-org.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=CFUjDHY8mGnu9Eo2F9InI7SzsV+MxOBvkHd/kMcgrN0=; b=Smx+vt/R47rpv0CjzZD94mIgfaRgYrWej+cKLvHVysw3O93izpKtZW++R0jQ4lIozU XiFMXdU1QCGtLztGrJzBvPHQJ0oxC1Pmi6HmBdhNN8zHdvQ/RZ584EH/dTJP9hfZl3LP wqwu6FMUN5NHMS606O8U+1ArWbYf7TWLSZtBXvuX/R9fKjswOR4iQg2WY30x0lzKQds1 PDo99XMrBhxwwbxPQUGmTnOSenqKFZEeRAR4CfqqWHzhkpIt5LuSKWCbtiFFzrXmeOmz mgOm4JUBhiSUZi3knC5/10wzNzEiCRWWxkQHwot1w+paXuWUOAAtdqMWevM+UnkQAG/k OLfg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=CFUjDHY8mGnu9Eo2F9InI7SzsV+MxOBvkHd/kMcgrN0=; b=hYQKz2pZxZAril9nETBTlhXg9iEfx1xNgiwpLRDQbayYsK8qXALJjNlTvsBIUm2ljz y/4QfQdb/5tCBXvRt4CSAjODRt7pFp4PcZDH2tW6zpM2hg0pG9IuYurdT4Yxhp6m7ioy HwdBwDLZ3YPMfpT1M5rIh+Rkmc4y7iWXLKopSV5GjCHVy1hLr+ClSmQJ5V8EcUt7pSos q1ZVh3zPt52hjCeITsWTqa4QcEudrU/Lo439ONndlzSh7FOs9/x87QrKTnQV9rA4tCdu syXnJTA8q1MBkjbLBsSvuq17zotFrL8vu2iAZk4VwE8Hk97qWtXyee+bGlYT4POZD0A1 ZuHA== X-Gm-Message-State: AGRZ1gJa3orNSbsIJDc+JDCCQZq4GEWgV6PEH6W390NC3JCxporBO4X5 1O6v/xHaZnblLv3MAruYFka1ZgPRbFjLe6J0Ye7MeQ== X-Google-Smtp-Source: AJdET5dVq84LWEsVnZcab7SehlvjI2O6aQqRtS/oHJlsR7RILj4GQ1I4SYm82olVg4z4Z0d5M/efoCXebUqobG+q64g= X-Received: by 2002:adf:ae09:: with SMTP id x9-v6mr18784193wrc.102.1541425677745; Mon, 05 Nov 2018 05:47:57 -0800 (PST) In-Reply-To: <20181105110236.ypop5ihwnajobcqs@fysh.org> X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: "bug-guile" Xref: news.gmane.org gmane.lisp.guile.bugs:9257 Archived-At: --000000000000f856720579eb21ce Content-Type: text/plain; charset="UTF-8" On Mon, Nov 5, 2018 at 6:03 AM Zefram wrote: Mark H Weaver wrote: > > No, that's not how UTC works. Everything Zefram says is what I was trying to say and failing. I would only add that: 1) TAI-UTC refers to broken-down time, not to the count of seconds since some epoch. TAI-UTC is currently 37 seconds, which means that at 2018-11-05T13:43:00 UTC time (approximately when I am writing this) it is 2018-11-05T13:43:37 TAI time. 2) Posix time, unlike UTC really does label leap seconds with the same integer as the preceding second. > >Having said all of this, I should admit that I'm not an expert on time > >standards, > > I am. > He is. -- John Cowan http://vrici.lojban.org/~cowan cowan@ccil.org There is no real going back. Though I may come to the Shire, it will not seem the same; for I shall not be the same. I am wounded with knife, sting, and tooth, and a long burden. Where shall I find rest? --Frodo --000000000000f856720579eb21ce Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable


On Mon, Nov 5, 2018 at 6:03 AM Zefram <zefram@fysh.org> wrote:

<= /div>
Mark H Weaver wrote:=

No, that's not how UTC works.

Everythin= g Zefram says is what I was trying to say and failing.

=
I would only add that:

1) TAI-UTC refers to b= roken-down time, not to the count
of seconds since some epoch.=C2= =A0 TAI-UTC is currently 37 seconds, which means
that at 2018-11-= 05T13:43:00 UTC time (approximately when I am writing this) it is
2018-11-05T13:43:37 TAI time.

2) Posix time, unli= ke UTC really does label leap seconds with the same integer as the
preceding second.
=C2=A0
>Having said all of this, I should admit that I'm n= ot an expert on time
>standards,

I am.

He is.

-= -=C2=A0

--000000000000f856720579eb21ce--