• [^] # Re: Récurent

    Posté par (Mastodon) . En réponse au journal Leap second. Évalué à 7.

    par exemple des gars qui s'amuseraient à mesurer la vitesse de neutrinos et qui s'emporteraient pour rien à cause d'un problème de mesure

    Tu parles de deux groupes de gens différents là. Les scientifiques et les journalistes, respectivement pour la première et la deuxième partie de ta phrase.

    ça me parait moins compliqué que d'aller expliquer à tous les développeurs de la terre qu'ils doivent gérer ce cas là.

    Moins compliqué, peut-être (sauf pour ceux qui veulent le vrai temps), mais faux. Et si les développeurs lisaient la doc, ils seraient au courant. Par exemple dans ctime(3) :

    tm_sec

    The number of seconds after the minute, normally in the range 0 to 59, but can be up to 60 to allow for leap seconds.

    Je suis sûr que la doc java dit pareil.

    Sur les autres problèmes de temps, ça n'est pas la question : on peut virer ou non l'heure d'été, tant mieux ou temps pire, ça ne change pas le problème de la seconde. D'ailleurs, sur la journée intercalaire, on ne pas appliquer cette technique, sinon, au cours des journées précédentes, le soleil serait décalé par rapport à l'heure. Et si on l'ignorerait, on se retrouverait avec noël en plein été. Pour la petite histoire, lorsque le pape Grégoire X (pas 10, X pour je ne sais plus) à imposé son calendrier, il a zappé d'un coup le décalage accumulé en divisant la durée du mois courant par deux ! ce qui a eu des conséquences assez tordues sur la vie courante des gens : comment vous faites lorsque votre proprio vous réclame un loyer complet et que votre patron ne vous paie qu'un demi salaire ?

    Il y a un pays qui a changé récemment de fuseau horaire et qui a perdu un jour (un vendredi je crois) en traversant la ligne de séparation de jour (pour être le premier à fêter le nouvel an et pour être au même jour que ses partenaires commerciaux) Ce genre de détail était réglé la loi. (du genre les banques devaient payer des intérêts complets pour un mois, …)

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.