Лидеры

Спасибо @dkhilobok, было круто! Фото с @Evgeny, @Мирный Атом, @den, @mike 1

если вопрос про язык на котором ядро, то основной = С. Платформо-зависимые части содержат ASM. С++ тоже в ходу. Для политик безопасности используется Haskell, который потом компилируется в С. В частности для того, что бы оставалась возможность формальной верификации. Сейчас активно обсуждаем возможность перепилить ключевые компоненты ядра на Rust, т.к. (с одной стороны) он позволяет значительно повысить доверие к коду, что для нас критически важно. А с другой стороны = работа серьезная, предварительно оценивается в 1 год работы. Т.е. это должно быть взвешенное решение.

Получается шансы очень малы ... ибо юзер, сам, правильно настроить ни компьютер ни антивирус не сможет, априори ( сужу по себе ). В то же время готового ( правильного решения ) без вмешательства, тоже нет. Но хотелось бы ... Какой то замкнутый круг