Исходное сообщение
"Критика включения API Idle Detection в Chrome 94. Эксперимен..." Отправлено Аноним, 24-Сен-21 13:59
> Умалчивается? Нет, скорее не упоминается. Какой ловкий уход с темы стоимости верификации в пару сотен $ за строчку кода ... > По одной простой причине - для Си пример формальной верификации есть, Да-да, нужность 11 чл (причем, квалифицированных спецов) для проверки 9 тыщ строк кода - очень "незначительная" деталь, не стоящая упомнинания. > для Раста - нет. Знатоки формальной верификации в теме, че. https://plv.mpi-sws.org/rustbelt/ > И не надо ваших пустых рассуждений про подмножества, а то начнутся неудобные вопросы про unsafe. Ну ... такое - пугать меня очередным съездом с темы, сравнением жопы с пальцем и прочим балабольством ...

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