В фейсбуке попросили рассказать о том, что люди пишут в бот

Когда только регистрировал аккаунт для бота, все вменяемые никнеймы были заняты — именно поэтому пришлось взять громоздкий и некорректный с точки зрения языка @jew_calendar_bot.

Но несколько недель назад, просматривая поиск на предмет конкурентов (которые, кстати, либо работают только в сша либо мертворожденные), я обнаружил, что освободился прекрасный никнейм @zmanim_bot.
Естественно, я его сразу же забрал, теперь надо запланировать переезд.

Что сейчас происходит:

Я полностью переписываю бота. На это есть несколько причин. Самая простая и понятная людям, далёким от программирования — в новой версии я смогу добавлять функции и править ошибки, не погружаясь при этом в ад и тонны кода.

Иначе говоря, если раньше я раз в год-полтора выпускал большое обновление, то в будущем это будут микрообновления: добавить фичу, починить или улучшить что-то, и так далее.

Внешне для пользователя вроде как особо ничего не изменится, разве что по мелочи.
Как раз после того как закончу с этим, займусь переездом на новый ник.

Ладно, это заняло сильно больше времени чем я думал
Но, кажется это наконец произошло, и завтра будет большой апдейт
А избранные, которые подписались сюда до того как это стало модно, могут потыкать кнопки уже сегодня.
Ура, и добро пожаловать: @zmanim_bot

Ну, добро пожаловать

Примерно так выгдядит новая система обратной связи

В коментах под этим постом можно рассказать, чего вам вообще не хватает в боте. Высказывайте свои пожелания, посмотрим, что из этого можно будет реализовать

Сразу скажу, сортировка зманим по времени и мишеякир скоро будет

Zmanim bot v3.0.1

- добавил еврейскую дату в зманим
- исправил ошибку с датами израильских праздников
- исправил пару неправильных текстов

Zmanim bot v3.0.2

- зманим отсортированы по времени
- исправил баг когда после 00:00 могло быть отставание даты из-за часового пояса на сервере

Zmanim bot v3.0.3

- добавил (наконец-то) Мишеякир (самое раннее время талита и тфилин) в список Зманим

У меня есть сейчас несколько направлений работы над ботом:

1) Исправления. Как правило, это не явные ошибки или баги (потому что такие я стараюсь исправлять сразу), но и новыми фичами это назвать тоже нельзя, потому что так и задумано изначально

2) Мелкие улучшения и функции: такие вещи несложно добавить, они не требуют особой проектировки, достаточно вечер над ними посидеть

3) Большие фичи. Такие надо сначала продумывать, потом какое-то время реализовывать, и еще отдельно тестировать.

Чуть позже сделаю голосовалку по приоритетам задач всех видов

Для больших и средних изменений, которые неплохо бы сначала потестировать с добровольцами, есть отдельная бета-версия: @zmanim_beta_bot

Сейчас залил туда новую версию, в которой на большей части картинок перенёс даты в заголовок. Посмотрите, кому интересно — может быть на самом деле это не так удобно, как мне кажется?
Пишите, что думаете

Прикольно, люди отписываются если в канал делать посты
Почему-то мне казалось, что это должно было работать наоборот

Ну и ладно, остаются самые классные 💪🏻💪🏻

Ладно, кажется с ивритом я погорячился - это сложно и надолго (но будет)

Шавуа тов!

В бете (@zmanim_beta_bot) уже можно попробовать новую функцию - под шаббатами, праздниками (йом товами) и постами теперь есть кнопки со зманим на все упомянутые на картинке дни

Если не найдем ошибок, через день-два обновлю основную версию

Вечер удивительных историй, или почему у части израильских пользователей могли быть проблемы с переходом на зимнее время:

Почему программисты ненавидят работать с часовыми поясами

Вводная для тех, кто не знает что такое таймзона: помимо часовых поясов, существует такое понятие, как временная зона (timezone) - это такая запись в специальной базе данных, которая определяет некоторую территорию, ее часовой пояс и административное время. Скорее всего, вы сталкивались с таймзонами, если выбирали часовой пояс на смартфоне — там их сильно больше чем 24, и в названии у них обычно есть название города. Подробнее можно почитать тут: https://ru.wikipedia.org/wiki/Tz_database

В Израиле есть три таймзоны: Asia/Tel_Aviv, Asia/Jerusalem, и Asia/Hebron.
Вчера, перед шаббатом, мне написал один из пользователей моего @zmanim_bot, спросив, почему у него бот не перешел на зимнее время. Я долго пытался понять, в чем проблема — я как бы тоже в Израиле, и у меня бот работает нормально.

Загадка номер раз:
Asia/Hebron — странная зона. В некоторых базах ее нету, зато есть некая Asia/Gaza. Но прикол в том, что на момент проверки (в пятницу 30 октября) в обеих было +час по отношению к израильскому времени.
Загадка номер два:
С сегодняшнего числа время совпадает.
Понятия не имею, почему — это точно не странные условия моего компьютера, я проверил на нескольких сайтах, показывающих время для разных таймзон.

В общем, в своем приложении я это починил, но как это, блин, работает, я так и не понял.
В принципе, это еще одна история из десятков на тему того, почему программисты ненавидят работать с таймзонами.

P.S. для желающих поэксперементировать самостоятельно — возьмите координаты 31.69, 35.10