From: Eliezer S. Yudkowsky (sentience@pobox.com)
Date: Tue Aug 06 2002 - 14:33:38 MDT
Cliff Stabbert wrote:
>
> To simplify -- the 9PM referenced above is U.S. Eastern Standard Time,
> right?
EDT, which is the Eastern timezone during Daylight Savings Time.
-- Eliezer S. Yudkowsky http://intelligence.org/ Research Fellow, Singularity Institute for Artificial Intelligence
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:40 MDT