OptimaOS: продолжаем работу

[dorne]

Это просто отличная идея! Давайте напишем ОС для:

• Доверенной рабочей среды для госсектора и КИИ

• Промышленности

На языке, имеющем единственную реализацию компилятора, поддерживать который способны всего несколько человек в мире, разработку и внедрение которого спонсирует АНБ?

Это просто гениально!

[ANTON62]

Справедливое замечание, такие риски есть, но Rust разрабатывается сообществом и Rust Foundation (AWS, Google, Microsoft, Mozilla, Huawei и др.) и там порядка 70 человек в команде.

АНБ рекомендует использовать этот язык как безопасный, это неприятно, но факт.

Кроме rustc есть gccrs (в составе GCC) и mrustc. Да они в разработке, но компилятор получается не единственный.

По специалистам – ИИ очень сильно снижает порог входа, так что и у нас вполне могут появится спецы разбирающиеся в тонкостях компилятора.

А так так да, комментарий правильный, но немного преувеличенный.

[Karbas]

Есть ещё https://github.com/pg83/trustme который активно пилит ИИ дифференцированый по цвету штанов господином ПЖ.

Думаю результат будет и будет хороший.

[ANTON62]

Тоже вариант) Будем наблюдать за ним

[dorne]

По специалистам – ИИ очень сильно снижает порог входа, так что и у нас вполне могут появится спецы разбирающиеся в тонкостях компилятора.

Скорее у нас появится "надежный и безопасный" компилятор в работе которого никто реально не разбирается, т.к. код написан ИИ.

Это получится идеальная инфраструктура для supply chain атак.

Причем, сам компилятор будет чистый, а закладки будут где-то в библиотеках очень глубоко в дереве зависимостей.

[ANTON62]

Ну с учетом скорости внедрения ИИ в любом ПО никто скоро реально разбираться не будет) Если только прям энтузиасты будут вручную что-нибудь ковырять в свободное время