[01:33:10] <ada_ru> (Максим) Сделал доступ к почтовой рассылке в виде форума.
[01:33:12] <ada_ru> (Максим) В этот раз уже с возможностью отправки сообщений
[01:33:14] <ada_ru> (Максим) https://www.ada-ru.org/forum/
[02:31:02] <ada_ru> (coopht) нет.
[02:31:13] <ada_ru> (coopht) Целый день катались на санках
[12:14:36] <ada_ru> (Максим) @coopht Я нашел почему emoji убивает axmpp! Это ошибка в матрешке, в utf-8 кодеке
[12:21:32] <ada_ru> (I_vlxy_I) Телеграм полезный! :-)
[13:13:00] <ada_ru> (Максим) 😊
[13:21:37] <ada_ru> (Максим) да, спорить не буду. а патчик этой в один символ 😊
[14:06:51] <ada_ru> (Oleg N.) Всем привет.
[14:10:42] <ada_ru> (exupery14) Привет, коллеги! Российское Адово сообщество оживает?
[14:12:57] <ada_ru> (Максим) Привет! Да!
[14:13:25] <ada_ru> (exupery14) Товарища Рыбина тут пока нет, как я вижу ) КТо-нибудь с ним контактирует?
[14:15:23] <ada_ru> (Максим) есть @nitrocerber
[14:17:27] <ada_ru> (Максим) Старшего вряд ли удастся затащить в телеграмм :)
[15:01:18] <ada_ru> (Максим) @exupery14 зато старший Рыбин активно отвечает на форуме :)
[17:08:18] <ada_ru> (I_vlxy_I) А можно подробней, что было то?
[17:42:21] <ada_ru> (Максим) опечатка в матрешкином конвернторе в utf-8.
[17:44:29] <ada_ru> (Максим) https://github.com/reznikmm/matreshka/commit/2f16d779af9f05c8d06c3f9b34f39bd18846801c#diff-091a4ee56b3468fff9b6f2362e7d8ea3
[18:03:44] <ada_ru> (exupery14) Так, только сейчас понял, что Рыбин в Ada-мире уже не один )

Фёдор, рад познакомиться.
[18:08:04] <ada_ru> (Максим) Федор - единоличный автор gnattest-а, и в настоящий момент крайний по gnatcoll-у 😱
[18:09:31] <ada_ru> (exupery14) Круто )
[18:46:04] <ada_ru> (Pavel) Ага! Ну тогда мы идем к нему )))
[18:47:02] <ada_ru> (Максим) ой. 🙈
[18:47:25] <ada_ru> (coopht) Федор, БЕГN!
[18:52:00] <ada_ru> (nitrocerber) Що? Каво? По лицу не бейте, посоны (ц)
[18:52:46] <ada_ru> (nitrocerber) Кстати, о матрёшке и сопредельном. Её на малину вкорячить можно?
[18:54:05] <ada_ru> (Максим) Можно!
[18:54:18] <ada_ru> (nitrocerber) ништяк. кутя на армах точно есть
[18:54:28] <ada_ru> (nitrocerber) гуйню прикручу самодельную, ляпота))
[18:55:04] <ada_ru> (Максим) @nitrocerber Видел, там на форуме Киркоров пытается собрать AWS на расбери?
[18:55:14] <ada_ru> (nitrocerber) хотя нафига сервайсу гуйня.. но то дело десятое
[18:55:18] <nordwind> Нифига себе, тут движуха
[18:55:25] <ada_ru> (nitrocerber) Я про форум только слышал))
[18:55:36] <ada_ru> (nitrocerber) я ж оторван от коллектива, как деабристы от народа
[18:55:54] <ada_ru> (nitrocerber) В эту-то болталку меня насильно притащили))
[18:56:00] <ada_ru> (I_vlxy_I) А на ev3dev матрешку можно? ;-)
[18:56:27] <ada_ru> (Максим) @nitrocerber  https://www.ada-ru.org/forum/p4202661277_1.html
[18:57:18] <ada_ru> (Максим) не правда! Я не насильничал! 😋
[18:57:38] <nordwind> Вы еще и в телеграме теперь? А как там рум называется?
[18:58:14] <yeo> да! https://t.me/adalang
[18:58:27] <ada_ru> (I_vlxy_I) Вообще, есть легкий способ кросскомпилировать для убогого арма? А то сейчас приходится компилять  прямо на самом этом арме. Что круто, но медленно.
[18:59:09] <ada_ru> (I_vlxy_I) И батарейки у робота в итоге быстро садятся :-)
[18:59:17] <ada_ru> (Максим) ну AWS без проблем собрался у меня кроссом
[18:59:35] <ada_ru> (nitrocerber) способ есть, но гэпээля нету, скорее всего)
[18:59:43] <ada_ru> (nitrocerber) тока если на майндстормз))
[19:00:01] <ada_ru> (Максим) а сделать в матрешке кросс я не смог уговорить vgodunko :(
[19:00:26] <ada_ru> (nitrocerber) в марте прижмём его и будем угрожать 800граммовой вырезкой из бегемота. сделает
[19:00:50] <ada_ru> (I_vlxy_I) Оно и есть, но не тот. У меня ev3 с дебианом на борту (ev3dev)
[19:00:56] <ada_ru> (Максим) Скорее он вырезку сделает 😄
[19:01:05] <ada_ru> (I_vlxy_I) Не бареметал ev2
[19:02:27] <ada_ru> (Максим) хочу попробовать Аду на раутере в OpenWRT
[19:02:38] <ada_ru> (nitrocerber) блин, вот арм-линух-линух есть, а арм-линух-виндовз нету. виртуалку качегарить придётся Т_Т
[19:03:07] <ada_ru> (nitrocerber) даёшь обратный канадский кросс билд!
[19:03:24] <ada_ru> (Максим) @nitrocerber Собери сам😋
[19:04:00] <ada_ru> (nitrocerber) как ты меня изящно нафиг послал)
[19:05:27] <ada_ru> (Максим) думаешь с полпинка не собереться? хотя этож винда...
[19:07:03] <ada_ru> (I_vlxy_I) Так что же, можно кросскомпилять под target=arm-unknown-linux-gnueabi?
[19:07:29] <ada_ru> (nitrocerber) ща проверим)
[19:07:36] <ada_ru> (I_vlxy_I) В качестве хоста обычный x86_64 arch linux :-)
[19:07:52] <ada_ru> (Максим) @I_vlxy_I ну да, а в чем сомнения?
[19:07:54] <ada_ru> (I_vlxy_I) Ну или макось, на выбор
[19:08:13] <ada_ru> (I_vlxy_I) А малинка же это не eabi?
[19:08:27] <ada_ru> (Максим) эм...
[19:08:44] <ada_ru> (I_vlxy_I) У нее ведь есть FPU?
[19:08:45] <ada_ru> (I_vlxy_I) У меня то fpu нету
[19:10:29] <ada_ru> (Максим) ну давай кросс соберем. какой у тебя target? gcc -v
[19:14:41] <ada_ru> (I_vlxy_I) Я не рядом с железкой. У меня вот это: http://www.ev3dev.org

Скорее всего у меня такой target: --target=arm-unknown-linux-gnueabi
[19:15:28] <ada_ru> (I_vlxy_I) Где-то есть инструкция как кроссобирать под подобные штуки свою прогу?
[19:18:02] <ada_ru> (Максим) gprbuild --target=arm-unknown-linux-gnueabi -P project
[19:22:51] <ada_ru> (I_vlxy_I) no compiler found говорит
[19:23:24] <ada_ru> (Максим) @I_vlxy_I ну крос компилятор нужен же
[19:23:41] <ada_ru> (I_vlxy_I) Кажется на хосте нужно что-то приготовить чтобы собрать так
[19:23:49] <ada_ru> (Максим) А это не смотрел http://www.ev3dev.org/docs/tutorials/using-docker-to-cross-compile/
[19:24:23] <ada_ru> (I_vlxy_I) (если что, я сейчас это на маке попробовал собрать)
[19:25:06] <ada_ru> (I_vlxy_I) еще нет. но вообще хотелось бы gnat gpl юзать
[19:42:12] <ada_ru> (a) Всем привет в этом телеграмме. (nordwind)
[19:42:52] <ada_ru> (Максим) 👍
[19:51:36] <ada_ru> (Максим) @nitrocerber Есть же gnat-gpl-2017-arm-elf-windows-bin.exe фрёвый
[19:52:02] <ada_ru> (Максим) https://www.adacore.com/download/more
[19:52:43] <ada_ru> (nitrocerber) а эльф-то мне нафига)
[19:53:06] <ada_ru> (nitrocerber) кстати. расскажите нативщику, что за ENV_PREFIX и чего туда пихать?
[19:53:31] <ada_ru> (Максим) ну у тебя же на Rasbery стоит linux, там elf
[19:54:02] <ada_ru> (Максим) ну ты спросил
[19:54:13] <ada_ru> (nitrocerber) так надо эльфом собирать?
[19:54:24] <ada_ru> (nitrocerber) я думал рал линух, то арм-линухом)
[19:56:15] <ada_ru> (Максим) если результат запускать под Linux, то я так понимаю надо elf получить после копмиляции
[19:56:33] <ada_ru> (nitrocerber) твою пашу. не тот кросс выкачал >_<
[19:59:38] <ada_ru> (I_vlxy_I) магия кросскомпиляции :-)
[20:00:11] <ada_ru> (nitrocerber) Как говорил покойный Роберт, царствие ему небесное, "кроссы... везде провода.. ничего не работает...".
[20:00:55] <ada_ru> (Максим) @I_vlxy_I не вижу armv5 в списке поддерживаемых gnat-gpl-2017-arm-elf-linux-bin
[20:01:52] <ada_ru> (I_vlxy_I) но я же компиляю. прям на самом миндштормсе и оно работает :-)
[20:01:53] <ada_ru> (I_vlxy_I) правда там gnat fsf
[20:02:26] <ada_ru> (Максим) ну я в АдаКоровском gnat gpl 2017  смотрю
[20:02:44] <ada_ru> (I_vlxy_I) foobar :-)
[20:03:53] <ada_ru> (I_vlxy_I) А разве TI Sitara AM1808 (ARM926EJ-S core) @300 MHz это arm5?
[20:03:54] <ada_ru> (I_vlxy_I) *armv5
[20:03:56] <ada_ru> (I_vlxy_I) У меня же не nxt, у меня ev3 (https://en.wikipedia.org/wiki/Lego_Mindstorms_EV3 )
[20:05:18] <ada_ru> (Максим) Microarchitecture     ARMv5TEJ
[20:05:31] <ada_ru> (Максим) это если там по ссылка нажать
[20:06:05] <ada_ru> (Максим) а у тебя линуксовый хост под дебианом или чем?
[20:06:11] <ada_ru> (I_vlxy_I) А, да ARMv5TEJ
[20:06:30] <ada_ru> (I_vlxy_I) под arch.
[20:09:18] <ada_ru> (Максим) можно попробовать собрать кросс: https://wiki.archlinux.org/index.php/Cross-compiling_tools_package_guidelines
[20:10:32] <ada_ru> (I_vlxy_I) прямо gnat gpl собрать, или gnat fsf из gcc который?
[20:11:16] <ada_ru> (Максим) попробуй fsf
[20:11:27] <ada_ru> (I_vlxy_I) ok.
[20:12:14] <ada_ru> (I_vlxy_I) в общем пока два варианта - попробовать докер-образы (там правда gnat скорее всего будет немного окаменевшим, ибо дебиан древний) или собрать руками gnat fsf
[21:15:00] <ada_ru> (I_vlxy_I) А в Аде для типа можно сказать, что от него access нельзя было брать? То есть чтобы указателей на него не было.
[21:15:12] <ada_ru> (I_vlxy_I) При создании типа конечно
[21:15:42] <ada_ru> (Максим) нет
[21:16:12] <ada_ru> (I_vlxy_I) Жаль.
[21:40:19] <ada_ru> (I_vlxy_I) Читаю Programming in Ada 2012. Интересно там пишут слово Color - там его пишут как Colour. Чертовы британцы :-)
[21:40:40] <ada_ru> (I_vlxy_I) Автор - европеец?
[21:41:29] <ada_ru> (nitrocerber) та вроде америкос
[21:41:38] <ada_ru> (nitrocerber) видимо, вычурный. хотя по лицу не скажешь)
[21:42:05] <ada_ru> (nitrocerber) или я не туда смотрю
[21:42:06] <ada_ru> (I_vlxy_I) В Кембридже учился, пишут
[21:42:11] <ada_ru> (I_vlxy_I) https://en.wikipedia.org/wiki/John_Barnes_(computer_scientist)
[21:42:41] <ada_ru> (I_vlxy_I) Брит!
[21:42:44] <ada_ru> (nitrocerber) точно не туда
[21:45:23] <ada_ru> (I_vlxy_I) Ну и словарный запас у него неприлично богатый (для технической литературы).
[21:45:46] <ada_ru> (I_vlxy_I) То есть видно, что он сдераживался из последних сил, но не всегда выходило :-)
[22:02:44] <ada_ru> (I_vlxy_I) Кстати, а есть же какой-то общепринятый кодинг-стайл для Ады? Где-то прочитать про это можно?
[22:03:36] <ada_ru> (I_vlxy_I) и какие-то ведь средства есть, чтобы проверять код на соответствие кодинг стайлу?
[22:03:50] <ada_ru> (I_vlxy_I) автоформат может какой? чекер?
[22:04:48] <ada_ru> (nitrocerber) гнатчек есть, например. и гнатпп))
[22:05:59] <ada_ru> (I_vlxy_I) gnatpp - это форматер, а gnatcheck - это чекер?
[22:06:15] <ada_ru> (I_vlxy_I) а правила им как-то в gpr-файле задать можно?
[22:06:46] <ada_ru> (I_vlxy_I) ну и какой кодинг стайл рекомендованный сейчас существует?
[22:07:46] <ada_ru> (nitrocerber) пипи - претти принтер) а чек да, чекер. с мильёном правил, где-то половина из которых заставляет почесать в затылке
[22:08:24] <ada_ru> (nitrocerber) правила по-мойму в отдельный филе можно сложить. а его уже в гпр запихать в пакет check
[22:10:11] <ada_ru> (nitrocerber) скорее всего есть, я автоформаттер ЖПСа под это использую😂 Хотя он не жрёт кое-какие новомодные фишки 12ой ады. те же аспекты ползают, мембершип тесты и тд.
[22:11:29] <ada_ru> (I_vlxy_I) не, я пока без gps'а пострадаю. в текстовом редакторе и в сонсоли
[22:12:53] <ada_ru> (nitrocerber) колхоз - дело добровольное)
[22:13:29] <ada_ru> (I_vlxy_I) Во! https://gcc.gnu.org/onlinedocs/gnat-style/
[22:13:40] <ada_ru> (I_vlxy_I) https://en.wikibooks.org/wiki/Ada_Programming/Coding_standards
[22:13:58] <ada_ru> (I_vlxy_I) https://en.wikibooks.org/wiki/Ada_Style_Guide
[22:14:05] <ada_ru> (I_vlxy_I) ооой, что-то их много разных!
[22:14:22] <ada_ru> (Максим) компилятор сам может проверять стиль
[22:14:44] <ada_ru> (Максим) ставишь ему -gnaty и смотришь
[22:15:03] <ada_ru> (I_vlxy_I) а, он будет смотреть на тему соответствия гнат-кодинг стайлу?
[22:17:26] <ada_ru> (I_vlxy_I) Ага. Запустил gprbuild с -gnaty, компилятор сказал что я плохой и отправил меня на курсы чистописания.
[22:18:05] <ada_ru> (nitrocerber) А с каким рантаймом собирать? Я по части железа полный чайник и одно другому сопоставить не могу. Попробовал с первым попавшимся - сегментейшон фолт
[22:19:51] <ada_ru> (Максим) @nitrocerber я так понял в этом только bare board рантаймы :( Мне казалось там и linux-овый рантай должен быть
[22:20:17] <ada_ru> (nitrocerber) вот фиг. по ходу надо брать имено арм-линух-линух. и ставить ENV_PREFIX
[22:20:53] <ada_ru> (nitrocerber) ща выкачиваю всю эти потроха с малины на бубунту виртуальную... череззабороногузадерищинск какой-то
[22:21:08] <ada_ru> (I_vlxy_I) если что, эльфы часто используются для прошивки железа. всякие программаторы эльф хавают.
[22:21:23] <ada_ru> (I_vlxy_I) как один из форматов
[22:23:02] <ada_ru> (Максим) О, я заработал первые 10 очков на hackerrank.com 😄
[22:24:51] <ada_ru> (a) https://ntrs.nasa.gov/search.jsp?R=19870013758 %)
[22:25:39] <ada_ru> (I_vlxy_I) NASA. сурово.
[22:25:47] <ada_ru> (I_vlxy_I) спасибо :-)
[22:27:13] <ada_ru> (Максим) Андрей когда-то пытался переводить "Ада качество и стиль", перевел несколько грав https://www.ada-ru.org/files/quality.htm
[22:27:15] <ada_ru> (a) Надо себе сохранить
[22:27:41] <ada_ru> (Максим) оригинал https://www.ada-ru.org/files/quality.htm
[22:27:58] <ada_ru> (I_vlxy_I) ха, а gnatpp по дефолту что-то даже форматирует. похоже на gnaty
[22:28:47] <ada_ru> (a) Я просто вспомнил про с кодинг от наса 70 года. Оказывается в интернете и для ады есть
[22:34:24] <ada_ru> (I_vlxy_I) В 70 году ады не было же :-)
[22:36:13] <ada_ru> (a) ну я и говорю у меня такой файл для C
[22:36:31] <ada_ru> (Максим) я до "Ада качество и стиль" вообще использовал Аду как вариант Си :)
[22:38:17] <ada_ru> (Максим) жаль что она нудная, читать не возможно...
[22:47:49] <ada_ru> (I_vlxy_I) Это вы еще стандарт c++ не читали :-)

Конкретно - книжку Зуева - комментированный перевод стандарта с примерами :-)
[22:49:20] <ada_ru> (Максим) я читал комментированный перевод стандарта С++, и это была у меня последняя капля С++
[22:49:38] <ada_ru> (I_vlxy_I) Это когда было? ;-)
[22:50:22] <ada_ru> (Максим) Ты видел зуевский блог? Старый правда http://zouev.blogspot.com/
[22:50:23] <ada_ru> (I_vlxy_I) Это небось еще был драфт первого стандарта...
[22:50:27] <ada_ru> (Максим) Давно...
[22:50:35] <ada_ru> (I_vlxy_I) Видел
[22:50:44] <ada_ru> (I_vlxy_I) У меня то современная книжка
[22:50:56] <ada_ru> (I_vlxy_I) C++17 (draft)
[22:51:04] <ada_ru> (Максим) там всё еще хуже наверное :)
[22:51:15] <ada_ru> (I_vlxy_I) Интересней!
[22:51:58] <ada_ru> (I_vlxy_I) Теперь есть не только lvalue и rvalue, но целое семейство оных
[22:52:18] <ada_ru> (I_vlxy_I) xvalue, gvalue еще какие-то, не помню точно как зовутся..
[22:53:04] <ada_ru> (I_vlxy_I) В общем, все хорошо.
[22:56:36] <ada_ru> (I_vlxy_I) Но, на самом деле, плюсы стали лучше. И будут еще лучше. Проще в использовании.
[22:57:47] <ada_ru> (I_vlxy_I) Многопоточка есть, атомарные примитивы - есть
[22:58:18] <ada_ru> (I_vlxy_I) Можно не выходя за рамки стандарта делать lock free data structures
[22:58:36] <ada_ru> (I_vlxy_I) Чего, как я понимаю, в аде пока низя.
[22:59:59] <ada_ru> (Максим) Только импортировав intrinsic Compare_And_Swap из gcc
[23:01:56] <ada_ru> (I_vlxy_I) http://en.cppreference.com/w/cpp/atomic/atomic_compare_exchange
[23:02:10] <ada_ru> (I_vlxy_I) Вот плюсы. Любой компилятор.
[23:02:57] <ada_ru> (I_vlxy_I) То есть CAS есть в стандарте. В плане многозадачки плюсы, кажется, в этом аспекте Аду переплюнули.
[23:08:29] <ada_ru> (nitrocerber) я сдаюсь. выкачал по инструкции с малины 3 гига дерьма библиотек, залил на хостовых линух, env_prefix поставил - хрена лысого там. ctr1.o нету, crtn.o нету, гуляй, вася. буду прогать тупо на самой доске, чо делать.
[23:10:12] <ada_ru> (I_vlxy_I) /me предчувствует, что и ему придется в итоге разработку вести прямо на lego ev3. А по сравнению с ev3 малинка является суперкомпом.
[23:10:13] <yeo> :(
[23:10:32] <ada_ru> (FROL256) /me
[23:10:33] <ada_ru> (Максим) Слабаки!
[23:10:41] <ada_ru> (I_vlxy_I) /me
[23:10:58] <ada_ru> (Максим) /me
[23:12:48] <ada_ru> (I_vlxy_I) Для полноты щастья надо гуй на gtk писать и его кросскомпилять под малину!
[23:13:24] <ada_ru> (I_vlxy_I) Из под винды!
[23:13:34] <ada_ru> (nitrocerber) гтк я видел 1 раз на 4ом курсе, когда надо было гуйню приделать к курсачу. ужаснулся, выкинул, взял Вадимоскую кутю и был совершенно счастлив.
[23:14:14] <ada_ru> (I_vlxy_I) Я, кажется, помню этот момент :-)
[23:19:21] <ada_ru> (I_vlxy_I) 2008 год?
[23:20:21] <ada_ru> (nitrocerber) да, где-то тогда должно было быть
[23:20:28] <ada_ru> (nitrocerber) в 9ом выпускались