[00:00:06] <ada_ru> (Максим) https://www.adacore.com/papers/controlling-costs-with-ada
[00:00:37] <ada_ru> (Максим) Это сравнение языков, вышло в прошлом году и ты его видел 😄
[00:15:05] <ada_ru> (I_vlxy_I)  отвечает (Максим) на <Это сравнение языков…>
это исследование отзывов, а не прямой эксперимент. немного разные вещи
[00:15:59] <ada_ru> (Максим) но это исследование
[00:16:50] <ada_ru> (I_vlxy_I) да, но на другую тему. кроме того, где исходные данные, чтобы полученную статистику можно было бы самому посчитать.
[00:17:37] <ada_ru> (I_vlxy_I) и у меня есть подозрение, что у авторов был конфликт интересов например
[00:20:05] <ada_ru> (I_vlxy_I) это исследование пока не выглядит более авторитетным чем те исследования, что например stackoverflow публикует.
[00:20:11] <ada_ru> (I_vlxy_I) или github
[00:20:28] <ada_ru> (I_vlxy_I) особенно с учетом того, что у so и у github точно нет конфликта интересов.
[00:22:47] <ada_ru> (I_vlxy_I) в принципе, я понимаю почему нет исследований - такие исследования реально сложно проводить (сложно поставить чистый воспроизводимый эксперимент), они требуют подготовки и хорошего финансирования.

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

ждем очередного обострения у какого-нибудь DoD'а на эту тему, чтобы он профинансировал исследования.
[00:28:05] <ada_ru> (I_vlxy_I) особенно я не представляю как поставить эксперимент на тему применимости и влияния языка при разработке больших проектов.
[00:58:26] <ada_ru> (I_vlxy_I) еще раз - сказанное не только к Аде относится. Это относится и к Расту и к любому другому языку, когда кто-то заявляет что у него какие-то такие выдающиеся особенности которые сделают разработку сказочной просто.
[00:59:18] <ada_ru> (I_vlxy_I) типа там функциональщики очень любят махать надежностью выразительностью и скоростью разработки. haskell там и проч
[00:59:45] <ada_ru> (I_vlxy_I) при этом приводят много умозрительных аргументов но ни одного исследования не приводят.
[01:00:49] <ada_ru> (I_vlxy_I) то же относится и к методологии ведения разработки, паттернам и проч. к кодинг-стайлам для тех же плюсовиков.
[01:15:43] <ada_ru> (Лекс) Вообще не понимаю людей которые выбирают си с крестами, это же семантическая помойка и хороший пример того, как языки делать не нужно.
[01:20:42] <ada_ru> (I_vlxy_I) адскую концентрацию ненависти в тебе чувствую я...
[01:20:58] <ada_ru> (Лекс) Молодежь как всегда считает, что деды были глупыми и ничего не понимали в жизни. Писать грамотно молодеж не умеет, но настроения революционные
[01:21:28] <ada_ru> (Лекс) Где-то и о современном айти в не меньшей степени.
[01:21:35] <ada_ru> (I_vlxy_I) молодежь как раз ц++ не выбирает - ц++ это язык дедов уже давно 🙂
[01:22:00] <ada_ru> (Лекс)  отвечает (I_vlxy_I) на <адскую концентрацию …>
Я сам Дьявол, что поделать
[01:22:38] <ada_ru> (I_vlxy_I) а ц++ часто выбирают там, где важна скорость. альтернатив как бы не шибко много так то.
[01:23:04] <ada_ru> (I_vlxy_I) ну и когда очень важна максимальная интеграция с сишным котом
[01:31:47] <ada_ru> (Лекс) Помниться когда-то давно, когда я ходил в школку я писал на C99 и ненавидел C++ за его прожорливости и тормоза. Кто ж знал, что через пару лет будут пейсать на js и жрать оно будет по гигу на старте...
[01:34:26] <ada_ru> (Лекс) минутка классики https://www.youtube.com/watch?v=1S1fISh-pag
[01:56:27] <ada_ru> (I_vlxy_I)  отвечает (Лекс) на <Помниться когда-то д…>
ты просто кресты не умел готовить 🙂

тормоза там только при компиляции, так то. относительно Си
[01:58:29] <ada_ru> (I_vlxy_I) ну и обычно выбирают таки не язык, а область деятельности или вообще конкретный проект, и какой там язык принят, такой и выбирают.
[02:26:55] <ada_ru> (I_vlxy_I) вообще, разработка ПО это занятие для стаи. если ты не можешь найти стаю для своего проекта на языке ХХХ, то, скорее всего, проекту хана.
[02:58:44] <ada_ru> (I_vlxy_I) ну и если не найдешь свою стаю, то тоже хана.
[07:32:24] <ada_ru> (Lieutenant_Commander_Data) Раст не нужен
[07:32:27] <ada_ru> (Lieutenant_Commander_Data) Си тоже не нужен
[07:32:29] <ada_ru> (Lieutenant_Commander_Data) только
[07:32:31] <ada_ru> (Lieutenant_Commander_Data) АДА
[07:32:47] <ada_ru> (Lieutenant_Commander_Data) Господи, храни Аду!
[10:26:35] <nordwind> Из всего вашего обсуждения, только девчонка на картинке была хороша ;)
[10:48:13] <ada_ru> (I_vlxy_I)  отвечает на <(nordwind) Из всего …>
это на какой?
[11:19:15] <nordwind> (vivian) картинка https://www.ada-ru.org/files/bot/2019-08-31-x1.jpg

[11:19:27] <nordwind> ;)
[11:25:42] <ada_ru> (Gourytch)  отвечает (Lieutenant_Commander_Data) на <Господи, храни Аду!>
"хранить в тёмном сухом прохладном месте. не разбирать и не давать детям" =)
[12:24:56] <ada_ru> (I_vlxy_I)  отвечает (Gourytch) на <"хранить в тёмном су…>
Не давать детям и хипстерам
[12:31:58] <ada_ru> (I_vlxy_I) Что-то в истории не нахожу эту картингу
[13:36:06] <nordwind> Она только в жабере осталась похоже
[14:38:52] <ada_ru> (Лекс) https://muen.sk/ верифицированный гипервизор на Spark и Ada :) Минутка дроча
[14:52:34] <ada_ru> (Anonymus62)  отвечает (Лекс) на <https://muen.sk/ вер…>
Класс.
Ещё бы и поддержку Windows x64 в виртуалках.
Тогда, можно былобы подумать о заводе его в проде.
[14:54:13] <ada_ru> (Лекс) Зачем шиндош, он же дырявый весь?
muen умеет юникернелы на окамле (mirageos), вот это круто
[14:55:50] <ada_ru> (Anonymus62)  отвечает (Лекс) на <Зачем шиндош, он же …>
хотя, если на хост виртуализацит, где швиндовз не нужен, то топ.
наверное, попробую через пару неделек.
[14:58:07] <ada_ru> (Лекс)  отвечает (Anonymus62) на <хотя, если на хост в…>
ништяк, расскажите потом об опыте?

Мне пока даже собрать негде)
[15:05:05] <ada_ru> (Anonymus62)  отвечает (Лекс) на <ништяк, расскажите п…>
Ок, серв где-то через пол месяца придёт.
Он у меня по плану на хост виртуализации.
Windows Serever-ы перенесу на другую железяку, а сюды линь.

Когда придёт точно - хз.
Он идёт по частям из разных стран мира.
Обещали, что придёт неделю назад.
До сих пор нет.
[15:14:37] <nordwind> Что за сервер?
[15:18:01] <ada_ru> (Anonymus62)  отвечает на <(nordwind) Что за се…>
админом работаю, разрабы достали начальство, им выделили финансы на билд сервер, ну я и решил, что k8s+kvm для разрабов будет самый топ.
Посоветовался с колегой, ну и взяли сервачок, хен 2проца, каждый 6(12тредов), 128 оперативы, супермикро мать.
и наверно рейд 1 подниму на двух 4тб wd.
[16:05:45] <ada_ru> (Лекс) от ещё забавный бложик 'Java 2 Ada' https://blog.vacs.fr/vacs/
[16:07:31] <ada_ru> (Лекс) http://gnoga.com/#tools богом забытая облачная платформа (2017 последняя версия)
[16:23:48] <ada_ru> (Gourytch)  отвечает (Лекс) на <https://muen.sk/ вер…>
круть.
и всего-то 2.6 гига в репозитарии с подмодулями...
пойду глядеть, что там такого наворочено
[16:24:54] <ada_ru> (Лекс) всего-то? О_О я явно живу в прошлом
[17:22:24] <ada_ru> (I_vlxy_I) Это же не объём исходников, а размер репозитория
[17:22:35] <ada_ru> (I_vlxy_I) Это же не svn
[17:24:23] <ada_ru> (Лекс) ну да, что-то затупил
[17:28:48] <ada_ru> (Anonymus62) 874 метра - это сурсы ядра линукс, насколько сильно они его переделали - хз.
[17:41:49] <ada_ru> (Максим) > muen умеет юникернелы на окамле
Вот бы ещё кто-то замутил юникернелы на Аде
[17:43:09] <ada_ru> (Максим) Насколько я помню виртуализация в muen целыми процессорами.
[17:43:28] <ada_ru> (Anonymus62) А их кто-то использует?
я, ни разу не встречался.
[17:45:04] <ada_ru> (Anonymus62) Но идея классная.
[17:46:45] <ada_ru> (I_vlxy_I)  отвечает (Максим) на <> muen умеет юникерн…>
или прямо сразу на SPARK'e
[17:46:55] <ada_ru> (Лекс)  отвечает (Максим) на <> muen умеет юникерн…>
как раз тоже об это подумал)
[17:47:45] <ada_ru> (Лекс)  отвечает (I_vlxy_I) на <или прямо сразу на S…>
ага, даёшь формальную верификацию в веб-приложения!
[17:48:20] <ada_ru> (Максим) А есть где-то описание, какое окружение у юникернела? Ну какие драйвера он должен уметь, например
[17:48:24] <ada_ru> (I_vlxy_I)  отвечает (Лекс) на <ага, даёшь формальну…>
ну, от всех ошибок это бы не избавило, но ряд уязвимостей вымер бы как класс.
[17:49:11] <ada_ru> (Лекс)  отвечает (Максим) на <А есть где-то описан…>
можно посмотреть как пример MirageOS, у них вроде есть доки нормальные
[17:49:28] <ada_ru> (Максим) Интересная была бы задачка. Жаль нет времени совсем на нее :(
[17:56:28] <ada_ru> (I_vlxy_I) а такое зашло бы в Make With Ada?
[17:58:41] <ada_ru> (Максим) я хз, честно
[18:13:56] <ada_ru> (I_vlxy_I) кстати, про железные дороги: Russian Railway Simulator (RRS): первый публичный релиз
[18:14:01] <ada_ru> (I_vlxy_I) https://habr.com/en/
[18:14:20] <ada_ru> (I_vlxy_I) https://habr.com/en/post/465689/
[18:26:24] <ada_ru> (I_vlxy_I) можно думаю адски автоматизировать вождение 🙂 благо симулятор то вот он, есть!
[18:30:24] <ada_ru> (Лекс) думаю, что задачу такого уровня не хитро и на луа решить
[18:33:46] <ada_ru> (I_vlxy_I) смотря как её поставить
[18:34:47] <ada_ru> (I_vlxy_I) то есть для начала может быть сильно разный набор входных данных, то есть набор сенсоров
[18:35:00] <ada_ru> (I_vlxy_I) в крайне упоротом случае на вход может идти только данные с камеры.
[18:35:15] <ada_ru> (I_vlxy_I) а визуальная одометрия это та еще задачка
[18:35:31] <ada_ru> (I_vlxy_I) и распознование всякие стрелок/светофоров и проч
[18:36:05] <ada_ru> (Лекс) стрелки и светофоры как раз управляются системой логистики
[18:36:39] <ada_ru> (I_vlxy_I) когда ты едешь на паровозе тебе нужно знать где эти стрелки расположены
[18:36:47] <ada_ru> (I_vlxy_I) ты не можешь просто топить прямо не задумываясь об этом
[18:37:24] <ada_ru> (I_vlxy_I) особенно если у тебя маневровый паровоз 🙂
[20:05:00] <ada_ru> (LAURA) картинка https://www.ada-ru.org/files/bot/2019-09-01-x2.jpg
[20:05:10] <ada_ru> (LAURA) bxjcojncnbznt srpcsco
[20:05:37] <ada_ru> (Anonymus62) Может, стоит ввести защиту от ботов?
[20:06:13] <ada_ru> (Лекс)  отвечает (Anonymus62) на <Может, стоит ввести …>
написать бота антибота на аде :)
[20:06:29] <ada_ru> (Anonymus62)  отвечает (Лекс) на <написать бота антибо…>
Именно.
:-)
[20:06:43] <ada_ru> (Лекс) с машинным обучением и куртизанками
[20:29:59] <ada_ru> (I_vlxy_I) крипота казанская
[20:30:42] <ada_ru> (I_vlxy_I)  отвечает (Лекс) на <написать бота антибо…>
кстати, был бы крутой коммерческий проект
[20:31:01] <ada_ru> (I_vlxy_I) вне зависимости от ЯП реализации
[21:20:58] <ada_ru> (Лекс) угу, и продавать не самого бота, а запуск бота с нашего облака на чей-либо канал
[21:33:42] <ada_ru> (I_vlxy_I) да. такие сервисы есть
[21:33:56] <ada_ru> (I_vlxy_I) для разных штук в телеге
[23:25:14] <ada_ru> (Максим)  отвечает (Anonymus62) на <Может, стоит ввести …>
В адару-шном боте есть защита, нужно ее допилить чтобы на картинки реагировала