[00:17:09] <ada_ru> (I_vlxy_I) ну там же как минимум нужны биндинги к внутренним API ядра
[00:17:50] <ada_ru> (I_vlxy_I) https://github.com/alkhimey/Ada_Kernel_Module_Framework
[17:56:46] <ada_ru> (I_vlxy_I) Очередной Адский видосик: https://www.youtube.com/watch?v=Lj7AIkJHd10
[18:31:49] <ada_ru> (Satyri0n) отвечает (I_vlxy_I) на <Надо срочно купить р…>
От души!)
[18:32:53] <ada_ru> (Satyri0n) отвечает (I_vlxy_I) на <а есть какие-нибудь …>
На спарке? На аде-то хоть есть? И как оно интересное работает с исключениями?
[18:38:28] <ada_ru> (Максим) Обычно не заморачиваются с адским рантаймом и фигачая в ZFP, т.е. вообще без поддержки исключений
[18:38:29] <ada_ru> (Максим) http://www.nihamkin.com/2016/10/23/writing-linux-modules-in-ada-part-1/
[19:04:45] <ada_ru> (Satyri0n) Тогда там Спарк должен быть. Иначе ада без исключений это почти си.
[20:11:38] <ada_ru> (I_vlxy_I) По сравнению с C++ без исключений насколько надежна Ада без них?
[20:20:26] <ada_ru> (Satyri0n) Примерно одинаково?
Это версия
[21:17:26] <ada_ru> (Satyri0n) Понятно, что в целом структура языка ада склоняет в лице компилятора более качественный код писать... Но вряд ли это на подядок-другой-третий приводит к меньшему количеству ошибок времени исполнения
[21:19:13] <ada_ru> (Satyri0n) В тех же контейнерных векторах си++ есть оператор at() с проверкой границ, но си++ компилятор не будет ругаться, если применяется оператор [], который не проверяет границы
[21:21:24] <ada_ru> (t91x0) отвечает (I_vlxy_I) на <По сравнению с C++ б…>
А вы проверьте на практике.
[21:22:08] <ada_ru> (Satyri0n) Это надо один и тот же софт написать два раза. Я не против проверить с соответствующим финансированием
[21:22:57] <ada_ru> (t91x0) Нет, нельзя один и тот же писать. Нужен разный, со сравнимой сложностью.
[21:22:58] <ada_ru> (Satyri0n) Типа научный эксперимент
[21:23:10] <ada_ru> (t91x0) Или два разных человека и один софт, или...
[21:23:38] <ada_ru> (Satyri0n) Ну не... Разве что один софт и два человека
[21:23:53] <ada_ru> (Satyri0n) Проведём эксперимент может за свои деньги?
[21:24:23] <ada_ru> (Satyri0n) Например, DHCP-сервер на Аде и си++
[21:24:34] <ada_ru> (t91x0) Согласитесь, что когда некая программа уже написана, отлажена и работает, переписать её на другом языке получится скорее всего чище и быстрее, чем с нуля.
[21:25:42] <ada_ru> (Satyri0n) Ну да, картину Рафаэля проще скопировать другому мастеру с другими кистями и красками, чем написать
[21:25:55] <ada_ru> (t91x0) Я Аду знаю только на уровне учебных примеров, С++ я знаю немногим лучше - во всяком случае тот, что с активным применением шаблонов. Одно дело чужой код подправлять, другое - свой с нуля писать. Sergei придёт и скажет, что я с++ не знаю, и написал криво.
[21:26:17] <ada_ru> (t91x0) Вы, насколько я понял, сотрудник некоей кафедры. Стало быть, у вас есть студенты.
[21:27:04] <ada_ru> (t91x0) Я не против написать что-то на Аде, но каких-то сроков я гарантировать не могу. У меня ведь и обычная работа есть - на C#
[21:27:22] <ada_ru> (Satyri0n) Сейчас уже не сотрудник. Сейчас на кафедре сложные времена, может даже закроют.
[21:27:38] <ada_ru> (t91x0) Звучит несколько двусмысленно
[21:27:46] <ada_ru> (I_vlxy_I) отвечает (t91x0) на <Согласитесь, что ког…>
Поэтому в моем эксперименте вначале прога пишется на языке X, и лишь потом на сравниваемых Y и Z.
Причем по этапам. В каждом этапе вначале на X, а потом рандомный порядок.
[21:28:06] <ada_ru> (Satyri0n) Можно и с# с Адой сравнить, только в с# исключения можно ли выключить?
[21:28:13] <ada_ru> (t91x0) Нельзя никак
[21:28:32] <ada_ru> (t91x0) Это вообще совсем разные языки. Если сравнивать с чем-то современным, то лучше с Rust
[21:29:00] <ada_ru> (t91x0) В https://t.me/rustjerk и в https://t.me/rustlang_ru наверняка найдутся желающие, там юных дарований много.
[21:29:08] <ada_ru> (I_vlxy_I) Но с C++ я сравнить Аду не смогу, ибо его я знаю на порядки лучше.
[21:30:13] <ada_ru> (t91x0) отвечает (Satyri0n) на <Например, DHCP-серве…>
С предложенной задачей я согласен. Но нужно найти время и желание.
[21:30:15] <ada_ru> (Satyri0n) отвечает (I_vlxy_I) на <Но с C++ я сравнить …>
Мы про си++ и аду без поддержки исключений. Сами же эту тему задали. А не си++ и аду в целом
[21:31:08] <ada_ru> (I_vlxy_I) Угу. Потому и спросил, что сам проверить не смогу.
[21:31:37] <ada_ru> (t91x0) Ещё. Нужно договориться о каких-то условиях. Для C++ есть libuv, есть ли аналоги для Ada - я не знаю. Вероятнее всего, придётся запрещать использование некоторых готовых библиотек и вызывать epoll (например) руками.
[21:32:00] <ada_ru> (Satyri0n) отвечает (t91x0) на <С предложенной задач…>
Да мы же не спешим. Сначала выработаем правила подсчёта часов работы, критериев оценки качества, скорости, надёжности и стоимости поддержки, и если после этого не устанем, то только после этого приступим к реализации
[21:33:08] <ada_ru> (Satyri0n) Плюс потом подсчёт очков и баталии за трактовку результатов
[21:33:14] <ada_ru> (t91x0) отвечает (Satyri0n) на <Да мы же не спешим. …>
Я вам около недели назад задавал вопрос о формальной проверке корректности многопоточных программ. Я имел в виду не проверку вообще, а то, чем вы у себя пользуетесь.
[21:34:34] <ada_ru> (I_vlxy_I) Можно математику какую попрогать с массивами. Там производительность часто критична и отключают ВСЁ.
И сторонних либ не надо.
[21:34:49] <ada_ru> (Satyri0n) В самом простом случае пользуемся тем, что исключаем её насколько возможно. Во всех остальных случаях нужно писать трёхтомник, чтобы описать методы
[21:35:51] <ada_ru> (t91x0) отвечает (Satyri0n) на <В самом простом случ…>
Я понимаю, что тема огромная. Но вопрос именно про вашу личную практику. Что делали и что получилось. Отвечать на него необязательно, это моё простое любопытство.
[21:37:07] <ada_ru> (Satyri0n) Ну у меня опять пол третьего ночи, какой-то серьёзный дискурс поздновато открывать
[21:37:20] <ada_ru> (t91x0) Полвторого
[21:37:25] <ada_ru> (t91x0) Ну ок.
[21:37:28] <ada_ru> (Satyri0n) Точно!
[21:37:51] <ada_ru> (t91x0) Кстати, если кто хочет приобщиться, в расточате вкинули вакансию
https://moikrug.ru/vacancies/1000042230
[21:38:42] <ada_ru> (Satyri0n) Модно молодёжно
[21:38:49] <ada_ru> (t91x0) У них там HFT
[21:38:51] <ada_ru> (I_vlxy_I) Да, у раста есть большая морковка.
[21:39:21] <ada_ru> (I_vlxy_I) И ваще... Чот я теперь по два раза в день смузи пью..
[21:39:23] <ada_ru> (t91x0) Требования у вакансии правда странноватые, ну да бог с ними, это всегда так.
[21:40:40] <ada_ru> (t91x0) отвечает (I_vlxy_I) на <И ваще... Чот я тепе…>
Я обычно покупал у бабок-огородниц вишню, давил её, смешивал с молоком и получалось нечто вроде питьевого йогурта, а может и молочного смузи. Лето-то короткое, больше не будет времени, чтобы такое пить.
[21:44:17] <ada_ru> (Satyri0n) Я не весь чат читаю, и некогда писать, но в последнее время очень много вопросов слышу (от одного или нескольких участников, извините, не запомнил).
Если кратко: то на аде нужно писать то, что требует высочайшей надежности и безопасности.
[21:45:38] <ada_ru> (Satyri0n) Какие ещё вас ответы интересуют не могу понять. Вроде всё тут сказано. В ну ещё... Такой софт будет обладать наименьшим интегральным TCO
[21:47:38] <ada_ru> (t91x0) отвечает (Satyri0n) на <Какие ещё вас ответы…>
Я думаю, что вас троллят просто.
[21:47:54] <ada_ru> (Satyri0n) (
[21:48:13] <ada_ru> (Satyri0n) Зобаню!)
[21:48:20] <ada_ru> (t91x0) Надеюсь, это было не про мои многопоточные вопросы сказано.
[21:48:31] <ada_ru> (Satyri0n) Нет
[21:49:22] <ada_ru> (Satyri0n) На аде применяются у нас и многозадачные вещи. К ним претензий не было.
[21:50:28] <ada_ru> (Satyri0n) Одна задача слетит по исключению, обработчик срабатывает, все остальные продолжают работать. В си/си++ в бы рогами уткнулось
[21:55:18] <ada_ru> (I_vlxy_I) отвечает (Satyri0n) на <Я не весь чат читаю,…>
И есть запас по мощности железа
[21:56:26] <ada_ru> (Satyri0n) отвечает (I_vlxy_I) на <И есть запас по мощн…>
Конечно, все эти проверки требуют соответствующей мощности. Если это не Спарк, конечно
[21:57:27] <ada_ru> (I_vlxy_I) Спарк как путь к граалю
[21:58:15] <ada_ru> (Satyri0n) Грааль недостижим, но есть мнение, что есть пути к нему попрямее
[21:58:23] <ada_ru> (I_vlxy_I) Как оценить - моя задача требует высочайшей надежности, или нет?
[21:58:35] <ada_ru> (t91x0) https://news.ngs.ru/more/50728591/
Там, насколько я понял, стоит система, которую писал я. По слухам, потому что я в компании уже несколько лет не работаю, и видеть их не желаю.
Когда человек выбирает некую "сторону", т.е. место, где стоит его автомобиль, и где снят заправочный пистолет, происходит проверка - не занял ли кто-нибудь эту же самую сторону на другом терминале. Чтобы не было такого, когда один человек случайно оплатит заправку другого. Но, возникла проблема - что, если терминал занял сторону и помер? Что-то с ним случилось. Занятость должна отвалиться по таймауту, но этот таймаут должен зависеть от неких проверок связи между терминалом и центральным узлом.
Когда я это писал (давно), у меня было желание как-то формально, на бумаге или ещё где расписать сценарий взаимодействия всех сторон. Но, я как тогда не знал, как подобное делается, так и сейчас не знаю.
[21:58:42] <ada_ru> (Satyri0n) отвечает (I_vlxy_I) на <Как оценить - моя за…>
На глаз)
[21:58:51] <ada_ru> (Satyri0n) Как заказчик скажет
[21:59:36] <ada_ru> (Satyri0n) За что заплочено, за то и... заделано
[22:00:03] <ada_ru> (I_vlxy_I) Типа может ли одна ошибка убить бизнес?
[22:00:16] <ada_ru> (Satyri0n) Может
[22:00:34] <ada_ru> (I_vlxy_I) Ну, часто разработчик и есть заказчик
[22:00:53] <ada_ru> (Satyri0n) Смотря какой. Говнобизнесу и бесконечное количество ошибок нипочём
[22:01:16] <ada_ru> (Satyri0n) Часто?
[22:01:43] <ada_ru> (Satyri0n) Это сколько, 0.1%? Серьёзно
[22:03:08] <ada_ru> (t91x0) отвечает (Satyri0n) на <За что заплочено, за…>
<прислал фото>
[22:04:10] <ada_ru> (Satyri0n) Я тут, раньше был самым молодым, вроде даже тогда было понятно, что коммерсы обыкновенные стремятся на определенном (минимальном на данном временном промежутке, причём часто понижающемуся)
[22:04:50] <ada_ru> (Satyri0n) этапе снижать издержки на разработку, увеличивая TCO
[22:06:12] <ada_ru> (Satyri0n) Очевидные вроде вещи!!!(
[22:07:31] <ada_ru> (Satyri0n) Понятное дело, речь идёт про т.н. массовый рынок. В более других условиях уже адские технологии набирают свою силу.
[22:08:51] <ada_ru> (I_vlxy_I) отвечает (Satyri0n) на <Это сколько, 0.1%? С…>
В моей практике - процентов 50
[22:11:58] <ada_ru> (Satyri0n) Или вот контр-пример из прошлого: не массовый рынок и не адский, приходит один чел по рекомендации за спецсредством для лечения от лицензии какого-то прибора для диагностики бортовых систем автомобиля из автомастерской, пока мы обсуждали решение выяснилось, что заказчику требуется решение до 6 т.р. РФ. По оценки на "кряк" нужно было хотя бы 100. Вот такие порой бывают "заказчики")
[22:12:29] <ada_ru> (Satyri0n) отвечает (I_vlxy_I) на <В моей практике - пр…>
Прямо казацкая вольница у вас
[22:12:46] <ada_ru> (t91x0) отвечает (Satyri0n) на <Или вот контр-пример…>
Это у них часто. Сибирские так сказать инвесторы, любители на говне сметану собирать.
[22:13:36] <ada_ru> (Satyri0n) А одного заказчика у нас вообще убили. Только мы проект в бету сдавать начали
[22:14:04] <ada_ru> (t91x0) А он чем занимался?
[22:14:51] <ada_ru> (Satyri0n) Сеть продуктовых магазинов
[22:15:55] <ada_ru> (Satyri0n) Мы для него логическую сеть строили по доставки продуктов до конечных покупателей
[22:16:24] <ada_ru> (Satyri0n) Идея у него была сначала в нашей области развернуть, потом по всей РФ
[22:16:41] <ada_ru> (t91x0) Насколько я знаю, если я его правильно опознал, сетью Холидей-Маркет владеет один харакетрного персонаж на бентли, с ног до головы в цветных татуировках. Хорошая мишень, привлекательная.
[22:17:18] <ada_ru> (Satyri0n) Неправильно распознали. Это Максим Хайкис
[22:17:52] <ada_ru> (t91x0) Я не про вашего клиента, а про типаж вообще.
[22:18:14] <ada_ru> (Satyri0n) Хайкис был не такой
[22:18:27] <ada_ru> (t91x0) Какие люди чаще занимаются продуктами и тому подобным незамысловатым бизнесом, который из-за своей незамысловатости является привлекательным для криминала.
[22:19:07] <ada_ru> (t91x0) Нашёл фото Хайкиса, да, он другой.
[22:20:13] <ada_ru> (Satyri0n) Я с ним в бане не мылся, полностью не видел, но сраружи портаков не было замечено
[22:21:05] <ada_ru> (t91x0) Кстати, о продуктах. Недавно меня занесло в Академ, в ТРЦ Эдем и там меня очень порадовал магазин "Добрянка", сооснователем которого вроде бы является Максим Сырников. Кто будет в Академе - рекомендую зайти. Это даже лучше Бахетле и проч.
[22:21:37] <ada_ru> (Satyri0n) Академов много. Какой имеется?
[22:21:45] <ada_ru> (t91x0) Новосибирский Академгородок
[22:22:16] <ada_ru> (Satyri0n) "Радуга вкуса" сеть у него была
[22:24:08] <ada_ru> (Satyri0n) Ну как у него... После его смерти... Другим не интересны его прогрессивные интересы оказались. Ну это единственный проект, который мы не довели до победного конца. Но тут по независящим от нас причинам
[22:25:21] <ada_ru> (t91x0) Насколько я понял, вы делали систему для логистики. А у вас не было мысли довести её до состояния не то, чтобы "коробки", но какого-то сервиса, доступ к которому можно продавать?
[22:25:26] <ada_ru> (I_vlxy_I) отвечает (Satyri0n) на <Прямо казацкая вольн…>
Ну, поэтому я и спрашивал критерии. На заказчика свалить ответственность тут не выйдет :-)
[22:26:26] <ada_ru> (Satyri0n) отвечает (t91x0) на <Насколько я понял, в…>
Мысли были, не было источника финансирования. Плюс непонятка с «интеллектуальной собственностью»
[22:26:59] <ada_ru> (Satyri0n) Всё же проект на его деньги и ему принадлежил, мы всего лишь исполнители
[22:27:36] <ada_ru> (Satyri0n) А ну как потом «от него» кто придёт и что, телега поедет назад? Несерьёзно
[22:28:16] <ada_ru> (Satyri0n) отвечает (I_vlxy_I) на <Ну, поэтому я и спра…>
Это по скольким фирмам с какой формой собственности?
[22:29:00] <ada_ru> (t91x0) отвечает (Satyri0n) на <А ну как потом «от н…>
На коде не написано же, что он - его, и экспертизу делать никто не станет. Ну, вам виднее конечно. Жаль что в Сибири очень сложно найти нормальных инвесторов.
В Москву надо ехать.
[22:29:31] <ada_ru> (Satyri0n) В Москву всегда успеем
[22:30:58] <ada_ru> (Satyri0n) Дело не в экспертизе. Там не все подряды официально заключались (не с моей фирмой), а значит разговор тоже может быть неформальным со всеми вытекающими
[22:35:43] <ada_ru> (t91x0) отвечает (Satyri0n) на <Дело не в экспертизе…>
У меня и моего знакомого был проект такси, не столь удачный - потому что писал один я, а я не насколько крут. Делалось это для одной организации, которая занималась грузоперевозками, и сделанное такси не потянуло просто по организационным причинам - таксисты не работают, а звонить им и заствавлять некому. В итоге, у нас, у меня остался код, который еще несколько раз использовался и продавался, как серсис. Там не бог весть что, даже прямо сказать - убожество, но оно работало на базовом уровне - привезти-увезти, цену посчитать, комиссию, скоммутировать клиента и таксиста.
Против неформальных разговоров полиция неплохо работает, я вообще ни разу не слышал о каких-то разборках за права на код. Авторское свидетельство не оформленно, заказчика вообще нет - и никаких претензий быть не может. Продавать это может вообще какой-то третий человек или юрлицо.
[22:35:56] <ada_ru> (Satyri0n) И вообще когда наша сб пробивала его, там в радуге вкуса его вообще фамилия нигде не значилась. Опасная тема.
[22:37:34] <ada_ru> (Satyri0n) Не в одном юрлице смотрели ессно, а во всей структуре
[22:37:54] <ada_ru> (Satyri0n) отвечает (t91x0) на <У меня и моего знако…>
Формально верно
[22:39:36] <ada_ru> (Satyri0n) Но мало ли что, потом через 10 лет придут наследники, и со смотрящим докажут, что у них 90% уставного капитала и мы им должны за 30 лет и 3 года плюс проценты
[22:40:05] <ada_ru> (Satyri0n) Нам такое не интересно
[22:40:54] <ada_ru> (Satyri0n) А может и не придут. Но это риск.
[22:44:18] <ada_ru> (I_vlxy_I) отвечает (Satyri0n) на <Это по скольким фирм…>
Я хз на тему форм собственности. Вот например яндекс - какая там?
[22:45:15] <ada_ru> (Satyri0n) Не знаю. Хотелось бы узнать. Поделитесь? Сам могу только ф5 и аффинированную
[22:47:01] <ada_ru> (Satyri0n) Ну и ещё про десятки, мало вам интересных
[22:49:48] <ada_ru> (Satyri0n) Ну как, инфа будет?
[22:59:13] <ada_ru> (I_vlxy_I) Сейчас - нет
[22:59:38] <ada_ru> (I_vlxy_I) Не у компа сейчас
[23:00:31] <ada_ru> (I_vlxy_I) А какая разница на тему формы собственности?
[23:00:54] <ada_ru> (t91x0) @Satyri0n
Я-то не сплю потому, что мне еще работать около двух часов, завтра тестирование. А вы что не спите?
[23:03:39] <ada_ru> (Satyri0n) отвечает (I_vlxy_I) на <А какая разница на т…>
Это очень важно
[23:03:55] <ada_ru> (Satyri0n) отвечает (t91x0) на <@Satyri0n
Я не сплю…>
А я в отпуске потому что)
[23:07:13] <ada_ru> (I_vlxy_I) отвечает (Satyri0n) на <Это очень важно>
А можно примеры как от формы зависит откуда заказ идет?
[23:30:38] <ada_ru> (Satyri0n) отвечает (I_vlxy_I) на <А можно примеры как …>
Я вообще не то имел ввиду. Скорее от заказчика зависит куда он падает, на какую фирму
[23:39:02] <ada_ru> (I_vlxy_I) А, форма собственности у заказчиков? Я то думал, исходя из того, что по большей части в тех конторах где я работал, был заказ внутренний, то есть мы сами для себя делали продукт, из которого потом например коробка получалась на продажу или там сервис, что вопрос про форму собственности тех контор где я работал.
[23:57:42] <ada_ru> (Satyri0n) А, ну это другое дело, конечно. Тогда и 50% возможно
[23:58:00] <ada_ru> (Satyri0n) Имеются ввиду чисто внешние заказы