Лидеры

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

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

Краткий фотоотчет о поездке. Аэропорту Иссык-Куль. Отель Karven Four Seasons на северном берегу озера Иссык-Куль в селе Сары-Ой. Коттеджи. Пляж Рафтинг по речке Кемин. Пикник после рафтинга. Каньоны Конорчек. Экскурсия в город Каракол. Церковь. Мечеть. Ущелье Джеты-Огуз. Ущелье Барскаун. Водопад. Памятник Гагарину (он был здесь в 1964-м). Конная прогулка. Каньоны Сказка. Соколиное шоу. Культурный центр "Рух Ордо". Прогулка на корабле.

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