[01:30:20] <ada_ru> (I_vlxy_I)  отвечает (Максим) на <Ура! Я запилил тест …>
кидает на страницу логина
[01:30:58] <ada_ru> (I_vlxy_I) картинка https://www.ada-ru.org/files/bot/2020-02-23-x40.jpg
[14:57:35] <ada_ru> (vasil_sd)  отвечает (Максим) на <Ура! Я запилил тест …>
Это хорошо!

А что можешь рекомендовать для быстрого погружения в cirleci. И какое мнение у тебя об этой платформе в целом?
[14:59:51] <ada_ru> (Максим) Ну мне она понравилась, что там всёё срезу начинается с Docker. Хотя сейчас появились GitHub Actions, может стоит с ними разобраться, там 6 часов вроде лимит на открытые проекты
[15:00:38] <ada_ru> (Максим) мне показалось, что CircleCI быстрее собирает, чем Travis почему-то
[15:01:48] <ada_ru> (Максим) В свое время я выбрал CircleCI, потому, что боялся невлесть в лимит времени на одну сборку в Travis в 50 минут
[15:02:14] <ada_ru> (Максим) У CircleCI один лимит на всю неделю
[15:03:01] <ada_ru> (vasil_sd) Ясно. Думаю тоже попробовать настроить CI workflow.

А там насколько сложно будет настроить сборку, тесты и гнатпрув на базе GNAT GPL ?
[15:03:47] <ada_ru> (vasil_sd) Я бы хотел попробовать настроить CI так, чтобы коммиты в мастер-ветку только после гнатпрува шли.
[15:05:19] <ada_ru> (Максим) ну поставить GPL несколько сложновато из-за QtInstaller-а, нужны X-вые библиотеки и скрипт установщика. Да не особо сложно. Могу помочь, если что
[15:06:31] <ada_ru> (vasil_sd)  отвечает (Максим) на <ну поставить GPL нес…>
А ты GNAT через стандартный установщик ставил?

А если я соберу свой контейнер с тулчейном, там можно его использовать для сборки будет?
[15:07:01] <ada_ru> (Максим) Т.е. как бы два этапа, 1) нужен докер имидж с установленным софтом 2) нужен какой-то Makefile, который будет запускаться при комитах
[15:07:40] <ada_ru> (Максим) Гнат я ставлю по разному. В зависимости от того, какой нужен
[15:07:46] <ada_ru> (vasil_sd) А ты через свой докер-образ делал?
[15:07:51] <ada_ru> (Максим) да
[15:07:57] <ada_ru> (vasil_sd) ясно
[15:08:07] <ada_ru> (vasil_sd) А образ куда закачивал?
[15:08:13] <ada_ru> (Максим) этих образов уже у меня собралась пачка
[15:08:27] <ada_ru> (Максим) образы все хранятся на Docker hub
[15:09:00] <ada_ru> (vasil_sd) Ясно, а они же там расшаренные? То есть я могу взять какой-нибудь твой для сборки?
[15:09:07] <ada_ru> (Максим) Даже можно Docker Hub научить самому собирать образ из Dockerfile
[15:09:27] <ada_ru> (Максим) у меня нет gnatprove нигде
[15:09:41] <ada_ru> (vasil_sd) ага, ну ок.

Тогда свой сделаю
[15:11:18] <ada_ru> (Максим)  отвечает (Максим) на <Даже можно Docker Hu…>
Для этого нужно сделать репозиторий, положить туда Dockerfile и натравить на него Docker Hub, он будет строить образ по Dockerfile. Можно иметь несколько веток, будет по docker tag-у на каждую ветку
[15:11:57] <ada_ru> (vasil_sd)  отвечает (Максим) на <Для этого нужно сдел…>
Ага. Ну я когда-то собирал образы для хаба, думаю вспомню...
[15:12:03] <ada_ru> (Максим) Либо можно не заморачиваться с Dockerfile вообще, а собрать руками в контейнере всё что хочется и сделать docker push
[15:12:44] <ada_ru> (vasil_sd)  отвечает (Максим) на <Либо можно не замора…>
Да, я обычно push'ил контейнеры. Из репы ещё не собирал
[15:13:59] <ada_ru> (Максим) Вот тут что-нибудь можно посмотреть https://bitbucket.org/reznikmm/gnat/src/gpl.2019.slim/
[15:14:14] <ada_ru> (vasil_sd) Ага, спасибо!
[15:14:49] <ada_ru> (Максим)  отвечает (vasil_sd) на <Да, я обычно push'ил…>
Dockerfile лучше тем, что если потом понадобиться образ пересобирать, то легче будет вспомнить, что и как ставилось.
[15:14:59] <ada_ru> (vasil_sd) Сейчас глянул тарифные планы circleci. Судя по всему, пруверы будут кредиты сжигать с огромной скоростью :(
[15:15:31] <ada_ru> (Максим) Попробуй тогда GutHub Actions
[15:15:33] <ada_ru> (vasil_sd)  отвечает (Максим) на <Dockerfile лучше тем…>
Ну, локально-то я через Dockerfile и собирал. Потом пушил
[15:16:08] <ada_ru> (Максим) Там вроде тоже через докер всё, но я ещё не разбирался как
[15:16:31] <ada_ru> (vasil_sd) Ок, посмотрю. Сейчас пока читаю по circleci доки.
[15:17:05] <ada_ru> (Максим) Этих CI полно разных, приблизительно одинаковые все дают возможности
[15:19:49] <ada_ru> (vasil_sd) Кстати, для опен-сорса у них вроде хорошее предложение: CircleCI will be offering organizations on our free plan 400,000 credits per month to use on medium Docker compute for open source repositories, but they can only be spent on Linux compute.
[15:33:47] <ada_ru> (vasil_sd) Почитал про circleci и так и не понял, какие реально они ресурсы выделяют. Нигде не нашёл сколько попугаев у них в vCPU.
[15:35:04] <ada_ru> (vasil_sd) Думаю всё-таки нужно обзаводиться личным сервером, тем более, что есть много на рынке недорогих б/у серверов.
[15:35:49] <ada_ru> (vasil_sd) А то то. как я гоняю солверы постоянно, по тарифным планам circleci будет весьма дорого
[15:36:11] <ada_ru> (I_vlxy_I) Ждём CI/CD от яндекса в облаке! Ну и хостинг проектов
[15:36:43] <ada_ru> (I_vlxy_I)  отвечает (vasil_sd) на <А то то. как я гоняю…>
У тебя да, атипичный сценарий
[15:37:02] <ada_ru> (vasil_sd)  отвечает (I_vlxy_I) на <Ждём CI/CD от яндекс…>
Ага, видел я эти облака изнутри. Не, спасибо, не нннада :)
[15:37:27] <ada_ru> (I_vlxy_I)  отвечает (vasil_sd) на <Ага, видел я эти обл…>
Будто у гитхаба какого лучше :-)
[15:37:41] <ada_ru> (I_vlxy_I) Внутреннюю кухню часто лучше не знать
[15:38:04] <ada_ru> (vasil_sd)  отвечает (I_vlxy_I) на <Будто у гитхаба како…>
У амазона лучше, во всяком случае, мне так кажется ;)
[15:38:18] <ada_ru> (I_vlxy_I)  отвечает (vasil_sd) на <У амазона лучше, во …>
Ты там работал? ;-)
[15:39:36] <ada_ru> (vasil_sd)  отвечает (I_vlxy_I) на <Ты там работал? ;-)>
Нет, поэтому и написал, что кажется.
У них John Harrison в AWS работает. В Яндексе сопоставимых разработчиков в облаке даже близко нет.
[15:39:53] <ada_ru> (I_vlxy_I) :-D
[15:40:15] <ada_ru> (I_vlxy_I) Кто там где работает из звёзд не особо важно на самом деле
[15:40:49] <ada_ru> (I_vlxy_I) Проект достаточно большой, чтобы отдельные личности не могли повлиять на систему в целом
[15:40:56] <ada_ru> (I_vlxy_I) Если это не менеджер конечно
[15:41:12] <ada_ru> (vasil_sd)  отвечает (I_vlxy_I) на <Кто там где работает…>
Эти 'звёзды' привлеченные к определённым частям проекта могут дать существенное качественное улучшение.
[15:41:29] <ada_ru> (geniepro) если трамвайный фактор равен единице, то хана этому проекту ))
[15:42:42] <ada_ru> (vasil_sd)  отвечает (geniepro) на <если трамвайный факт…>
Тут вопрос в школе. Туполев когда начинал своё бюро, или Миль, у них тоже вначале bus-factor был плохой, но потом выросли новые инженеры и продолжили работу
[15:43:05] <ada_ru> (Sergei) это вы про что-то gitlab-подобное обсуждаете ?
[15:43:27] <ada_ru> (vasil_sd)  отвечает (Sergei) на <это вы про что-то gi…>
Нет, витаем в облаках :)
[15:44:02] <ada_ru> (I_vlxy_I)  отвечает (vasil_sd) на <Тут вопрос в школе. …>
А это чел в Амазоне - основатель разве? Он же просто инженер, скорее всего пришлый. Думаешь там успела появиться школа?
[15:45:32] <ada_ru> (vasil_sd)  отвечает (I_vlxy_I) на <А это чел в Амазоне …>
Я к тому, что в амазоне есть определённая группа инженеров с определёнными компетенциями привлеченная на серьёзные работы по базовой архитектуре облака.
Сформируется там школа или нет - будет видно.
В Яндексе такой группы даже близко нет. И нет понимания многих вещей, понимание которых есть у амазона
[15:46:41] <ada_ru> (Sergei) Apache SPARK - это тоже облако, или это другое?
[15:47:24] <ada_ru> (vasil_sd) У амазона есть понимание того, что репутация при придоставлении инфры для бизнеса - это залог успешной работы.
У Яндекса же понимание на уровне - ну накосячили, ну ладно, дадим пострадавшим клиентам по 2 месяца бесплатного пользования облаком...
[15:48:22] <ada_ru> (I_vlxy_I)  отвечает (vasil_sd) на <Я к тому, что в амаз…>
Важно не что там инженеры себе думают, а что думают и как организуют менеджеры. И что и как делают маркетологи.
[15:49:20] <ada_ru> (vasil_sd)  отвечает (I_vlxy_I) на <Важно не что там инж…>
А я и не говорил, что понимание у инженеров, а не у менеджмента.
Там менеджмент в первую очередь грамотный и именно поэтому и привлекли группу этих инженеров к работам
[15:50:36] <ada_ru> (vasil_sd)  отвечает (Sergei) на <Apache SPARK - это т…>
Тут без понятия. Я только в Ada/SPARK разбираюсь :)
[18:29:16] <ada_ru> (Sergei)  отвечает (vasil_sd) на <Тут без понятия. Я т…>
я в этой связи только занимаюсь denotational semantic и изучаю работы Dana Scott по semantic domains.
[18:56:20] <ada_ru> (vasil_sd)  отвечает (Sergei) на <я в этой связи тольк…>
Денотационная - это которая отражает выражения на языке в какую либо матмодель/теорию?
[18:56:50] <ada_ru> (Sergei) da
[23:20:44] <ada_ru> (Максим) https://heisenbugltd.github.io/Saatana/