[00:09:14] <ada_ru> (nitrocerber) а шо там?
[00:09:25] <ada_ru> (nitrocerber) тебя забанили за растохвал?
[00:14:13] <ada_ru> (I_vlxy_I) отвечает (nitrocerber) на <тебя забанили за рас…>
они хотят делать книгу-учебник-мануал по Аде с упором на бумажный вариант в LaTeX'e. Про интерактивный вариант и слышать не хотели 😕 Это в 2к20 то
[00:14:58] <ada_ru> (I_vlxy_I) Но да, я предлагал юзать https://github.com/rust-lang/mdBook
[00:15:06] <ada_ru> (nitrocerber) поди комерция?
[00:15:14] <ada_ru> (I_vlxy_I) вроде нет
[00:15:25] <ada_ru> (I_vlxy_I) rustRustRUST!!11
[00:15:30] <ada_ru> (I_vlxy_I) фух, вроде полегчало
[00:56:57] <ada_ru> (I_vlxy_I) @reznikmm сумасшедшая идея - а не запаковать ли learn.adacore.com в alire пакет, чтобы её можно было вертеть локально?
А то я смотрю на то как книга раста сделана и становится жаль, что в Аде не так 🙂
[02:06:45] <ada_ru> (nitrocerber) А шо, интернет таки по карточкам будут выдавать?
[02:11:23] <ada_ru> (I_vlxy_I) отвечает (nitrocerber) на <А шо, интернет таки …>
ну, мало ли - в самолете например нема интернету. да и в поезде часто тоже
[02:11:30] <ada_ru> (I_vlxy_I) иногда интернеты отваливаются
[02:11:57] <ada_ru> (I_vlxy_I) и да, learn.adacore.com до кучи еще и заблокирован, точнее их сервис который компилятор гоняет
[02:12:26] <ada_ru> (I_vlxy_I) сервис компиляции Ада кода (запрещен на территории РФ)
[02:15:31] <ada_ru> (mister_alexander) потому что нечего адский язык распространять
[04:11:52] <ada_ru> (avkvlru) Да вроде всё работает...
[10:45:21] <ada_ru> (geniepro) Валексей, ты писал, что много лет сидел на BeOS. А что ты на нём делал-то? Там хоть какой-то софт-то хоть был? где ты его брал-то?
[11:08:52] <ada_ru> (a) И как ты вообще жив то после этого ;)
[11:30:44] <ada_ru> (I_vlxy_I) отвечает (geniepro) на <Валексей, ты писал, …>
Был. Вообще было в принципе все что нужно. IDE, офис, почта, ньюсгруппы все дела. А какой софт то нужен?
[11:31:28] <ada_ru> (geniepro) ИГРЫ! ))))
[11:31:45] <ada_ru> (I_vlxy_I) Тоже были :-)
[11:32:25] <ada_ru> (I_vlxy_I) Тот же wesnoth например
[11:35:07] <ada_ru> (a) /me отказался от комп. игр.
[12:13:02] <ada_ru> (I_vlxy_I) А софт брался обычно с bebits.com ну а когда интернетов не было особо - дисками обменивались с коллекциями софта
[14:01:31] <ada_ru> (reznikmm) Когда cтуденты пишут диплом на Аде:
function Get_Name (The_Message : in out FileDescriptorProto.Instance; Size : in Integer := -1) return Google.Protobuf.Wire_Format.PB_String_Access;
[14:03:02] <ada_ru> (reznikmm) Нет, я понимаю, что целью диплома было узнать выигрышь в скорости при переходе от JSON к ProtoBuf, но от этого не легче 😕
[14:03:20] <ada_ru> (I_vlxy_I) А ЧТО НЕ ТАК ТО?!
[14:06:05] <ada_ru> (reznikmm) всё 😊
[14:06:21] <ada_ru> (I_vlxy_I) ну, кодинг стайл вроде соблюден 🙂
[14:06:26] <ada_ru> (I_vlxy_I) а как надо то?
[14:06:28] <ada_ru> (a) картинка https://www.ada-ru.org/files/bot/2020-04-18-x6.jpg
[14:07:08] <ada_ru> (a) источники литературы в папере от 1989 года
[14:07:47] <ada_ru> (a) интересно есть ли эти видео где то
[14:10:08] <ada_ru> (reznikmm) отвечает (I_vlxy_I) на <а как надо то?>
Что за Size, и почему возвращается указатель на строку? это какая-то оптимизация или я хз.
[14:11:24] <ada_ru> (reznikmm) Меня бы устроило
function Get_Name
(Self : FileDescriptorProto.Instance )
return League.Strings.Universal_String;
[14:11:26] <ada_ru> (reznikmm) 😄
[14:11:50] <ada_ru> (I_vlxy_I) Думаю это просто калька с char*, и это указатель на какую-то строку, которая хранится в потрохах протобафа. нет смысла ее копировать.
[14:12:14] <ada_ru> (I_vlxy_I) но на этом мысль останавливается 🙂
[14:12:47] <ada_ru> (reznikmm) отвечает (I_vlxy_I) на <Думаю это просто кал…>
А, это, наверное, так пытались изобразить способ изменения Name внутри записи... Ппц
[14:12:49] <ada_ru> (I_vlxy_I) что это за Size - я хз. Возможно это размер буфера который первым параметром идет? то есть какой кусок данных там значим
[14:13:47] <ada_ru> (I_vlxy_I) по сути оно должно бы возвращать аналог std::string_view - штука которая не владеет содержимым строки, но при этом позволяет работать с куском этой строки как с обычной строкой.
[14:14:08] <ada_ru> (reznikmm) типа тебе надо затолкать "abc", ты вызываешь Size=3, а в указатель запихиваешь .all := "abc";
[14:15:02] <ada_ru> (reznikmm) всё это выглядит дико 😕
[14:15:46] <ada_ru> (I_vlxy_I) ты не поверишь, но даже плюсатая реализация протобафа для плюсистов выглядит местами весьма дико 🙂
[14:15:55] <ada_ru> (I_vlxy_I) у гугла свой, неповторимый стиль
[14:26:50] <ada_ru> (reznikmm) Так жить нельзя! Нужно чтобы всё было красиво! Чтобы везде была Матрёшка 😄
[14:27:16] <ada_ru> (I_vlxy_I) а метрешка уже в alire есть? 😉
[14:30:06] <ada_ru> (reznikmm) да, правда пока без драйверов к SQL базам
[14:31:26] <ada_ru> (I_vlxy_I) а, вижу, да.
[15:37:51] <ada_ru> (Oleg) отвечает (reznikmm) на <да, правда пока без …>
Ждём!
[15:39:30] <ada_ru> (reznikmm) отвечает (Oleg) на <Ждём!>
Ну, ну во вторник посмотрю. Сейчас нужен протобуф с блекджеком и матрёшками 😄
[15:40:00] <ada_ru> (a) https://astera.ru/news/v-rossii-razrabotali-mini-pk-na-protsessore-bajkal-t1000/?utm_source=yxnews&utm_medium=desktop&utm_referrer=https%3A%2F%2Fyandex.ru%2Fnews
[15:41:10] <ada_ru> (I_vlxy_I) отвечает (a) на <https://astera.ru/ne…>
неплохой напиток!
[15:44:10] <ada_ru> (I_vlxy_I) https://ru.wikipedia.org/wiki/Байкал_(напиток)
[15:45:26] <ada_ru> (I_vlxy_I) отвечает (a) на <https://astera.ru/ne…>
а с этими байкалами проблемы - они все называются "байкал" но при этом между собой не совместимы - некоторые это MIPS, некоторые - ARM
[15:46:00] <ada_ru> (I_vlxy_I) конкретно этот - кажись MIPS32
[15:46:38] <ada_ru> (geniepro) отвечает (I_vlxy_I) на <а с этими байкалами …>
компилируй софт из исходников и забудь про все эти мипсы-шмипсы армы-херармы
[15:47:12] <ada_ru> (I_vlxy_I) отвечает (geniepro) на <компилируй софт из и…>
и каким же образом мне удастся тут забыть? мипсы от армов весьма сильно отличаются.
[15:47:29] <ada_ru> (geniepro) make [enter]
[15:48:01] <ada_ru> (I_vlxy_I) и? оно или не соберется или будет работать иначе
[15:48:13] <ada_ru> (I_vlxy_I) особенно если самому писать
[15:48:17] <ada_ru> (geniepro) ну тогда это говнософт, не юзай его
[15:50:21] <ada_ru> (I_vlxy_I) тут подробней: https://www.cnews.ru/news/top/2020-04-17_sozdan_minipk_na_bajkalah
[15:55:22] <ada_ru> (nitrocerber) шатать там адище в коментах
[15:56:33] <ada_ru> (I_vlxy_I) О! А там комменты есть?
[16:01:19] <ada_ru> (a) "это как дефендер это аналог нашего УАЗ, но за много денег))"
[16:05:40] <ada_ru> (nitrocerber) да это хотя бы осмысленно. а вот дальше там один товарищ порвался
[16:17:24] <ada_ru> (I_vlxy_I) но в принципе вполне доступный пепелац так то
[16:19:49] <ada_ru> (Oleg) Надо было только XHamsters назвать
[16:26:29] <ada_ru> (I_vlxy_I) Дивайс стоит как бюджетный телефон
[16:26:49] <ada_ru> (I_vlxy_I) Интересно, а что там с Адой?
[16:27:35] <ada_ru> (I_vlxy_I) И как там себя будет чувствовать Rust?
[16:28:23] <ada_ru> (wladlos) отвечает (reznikmm) на <Так жить нельзя! Нуж…>
Что есть "матрёшка"?
[16:28:47] <ada_ru> (I_vlxy_I) отвечает (wladlos) на <Что есть "матрёшка"?>
Набор библиотек
[16:29:45] <ada_ru> (I_vlxy_I) https://forge.ada-ru.org/matreshka
[16:30:49] <ada_ru> (wladlos) отвечает (I_vlxy_I) на <https://forge.ada-ru…>
Спасибо.
[16:31:34] <ada_ru> (I_vlxy_I) Да, на гитхабе актуальнее
https://github.com/reznikmm/matreshka
[16:32:19] <ada_ru> (wladlos) Граждане адаобсуждающие,
меня, конечно, в Гугле не забанили, но мне нужно больше "из личного опыта"...
Кто-то имеет ссылки или знакомцев, кто РЕАЛЬНО применял ту или иную аду на микроконтроллерах и в ОСРВ? В РЕАЛЬНЫХ РАЗРАБОТКАХ.
[16:32:51] <ada_ru> (I_vlxy_I) Я - точно нет :-)
[16:34:43] <ada_ru> (wladlos) Меня больше интересует именно "над голым железом". Мне надо оценить работу и отзывы на "нативную многопоточность" Ады.
[16:41:02] <ada_ru> (reznikmm) Многопоточность на голом железе это, скорее всего, Ravenscar profile рантайм. Ну может ещё на MarteOS посмотреть
[16:42:14] <ada_ru> (reznikmm) Равенскар есть в gnat community 2019 для ARM, можно взять и оценить.
[16:47:15] <ada_ru> (wladlos) Есть где-то список контор, которые официально заявляют, что "наши системы работают на Аде"? Меня интересует авиакосмос, БПЛА, оборонка, флот, строительная техника, медицинское оборудование, ж/д и метрополитен...
[17:29:37] <ada_ru> (reznikmm) Our Customers - AdaCore
https://www.adacore.com/company/our-customers
[17:39:39] <ada_ru> (geniepro) отвечает (wladlos) на <Есть где-то список к…>
была когда-то статья про Бериева, как они переводили своих программистов с модулы-2 на аду, но всё это такая древняя информация 20-летней давности, кто знает, как там у них сейчас...
[17:40:37] <ada_ru> (I_vlxy_I) отвечает (geniepro) на <была когда-то статья…>
Вот бы сейчас историю как с Rust на Аду перевели проект...
[17:40:42] <ada_ru> (I_vlxy_I) rustRustRUST!
[17:54:16] <ada_ru> (Oleg) отвечает (I_vlxy_I) на <Вот бы сейчас истори…>
Под Embedded боюсь просто нечего переводить - раст там пока дикость
[17:54:42] <ada_ru> (Oleg) Я бы использовал аду но под мои платформы это не просто пока
[17:54:53] <ada_ru> (Oleg) Да и с растом там тоже туго
[17:55:06] <ada_ru> (Oleg) Только чистый С по заветам старой школы
[17:55:12] <ada_ru> (Oleg) 😊
[19:07:34] <ada_ru> (Gourytch) отвечает (a) на <https://astera.ru/ne…>
#НАДОБРАТЬ
[19:15:09] <ada_ru> (I_vlxy_I) отвечает (Gourytch) на <#НАДОБРАТЬ>
IMPORTOZAMESCHENIE!
[19:15:27] <ada_ru> (I_vlxy_I) btw: вот такое же за ту же цену да на эльбрусе.. вот это было бы скрепно!
[19:16:18] <ada_ru> (Gourytch) BE-T1000 это разве не елбруз?
[19:17:50] <ada_ru> (geniepro) отвечает (Gourytch) на <BE-T1000 это разве н…>
BE-T1000 – отечественная система на кристалле на базе архитектуры MIPS Warrior P-class P5600
[19:18:20] <ada_ru> (I_vlxy_I) отвечает (Gourytch) на <BE-T1000 это разве н…>
это MIPS32
[19:18:31] <ada_ru> (I_vlxy_I) потому и дешево так
[19:18:35] <ada_ru> (Gourytch) а...
[19:18:39] <ada_ru> (I_vlxy_I) да и софта в достатке
[19:19:47] <ada_ru> (Oleg) А тем временем:
[19:19:50] <ada_ru> (Oleg) http://www.tadviser.ru/index.php/Персона:Опанасенко_Всеволод_Юрьевич
[19:21:39] <ada_ru> (Oleg) Вот так у нас процессоры разрабатывать - в качестве благодарности - уголовное дело
[19:30:52] <ada_ru> (Oleg) Красота
[19:31:10] <ada_ru> (Oleg) Да Baykal это MIPS
[19:51:34] <ada_ru> (geniepro) ну, всё-таки, думаю, уголовное дело не за разработку процессоров завели, а то получается, что и Райзера в тюрьму посадили за разработку его файловой системы, а не за убийство жены...
[20:09:32] <ada_ru> (Oleg) Это ясно, но результат и там и там печальный
[20:09:42] <ada_ru> (Oleg) Райзер фс забыт
[20:09:53] <ada_ru> (Oleg) Байкал не пошёл
[20:21:56] <ada_ru> (geniepro) с какой стати прцессоры байкал вообще должны были пойти?
[20:49:53] <ada_ru> (Oleg) отвечает (geniepro) на <с какой стати прцесс…>
А зачем они делались? ради науки?
[20:50:25] <ada_ru> (geniepro) отвечает (Oleg) на <А зачем они делались…>
ради какой науки? архитектуре мипс лет 40, зачем вообще их делать?
[20:50:52] <ada_ru> (Oleg) Так я спрашиваю, зачем их делали? наверное был какой то коммерческий план
[20:51:24] <ada_ru> (Oleg) Ну можно было их в Dlink о подобные роутеры запихнуть
[20:51:38] <ada_ru> (Oleg) Или распбериподобных плат наделать
[20:54:12] <ada_ru> (geniepro) отвечает (Oleg) на <Так я спрашиваю, зач…>
ну раз не пошли байкалы, значит план был неудачным
[20:55:13] <ada_ru> (Oleg) Ну без поддержки государства - которая есть у производителей Эльбруса он всегда будетт неудачным
[20:58:26] <ada_ru> (geniepro) эльбрусам господдержка не особо помогает
[21:33:24] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <А зачем они делались…>
Зачем apple делает arm?
[21:33:47] <ada_ru> (I_vlxy_I) А самсунг зачем это делает?
[21:33:54] <ada_ru> (Oleg) Так я о том же
[21:34:08] <ada_ru> (Oleg) Раз делают значит есть мысли коммерциализации
[22:01:12] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <Раз делают значит ес…>
Там и была чисто коммерческая разработка. И, как видим, новые продукты выходят
[22:01:35] <ada_ru> (I_vlxy_I) В первую очередь хотели для сетевого оборудования
[22:01:45] <ada_ru> (I_vlxy_I) Потому и mips, а не arm
[22:01:57] <ada_ru> (Oleg) Ну да MIPS лучше в этом смысле
[22:02:51] <ada_ru> (Oleg) Например Cavium Octeon
[22:03:00] <ada_ru> (Oleg) Но там 64 бита и куча ядер
[22:03:18] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <Но там 64 бита и куч…>
И тут куча ядер и интерфейсов
[22:03:43] <ada_ru> (Oleg) Ну и я про то же, можно ж применять
[22:07:09] <nordwind> З ядра 3 гига
[22:08:50] <ada_ru> (I_vlxy_I) отвечает на <(nordwind) З ядра 3 …>
2 ядра 2 гига :-)
[22:09:42] <nordwind> Это были трехядерные АМД. Теперь там 64/64
[23:10:19] <ada_ru> (wladlos) О чём вообще здесь разговор идёт?
Вам не надоело сюда "политику" приплетать?
Я сюда зашёл в надежде по Аде что-то услышать новое и/или интересное. О практическом применении и историях успеха услышать.
Пообщаться на эту тему.
А мне предлагается опять окололиберастные бредни, фантазии и гадания разгребать?
Слушайте, я в ноябре полтинник отметил... Если кто-то надеется, что у него - вагон и маленькая тележка времени впереди, то у меня таких заблуждений уже нет. И - в силу осознанного возраста, и - по наблюдающимся тенденциям в здоровье.
Мне на всякую фигню, типа "спасения человечества" или "всеобщее щасте и равинство", время стало жалко тратить.
Если у кого-то его "путин" или "навальный" (или ещё что-то) чешется, пусть идёт на соответствующие сайты или каналы в телеге.
Давайте здесь только Аду оставим.
А если нечего сказать (или - не по теме) - лучше не писАть.
Пусть лучше тема будет редка и бедна сообщениями, но пусть они - по делу и тематике канала только будут.
[23:11:43] <ada_ru> (mister_alexander) У нас тут свобода слова, братство и равенство!
[23:12:23] <ada_ru> (wladlos) отвечает (mister_alexander) на <У нас тут свобода сл…>
То есть - балаган.
[23:12:39] <ada_ru> (mister_alexander) Невозможно жить в обществе и игнорировать политическую составляющую.
[23:12:45] <ada_ru> (mister_alexander) отвечает (wladlos) на <То есть - балаган.>
Вроде норм
[23:52:33] <ada_ru> (Oleg) отвечает (wladlos) на <О чём вообще здесь р…>
Историй успеха нет - расказывать неочем - все просто, К сожалению.
[23:53:05] <ada_ru> (Oleg) Порадывал пожалуй WebAsm но пока никто никуда не применил в прод
[23:54:30] <ada_ru> (Oleg) На микроконроллерах мне например пока лень, проще на C и удобнее, увы пока так. Вот если бы Адакор захотели.... вот если бы они общались с разработчиками чипов и как то продвигали это но видимо судьба ады - COBOL
[23:54:37] <ada_ru> (Oleg) А жаль