Pour la science (№ 412)
Mar. 13th, 2012 12:54 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
green_frДосье номера — отмена високосной секунды (а я заодно узнал о её существовании).
Прекрасный пример того, что мир очень сложно описать простыми и удобными формулами. Сделаешь интуитивно понятно — время плясать начнёт (рано или поздно солнце будет светить в полночь). Сделаешь по-другому интуитивно понятно — программисты проклянут.
Интересно, кстати, как эти високосные секунды в разных языках программирования реализованы?
Прекрасный пример того, что мир очень сложно описать простыми и удобными формулами. Сделаешь интуитивно понятно — время плясать начнёт (рано или поздно солнце будет светить в полночь). Сделаешь по-другому интуитивно понятно — программисты проклянут.
Интересно, кстати, как эти високосные секунды в разных языках программирования реализованы?
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2012-03-13 12:57 pm (UTC)no subject
Date: 2012-03-13 01:50 pm (UTC)Смотри: таймер в ОС считает секунды с какого-то момента, начала отсчёта. Если моя ОС учитывает високосные секунды, а твоя нет, то одна и та же дата, записанная где-то, будет проинтерпретирована по-разному.
no subject
Date: 2012-03-13 02:02 pm (UTC)Это существенно? По-моему не существует ситуаций, когда это может быть действительно важно - кроме астрономии. везде в другх местах важна относительная синхронизация и относительные времена.
Ну разве что анекдот, когда человек меняет страховщика с такой-то даты, и ровно в полночь с ним что-то случается. Но фиксация с точностью до секунды и то проблема... Кстати, если не путаю, как написаны бумаги - страховки кончаются без минуты полночь, а начинаются минутой позже. секунда тут не поможет.
Более того, это хорошо в пределах точности большинства часов. Я фанат, и у меня на всех компах стоит синхронизация с ручной настройкой. 2-3 секунды в день поправка - легко.
no subject
Date: 2012-03-13 02:11 pm (UTC)no subject
Date: 2012-03-13 02:23 pm (UTC)no subject
Date: 2012-03-13 02:43 pm (UTC)Особенно это забавно, когда речь идет, например, о продаже самолетов в Великобритании. Для борьбы с какими-то махинациями закон требует физического присутствия самолета в UK - соответственно самолет прилетает, делает пару кругов возле берегов пока оформляют бумаги у улетает.
no subject
Date: 2012-03-13 03:13 pm (UTC)- на техпаспорте пишется рукой "продано dd/mm/yyy hh24:mi"
- у страховщиков тот же формат "договор вступает в силу с dd/mm/yyy hh24:mi"
no subject
Date: 2012-03-13 03:15 pm (UTC)no subject
Date: 2012-03-13 03:20 pm (UTC)- продавец деньги получил до этого времени.
- у покупателя есть 60 секунд чтобы наделать глупости :)
no subject
Date: 2012-03-14 08:37 am (UTC)no subject
Date: 2012-03-13 03:35 pm (UTC)no subject
Date: 2012-03-13 03:58 pm (UTC)no subject
Date: 2012-03-13 04:04 pm (UTC)- На моем контракте страховки стоит "вступает в силу 04/03/2012 14:00"
no subject
Date: 2012-03-13 04:23 pm (UTC)no subject
Date: 2012-03-13 04:26 pm (UTC)Но если учесть что 300 км я гнал мот не застрахованным то было бы забавно отыгрывать что-то произошедшее за эти несколько часов.
no subject
Date: 2012-03-13 05:34 pm (UTC)no subject
Date: 2012-03-14 01:22 pm (UTC)У меня в Гейко Огайо только даты.
no subject
Date: 2012-03-13 02:45 pm (UTC)И кстати, отмена високосных секунд есть благо для таких ситуаций - поскольку они добавляются (добавлялись?) по факту расхождения, то алгоритма предсказывающего когда надо добавить не существует, только как оно было в прошлом.
no subject
Date: 2012-03-13 03:33 pm (UTC)no subject
Date: 2012-03-13 05:29 pm (UTC)Все-таки эти секунды скорее похожи на то, чтобы добавляли вместо одного дня в 4 года - по пол-часа каждый месяц.
no subject
Date: 2012-03-14 08:46 am (UTC)no subject
Date: 2012-03-13 03:11 pm (UTC)no subject
Date: 2012-03-14 09:48 am (UTC)no subject
Date: 2012-03-14 12:30 pm (UTC)no subject
Date: 2012-03-14 12:34 pm (UTC)