[00:04:48] <ada_ru> (Лекс) было бы конечно не плохо
[06:42:06] <OCTAGRAM> Лекс: фротенд на Аде и на васме как в смысле одновременно? http://forum.pascal.net.ru/index.php?showforum=63
я тут что-то замутить пытаюсь на эту тему, но фиговый из меня руководитель пока, работу-то сделанную вообще-то принимать и тестировать надо, а у меня основная работа и ещё всего до кучи, и я сдулся. но задания продолжаю выдавать. не знаю, может, забить на магистратуру, время она жрёт, а приведёт ли она вообще меня на то место, где я смогу заниматься любимым делом
160килорублей в месяц, сейчас Петербург, а вообще в Китай хочу
[07:02:02] <OCTAGRAM> бэкенд делал, вот, например, сыроедофф.рф сделан как автоматический репост из Инстаграма
[07:02:53] <OCTAGRAM> JSON во всяких вариациях с CORS и JSONP делал
[07:06:47] <OCTAGRAM> разработанные мной адские сервера обеспечивают работу channelhopper.tv
заказчик в админке на PHP рулит пользователями и доменами, по JSON всё это рассылается на сервера, ну а там на Аде модули ядра и службы управляются
[11:09:17] <ada_ru> (I_vlxy_I) https://www.youtube.com/watch?v=SYqpeMW8Pek
Там бывают интересные доклады безотносительно языка.
[11:40:58] <ada_ru> (Eugene) значит доклады по оберону тебе показались неинтересными, а по с++ вдруг интересные???
[11:54:24] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <значит доклады по об…>
Я основной день когда были доклады, не смотрел. Может там и было что.
[11:54:52] <ada_ru> (I_vlxy_I) А на плюсовой конфе да, докладчики и доклады часто очень крутые.
[12:03:06] <ada_ru> (I_vlxy_I) Гошных вакансий просто тьма, кстати.
[12:03:36] <ada_ru> (I_vlxy_I) Например тут https://omprussia.ru/job.html#Golang
[12:16:04] <ada_ru> (Лекс) отвечает на <(OCTAGRAM) Лекс: фро…>
Круто 🤟 Ну фронт на васме у нас в совсем далёких планах.
Подскажите, где Вы задеплоили бакенд для сыроедофф?
Я так понимаю телеграма у Вас нет? Если Вы не против, я бы хотел иметь Ваши контакты на всякий случай
[12:23:53] <ada_ru> (Максим) Лекс я делал веб морду для ведения информации о кадастровых документах. сервер на матрешке а веб интерфейс на a2js. Демки сейчас нет онлайн, а они систему используют во внетренней сети. Зато исходники есть на https://forge.ada-ru.org/beard/
[12:28:01] <ada_ru> (Лекс) отвечает (Максим) на <Лекс я делал веб мор…>
Круто 👍
[12:32:46] <ada_ru> (Лекс) Где Вас найти я знаю)
[12:33:59] <ada_ru> (d_krasilnikov) это в Украине как аналог нашего Росреестра?
[12:35:26] <ada_ru> (Максим) отвечает (d_krasilnikov) на <это в Украине как ан…>
это какая-то местная часть реестра, только для одной области и только для каких-то своих нужд
[12:37:42] <ada_ru> (Максим) отвечает (Лекс) на <Круто 👍>
ну как круто. Хорошо, что работет и ею пользуются. Хотелось выстрадать какой-то тулкит на Аде, но так и не вышло. Зато удалось попробовать( поиграться) использовать DSA для описания интерфейса клиент-сервер
[12:43:51] <ada_ru> (Лекс) а что такое DSA?
[13:32:52] <ada_ru> (Максим) Distributed Systems Annex, он же Annex E, http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-E.html
[13:33:32] <ada_ru> (Максим) там описано, как разбить адскую программу на несколько частей, каждая из которых выполняется на отдельном устройстве
[14:00:41] <ada_ru> (I_vlxy_I) Типа организация кластера
[14:00:49] <ada_ru> (I_vlxy_I) Не путать с клиент-сервером
[14:18:36] <OCTAGRAM> bu_gen@octagram.name почта и джаббер
сервак линуксовый у Контабо купил
[14:21:38] <OCTAGRAM> DSA штука достаточно специфичная
обычно всё распределённое делают заменяемым, и Google ProtoBuf выезжал на том, что можно среднее звено не обновлять, расширяя типы, гоняемые через него, а Ада идеологически против изменений на ходу
все части DSA считаются одной программой и замене подлежат только целиком, если я правильно понимаю
для кораблей и самолётов такое подходит
[14:30:19] <ada_ru> (I_vlxy_I) У них сильно разные сферы применения
[14:30:57] <ada_ru> (I_vlxy_I) DSA - распределённая программа. А протобаф и gRPC - взаимодействие разных программ.
[15:10:03] <ada_ru> (Gourytch) На плюсы PVS вот есть, на гошку, грят, спрашивают, а на аду нету. И не известно.
Грусть
[15:14:01] <ada_ru> (FROL256) ИМХО такая вешь как PVS в принципе не нужна для Ады
[15:18:18] <ada_ru> (I_vlxy_I) отвечает (FROL256) на <ИМХО такая вешь как …>
Нужна.
[15:19:01] <ada_ru> (I_vlxy_I) Другое дело, что pvs даже для плюсов выдаёт такую массу false positive срабатываний, что прямо ой.
[15:19:46] <ada_ru> (I_vlxy_I) отвечает (FROL256) на <ИМХО такая вешь как …>
Более того, для Ады даже стандартизированный интерфейс для построения таких анализаторов имеется. И появился он сильно раньше чем pvs
[15:19:51] <ada_ru> (I_vlxy_I) ASIS
[15:42:07] <ada_ru> (Eugene) отвечает (Gourytch) на <На плюсы PVS вот ест…>
у адакоровцев есть статья (я её как-то репостил тут) про то, как они проверяют свой GNAT с помощью PVS
[15:42:43] <ada_ru> (Eugene) https://habr.com/ru/company/pvs-studio/blog/329270/
[16:21:11] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <у адакоровцев есть с…>
А это разве адакорная статья? Вроде pvs
[16:58:32] <ada_ru> (Eugene) вот оригинал https://blog.adacore.com/many-more-low-hanging-bugs
[17:06:16] <ada_ru> (FROL256) хм, интересно, не знал. Спс!
[17:26:04] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <вот оригинал https:/…>
А где там pvs? Все чекеры реализованы самостоятельно руками на базе libadalang
[22:21:55] <ada_ru> (Максим) > В ней упоминается PVS-Studio
[22:22:49] <ada_ru> (Максим) Никто ничего там не проверяет pvs
[22:40:08] <ada_ru> (Eugene) да, они там взяли сами алгоритмы проверок из набора тестов PVS, я попутал...
ну вот, есть же у адакоровцев свой аналог PVS
[22:57:37] <ada_ru> (I_vlxy_I) У Адакоровцев этих аналогов пачка 🙂 А у Ады как таковой - наверно уже лет 30 как эти аналоги существуют
[22:57:55] <ada_ru> (I_vlxy_I) Ведь их наличие - одно из требований для прохождения сертификации прикладного софта
[23:50:55] <ada_ru> (Gourytch) Сталбыть Превосходство Ады супротив плюсов )
[23:52:31] <ada_ru> (I_vlxy_I) у ады это все да, было сильно раньше. и более организовано
[23:52:39] <ada_ru> (I_vlxy_I) pvs это.. ну такоэ
[23:52:46] <ada_ru> (I_vlxy_I) СЛИШКОМ много false positive