Re: [LEAPSECS] Types of time

From: John Cowan <>
Date: Fri, 08 Sep 2000 11:41:09 -0400

Roger Stapleton wrote:

> I have a real problem that this discussion may affect.

Boiled down:

        You need LST. You currently can get UTC, which is a sufficient
        approximation of UT1, and UT1 to LST conversion is algorithmic.

        In a world where UTC = TAI - k for constant k, you would need to
        learn the current value of TAI - UT1 from an external source.

        The rest of us geeks work internally in TAI - n. We too currently
        can get UTC, and have to learn the current value of TAI - UTC from
        an external source, or else "pursue it with forks and hope".

        In a world where UTC = TAI - k, we would need no external source.

        The current UTC system is biased in favor of your applications
        and other astronomically based ones, and against the rest of us.

There is / one art                   || John Cowan <>
no more / no less                    ||
to do / all things                   ||
with art- / lessness                 \\ -- Piet Hein
Received on Fri Sep 08 2000 - 08:51:08 PDT

This archive was generated by hypermail 2.3.0 : Sat Sep 04 2010 - 09:44:54 PDT