[15:56:12] <ada_ru> (Eugene) про верифицированный тетрис на SPARK
[18:09:14] <ada_ru> (Юрий !) Эльбрус никому здесь не нужен?
[18:09:16] <ada_ru> (Юрий !) http://www.mcst.ru/programmnoe-obespechenie-elbrus
[18:19:10] <ada_ru> (I_vlxy_I) нужен как эталонное "нинужин"
[18:21:49] <ada_ru> (Юрий !) Пишут, что полностью российская разработка , кроме ядра конечно
[18:22:21] <ada_ru> (I_vlxy_I) эмм.. нет. libc там не свой. ядро - тоже линуксячье. то есть это ж дебиан.
[18:22:32] <ada_ru> (I_vlxy_I) но портированный
[18:22:40] <ada_ru> (nitrocerber) Oh sweet summer child... не приживёшься ты у нас)
[18:22:56] <ada_ru> (I_vlxy_I) и, судя по всему, с нарушением всех возможных лицензий
[18:23:02] <ada_ru> (nitrocerber) лицензии нинужны
[18:23:14] <ada_ru> (I_vlxy_I)  отвечает (nitrocerber) на <лицензии нинужны>
адакоре это скажи 😊
[18:23:29] <ada_ru> (nitrocerber) адакоре ни нужны мы
[18:23:38] <ada_ru> (nitrocerber) тут такая взаимность
[18:23:46] <ada_ru> (nitrocerber) нам пох на их лицензии, а им пох на нас
[18:24:00] <ada_ru> (I_vlxy_I) а в итоге индустрии пох на аду 😊
[18:24:02] <ada_ru> (nitrocerber) "одна сторона храпит, а фторая - не слышит". прям счастливый брак
[18:24:23] <ada_ru> (nitrocerber) ну пока эйрбас не обдристался аки боинг - коптим потихоньку
[18:24:48] <ada_ru> (nitrocerber) нишевость - это модно и молодёжно
[18:28:15] <ada_ru> (I_vlxy_I)  отвечает (nitrocerber) на <нишевость - это модн…>
Кобол рулит! Среди молодёжи 😊
[18:29:30] <ada_ru> (nitrocerber) за аду и кобол стлеляю в упол!
[18:30:10] <ada_ru> (Юрий !) 🤣
[19:35:26] <ada_ru> (I_vlxy_I) гхм. а есть какой-нибудь реализованный реалтайм протокол сетевой для Ады?
[19:36:14] <ada_ru> (I_vlxy_I) типа типичная же задача - приходят данные например с телеметрии, или наоборот - управление, и если пакетик не дошел, то его иногда имеет смысл перепослать, а иногда и уже нет.
[19:36:27] <ada_ru> (I_vlxy_I) с пасером бы и проч
[19:53:39] <ada_ru> (nitrocerber) В локхид-мартин напиши, мож пришлют чо
[20:07:05] <ada_ru> (I_vlxy_I)  отвечает (nitrocerber) на <В локхид-мартин напи…>
одно из своих высокоточных изделий точно по адресу?
[20:08:05] <ada_ru> (nitrocerber) Ахахах
[20:08:25] <ada_ru> (I_vlxy_I) c кусочком кода на Аде
[20:08:36] <ada_ru> (I_vlxy_I) так сказать, usage example
[20:27:26] <ada_ru> (Максим)  отвечает (I_vlxy_I) на <адакоре это скажи 😊>
У Адакоры GPL лицензия, не гоните
[20:28:35] <ada_ru> (Максим)  отвечает (I_vlxy_I) на <гхм. а есть какой-ни…>
был в MarteOS какой-то
[20:30:13] <ada_ru> (Максим) > Enhancing a Hard Real-Time Ethernet Protocol to support Distributed Contract-Based Bandwidth Reservation
[20:30:19] <ada_ru> (Максим) https://marte.unican.es/documentation.htm
[20:31:03] <ada_ru> (Максим) RT-EP там же какой-то
[21:01:03] <ada_ru> (I_vlxy_I) Мне бы на уровне юзерспейса... то есть поверх например udp
[21:13:38] <ada_ru> (Lieutenant_Commander_Data) юзерспейс не нужен
[21:20:23] <ada_ru> (I_vlxy_I)  отвечает (Lieutenant_Commander_Data) на <юзерспейс не нужен>
Может и сеть не нужна?
[21:20:28] <ada_ru> (I_vlxy_I) И реалтайм?
[21:28:06] <ada_ru> (Eugene) какой юзерспейс внутри ракеты? о_О
[21:29:18] <ada_ru> (Lieutenant_Commander_Data) юзерспейсный
[21:29:53] <ada_ru> (Lieutenant_Commander_Data) конечно не нужны.
зачем что-то делать сегодня если это можно отложить на потом?
[21:45:35] <ada_ru> (nitrocerber) а осу зачем накуривать?
[22:02:37] <ada_ru> (I_vlxy_I) могу - значит должен!
[22:18:04] <ada_ru> (Lieutenant_Commander_Data)  отвечает (nitrocerber) на <а осу зачем накурива…>
<прислал наклейку> 🐝
[22:18:17] <ada_ru> (Lieutenant_Commander_Data) <прислал наклейку> 🐝
[23:40:20] <ada_ru> (Eugene) <прислал наклейку> 😱