[12:10:11] <vgodunko> Разобрались, с засадой landgraf-а, радуйтесь.
[12:10:43] <vgodunko> Не нужно использовать ключи что нравятся, типа -gnatN, не проконсультировавшись со службой технической поддержки AdaCore.
[13:07:56] <landgraf> vgodunko, еще бы с ассертом разобраться )
[13:09:02] <landgraf> /me читает описание этого ключа и не понимает что в нем такого смертельного?
[13:09:15] <landgraf> почему стринги падали (гыгы)
[13:09:37] <vgodunko> Он _не поддерживается_
[13:11:07] <landgraf> так и писали бы ошибку "не поддерживается"
[13:11:11] <landgraf> а то хрень какую-то ))
[13:17:46] <vgodunko> Ну... Я не знаю общей цели наличия этого ключа сейчас.
[13:18:03] <vgodunko> Возможно кто-то когда-то его использовал, вот и боятся убрать.
[13:18:17] <vgodunko> Тем более странно, что мне это объясняли много лет назад
[13:19:14] <landgraf> ну в 4.6 ключик не валил сборку. Вроде "надежная ада" а напоминает шаманство
[14:36:51] <virtual_lark> Вы же про этот ключ? -gnatN    Full (frontend) inlining of subprograms
[14:39:49] <virtual_lark> Надёжная ада не везде дотягивается, например если у ядра проблемы с VM-подсистемой, то Ада тут ничего не поделает. Ненадёжное ядро только Адой не забороть.
[14:42:09] <landgraf> virtual_lark, ага, про него
[14:43:28] <virtual_lark> Я линупс в данном случае имею ввиду )
[14:43:50] <virtual_lark> и FreeBSD.
[14:44:25] <landgraf> все на MarteOS :)
[14:44:54] <virtual_lark> а там mplayer работает? )
[14:45:09] <landgraf> соберешь - будет работать )
[14:45:18] <landgraf> ну может чего-то переписать надо
[14:45:23] <landgraf> процентов 90 кода
[15:00:08] <virtual_lark> Есть давняя идейка создать вычислительную архитектуру со сквозной защитой типов данных и ссылок, чтобы и на уровне инструкций защита была и всё что выше использует (Ада, Си, Си++). Пока что есть работающий прототип скелета (программный эмулятор для отладки/развития архитектуры). Сейчас пишется backend для LLVM чтобы с языков программирования транслировать ПО. Но что-то никакого финансирования нет, поэтому вялотекущая ситуация. Если кому интересно, есть старая статья, описывающая архитектуру.
[15:02:08] <yeo> чем-то напоминает intel 432
[15:03:21] <virtual_lark> Если удастся нарастить и отладить, то можно прошить в FPGA и уже "показывать" почти аппаратное решение. Ну а в отдалённом светлом будущем и реализовать в кремнии.
[15:12:30] <yeo> http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=pdm&paperid=177&option_lang=rus Это?
[15:12:53] <virtual_lark> Нет, следующая (или предыдущая) =)
[15:13:16] <yeo> давайте ссылку короче :)
[15:13:26] <yeo> гугл отстой!
[15:13:40] <virtual_lark> http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=pdm&paperid=251&option_lang=rus
[15:14:03] <virtual_lark> Полная pdf'ка по ссылки внизу.
[15:14:29] <virtual_lark> этой страницы "Полный текст: PDF файл (571 kB)"
[16:15:32] <subj_rs> http://www.yaplakal.com/forum3/topic448504.html
[16:20:25] <virtual_lark> Там ещё нету про медицинский аппарат из канады лечению пациентов через облучение. Да и много чего ещё нету )
[16:21:15] <subj_rs> про F-16 кверх ногами улыбнуло )
[16:48:01] <virtual_lark> Я буду признателен за отзыв или вообще любые мысли по поводу изложенного мной и/или по статье. Высылайте, пожалуйста, на email, указанный в статье.
[16:48:17] <virtual_lark> До новых встреч на канале ada-ru.