[00:19:20] <ada_ru> (wladlos)  отвечает (Eugene) на <а вот кстати, оберон…>
И - правильно. В обоих двух смыслах.
[00:21:53] <ada_ru> (I_vlxy_I) там же вроде чисто мелкая система логирования на обероне. причем, это всё плохо говорит о русатоме - в том плане, что любой программист походу может любой велосипед туда внедрить
[00:22:01] <ada_ru> (I_vlxy_I) такоэ...
[00:25:21] <ada_ru> (Eugene) Они утверждают, что у них якобы есть сертификаты
[00:26:01] <ada_ru> (I_vlxy_I) бумажки которые можно выкинуть.
[00:26:11] <ada_ru> (I_vlxy_I) сертификаты на компилятор есть? он тестировался вообще?
[00:26:20] <ada_ru> (wladlos) А чо б с самим Дагаевым не пообщаться? Вместо построения предположений и экзерцисов в сарказме?
[00:26:21] <ada_ru> (I_vlxy_I) а поддержка осуществляется? а тесты есть?
[00:26:58] <ada_ru> (I_vlxy_I) я общался
[00:27:55] <ada_ru> (wladlos)  отвечает (I_vlxy_I) на <а поддержка осуществ…>
Э-ка вас мейнстрим подмял-то! Вот амеры на Луну без всяких тестов с перового раза успешно слетали!
[00:30:17] <ada_ru> (I_vlxy_I) не с первого, но да, слетали.
[00:33:30] <ada_ru> (wladlos) Дык те - полёты - по программе, а не таестовые были.
[00:34:02] <ada_ru> (I_vlxy_I) тестовые по программе 🙂
[07:15:06] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <не с первого, но да,…>
а есть убедительные доказательства, что туда именно люди сшанского происхождения слетали?
[07:48:48] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <там же вроде чисто м…>
если действительно "Дмитрий Дагаев, главный эксперт АО «Русатом Автоматизированные системы управления»", то он не любой программист таки...
[08:38:19] <ada_ru> (Eugene) какая-то испанская компания берётся за верификацию готового софта:
http://formalvindications.com/
[10:48:40] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <если действительно "…>
В любом случае это либо не mission critical либо мы все умрем