[06:53:24] <Kemet> _valexey_, Автопилоты пишут на оберонах же!
[07:34:21] <_valexey_> Kemet: только самые примитивные же :-)
[07:34:53] <_valexey_> Т.е. только для чего-то летающего. А это самая простая задача.
[08:06:04] <Kemet> _valexey_: дык клиенты думают что внутри цпп, а на самом деле там оберон!
[13:23:53] <_valexey_> Kemet: а если исходники глянуть? ;-)
[13:24:35] <_valexey_> Я глянул кое-чего исходники в плане sdc. Не оберон :-)
[14:52:32] <_valexey_> Вроде даже Ады нет нигде.
[19:28:05] <Kemet> _valexey_, Надо работы Игоря Чагаева прочитать подробней, он там чтото про авионику пишет много и у него оберон
[19:35:23] <Kemet> Я на оберонкоре на одну книгу ссылку давал
[19:37:37] <Kemet> У меня гдето есть несколько его книг - он присылал как то
[19:38:40] <Kemet> Но я пока их не чттал ((( одну только по диагонали просмотрел
[19:47:05] <_valexey_> Kemet: ну, я больше про более сложные новые области типа self driving car
[19:47:15] <_valexey_> Их смотрел
[19:53:37] <_valexey_> Там всё сложнее и интересней.
[19:54:13] <_valexey_> Kemet: у Игоря же не большая авионика?
[19:54:27] <_valexey_> У него вроде что-то мелкое.
[19:57:36] <_valexey_> И без пассажиров внутри. Там требования к надежности другие ;-) Поэтому там и оберон можно!
[20:00:10] <Kemet> _valexey_: как раз у него про надежность и безопасность
[20:00:13] <Kemet> с пассажирами
[20:01:21] <_valexey_> А где оберон с пассажирами? Какая контора? Какие аппараты?
[20:03:46] <Kemet> хз, читать надо
[20:04:51] <_valexey_> Можешь ссыль сюда кинуть?
[20:05:40] <_valexey_> Ну или хоть на оборонкор-форум ссыль на тамошнее сообщение.
[20:06:41] <Kemet> счасздесь кое что есть
[20:06:42] <Kemet> https://independent.academia.edu/IgorSchagaev
[20:10:10] <_valexey_> Ага. Спасибо.
[20:38:40] <Kemet> _valexey_: http://gen.lib.rus.ec/search.php?req=Schagaev&lg_topic=libgen&open=0&view=simple&res=25&phrase=1&column=def
[21:03:08] <Kemet> version
[21:03:10] <Жаба> Kemet,  you have LeechCraft Azoth 0.6.70 (compiled with Qt 4.8.6; running with Qt 4.8.6) on Windows 8
[21:08:01] <_valexey_> Гляну. Сенькс.
[21:12:59] <Kemet> зачем тебе оно?
[21:13:29] <_valexey> Kemet: ну, у меня работа как бы связана с подобным
[21:13:41] <_valexey> но не авионика :-)
[21:14:11] <_valexey> в Resilient computer system design, насколько я вижу, исследовательская система. то есть пруф оф концепт
[21:14:15] <_valexey> не что-то боевое
[21:14:23] <Kemet> можно с самим Игрем пообщаться, он вообще контактный чел, без закидонов
[21:14:28] <_valexey> язык там да, производная от автивного оберона
[21:18:19] <_valexey> а он где физически находится вообще? В Лондоне?
[21:19:21] <Kemet> гдето там
[21:20:33] <Kemet> да спишись с ним просто ))
[21:22:35] <Kemet> и да, по русски он вполне нормально общается, в отличии от бывших xds
[21:33:25] <_valexey> а бывшие xds всё? по русски писать не умеют? :-)
[21:34:59] <_valexey> ну, я пока поштудирую его письмена. вообще, в области sdc надежность ПО на уровне авионики пока не светит, так как задача сама по себе сильно сложнее, и просто пока нет алгоритмов достаточно надежных самих по себе. вне зависимости от реализации
[21:35:21] <_valexey> грубо говоря, машинка периодически захочет в столб. и как ты ни реализуй этот алгоритм, в столб она все равно захочет :-)
[21:36:54] <_valexey> тем более, что львиная доля алгоритмов - Машинное Обучение :-)
[21:37:14] <_valexey> как ни программируй, как ни обучай, один фиг ошибки будут бай дизайн.
[21:38:20] <Kemet> поэтому лучший мерседес это трамвай - он не захочет в столб!, а лучше бронепоезд!- ему пох все столбы
[21:40:26] <Kemet> ну надежда на софт и хард машины без внешней поддержки это малореальная штука, да. вот если на каждом столбе датчики, это другое дело, но фиг их поставишь
[21:45:36] <Kemet> ну то есть обратная связь должна быть. в авионике хоть какая-то есть, а здесь хрен
[21:47:06] <Kemet> в общем, тема не интересная ))
[21:52:39] <_valexey> ну, человек еще кривее чем машина :-)
[21:52:59] <_valexey> то есть тут есть все шансы сделать управление авто компом менее аварийным нежели человеком
[21:59:39] <_valexey> хороший пример задачи, которую не знают как алгоритмически решить, но решают через ML - распознование текстов
[22:00:13] <_valexey> и там тоже есть процент ошибок. всегда есть. Но оно распознает лучше человека. То есть корректно работает там, где человек уже ничего разобрать не может.