[05:24:06] <Kemet> _valexey_: Игорь дал ссылку, на некоторве старые материалы на русском: https://www.academia.edu/21706837/Hardware_and_software_of_fail-safe_computing_systems
[12:39:28] <_valexey_> Kemet: спасибо
[17:01:40] <Kemet> ping
[17:01:41] <Жаба> Kemet, Pong from you:  0.170072 s
[17:50:38] <Kemet> _valexey_: Как-то медленно они lock-free версию А2 чинят ((( ну сделали, что ядро грузится, так блин мало пользы в этом, модули то не грузятся
[17:51:05] <Kemet> ну хоть компиляятор починили на эту тему
[17:51:53] <Kemet> вот думаю под RPI оно работает, ибо там только ядро с консолью бинароное и есть, оно и так грузится ))
[17:52:10] <_valexey_> Kemet: ну, видимо общественно полезные дела не в приоритете
[17:52:59] <Kemet> угу, у них то оно работает )), но старое всё
[17:53:38] <Kemet> а раз работает, че париться, в паблике чиниитьт
[17:53:49] <_valexey_> Часто всякие конторы опенсорсят всякое в основном для одной цели
[17:54:02] <_valexey_> Цель - ленче нанимать специалистов.
[17:54:24] <_valexey_> (То есть быстрее и дешевле)
[17:54:43] <Kemet> так документации нормальной нема же, люди смотрят и не понимают
[17:55:07] <_valexey_> Но это удел крупных контор
[17:55:32] <_valexey_> А эти - ммелкие. Поэтому им особого профита с опенсорса нет.
[17:55:39] <Kemet> ну я думаю они думали, вот откроем кот, как набегут, так не набежали, даже Саге с Богданом ни строчки не закоммитили
[17:57:21] <_valexey_> Да даже если и набегут - это ж придется разгребать и фильтровать чотам эти левые чуваки наконтрибьютили.
[17:57:23] <Kemet> я вот не могу ничего особо коммитить - ибо наша версия а2 не совместима с их версией
[17:59:12] <Kemet> ну да, было дело, я как то закоммитил, а у них траблы начались, я даже нашел почему, но они промолчали и удалили коммит, так то понятно, там надо чинить, а так как там косяк и он не проявлялся, значит в других местах было замазано и это надо искать и тоже чинить
[17:59:55] <Kemet> и я даже нашел где замазано, но вохможно не все
[18:00:02] <Kemet> и тоже писал, а в ответ тишина
[18:00:32] <_valexey_> Дык на поддержку сторонних коммитов просто нет ресурсов.
[18:00:56] <Kemet> ну тут не поддержка сторонних, а правка багов в а2
[18:01:25] <_valexey_> Проще иногда делать дамп своего рабочего, нежели с разработкой сообществом заморачиваться.  
[18:01:36] <Kemet> а так да, видимо их там сильно разоггнали, Свена вон нет, а он как раз много  чего пилил
[18:02:39] <Kemet> и стек ЮСб вроде Свен тоже сделал
[18:04:11] <_valexey_> Когда команда мелкая, и делает продукт, то нефиг заигрывать с опенсорсом. Нужно делать деньги!
[18:04:26] <Kemet> самое что насмтораживает, это тишина в ответ на неудобные вопросы, ну написали бы, не парни, мы не поянем, не, нам не надо, не, не впичывается в политику партии.. и тд, так нет, молчат
[18:04:57] <_valexey_> Ну, при условии, что бизнес модель изначально не вокруг опенсорса завязана (а такое бывает даже у мелких)
[18:05:00] <Kemet> и возникает мысль, сделать свой форк
[18:05:49] <_valexey_> Никто не хочет быть крайним в случае возможных репутационных потерь из за ответа. Вот и все.
[18:07:38] <Kemet> да ладно, Свен отвечал же - у нас маленькая команда, мы не потянем такой проект, и тд, и все понимали. Но тогда код полузакрытый был
[18:11:11] <Kemet> с другой стороны, доступ на запись мне дали, вроде бери и коммить, но блин, я ж  тоже понимаю, это учебная штука, то есть ичпользуется в учебном процессе, есть куча сатериалов и если я счас начну курочить, им тоже будет фигово, придется всё адаптировать, а кому это надо
[18:12:05] <Kemet> в этом и проблема - вориентации А2 на обучение
[18:12:38] <Kemet> а когда у них были планы на коммерциализацию, она развивалась, менялось многое
[18:14:51] <_valexey_> А они же в коммерции ее юзают, не?
[18:14:58] <_valexey_> В заказных проектах.
[18:14:58] <Kemet> а сейчас они просто идеи оттуда тянут, то Staila , то вон Шагаев, то еще разные проекты
[18:15:32] <Kemet> на базе а2 у них есть Медикал Кернел
[18:16:16] <Kemet> но ты же понимаешь - это не та солянка что в паблике
[18:17:16] <Kemet> ну то есть, видимо, прапвильное решение, не форк, а просто проект на идеях
[18:17:33] <Kemet> у нас же тоже от а2 ничего не осталось
[18:17:53] <Kemet> так, структура, идеи
[18:19:37] <Kemet> например она запускается на PDP-11 и ядро умещается в 16 кб и умеет всё то, что умеет "большая" А2
[18:20:18] <_valexey_> Хы
[18:20:26] <Kemet> ъпонятно, что внутри процедур голимый асм
[18:20:31] <Kemet> )
[18:20:52] <_valexey_> Ну, на то она и исследовательская ось, что бы на ней экспериментировать
[18:21:02] <_valexey_> А в прод уже идеи а не код
[18:21:37] <Kemet> ну так то да, но чтобы оттуда черпать, нужно и вливать
[18:22:18] <_valexey_> Ну, вливают тот кто учится и дисеры пишет.
[18:23:32] <Kemet> ну Феликс компилер то использует где-то, в тойже стейле вроде, там и транслятор в Си есть
[18:23:53] <Kemet> только С части рантайма нету (
[18:24:55] <Kemet> он заинтересовался дженериками, мы както обсуждали, я даже начинал заниматься и кое что было реализовано
[18:25:53] <_valexey_> Хы
[18:26:19] <_valexey_> Дженерики - хорошо. Правда на оберонкоре что-то не все это понимают...
[18:27:32] <Kemet> ну то есть им дженерики нужны, но без прагм они не очень полезны, ну понятно, что всё упрощается, но как реализовывать версии потокобезопасные и простые? две копии или просто прагму воткнуть, проще прагму, так прагмы Феликсу не нравятся
[18:28:33] <Kemet> дженерики хорошо, но там где они нужны,
[18:29:23] <_valexey_> Конечно там где они не нужны, там они не нужны :-)
[18:29:54] <Kemet> вот это на оберонкоре и не понимают ))
[18:30:46] <_valexey_> Лекарство не должно быть хуже болезни. Это, внезапно, даже плюсисты понимают и используют шаблоны ограниченно обычно. Даже буст используют осторожно.
[18:30:59] <Kemet> оказывается в первом Обероне небыло Ассерта!
[18:31:33] <Kemet> его нет в репорте! А значит это не Вирт-Вэй!
[18:31:47] <Kemet> он был заимствован позднее из О-2
[18:32:07] <_valexey_> То есть, выходит, Вирт еретик ибо нарушил заветы Вирта? :-)
[18:32:18] <Kemet> ога!
[18:32:40] <Kemet> я вот не смотрел, есть ли он в О7
[18:33:38] <Kemet> в виртовских компилях его небыло, он использовал старый добрый метод IF cond THEN HALT(x) END;
[18:34:13] <_valexey_> Есть.
[18:34:50] <_valexey_> HALT - нету
[18:34:52] <Kemet> позднее в различныз реализациях, вроде не  виртовских, ASSERT появляется, но он работал не так ка4к сейчас, это было не условие продолжения, а условие генерации исключения
[18:35:24] <_valexey_> Короче, Вирт делает так как нужно ему :-) вот и все.
[18:35:54] <_valexey_> Вопрос удобства для данного конкретного проекта.
[18:35:59] <Kemet> ну то есть просто заменял конструкцию с IF a THEN HALT
[18:37:25] <Kemet> И Вирт теперь поди пишет ASSERT(FALSE)
[18:38:20] <_valexey_> :-)
[18:38:27] <_valexey_> Надо глянуть
[18:38:38] <_valexey_> Не удивлюсь если он халт продолжает юзать
[18:39:10] <_valexey_> Репорт оберона это одно, а язык на котором писан проект оберон современный - это другое
[18:39:33] <_valexey_> Там и расширизмы и ваще...
[18:41:24] <Kemet> а язык, на котором писана МИНОС вообще третий
[18:42:10] <Kemet> а у Шагаева вообще смесь бульдого с носорогом
[18:42:12] <_valexey_> Угу
[18:43:35] <Kemet> так что чем им Питон3 не угодил?я хз
[18:44:29] <_valexey_> Кому? Оборонкоровцам?
[18:45:03] <Kemet> ага
[18:45:31] <Kemet> они ж на нем не пишут, чего шуметь ??))
[18:46:28] <_valexey_> Обратносрвместимо развиваешь язык - плохо. Типа разрастается и мусора старого много. Делаешь новую, частично не совместимую ревизию языка, с более чистым дизайном и тулзами для миграции со старого языка - опять плохо!
[18:46:35] <_valexey_> Как им угодить то?
[18:46:49] <_valexey_> Ничего не делать? :-)
[18:47:19] <_valexey_> Видимо питон виноват тем, что не оберон, а гвидо не вирт.
[18:49:00] <Kemet> блин сайт у Staila гроънулся и никто не смотрит, толи сдох проект, то ли хрен поймешь, но учитывая, что записи датированы 2011 годом и в фейсбуке, видимо сдох
[18:49:52] <Kemet> или потерял самостоятельность
[18:52:24] <Kemet> лан, пойду пробовать кот писать, не пишется сегодня что-то. ох, ё сегодня ж понедельник
[18:53:14] <_valexey_> День тяжелый :-)
[18:53:18] <_valexey_> Удачи
[18:53:32] <Kemet> ага, тебе тоже не хворать