The OpenNET Project / Index page

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



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Для рецензирования предложен Linux-драйвер для GPU Apple AGX, написанный на Rust, opennews (??), 08-Мрт-23, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


7. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +1 +/
Сообщение от annonn (?), 08-Мрт-23, 10:29 
ты хочешь получить верифицированный код? да еще и бесплатно?
извини, дед мороз в отпуске

это же опенсорс, все на энтузиазме или за деньги корпораций - так что "жри, что дали" и не жалуйся
ну или оплачивай труд высококвалифицированных специалистов

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

19. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  –2 +/
Сообщение от Аноним (19), 08-Мрт-23, 12:17 
> ты хочешь получить верифицированный код

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


> это же опенсорс, все на энтузиазме или за деньги корпораций - так что "жри, что дали" и не жалуйся ну или оплачивай труд высококвалифицированных специалистов

Раньше так небыло. Но пришли "програмисты" с раст и привнесли с ним свой стандарт, - "жри, что дали".

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

33. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +/
Сообщение от Аноньимъ (ok), 08-Мрт-23, 14:06 
Спарк разве свободный? Там вроде не просто проприетарщина но еще и патенты всякие?
Ответить | Правка | Наверх | Cообщить модератору

168. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +/
Сообщение от Сишник (?), 11-Мрт-23, 01:16 
Вроде инструментарий весь свободный, недавно перевели под лицензию Apache, выкатили новый пакетный менеджер. Поддержка само собой коммерческая, но в целом все вроде вполне доброжелательно к опенсорсу. Какой-то недооцененный проект о котором мало говорят и пишут.
Ответить | Правка | Наверх | Cообщить модератору

172. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +/
Сообщение от Аноньимъ (ok), 11-Мрт-23, 01:55 
Спасибо, интересно.
Ответить | Правка | Наверх | Cообщить модератору

184. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +/
Сообщение от Аноним (184), 14-Мрт-23, 18:23 
SPARK настолько крут, что не тольео исключает наличие своих дыр, но даже затыкает C-ишные дыры:
https://www.adacore.com/customers/power-steering-control-sof...

Советую сначала ставить тот SPARK что в репах дистра: https://packages.gentoo.org/packages/dev-lang/spark

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

185. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +/
Сообщение от Аноним (185), 14-Мрт-23, 18:37 
Свободный, под GPL-3, включат в gcc.

Можно сравнить с Rust. Вот, список известных C-шных дыр: https://cwe.mitre.org/data/definitions/699.html

SPARK гарантировано закрывает ~40 самых популярных C-ишных дыры: https://www.adacore.com/sparkpro

А сколько C-ишных дыр гарантировано прикрывает ражавый? Или он только добавляет свои?

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

92. "Для рецензирования предложен Linux-драйвер для GPU Apple AGX..."  +1 +/
Сообщение от Аноним (92), 08-Мрт-23, 18:17 
Всегда так было. Это опенсорс, детка, тут никто никому ничего не должен, а код пишется за зарплату.
Ответить | Правка | К родителю #19 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




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

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