Исходное сообщение
"Обновление варианта GNU Coreutils, переписанного на языке Ru..." Отправлено Аноним, 04-Фев-22 17:53
> Чем безопасней софт, тем дороже обходится его разработка при прочих равных. За язык программирования SPARK уже заплатили. Платили мешками зеленых бумажек более 40 лет. GNU утверждает что компилятор SPARK наконец готов!!! Разработка ПО на SPARK теперь обойдется не дороже разработки на Rust или C. А по надежности и безопасности SPARK на первом месте, как бонус получаешь математическую верификацию всего кода на SPARK на отсутствие уязвимостей. Верифицируемое ПО дешевле писать на SOARK. Rust и C требуют ручной верификации глазами и мозгами человека...

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, [email protected] (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:
	Введите код, изображенный на картинке: