Исходное сообщение
"Для рецензирования предложен Linux-драйвер для GPU Apple AGX..." Отправлено Аноним, 08-Мрт-23 12:17
> ты хочешь получить верифицированный код А вот если вместо протекающего, ненадежного, неверефицируемого Rust использовать безопасный, надежный, верифицируемый SPARK, то мат верификация кода на предмет отсутствие ошибок в рантайме и корректной работы с памятью, будет автоматическая. > это же опенсорс, все на энтузиазме или за деньги корпораций - так что "жри, что дали" и не жалуйся ну или оплачивай труд высококвалифицированных специалистов Раньше так небыло. Но пришли "програмисты" с раст и привнесли с ним свой стандарт, - "жри, что дали".

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