The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"Обновление варианта GNU Coreutils, переписанного на языке Rust"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Присылайте удачные настройки в раздел примеров файлов конфигурации на WIKI.opennet.ru.
. "Обновление варианта GNU Coreutils, переписанного на языке Ru..." +/
Сообщение от Аноним (645), 04-Фев-22, 17:53 
> Чем безопасней софт, тем дороже обходится его разработка при прочих равных.

За язык программирования SPARK уже заплатили. Платили мешками зеленых бумажек более 40 лет. GNU утверждает что компилятор SPARK наконец готов!!!

Разработка ПО на SPARK теперь обойдется не дороже разработки на Rust или C. А по надежности и безопасности SPARK на первом месте, как бонус получаешь математическую верификацию всего кода на SPARK на отсутствие уязвимостей.

Верифицируемое ПО дешевле писать на SOARK. Rust и C требуют ручной верификации глазами и мозгами человека...

Ответить | Правка | Наверх | Cообщить модератору

Оглавление
Обновление варианта GNU Coreutils, переписанного на языке Rust, opennews, 31-Янв-22, 10:32  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру