[00:02:16] <ada_ru> (I_vlxy_I) https://habr.com/en/news/t/496748/
[00:32:48] <ada_ru> (Oleg) <прислал документ>
[02:48:43] <ada_ru> (avkvlru) отвечает (I_vlxy_I) на <https://habr.com/en/…>
Ibm знает толк в извращениях...
[03:33:11] <ada_ru> (insert_reference_here) отвечает (I_vlxy_I) на <не тыкай палочкой, с…>
В общем, да, вот это правильный способ
[10:25:20] <ada_ru> (avkvlru) В данном случае я не вижу разницы, мне их решение тоже понравилось.
Кстати, по мотивам этой истории, задумался, что в общем-то ада располагает эффективным механизмом для предельно компактной сериализации структур, как и кобол (за счёт чего в общем-то кобол до сих пор и жив). При записи больших массивов данных - это решение скорее всего так и останется вне конкуренции. Ну а для обычной сериализации- есть 'Image / External_Tag и прочее...
[11:10:47] <ada_ru> (insert_reference_here) отвечает (avkvlru) на <В данном случае я не…>
Ну вот сериализацию-то точно не надо в язык пихать
[12:16:52] <ada_ru> (sergey_dukov) отвечает (insert_reference_here) на <Ну вот сериализацию-…>
В АДЕ не сериализация, а запись в поток и чтение из потока (stream).
[12:24:10] <ada_ru> (sergey_dukov) И это не в самом языке, а в стандартном библиотечном пакете "Streams".
[13:05:57] <ada_ru> (Oleg) Ну шо братцы, в Москве на самокаты пропуск оформили ? :-)
[13:06:21] <ada_ru> (Oleg) картинка https://www.ada-ru.org/files/bot/2020-04-12-x33.jpg
[13:06:32] <ada_ru> (Oleg) Я вот в деревне
[15:01:51] <ada_ru> (avkvlru) Подскажите, а в новых стандартах Ады есть что-нибудь для работы с хэшами (ассоциативными массивами)? Порылся по сборнику Gem'ов, но пока не нашел...
[15:02:14] <ada_ru> (I_vlxy_I) Есть.
[15:02:22] <ada_ru> (avkvlru) А нет наводки какой-нибудь?
[15:02:56] <ada_ru> (nitrocerber) hashed_maps, hashed_sets в контейнерах
[15:02:58] <ada_ru> (avkvlru) У меня теперь времени много- уже половину сборника осилил http://www.mediascan.by/index.files/gem000_ru/2019-07-06_gem_all_ru.pdf
[15:03:07] <ada_ru> (I_vlxy_I) Hashed_Sets
[15:03:11] <ada_ru> (I_vlxy_I) https://learn.adacore.com/courses/intro-to-ada/chapters/standard_library.html#containers
[15:03:18] <ada_ru> (I_vlxy_I) вот, советую тут глянуть 🙂
[15:03:20] <ada_ru> (avkvlru) пасибо)
[15:03:33] <ada_ru> (I_vlxy_I) C Ada 2005 вроде
[15:05:38] <ada_ru> (I_vlxy_I) отвечает (avkvlru) на <У меня теперь времен…>
неплохо!
[15:20:11] <ada_ru> (reznikmm) Может есть идеи у кого, что можно попробовать. В картиру входит 100Мб интернет в роутер Linksys WRT1200AC под OpenWRT. Когда "моргает" роутер перестаёт видеть кабель интернета. Если в ту же дырку сую кабель с компа, видит нормально. Комп в свою очередь видит интернет нормально, если ему всунуть. Так продолжается до непонятного события, когда появляется. Если сейчас перегрузить, то увидит номально кабель
[15:33:43] <ada_ru> (avkvlru) Блок питания смотрел сколько выдает?
[15:53:32] <ada_ru> (reznikmm) нет...
[16:09:43] <ada_ru> (Oleg) Думаю дело не в питании, может кабель плохой (плохо обжат, слишком длинный и прочее)
[16:11:51] <ada_ru> (avkvlru) Раз проблема периодическая я бы рассмотрел 2 самых вероятных варианта. Первый- просаживается питание у Вас, второй - у провайдера( наверняка там еще и 4 жилы). Оба в принципе лечатся промежуточным свитчем, от которого бросите в ван порт полноценный кабель
[16:12:31] <ada_ru> (avkvlru) Если дело только в вас - поможет хороший бп иди июр
[16:12:46] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <Ну шо братцы, в Моск…>
А зачем? Мы из дома все равно не выходим. Что там делать то?
[16:15:36] <ada_ru> (avkvlru) У нас (Приморье, Владивосток) обломился водномоторный сезон, т.к. гимс не работает.
[16:17:09] <ada_ru> (I_vlxy_I) Shelter at home!
[16:17:21] <ada_ru> (avkvlru) А симе и крабу на наши проблемы пофиг ;(
[16:18:08] <ada_ru> (I_vlxy_I) отвечает (avkvlru) на <А симе и крабу на на…>
Что значит пофиг? Им очень даже хорошо будет :-)
[16:19:00] <ada_ru> (avkvlru) Нет их северокорейские бракогьеры выловят в мае
[16:19:25] <ada_ru> (avkvlru) Они там как чуть-чуть потеплеет стеной встают от горизонта
[16:20:25] <ada_ru> (avkvlru) Погранцы в прошлые годы немного трепыхались, но сейчас уже не рискуют связываться
[16:23:56] <ada_ru> (I_vlxy_I) отвечает (avkvlru) на <Погранцы в прошлые г…>
Прям сводки с фронтов
[16:31:34] <ada_ru> (Vinpuh) отвечает (avkvlru) на <Погранцы в прошлые г…>
Так у их вмс суденышки допотопные
[16:34:40] <ada_ru> (reznikmm) отвечает (Oleg) на <Думаю дело не в пита…>
Спасибо, кстати, когда интернет проводили мужик тупо скрутил мой кусок провода, что был в квартире со своим в подъезде. Может эту скрутку пропасть?
[16:35:10] <ada_ru> (Oleg) Ну вобще мужик дятел
[16:35:22] <ada_ru> (reznikmm) Мастер!
[16:35:33] <ada_ru> (Oleg) Общимается с двух сторон джеком и ставится переходник
[16:36:11] <ada_ru> (Oleg) https://www.citilink.ru/catalog/computers_and_notebooks/net_equipment/connectors/817287/?mrkt=ekat_cl&gclid=EAIaIQobChMIvfup3f3i6AIVBM-yCh2pSgugEAQYAiABEgLAgPD_BwE
[16:36:18] <ada_ru> (Oleg) Хотябы такой
[16:36:19] <ada_ru> (reznikmm) Да, помню, видел в интернете
[16:39:16] <ada_ru> (nitrocerber) отвечает (reznikmm) на <Спасибо, кстати, ког…>
картинка https://www.ada-ru.org/files/bot/2020-04-12-x34.jpg
[16:41:58] <ada_ru> (nitrocerber) Господа, вы чего-нибудь понимаете в динамических предикатах типа?
[16:42:45] <ada_ru> (geniepro) отвечает (nitrocerber) на <Господа, вы чего-ниб…>
речь про зависимые типы что ли?
[16:43:03] <ada_ru> (I_vlxy_I) отвечает (geniepro) на <речь про зависимые т…>
Нет. Про Аду
[16:43:13] <ada_ru> (reznikmm) отвечает (nitrocerber) на <Господа, вы чего-ниб…>
Слегка
[16:43:24] <ada_ru> (I_vlxy_I) отвечает (nitrocerber) на <Господа, вы чего-ниб…>
В мой плюсатый мозг такое не влазит
[16:48:27] <ada_ru> (reznikmm) Subtype predicates
http://www.ada-auth.org/standards/12rat/html/Rat12-2-5.html
[16:53:20] <ada_ru> (nitrocerber) вот, допустим, есть такой тип:
type Double_String is record
Positive_Regexp : Unbounded_String;
Negative_Regexp : Unbounded_String;
end record
with Dynamic_Predicate => Positive_Regexp /= Null_Unbounded_String
and then Negative_Regexp /= Null_Unbounded_String;
и потом я объявляю
declare
Double_Regexp : constant Double_String :=
(To_Unbounded_String
(Get_Attribute (N2, "name", "")),
To_Unbounded_String
(Get_Attribute (N2, "except", "")));
begin
и оно валится с ассерт фейлюре.
[16:53:51] <ada_ru> (Victor) отвечает (Oleg) на <Обжимается с двух ст…>
Я видел и отверткой ...
Результат - соответствующий -(
[16:53:58] <ada_ru> (nitrocerber) я ж сразу при создании объекта прописываю оба поля. ватафак?
[16:54:59] <ada_ru> (Victor) отвечает (Oleg) на <Обжимается с двух ст…>
Я видел и отверткой ...
Результат - соответствующий -(
[16:57:39] <ada_ru> (I_vlxy_I) отвечает (nitrocerber) на <я ж сразу при создан…>
А если на более простом примере попробовать, тупо с двумя интами?
[16:57:40] <ada_ru> (Oleg) Да если клещей нет то что поделать
[16:58:05] <ada_ru> (I_vlxy_I) А то строка - штука очень загадочная в Аде
[16:58:25] <ada_ru> (reznikmm) отвечает (nitrocerber) на <вот, допустим, есть …>
может Get_Attribute возвращает пустую строку?
[16:59:30] <ada_ru> (nitrocerber) Ну To_Unbounded_String ("") это же не Null_Unbounded_String?
[16:59:33] <ada_ru> (nitrocerber) или таки да
[16:59:48] <ada_ru> (reznikmm) одно и тоже
[16:59:52] <ada_ru> (nitrocerber) жопа
[17:00:05] <ada_ru> (nitrocerber) я почему-то думла, что они отличаются.
[17:01:06] <ada_ru> (nitrocerber) ну тогда понятно всё
[17:01:09] <ada_ru> (nitrocerber) спасибо
[17:05:22] <ada_ru> (nitrocerber) Ну хотя конечно, это ж не указатель нифига. Там ж индексы внутри на бесконечной строчке. Мозговзбзднул чот.
[17:06:34] <ada_ru> (I_vlxy_I) Ну да. Пустая строка тоже строка.
[17:06:44] <ada_ru> (avkvlru) отвечает (Vinpuh) на <Так у их вмс суденыш…>
Не такие уж допотопные, у них массовый и отлично подготовленный москитный флот. Лет 10 назад у южноклрейцев были стычки с ними, обе закончились полной победой северян...
[17:07:10] <ada_ru> (nitrocerber) Да я привык String_Access гонять. Там таки есть null, а есть .all = "" и это разные вещи
[17:07:42] <ada_ru> (nitrocerber) Но с аксесом геморройнее не гадить в память. Переучиваюсь на анбаунд, она контроллед и сама подтирает за собой
[17:08:57] <ada_ru> (I_vlxy_I) отвечает (nitrocerber) на <Но с аксесом геморро…>
То есть анбаунд это аналог std::string. Okay
[17:09:20] <ada_ru> (I_vlxy_I) Через указатели со строками в плюсах ооооочень давно не работают :-)
[17:10:18] <ada_ru> (nitrocerber) Я кресты не розумію, не могу подтвердить чи опровернуть)
[17:10:22] <ada_ru> (I_vlxy_I) Это ж все равно, что с массивами работать которые на куче и не controlled
[17:11:00] <ada_ru> (I_vlxy_I) Только контейнеры, только хардкор!
[17:11:12] <ada_ru> (nitrocerber) Ковыряние десктопных однопользовательских однопроходных приложений развращает оч сильно
[17:11:19] <ada_ru> (nitrocerber) Много о чём можно не задумываться
[17:11:35] <ada_ru> (I_vlxy_I) отвечает (nitrocerber) на <Ковыряние десктопных…>
Это ты про цомпилятор?
[17:11:54] <ada_ru> (nitrocerber) И прочея
[17:12:09] <ada_ru> (nitrocerber) Ну компилятор-то умные люди пишут, я к нему отношения не имею слава ктулху
[17:12:30] <ada_ru> (I_vlxy_I) отвечает (nitrocerber) на <Много о чём можно не…>
Вообще, то же самое говорили про веб программирование на js :-) типа плевать на утечки, один фиг страничка живет в браузере не долго - клик и новая грузится
[17:17:05] <ada_ru> (nitrocerber) Ну у меня многие вкладки в барузере неделями живут)
[17:17:21] <ada_ru> (nitrocerber) Представить сценарий, при котором годогенератор будет жить неделями я пока не могу
[17:17:30] <ada_ru> (nitrocerber) Хотя, от тюрьмы и сумы, да
[17:42:32] <ada_ru> (I_vlxy_I) отвечает (nitrocerber) на <Ну у меня многие вкл…>
ну, когда вот стали переходить от веб-страничек к веб-приложениям, это всё и стрельнуло. внезапно оказалось, что при клике на какую-нибудь кнопку теперь не грузится новая страница и начинаем не с чистого листа, а просто продолжает работать тот же код без перезагрузки js-приложения.
[17:42:58] <ada_ru> (I_vlxy_I) и вот тут то и повылазило, что программеры вебные не привыкли юзать гигиену
[18:11:51] <ada_ru> (I_vlxy_I) https://www.i-programmer.info/news/82-heritage/13614-john-conway-dies-from-coronavirus.html
[18:11:54] <ada_ru> (I_vlxy_I) 🙁
[18:11:58] <ada_ru> (I_vlxy_I) Как так то?!
[18:31:55] <ada_ru> (Oleg) Жаль, но прожил достойно
[18:32:49] <ada_ru> (Oleg) 82 года, вобщем то вполне долгая и интересная жизнь
[18:37:37] <ada_ru> (geniepro) то, что кто-то там заявил, что кто-то умер от какого-то короновируса, ещё вовсе не значит, что это правда.
подождём, когда весь этот короновирусный хайп пройдёт, тогда и узнаем, от чего же на самом деле умер Конвей...
[18:42:23] <ada_ru> (Oleg) Да и даже если у человека есть этот вирус, он может умереть от того что дома сидит, мало двигается - тромб из ноги - и превед медвед
[18:42:47] <ada_ru> (Oleg) Как там воланд говорил, страшно что человек смертен внезапно
[18:56:46] <ada_ru> (I_vlxy_I) брат-Кондрат подкрался незаметно...
[19:20:45] <ada_ru> (Oleg) Все там будем, а если в 80+ так это ж шикарно
[19:22:09] <ada_ru> (Oleg) Я вобще не боюсь умирать, боюсь только за семью, хотелось бы еще лет 15 прожить а дальше уже не страшно
[19:23:35] <ada_ru> (I_vlxy_I) а потом еще 15 🙂
[19:24:01] <ada_ru> (I_vlxy_I) страховка жизни в этом плане - шикарная штука
[19:24:27] <ada_ru> (I_vlxy_I) ну и проработанные планы на этот случай
[20:50:27] <ada_ru> (reznikmm) Обновил свой GNAT кросс-компилятор на OpenWRT 19.07...
[22:56:29] <ada_ru> (Oleg) а я вуй джиэс шатаю
[22:57:56] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <а я вуй джиэс шатаю>
<прислал наклейку> 😝
[22:58:08] <ada_ru> (Oleg) Да вобще
[22:58:31] <ada_ru> (Oleg) я любитель если уж JS то Vanila