Исходное сообщение
"Первый бета-выпуск Arti, реализации Tor на языке Rust" Отправлено Аноним, 03-Мрт-22 14:14
>> HACL∗ <библиотека-демка от самих кремлинцев> >> written in F*; these primitives enjoy memory safety > Эта библиотека - часть языка? Примитивы библиотеки обещают или язык? Твой юлеж и балабольство унылы. >> We >> our > Это язык или люди заявляют в своей (частной) работе? Завязывай уже с унылой демагоги^W попукиванием и передергом - язык не может что-то "заявлять", а "эти люди" и есть разработчики F* https://www.fstar-lang.org/#people ну и выставить "частной" работой ты пытаешься   "Verified Low-Level Programming Embedded in F*"   > We present Low∗, a language for low-level programming and verification, optimized cryptographic libraries. Low∗ is a shallow embedding of a smal > ... By virtue of typing, any Low∗ program is memory safe. In addition, the programmer " от них же. >> Зачем > так гулко? Очередной унылус балаболус вульгарис сломался, вносите следующего.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>>> HACL∗ <библиотека-демка от самих кремлинцев> >>> written in F*; these primitives enjoy memory safety >> Эта библиотека - часть языка? Примитивы библиотеки обещают или язык? > Твой юлеж и балабольство унылы. >>> We >>> our >> Это язык или люди заявляют в своей (частной) работе? > Завязывай уже с унылой демагоги^W попукиванием и передергом - язык не может > что-то "заявлять", а "эти люди" и есть разработчики F* > https://www.fstar-lang.org/#people > ну и выставить "частной" работой ты пытаешься > "Verified Low-Level Programming Embedded in F*" >> We present Low∗, a language for low-level programming and verification, optimized cryptographic libraries. Low∗ is a shallow embedding of a smal >> ... By virtue of typing, any Low∗ program is memory safe. In addition, the programmer " > от них же. >>> Зачем >> так гулко? > Очередной унылус балаболус вульгарис сломался, вносите следующего.
	Введите код, изображенный на картинке: