2 Punkte von GN⁺ 2024-10-31 | 1 Kommentare | Auf WhatsApp teilen
  • Zeitzonen sind komplex, aber weil Computer sie implementieren müssen, sind sie nur innerhalb eines endlichen Rahmens seltsam.
    • Asia/Kathmandu hat einen ungewöhnlichen Offset zu UTC.
    • Africa/Casablanca passt nicht gut in das Zeitzonenmodell und wird deshalb hartkodiert.
    • America/Nuuk beginnt die Sommerzeit bei -01:00.
    • Africa/Cairo und America/Santiago beginnen die Sommerzeit um 24 Uhr (nicht um 0 Uhr).
    • Australia/Lord_Howe hat die seltsamsten Sommerzeitregeln.

PGXIIREAM: Papst Gregor XIII. beherrscht alles

  • Der größte Teil der Welt verwendet ein Zeitsystem auf Basis des gregorianischen Kalenders.
  • Der gregorianische Kalender ist sehr nützlich, um die Position der Sonne im Jahresverlauf konstant zu halten.
  • UTC ist die moderne formale Ausprägung des gregorianischen Kalenders, und die ganze Welt richtet ihre Zeit danach aus.

Schaltsekunden sind nicht wichtig

  • Die Erdrotation verlangsamt sich, daher werden Schaltsekunden hinzugefügt, um das zu korrigieren.
  • Schaltsekunden kann man ignorieren, weil Programmiersprachen keine 61 Sekunden darstellen.
  • Cloud-Anbieter lösen das Problem, indem sie ihre Uhren während einer Schaltsekunde langsamer laufen lassen.

Seltsame Zeitzonen

Asia/Kathmandu hat einen ungewöhnlichen Offset

  • Nepal liegt 5 Stunden und 45 Minuten vor UTC.
  • Computer kennen diese Information über die IANA-Zeitzonendatenbank.

Zeichenketten wie PDT oder CET bedeuten nichts

  • Zeitzonenkennungen können mehrdeutig sein, und viele Zeitzonen teilen sich dieselbe Kennung.

Wie werden Zeitzonen mit Sommerzeit dargestellt?

  • Die Regeln für die Umstellung auf Sommerzeit sind komplex, und Computer berechnen auf ihrer Grundlage die lokale Zeit.

Africa/Casablanca und Asia/Gaza folgen dem Mond, aber Zeitzonen folgen der Sonne

  • Marokko und Gaza passen ihre Sommerzeit an den Ramadan an; das wird hartkodiert.

America/Nuuk wechselt bei -1 Uhr in die Sommerzeit

  • Grönland beginnt die Sommerzeit zum selben Zeitpunkt wie Europa, aber in der Ortszeit beginnt sie um -1 Uhr.

America/Santiago und Africa/Cairo wechseln um 24 Uhr

  • Diese Zeitzonen wechseln um 24 Uhr in die Sommerzeit, was bedeutet, dass der nächste Tag beginnt.

Australia/Lord_Howe hat die seltsamste Sommerzeitumstellung

  • Lord-Howe-Insel hat eine Sommerzeitumstellung um 30 Minuten.

Zusammenfassung von GN⁺

  • Zeitzonen sind komplex, aber weil Computer sie implementieren müssen, sind sie nur innerhalb eines endlichen Rahmens seltsam.
  • Australia/Lord_Howe ist mit seiner Sommerzeitumstellung um 30 Minuten die ungewöhnlichste Zeitzone.
  • Dieser Artikel ist nützlich, um die Komplexität von Zeitzonen zu verstehen, und könnte für Programmierer interessant sein.
  • Ein Projekt mit ähnlicher Funktionalität ist tzdb.

1 Kommentare

 
GN⁺ 2024-10-31
Hacker-News-Kommentare
  • Die tz-Datenbank berechnet keine Zeitzonenübergänge vor dem Urknall. Zeitstempel vor dem Urknall sind physikalisch fragwürdig.

    • Zum Beispiel wendet Glib weiterhin die brasilianischen Regeln von 1913 an, um Zeitstempel für São Paulo zu berechnen.
    • Schaltsekunden vor dem Urknall sind ebenfalls nicht erlaubt.
  • Die Zeitzone Afrika/Addis_Abeba wird in Äthiopien von niemandem befolgt.

    • Einheimische verwenden die Zeit mit einem Offset von 6 Stunden.
    • Der AM-Zyklus beginnt im Morgengrauen, und der PM-Zyklus beginnt in der Dämmerung.
  • Es stimmt nicht, dass Programmiersprachen keine Minuten mit 61 Sekunden darstellen können.

    • Raku unterstützt Schaltsekunden.
    • DateTime.pm für Perl 5 unterstützt ebenfalls Schaltsekunden, was die Komplexität erhöht.
    • Schaltsekunden werden kaum verwendet und erhöhen die Komplexität des Codes.
  • Die Zeitzone Asien/Jerusalem ist wegen religiöser und staatlicher Fragen komplex.

    • Aus religiösen Gründen wird die Sommerzeit jedes Jahr in Verhandlungen festgelegt.
    • Es gibt Ausnahmen, damit die Sommerzeit nicht an Rosch ha-Schana endet.
  • Erfahrung beim Schreiben einer Funktion, die anhand einer US-Adresse die Ortszeit findet.

    • Staaten statisch Zeitzonen zuzuordnen ist wegen Edge Cases schwierig.
    • Es wurde eine CSV-Datei gekauft und verwendet, die ZIP-Codes und UTC-Offsets zuordnet.
    • Wegen US-Überseegebieten und Militärbasen gibt es komplexe Zeitzonen.
  • In Palästina kündigt die Regierung jedes Jahr Beginn und Ende der Sommerzeit ohne feste Daten an.

    • Ankündigungen mit weniger als einer Woche Vorlauf können verschiedene Probleme verursachen.
  • Interessante Lektüre zur Flexibilität von Zeitzonen-Software.

    • Sommerzeitregelungen müssen nicht auf Anpassungen um 60 Minuten beschränkt sein.
    • Ein Land kann über das Jahr hinweg fortlaufend wechselnde Offsets haben.
  • Wenn Regierungen die Sommerzeit abschaffen und im folgenden Jahr die Zeitzone verschieben, führt das zu Verwirrung.

    • Bei der Android-App-Entwicklung gab es Probleme wegen der in das System-Image eingebetteten Zeitzonendatenbank.
  • Die tz-Datenbank ist ein diff eines diff der Abweichung zu UTC.

    • Es werden Updates vorgenommen, und das Changelog wird in git gespeichert.
    • Man kann es als diff^4 ausdrücken.
  • Ein Sommerzeitunterschied von 30 Minuten ist nicht die seltsamste Zeitzone.

    • Antarktis/Troll, Marokko und Gaza haben Regeln, die Systeme nicht darstellen können.
    • Schaltsekunden sind für Programmierer nicht nützlich und werden meist ignoriert.