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

"Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
Сообщение от opennews (??), 02-Мрт-22, 11:59
Разработчики анонимной сети Tor представили первый бета-выпуск (0.1.0) проекта  Arti, развивающего Tor-клиент, написанный на языке Rust. Проект имеет статус экспериментальной разработки, отстаёт от функциональности от основного клиента Tor на языке Си и  пока не готов полноценно заменить его. В сентябре планируется сформировать выпуск 1.0 со стабилизацией  API, CLI и настроек, который будет пригоден для начального использования обычными пользователями. В более отдалённом будущем, когда код на Rust достигнет уровня, способного полностью заменить вариант на Си,  разработчики намерены придать Arti статус основной реализации Tor и прекратить сопровождение реализации на Си... Подробнее: https://www.opennet.dev/opennews/art.shtml?num=56790
Ответить | Правка | Cообщить модератору

Сообщения

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

1. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+8 +/–
Сообщение от InuYasha (??), 02-Мрт-22, 11:59
Tor на языке Rust. Завидую людям, у которых столько свободных сил и времени...
Ответить | Правка | Наверх | Cообщить модератору

	11. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (11), 02-Мрт-22, 12:38
	Я вот думаю, который достигнет состояния уже полностью готов к использованию быстрее: Wayland или Arti?
	Ответить | Правка | Наверх | Cообщить модератору

	39. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+5 +/–
	Сообщение от Аноним (39), 02-Мрт-22, 13:52
	Вообще-то за это деньги заплочены (673 тыс. $) https://grants.zfnd.org/proposals/215972995-arti-a-pure-rust...
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	43. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от InuYasha (??), 02-Мрт-22, 13:59
	i loled. ясно. не удивлюсь если там арпа поучаствовала.
	Ответить | Правка | Наверх | Cообщить модератору

	71. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 16:45
	> Zcash Вопросов больше не имею
	Ответить | Правка | К родителю #39 | Наверх | Cообщить модератору

	77. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Аноним (-), 02-Мрт-22, 17:06
	> arti-a-pure-rust-tor-implementation-for-zcash-and-beyond А, хайпомакаки, NFT пусть еще встроят. С POS конечно, фродить так по крупному.
	Ответить | Правка | К родителю #39 | Наверх | Cообщить модератору

	45. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+6 +/–
	Сообщение от Аноним (45), 02-Мрт-22, 14:05
	> Завидую людям, у которых столько свободных сил и времени... Чем вы читаете... "Rust также даст возможность добиться более высокой скорости разработки, чем при использовании Си, за счёт выразительности языка и строгих гарантий, позволяющих не тратить время на двойные проверки и написание лишнего кода." Полагаю, разработчикам тора виднее, чем тебе. Опыта ковыряния и сопровождения своего продукта у них больше, чем у тебя в нём же. В долгосрочной перспективе "догонят и перегонят". Это лучше, чем продолжать тратить кучу времени на поиск и исправление ошибок, которые будут исключены автоматически и дополнительно писать проверки, необходимость в которых _частично_ отпадет.
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	63. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от InuYasha (??), 02-Мрт-22, 15:18
	Я понимаю вашу фрустрацию, но я делал акцент на Tor, а не на Rust. Вместо того чтобы вкладываться в gnunet или и2п, переписывают шило на мыло. Ну, ок, будет nsa/arpa-tor на расте - и дальше что?
	Ответить | Правка | Наверх | Cообщить модератору

	133. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (133), 03-Мрт-22, 09:15
	Волшебным образом станет настолько неблокируемым, и2п будет курить в сторонкк, и скорость при это будет гигабитная.
	Ответить | Правка | Наверх | Cообщить модератору

	158. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 03-Мрт-22, 19:41
	> неблокируемым Это про какую безопасность: safety или security?
	Ответить | Правка | Наверх | Cообщить модератору

	173. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от КО (?), 04-Мрт-22, 18:04
	Я то думал скорость от нодов зависит, а тут оказывается ЯП, век живи-век учись, однако!
	Ответить | Правка | К родителю #133 | Наверх | Cообщить модератору

	76. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 17:05
	> Полагаю, разработчикам тора виднее Судя по вышеприведенной ссылке, виднее заказчику, который захотел увидеть реализацию на "pure rust". Любой каприз за ваши деньги
	Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору

	79. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
	Сообщение от Аноним (-), 02-Мрт-22, 17:07
	> Полагаю, разработчикам тора виднее, чем тебе. Опыта ковыряния и сопровождения своего продукта > у них больше, чем у тебя в нём же. > В долгосрочной перспективе "догонят и перегонят". Когда и если - тогда, имхо, и приходите. Заодно и покажете как это проще и быстрее. А то что-то в tox на этих закорюках только 1 джеди прогает. От остальных поддержка в основном рассказами как это кр00то. А комитов не дождетесь. Интересно, тут так же? Потому что этой реализации и этим сказукам уже лет 5-6 наверное.
	Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору

	101. Скрыто модератором	+/–
	Сообщение от Аноним (-), 02-Мрт-22, 18:35
	>> Полагаю, разработчикам тора виднее, чем тебе. Опыта ковыряния и сопровождения своего продукта >> у них больше, чем у тебя в нём же. >> В долгосрочной перспективе "догонят и перегонят". > Когда и если - тогда, имхо, и приходите. Заодно и покажете как Куда приходите и кому покажите? В комменты к новости о расто-софте (пусть и 0.1)? Логичнее было бы выдвигать претензии к автору новости/одмину, а не докапываться к обсуждению, не? Или все как в (анонимном) опеннетном эпосе - "пройти мимо нет никакой возможности!"? ... Есть древняя легенда, соткана в поэму,                                                   Дошла до нас сквозь вереницы лет,                                                         Как-то зайдя на Опеннет, Воен-за-Си увидел Расто-тему                                     Там мерзкий Раст бесстыже был воспет!                                                     Свой боевой пукан вперед направив,                                                       Воен открыто пyкнул во Врага!   Но Растоман, не соблюдая честных правил                                                   В ответ плеснул вонючим смузи изподтишка.                                               Воен едва, лишь чудом увернулся,                                                         Ему по сути просто повезло ...                                                           Вот с той поры Воены сражаются и срутся,                                                 И много тонн овна по форуму стекло.                                                       Пусть кажется, что Воены побеждают,                                                       Не будет скоро в мире Расто-Зла,                                                         Но Растоманы подлые никак не умирают,                                                 Что раскаляет Военский пуканчик докрасна!
	Ответить | Правка | Наверх | Cообщить модератору

	103. Скрыто модератором	–1 +/–
	Сообщение от Аноним (71), 02-Мрт-22, 18:46
	> Воен-за-Си Тем временем Растист-против-Си линкует свои rust-программы противным libc. Наверно память отшибло.
	Ответить | Правка | Наверх | Cообщить модератору

	110. Скрыто модератором	+/–
	Сообщение от Аноним (39), 02-Мрт-22, 20:46
	https://blog.sunfishcode.online/port-std-to-rustix/
	Ответить | Правка | Наверх | Cообщить модератору

	113. Скрыто модератором	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 21:11
	Молодцы, конечно. Но аноним с протекающей памятью так и будет продолжать писать стихи про военов-за-си, и компилировать свои rust-программы с libc.
	Ответить | Правка | Наверх | Cообщить модератору

	100. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Ivan_83 (ok), 02-Мрт-22, 18:33
	Это пустые слова. Чем проще язык тем он популрянее и тем проще его изучать и использовать. Посмотрите как английский в глобальном мире вытесняет другие языки. Аналогично и в компьютерном, вон есть мегакрутой эрланг и ещё куча других языков обмазанных всяким разным и они мало кому нужны.
	Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору

	104. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 19:00
	> Чем проще язык тем он популрянее и тем проще его изучать и использовать. Причино-следственные связи перепутал. Язык (человеческий) простой, потому что он популярный, потому что с детства учат (учишься) и заставляют использовать.
	Ответить | Правка | Наверх | Cообщить модератору

	185. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от lufog (ok), 06-Мрт-22, 15:37
	Глупая теория. Немецкий например раз в 10 легче английского, в нем практически нет: - исключений из правил; - читается он также как пишется; - немецкий обошел стороной great vowel shift, из-за которого в правильном произношении английского, черт ногу сломит; Я могу долго перечислять, у меня за 4 года изучения английского, и его произношения, много пунктов накопилось. И при всем при этом немецкий как-то английский не потеснил, хотя они оба корнями уходят в один язык.
	Ответить | Правка | К родителю #100 | Наверх | Cообщить модератору

	186. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
	Сообщение от Аноним (186), 06-Мрт-22, 18:13
	> Глупая теория. Немецкий например раз в 10 легче английского, в нем практически > нет: > - исключений из правил; Такой же "анализ". Минимум, столько же неправильных глаголов (максимум - раз в 6 больше, если считать глаголы с префиксами). На 1 падеж больше, 3 определенных и 2 неопределенных, склоняемых артикля, In ein[i]em[/i] schön[i]en Garten - В красив[i]ом[/i] сад[i]у[/i] - In a beautiful garden. не особо "интуитивных" для неносителей языка (луна - мужского рода, солнце, часы - женского, девушка, ребенок - среднего), гибкое словообразование, позволяющее иметь длинные, составные слова "Rindfleischetikettierungsüberwachungsaufgabenübertragungsgesetz" (Cattle marking and beef labeling supervision duties delegation law) ...
	Ответить | Правка | Наверх | Cообщить модератору

	188. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от lufog (ok), 07-Мрт-22, 16:46
	По поводу немецкого в чем-то могу ошибаться, потому что я изучаю именно английский. А выводы о том что немецкий в разы легче английского, делаю со слов преподавателей английского. Они часто проводят параллели и сравнения между этими языками, ибо порой это помогает разъяснить многие странности, языковых конструкций английского языка. Virginia Bēowulf особенно любит этим заниматься, порой закапываясь в историю "эволюции" английского языка. Уж извини, слова этих людей для меня имеют гораздо больший вес, чем комментарий анонима с opennet.
	Ответить | Правка | Наверх | Cообщить модератору

	189. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (-), 07-Мрт-22, 18:36
	> По поводу немецкого в чем-то могу ошибаться, потому что я изучаю именно > английский. А выводы о том что немецкий в разы легче английского, делаю со слов преподавателей английского. Яснопонятно - "... Гоги напел!". > Они часто проводят параллели и сравнения между этими языками, ибо порой это помогает разъяснить многие странности, языковых конструкций английского языка. Давай я проведу простенькое сравнение на простеньких примерах: A beautiful garden. | Ein schöner Garten. The beautiful garden. | Der schöne Garten. In a beautiful garden. | In einem schönen Garten. | In schönem Garten. A beautiful house. | Ein schönes Haus. The beautiful house. | Das schöne Haus. A beautiful girl. | Ein schönes Mädchen. The beautiful girl. | Das schöne Mädchen. Dein schöner Garten. | Your beautiful garden. Deine schöne Frau.  | Your beautiful wife. Т.е. окончание, в том числе и местоимений, зависит от использованного артикля (определенный/неопределенный) и рода, причем существительные совершенно не обязательно среднего. И артикли - строго привязаны к грамм. роду существительного и падежу: The brother's wife gives the hat to the priest's daughter | Die Frau des Bruders gibt der Tochter des Pfarrers den Hut. The sister's husband gives the salt to the priest's son. | Der Mann der Schwester gibt dem Sohn der Pfarrerin die Salz. Такое вот "раз в 10 легче английского". > Virginia Bēowulf особенно любит этим заниматься, порой закапываясь в историю "эволюции" английского языка. > Уж извини, слова этих людей для меня имеют гораздо больший вес, чем комментарий анонима с opennet. Уж извини, как владеющий языком на уровне носителя - на отсыл к авторитету очередных лохотро^W платного курса могу лишь хмыкнуть и усомниться в квалификации "преподователей".
	Ответить | Правка | Наверх | Cообщить модератору

	156. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (156), 03-Мрт-22, 18:54
	> за счёт выразительности языка Ухита. Вот ПЕРДЛ другое дело: https://metacpan.org/release/RCAPUTO/Acme-Phlegethoth-1.05/v... При использовании этого модуля сразу чусвтвуешь что Ктулху фхтагн и уснул за наши грехи. Вот это настоящая выразительность! А этот ваш рустерский руст так, пфе.
	Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору

	85. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 17:23
	Нет бы на KreMLin https://github.com/FStarLang/kremlin
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	122. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (122), 02-Мрт-22, 22:48
	C таким названием на гитхабе можно уже и бан поймать
	Ответить | Правка | Наверх | Cообщить модератору

	128. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от InuYasha (??), 02-Мрт-22, 23:51
	но проект на самом деле прикольный )
	Ответить | Правка | Наверх | Cообщить модератору

	131. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 03-Мрт-22, 06:12
	> прикольный Заметь, ни одного абзаца обещаний безопасности.
	Ответить | Правка | Наверх | Cообщить модератору

	139. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (-), 03-Мрт-22, 12:34
	>> HACL*, our High Assurance Crypto Library, provides numerous cryptographic primitives written in F*; these primitives enjoy memory safety, ... >> By virtue of typing, any Low* program is memory safe. >> ... a shallow embedding of a small, sequential, well-behaved subset of C in F* >> ... provides the control required for writing efficient low-level security-critical code. > Заметь, ни одного абзаца обещаний безопасности. Продолжаешь газифицировать лужи?
	Ответить | Правка | Наверх | Cообщить модератору

	140. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 03-Мрт-22, 13:10
	> HACL* Это частное мнение создателей библиотеки. >  By virtue of typing, any Low* program is memory safe Тоже частное мнение (анотация) к работе. Будут цитаты из официальных страниц языка? Или опять гулко треснул?
	Ответить | Правка | Наверх | Cообщить модератору

	141. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (-), 03-Мрт-22, 13:38
	>> We have written 20,000 lines of low-level F* code, implementing the TLS 1.3 record layer. >> HACL*, our High Assurance Crypto Library, >> (1) We provide HACL∗, a “high-assurance crypto library” implementing and proving lines of Low∗) several cryptographic algorithms, including the Poly1305 MAC [Bernstein > Это частное мнение создателей библиотеки. Это повторный пук в лужу, под видом джакузи. >> the ICFP 2017 Paper provides an overview of KreMLin as well as a paper formalization of our compilation toolchain >> We illustrate the design of Low∗ using several examples from our codebase. We show the ChaCha20 stream cipher [Nir and Langley 2015], focusing on memory safety (§2.1), and the Poly1305 MAC [Bernstein 2005], focusing on functional correctness. (§2.3). Going beyond functional > Тоже частное мнение (анотация) к работе. > Будут цитаты из официальных страниц языка? Или опять гулко треснул? Зачем ты продолжаешь газифицировать лужи?
	Ответить | Правка | Наверх | Cообщить модератору

	142. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 03-Мрт-22, 13:46
	> HACL∗ Эта библиотека - часть языка? Примитивы библиотеки обещают или язык? > We > our Это язык или люди заявляют в своей (частной) работе? > Зачем так гулко?
	Ответить | Правка | Наверх | Cообщить модератору

	144. "Первый бета-выпуск 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 " от них же. >> Зачем > так гулко? Очередной унылус балаболус вульгарис сломался, вносите следующего.
	Ответить | Правка | Наверх | Cообщить модератору

	145. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
	Сообщение от Аноним (71), 03-Мрт-22, 14:38
	>> Это язык или люди заявляют в своей (частной) работе? > Завязывай уже с унылой демагоги^W Согласен. Так язык или люди, используя речевые обороты с "we", "our", "by virtue of typing"? Или безапелляционно, как раст, как язык гарантирует компилятором? И заметь, эти заявления на сторонних сайтах.
	Ответить | Правка | Наверх | Cообщить модератору

	146. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (-), 03-Мрт-22, 14:58
	>> Завязывай уже с унылой демагоги^W > Согласен. Так язык или люди, используя речевые обороты с "we", "our", "by > virtue of typing"? И зачем ты продолжаешь, раз "согласен"? > Или безапелляционно, как раст, как язык гарантирует компилятором? > И заметь, эти заявления на сторонних сайтах. https://www.fstar-lang.org/#introduction >> You can learn more about F* by following the online tutorial and reading our papers. https://www.fstar-lang.org/tutorial/ >> Given the implementation of a procedure, F* actually builds a mathematical proof that it is safe and correct with respect to its signature. И заметь, даже усиленный юлеж^W демагогия тебе не помогли.
	Ответить | Правка | Наверх | Cообщить модератору

	147. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
	Сообщение от Аноним (71), 03-Мрт-22, 15:21
	> https://www.fstar-lang.org > https://www.fstar-lang.org/tutorial/ Это страница какого языка? > Given the implementation of a procedure, F* actually builds a mathematical proof that it is safe and correct with respect to its signature. И даже здесь где обещания безопасности _памяти_. Говорится про корректность согласно описанию. Описать можно и опасное поведение, в том числе порчу памяти.
	Ответить | Правка | Наверх | Cообщить модератору

	148. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (-), 03-Мрт-22, 15:34
	>>>>> https://github.com/FStarLang/kremlin >>>>> KreMLin is a tool that extracts an F* program >>>>> ... Low*, a subset of F* ... >> https://www.fstar-lang.org >> https://www.fstar-lang.org/tutorial/ > Это страница какого языка? "Папа, где море?" > Аноним (71) Заметь, ни одного абзаца обещаний безопасности. >>> any Low∗ program is memory safe. > Аноним (71) <Нищитаица!> >>> F* actually builds a mathematical proof that it is safe and correct > Аноним (71) И даже здесь где обещания безопасности _памяти_. Говорится про корректность согласно описанию. Опять унылый юлеж и переобувание в прыжке.
	Ответить | Правка | К родителю #147 | Наверх | Cообщить модератору

	149. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
	Сообщение от Аноним (71), 03-Мрт-22, 15:49
	>>>>>> ... Low*, a subset of F* ... Это один и тот же язык? >>>>> KreMLin is a tool that extracts an F* program Вот именно, этот инструмент может вытащить только то, что может вытащить, из более общего/мощного языка. При этом KreMLin даже из подмножества (Low*) не всё вытаскивает. >>> any Low∗ program is memory safe. >>> F* actually builds a mathematical proof that it is safe and correct Бессистемная художественная аппликация из цитат. Ты не понимаешь разницы между F*, Low* и KreMLin, и библиотек в составе других проектов. Дергаешь цитаты из разных языков. И даже там, все эти "безопасности" сказаны с использованием речевых оборотов "в силу сказанного".
	Ответить | Правка | К родителю #148 | Наверх | Cообщить модератору

	151. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (-), 03-Мрт-22, 16:43
	>>> 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 " > Это один и тот же язык? Память как у рыбки? > Бессистемная художественная аппликация из цитат. > Ты не понимаешь разницы между F*, Low* и KreMLin, и библиотек в > составе других проектов. Дергаешь цитаты из разных языков. И даже там, > все эти "безопасности" сказаны с использованием речевых оборотов "в силу сказанного". Юли Балаб^W Емеля, твоя неделя.
	Ответить | Правка | К родителю #149 | Наверх | Cообщить модератору

	152. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
	Сообщение от Аноним (71), 03-Мрт-22, 17:12
	>>> By virtue of typing... Цитата из стороннего сайта про Low*. Еще раз повторить "Память как у рыбки?" > Балаб^W Если что, то компилятор F* компилирует/транслирует в ocaml, который с менеджером памяти и GC. Причем тут "безопасность памяти"? Low* это подмножество F*, для которого можно написать компилятор/транслятор на Си (без использования менеджера памяти и gc). HACL* - это библиотека из другого проекта с _примитивами_, которые "что-то там гарантируют". KreMLin (про который весь сыр-бор) не полностью поддерживает Low*, не может транслировать в человеко-читаемый Си-код.
	Ответить | Правка | К родителю #151 | Наверх | Cообщить модератору

	153. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (-), 03-Мрт-22, 18:09
	>>>> By virtue of typing... > Цитата из стороннего сайта про Low*. Еще раз повторить "Память как у рыбки?" Рыбка, пересмотри еще раз сайт и авторов. Цитата из работы, представленняющей KreMLin-Low на ICFP (International Conference on Functional Programming), на которую ссылаются с гитхабостраницы проекта >>> This work has been formalized on paper. We state that the compilation of such F* programs to C preserves semantics. We start from Low*, a subset of F*, and relate its semantics to CompCert's Clight. >>> the ICFP 2017 Paper [ссылка] provides an overview of KreMLin as well as a paper formalization of our compilation toolchain" и в которой (работе) в списке авторов без особого труда можно увидеть самых активных коммитеров https://github.com/FStarLang/kremlin/graphs/contributors ... > прочий унылый юлеж поскипан >
	Ответить | Правка | К родителю #152 | Наверх | Cообщить модератору

	154. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 03-Мрт-22, 18:49
	Ты еще путаешь людей, (одних и тех же) участвующих в разных проектах, которые высказываются применительно к проекту. И то, что  написано про проект hacl*, применяешь к kremlin, и то что написано про F*. Привет, аноним с проблемами с абстракциями!
	Ответить | Правка | К родителю #153 | Наверх | Cообщить модератору

2. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–6 +/–
Сообщение от Выключатель (?), 02-Мрт-22, 12:03
Пытаюсь через tor зайти на заблокированный вчера https://echo.msk.ru/. "Основной клиент" не может подключиться. Ошибка  "... connections died in state connect()ing with SSL state (No SSL object)" Это блокировка РосКомПОЗОРА?! Как обойти? Провайдер TTK.
Ответить | Правка | Наверх | Cообщить модератору

	3. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+3 +/–
	Сообщение от zzz (??), 02-Мрт-22, 12:05
	ну если в зоне .ru и хостинг в РФ, то никак
	Ответить | Правка | Наверх | Cообщить модератору

	81. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+3 +/–
	Сообщение от Аноним (-), 02-Мрт-22, 17:11
	> ну если в зоне .ru и хостинг в РФ, то никак Для этого эху надо сняться с тормоза и СДЕЛАТЬ ВЕРСИЮ ВНЕ .RU И СЕРВЕРОВ РФ. Желательно еще hidden сервис нарулить для нимусов. Его размочить труднее.
	Ответить | Правка | Наверх | Cообщить модератору

	8. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Аноним (8), 02-Мрт-22, 12:28
	Через самый простой браузерный впн (который на самом деле обычный прокси, кто бы чего не говорил)
	Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

	10. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Выключатель (?), 02-Мрт-22, 12:34
	С сайтом понятно. Вопрос в том как обойти блокировку TOR?
	Ответить | Правка | Наверх | Cообщить модератору

	12. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Аноним (8), 02-Мрт-22, 12:44
	Подключись к иностранной выходной ноде, у которой не залочено эхо.
	Ответить | Правка | Наверх | Cообщить модератору

	18. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Выключатель (?), 02-Мрт-22, 12:50
	Я наверно неудачно сформулировал вопрос. Проблема не с подключением к сайту эха. "Основной клиент" не может подключиться к сети TOR. Попытка подключения к различным релеям заканчивается ошибкой. Для каждой по пытки в логе клиента что-то вроде Problem bootstrapping. Stuck at 5% (conn): Connecting to a relay. (Connection timed out; TIMEOUT; count 34; recommendation warn; host 9695DFC35FFEB861329B9F1AB04C46397020CE31 at 128.31.0.39:9101).
	Ответить | Правка | Наверх | Cообщить модератору

	20. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Аноним (20), 02-Мрт-22, 12:57
	См в строну бриджей и снежинки
	Ответить | Правка | Наверх | Cообщить модератору

	82. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Аноним (-), 02-Мрт-22, 17:12
	> Problem bootstrapping. Stuck at 5% (conn): Connecting to a relay. Бриджи пропищи. Видишь ли сетевые освободители могут немного побустать список релеев, скачав ... только подумай, консенсус тора, самим тором.
	Ответить | Правка | К родителю #18 | Наверх | Cообщить модератору

	183. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от tmplsr (?), 05-Мрт-22, 09:32
	>Бриджи пропищи Найденные мной манулы в один голос утверждали, что это можно сделать для специального тор-браузера. А возможно ли приучить к такому "простой" тор-клиент, который демон в линуксе? Заранее спасибо, если кто подскажет (манул или хотя бы откуда копать).
	Ответить | Правка | Наверх | Cообщить модератору

	187. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Твайлайт Спаркл (ok), 06-Мрт-22, 18:18
	/etc/tor/torrc Пишешь BridgeRelay 1 и прописываешь остальное вручную
	Ответить | Правка | Наверх | Cообщить модератору

	16. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (16), 02-Мрт-22, 12:48
	Зайдите на телеграм @GetBridgesBot Только что проверил - работает.
	Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

	21. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (20), 02-Мрт-22, 12:58
	Установи снежинку
	Ответить | Правка | Наверх | Cообщить модератору

	32. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от FreeStyler (ok), 02-Мрт-22, 13:22
	Кинь ссылкой, пжлст
	Ответить | Правка | Наверх | Cообщить модератору

	134. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (134), 03-Мрт-22, 10:01
	https://snowflake.torproject.org https://support.torproject.org/ru/censorship/what-is-snowflake/ https://community.torproject.org/relay/setup/snowflake/browser/ https://www.comss.ru/page.php?id=9166
	Ответить | Правка | Наверх | Cообщить модератору

	137. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от FreeStyler (ok), 03-Мрт-22, 11:54
	Спасибо, но пробовал - не помогает. Помогает только Request a bridge from torproject.org, но увы и то не всегда(
	Ответить | Правка | Наверх | Cообщить модератору

	150. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Торрр (?), 03-Мрт-22, 16:00
	РКН периодически блокирует мосты, до которых дотягивается. К счастью, всё время появляютсян новые. Можно просто писать команде Tor Bridges на мыло - они выдадут адрес моста.
	Ответить | Правка | Наверх | Cообщить модератору

	56. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+3 +/–
	Сообщение от Аноним (56), 02-Мрт-22, 14:49
	Возможно с другой стороны Эхо Москвы тоже заблокировали так как оно принадлежит Газпром Медиа.
	Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

	136. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Аноним (71), 03-Мрт-22, 11:49
	Почему эта ветка до сих пор не отмодерирована, в отличии от безобидных сообщений анонимов с отшибленной памятью?
	Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

4. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
Сообщение от ИмяХ (?), 02-Мрт-22, 12:09
>>минимум половина всех отслеживаемых проектом уязвимостей будет исключена в реализации на Rust, если в коде не используются блоки "unsafe" А почему только половина? Судя по уровню безопасности языка, должно быть исключено 100% уязвимостей.
Ответить | Правка | Наверх | Cообщить модератору

	6. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Аноним (16), 02-Мрт-22, 12:17
	По статистике Гугл хром и проектов Майкрософт всего 70% уязвимостей покроет safe Rust.
	Ответить | Правка | Наверх | Cообщить модератору

	9. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Аноним (8), 02-Мрт-22, 12:30
	Овчинка, выделка.
	Ответить | Правка | Наверх | Cообщить модератору

	15. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 12:47
	Медведь, шкура. "Актуальная статистика" по несуществующему расту в хроме.
	Ответить | Правка | Наверх | Cообщить модератору

	17. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Аноним (16), 02-Мрт-22, 12:50
	Хром написан на современном С++ и там 70% уязвимостей того типа, что полностью покрывает safr Rust.
	Ответить | Правка | Наверх | Cообщить модератору

	27. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 13:01
	> 70% уязвимостей того типа, что полностью покрывает safr Rust Как всегда, обещания на 3 абзаца. Давай искать уязвимости на _актуальном_ Firefox.
	Ответить | Правка | Наверх | Cообщить модератору

	35. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от НяшМяш (ok), 02-Мрт-22, 13:38
	> Давай искать уязвимости на _актуальном_ Firefox. Ищи, кто же тебе мешает. Раста в кодовой базе что-то около 10% сейчас. Можешь с облегчением не ковырять код на нём, а ломать сяшку и плюсы, как вы это умеете.
	Ответить | Правка | Наверх | Cообщить модератору

	37. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 13:42
	> Ищи Не я художественно пересказывал "актуальную статистику". Почему я должен искать? > Раста в кодовой базе что-то около 10% сейчас. Значит ли это, что уязвимостей стало на 10% меньше?
	Ответить | Правка | Наверх | Cообщить модератору

	46. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (45), 02-Мрт-22, 14:18
	> Значит ли это, что уязвимостей стало на 10% меньше? Нет. У тебя с арифметикой плохо. В тех 10% кода исключили не 100%, а 70% ошибок. Ну и еще, уже без вангования по процентам - там есть необходимость взаимодействовать с 90% ансейф кода. Вот в точках этого взаимодействия и могут еще ошибок накинуть.
	Ответить | Правка | Наверх | Cообщить модератору

	54. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 14:38
	> Нет. У тебя с арифметикой плохо. В тех 10% кода исключили не 100%, а 70% ошибок. И отсюда следует? Продолжай, интересно посмотреть на твою математику по "актуальной статистике по обещаниям.
	Ответить | Правка | Наверх | Cообщить модератору

	58. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (45), 02-Мрт-22, 14:55
	> И отсюда следует? Продолжай, интересно посмотреть на твою математику Ну, тут тебе не кружок математики для детей начальных классов. Никто за тебя жевать не будет. Всё тебе "отвечено". Ты ошибся форумом. Не умеешь читать/считать - иди, полыхай где-то в другом месте.
	Ответить | Правка | Наверх | Cообщить модератору

	60. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
	Сообщение от Аноним (71), 02-Мрт-22, 15:00
	> Ну, тут тебе не кружок математики для детей начальных классов. Покажи "высшую математику", посчитай, сколько процентов ошибок обещает rust. > иди, полыхай где-то в другом месте Ты так замерз, аж, так гулко потрескиваешь.
	Ответить | Правка | Наверх | Cообщить модератору

	74. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
	Сообщение от Аноним (-), 02-Мрт-22, 17:03
	> Ищи, кто же тебе мешает. Раста в кодовой базе что-то около 10% > сейчас. Можешь с облегчением не ковырять код на нём, а ломать > сяшку и плюсы, как вы это умеете. Только билдить это месиво стало почти невозможно если ты не мегакорп. Надо половину интернета скачивать, и это уже не шутка а банальность. И какая разница что хруста 10%, в build deps оно в результате есть. С кучей барахла. В результате таких сложностей - в мозилле вообще разработчиков не осталось! Они теперь только фичи удаляют и интерфейсик переделывают. Еще пара лет и мозиллы корп просто не останется, с*ка мичел сольет остатки каким-нибудь китайцам, как оперу.
	Ответить | Правка | К родителю #35 | Наверх | Cообщить модератору

	42. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (39), 02-Мрт-22, 13:59
	Эти обещание гарантируются компилятором. Единственное, что можно найти запутанные, искусственные примеры получения unsafe в safe-коде. Но это трактуется как баги компилятора и исправляется.
	Ответить | Правка | К родителю #27 | Наверх | Cообщить модератору

	48. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 14:22
	> Эти обещание гарантируются компилятором. Любая противоречивая аксиома делает теорию противоречивой (а "обещания" - бессмысленными). Unsafe - это способ ввести свою аксиому. Дальнейшие выводы делай сам.
	Ответить | Правка | Наверх | Cообщить модератору

	51. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (39), 02-Мрт-22, 14:28
	Множество вариантов UB конечно. А значит ревьюинг кода под unsafe будет проще и выгодней чем ревьюить всю программу на С/С++.
	Ответить | Правка | Наверх | Cообщить модератору

	53. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 14:35
	> Множество вариантов UB конечно. Продолжай, "Эксперт" с болшой буквы!
	Ответить | Правка | Наверх | Cообщить модератору

	64. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (39), 02-Мрт-22, 15:35
	Да, ошибся. Видов UB конечно же.
	Ответить | Правка | Наверх | Cообщить модератору

	65. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
	Сообщение от Аноним (71), 02-Мрт-22, 15:45
	> Да, ошибся. Видов UB конечно же. Продолжай считать неопределенное. Конечное количество - определенных (документированных) UB.
	Ответить | Правка | Наверх | Cообщить модератору

	75. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (-), 02-Мрт-22, 17:04
	> Хром написан на современном С++ и там 70% уязвимостей того типа, что > полностью покрывает safr Rust. Тока эти 70% никто переписывать не будет. Потому что дорого.
	Ответить | Правка | К родителю #17 | Наверх | Cообщить модератору

5. Скрыто модератором	–4 +/–
Сообщение от Аноним (5), 02-Мрт-22, 12:10
А зачем? Серьёзно, ведь работает зачем переделывать? Лучше искать уязвимости в существующем проекте, а то перепишут всякие SJWшные лица (именно они толкают пидоРАСТ в массы) тор на раст и будут потом банить в торе всех кто через тор будут их ущемлять
Ответить | Правка | Наверх | Cообщить модератору

	7. Скрыто модератором	+1 +/–
	Сообщение от Аноним (7), 02-Мрт-22, 12:27
	Кто искать будет, ты? Много нашёл?
	Ответить | Правка | Наверх | Cообщить модератору

	13. Скрыто модератором	–2 +/–
	Сообщение от Аноним (8), 02-Мрт-22, 12:45
	А раст нашел как он помог?
	Ответить | Правка | Наверх | Cообщить модератору

	25. Скрыто модератором	+/–
	Сообщение от Аноним (20), 02-Мрт-22, 13:01
	Почитай статью внимательно!!
	Ответить | Правка | Наверх | Cообщить модератору

	31. Скрыто модератором	–3 +/–
	Сообщение от Аноним (8), 02-Мрт-22, 13:19
	Там написано что раст — дерьмо.
	Ответить | Правка | Наверх | Cообщить модератору

	28. Скрыто модератором	+/–
	Сообщение от Аноним (20), 02-Мрт-22, 13:01
	Почитай статью внимательно!!
	Ответить | Правка | К родителю #13 | Наверх | Cообщить модератору

	19. Скрыто модератором	+2 +/–
	Сообщение от Аноним (186), 02-Мрт-22, 12:51
	> А зачем? Серьёзно, ведь работает зачем переделывать? Лучше искать уязвимости в существующем И как обычно, на опеннете всегда готовы выдать ЦУ и поучить разработчиков "как нужно правильно" (правда, не личным примером).
	Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

	24. Скрыто модератором	+/–
	Сообщение от Аноним (20), 02-Мрт-22, 13:00
	Прочитай весь текс. Там про модульность, встраиваемость, да про возможность использования другими приложениями.. Прочти внимательно, а ни как всегда
	Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

	26. Скрыто модератором	+/–
	Сообщение от Аноним (26), 02-Мрт-22, 13:01
	>будут потом банить в торе всех кто через тор будут их ущемлять Ну расскажи, как. Тор ведь анонимная сеть. Специально для Анонимов Опеннета, чтобы всякую чушь нести, и чтобы никто не узнал, кто же так опозорился.
	Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

	29. Скрыто модератором	+/–
	Сообщение от Аноним (20), 02-Мрт-22, 13:02
	Ну остальныхз то ты знаешь? Ну тех кто неп из сети tor )))
	Ответить | Правка | Наверх | Cообщить модератору

	38. Скрыто модератором	+1 +/–
	Сообщение от Аноним (71), 02-Мрт-22, 13:51
	> А зачем? В новости написана только одна осмысленная причина: > при разработке нового проекта учитывается весь прошлый опыт разработки Tor, что позволит избежать известных архитектурных проблем, сделать проект более модульным и эффективным Изменение архитектуры в сторону модульности. (Мои домыслы: а rust тут притом, что это модно-молодежно и безопасно, убещаю!)
	Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

	50. Скрыто модератором	+/–
	Сообщение от Аноним (45), 02-Мрт-22, 14:26
	> Лучше искать уязвимости в существующем проекте Наверное уже задолбались, потому что много находят. А еще сильнее задолбались исправлять. Тебе же написали: "Rust также даст возможность добиться более высокой скорости разработки, чем при использовании Си, за счёт выразительности языка и строгих гарантий, позволяющих не тратить время на двойные проверки и написание лишнего кода." Разработчикам виднее. Ведь это они со своим кодом бодаются, не ты. Если тебе виднее - форкай и тяни ношу, ищи уязвимости. Но только еще и исправляй, ладно? Вас там много растохейтеров наберется - целое расто-желчное коммьюнити создашь и пастором станешь!
	Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

23. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
Сообщение от Аноним (26), 02-Мрт-22, 12:59
>как минимум половина всех отслеживаемых проектом уязвимостей будет исключена А сколько логических (в том числе side channelы) будет добавлено?
Ответить | Правка | Наверх | Cообщить модератору

	36. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–2 +/–
	Сообщение от НяшМяш (ok), 02-Мрт-22, 13:40
	Для этого на расте и пишут. Старички туда не полезут (у них мозг в сях закостенел), а молодые не будут напрягаться проводить аудит.
	Ответить | Правка | Наверх | Cообщить модератору

	41. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 13:58
	> Для этого на расте и пишут. Это утверждение, что на расте пишут для увеличения или уменьшения логических ошибок?
	Ответить | Правка | Наверх | Cообщить модератору

	67. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (11), 02-Мрт-22, 16:30
	Для непредставления о том, что ошибки бывают ещё и логические оказывается.
	Ответить | Правка | Наверх | Cообщить модератору

	68. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 16:40
	> ошибки бывают ещё и логические оказывается. Не знал, что бывают нелогичные, ой, нелогические ошибки.
	Ответить | Правка | Наверх | Cообщить модератору

40. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
Сообщение от Аноним (40), 02-Мрт-22, 13:55
надо посмотреть сколько там будет уязвимостей и сравнить с сишной реализацией тора
Ответить | Правка | Наверх | Cообщить модератору

	49. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (39), 02-Мрт-22, 14:24
	В Сишной реализации всего 4 уязвимости по работе с памятью из 30. И ни одной с классом критичней чем DoS. Если они так написали что у них там все на assert'ах падает и самодельные сейф-поинтеры вместо прямых буферов, можно было и не переписывать в принципе. Разве что они заявили что хотят модульность, да и threading на Rust в мильен раз проще.
	Ответить | Правка | Наверх | Cообщить модератору

	105. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (40), 02-Мрт-22, 19:09
	Помимо проверки работы с памятью, раст ещё обладает мощной системой типов, что помогает писать корректный код, а также использование всяких Option<> и Result<> *заставляет* программиста проверять возвращаемые ошибки, а не кодировать только "happy case". Это улучшает корректность программы на логическом уровне.
	Ответить | Правка | Наверх | Cообщить модератору

	106. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
	Сообщение от Аноним (71), 02-Мрт-22, 19:21
	> обладает мощной системой типов Запрыгну в тему. Почему не Haskell?
	Ответить | Правка | Наверх | Cообщить модератору

	112. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Аноним (112), 02-Мрт-22, 20:58
	>> обладает мощной системой типов > Запрыгну в тему. Почему не Haskell? Так и быть, разрешаю - пиши! Только не забудь о "паритета с основной реализацией на языке Си в таких областях, как сетевая производительность, нагрузка на CPU".
	Ответить | Правка | Наверх | Cообщить модератору

	115. Скрыто модератором	–1 +/–
	Сообщение от Аноним (71), 02-Мрт-22, 21:42
	> Так и быть, разрешаю - пиши! А мульён баксов?! Любой (почти) каприз за ваши деньги.
	Ответить | Правка | Наверх | Cообщить модератору

	117. Скрыто модератором	+/–
	Сообщение от Аноним (-), 02-Мрт-22, 21:50
	>> Так и быть, разрешаю - пиши! > А мульён баксов?! Любой (почти) каприз за ваши деньги. Может еще и написать за тебя?
	Ответить | Правка | Наверх | Cообщить модератору

	119. Скрыто модератором	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 22:04
	Не-а, на понт не возьмешь. Деньги вперёд!
	Ответить | Правка | Наверх | Cообщить модератору

	126. Скрыто модератором	+1 +/–
	Сообщение от Аноним (-), 02-Мрт-22, 22:56
	> Запрыгну в тему. Почему не Haskell? > А мульён баксов?! Любой (почти) каприз за ваши деньги. > Не-а, на понт не возьмешь. Деньги вперёд! Очередной опеннетный советчик "как нужно правильно" не хочет демонстрировать личным примером, лишь раздавать ЦУ? И почему я не удивлен.
	Ответить | Правка | Наверх | Cообщить модератору

	127. Скрыто модератором	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 23:33
	> не хочет демонстрировать личным примером Давай, продемонстрируй личным примером и профинансируй разработку тор на хаскель. Или как "очередной опеннетчик" "лишь раздавать ЦУ"?
	Ответить | Правка | Наверх | Cообщить модератору

	130. Скрыто модератором	+/–
	Сообщение от Аноним (-), 03-Мрт-22, 01:21
	>  Аноним (71) Запрыгну в тему. Почему не Haskell? >  Аноним (71) А мульён баксов?! Любой (почти) каприз за ваши деньги. >  Аноним (71) Не-а, на понт не возьмешь. Деньги вперёд! >  Аноним (71) Давай, продемонстрируй личным примером и профинансируй разработку тор на хаскель. Какой унылый перевод стрелок.
	Ответить | Правка | Наверх | Cообщить модератору

	135. Скрыто модератором	–1 +/–
	Сообщение от Аноним (71), 03-Мрт-22, 11:37
	> Так и быть, разрешаю - пиши! > Какой унылый перевод стрелок. Какая эффектная самокритика
	Ответить | Правка | Наверх | Cообщить модератору

	138. Скрыто модератором	+/–
	Сообщение от Аноним (-), 03-Мрт-22, 12:23
	>>> Аноним (71) Запрыгну в тему. Почему не Haskell? >>> Аноним (71) Давай, продемонстрируй личным примером и профинансируй разработку тор на хаскель. >> <рандомная цитата> >> <рандомная цитата>. > Аноним (71) <нет ты! ТЫ! Я СКОЗАЛ! *Пук!*> Дорогой любитель раздавать с умным видмом ЦУ и сразу сваливать на реактивной тяге в закат: твое громкое попукивание никак не заменяет аргументацию. Увы.
	Ответить | Правка | Наверх | Cообщить модератору

	124. Скрыто модератором	+/–
	Сообщение от Аноним (-), 02-Мрт-22, 22:54
	> А мульён баксов?! Любой (почти) каприз за ваши деньги. А вот спонсоров ты себе ищи сам.
	Ответить | Правка | К родителю #115 | Наверх | Cообщить модератору

59. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
Сообщение от Аноним (59), 02-Мрт-22, 14:58
Если доделают, это будет первый реальный вин у растофилов
Ответить | Правка | Наверх | Cообщить модератору

	61. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
	Сообщение от Аноним (71), 02-Мрт-22, 15:04
	Если это станет "единственно верным" тором, то тогда, скорее всего, тор - всё.
	Ответить | Правка | Наверх | Cообщить модератору

	66. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
	Сообщение от Аноним (11), 02-Мрт-22, 16:26
	Как Redox
	Ответить | Правка | Наверх | Cообщить модератору

	70. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (-), 02-Мрт-22, 16:45
	> Как Redox Чё там с Hurd?
	Ответить | Правка | Наверх | Cообщить модератору

	80. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
	Сообщение от Аноним (71), 02-Мрт-22, 17:09
	Что там с линковкой с libc?
	Ответить | Правка | Наверх | Cообщить модератору

	89. Скрыто модератором	+/–
	Сообщение от Аноним (-), 02-Мрт-22, 17:31
	> Что там с линковкой с libc? Вижу, что со спрыгами с темы у вас все нормально, но интересовал таки вопрос по Hurd.
	Ответить | Правка | Наверх | Cообщить модератору

	91. Скрыто модератором	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 17:35
	> со спрыгами с темы Ты-то эффектно запрыгнул в тему. Двумя ногами в перед.
	Ответить | Правка | Наверх | Cообщить модератору

	92. Скрыто модератором	+/–
	Сообщение от Аноним (-), 02-Мрт-22, 17:43
	>>> Сообщение от Аноним (71), >>> Если это станет "единственно верным" тором, то тогда, скорее всего, тор - всё. >>> Что там с линковкой с libc? > Ты-то эффектно запрыгнул в тему. Двумя ногами в перед. Продолжай отмазываться.
	Ответить | Правка | Наверх | Cообщить модератору

	93. Скрыто модератором	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 17:51
	> Продолжай отмазываться. Где спрыгнул с темы про тор в первом сообщении? Отвечай без эффектного запрыгивания в тему А придирки к второму принимаются только после твоей отмазки твоего запрыгивания про hurd
	Ответить | Правка | Наверх | Cообщить модератору

	94. Скрыто модератором	+/–
	Сообщение от Аноним (-), 02-Мрт-22, 18:11
	> Что там с линковкой с libc? > Где спрыгнул с темы про тор в первом сообщении? Отвечай без эффектного запрыгивания в тему /0 >>> Если это станет "единственно верным" тором, то тогда, скорее всего, тор - всё. >> Как Redox > А придирки к второму принимаются только после твоей отмазки твоего запрыгивания про hurd Отмазки - это к тебе и прочим "Военам Супротив Раста".
	Ответить | Правка | Наверх | Cообщить модератору

	95. Скрыто модератором	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 18:20
	> /0 Привет, тот самый аноним с проблемами с памятью! Это действие, которое ты применил к своей памяти?
	Ответить | Правка | Наверх | Cообщить модератору

	98. Скрыто модератором	+/–
	Сообщение от Аноним (-), 02-Мрт-22, 18:23
	>> /0 > Привет, тот самый аноним с проблемами с памятью! Привет, очередной балабол, не владеющий предметом и умеющий только кривляться. И до свидания.
	Ответить | Правка | Наверх | Cообщить модератору

	102. Скрыто модератором	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 18:39
	> очередной > не владеющий предметом Сперва лечи память, чтобы говорить про "очередность" и "владение предметом".
	Ответить | Правка | Наверх | Cообщить модератору

62. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
Сообщение от Аноним (-), 02-Мрт-22, 15:16
Пишу через outproxy в i2p. Пора переходить на i2p ребят.
Ответить | Правка | Наверх | Cообщить модератору

	87. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (71), 02-Мрт-22, 17:26
	> outproxy в i2p Смысл, если можно писать проксей?
	Ответить | Правка | Наверх | Cообщить модератору

	99. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
	Сообщение от Аноним (-), 02-Мрт-22, 18:33
	Прокси легче заблокировать чем i2p
	Ответить | Правка | Наверх | Cообщить модератору

	109. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Аноним (71), 02-Мрт-22, 20:03
	outproxy не заблокируют?
	Ответить | Правка | Наверх | Cообщить модератору

	125. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Аноним (-), 02-Мрт-22, 22:55
	> Прокси легче заблокировать чем i2p Прокси так то тоже разные бывают.
	Ответить | Правка | К родителю #99 | Наверх | Cообщить модератору

	107. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
	Сообщение от Аноним (107), 02-Мрт-22, 19:38
	Как только добавите в репозиторий Fedora — сразу перейду.
	Ответить | Правка | К родителю #62 | Наверх | Cообщить модератору

	164. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Брат Анон (ok), 04-Мрт-22, 07:56
	"Возьмём на два глюка больше"." За одного битого -- двух небитых дают" "Старый друг -- лучше новых двух". Точно не русский.
	Ответить | Правка | Наверх | Cообщить модератору

72. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
Сообщение от Аноним (-), 02-Мрт-22, 16:58
> планируется добиться паритета ЧСХ планируется уже лет 6. Если не 7. Интересно, там как с токсом - 1 пилит, и толпа "растовиков, типа" оказывают моральную поддержку этому залету под корпов?
Ответить | Правка | Наверх | Cообщить модератору

	78. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–1 +/–
	Сообщение от Аноним (-), 02-Мрт-22, 17:07
	> ЧСХ планируется уже лет 6. Если не 7. https://www.opennet.dev/opennews/art.shtml?num=55461 > 08.07.2021 21:40 Разупорись.
	Ответить | Правка | Наверх | Cообщить модератору

	84. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Аноним (-), 02-Мрт-22, 17:15
	Примени к себе и посмотри на даты первых коммитов вокруг хруста в торе.
	Ответить | Правка | Наверх | Cообщить модератору

	86. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (-), 02-Мрт-22, 17:25
	> git clone https://gitlab.torproject.org/tpo/core/arti.git > cd arti && git log --reverse | grep -m 1 "Date" > Date:   Thu May 7 19:58:10 2020 -0400 Nuff said. Всё равно не 6-7 лет.
	Ответить | Правка | Наверх | Cообщить модератору

	97. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (-), 02-Мрт-22, 18:22
	Во ты жесткий рак. Куски хруста сначала валялись прямо в дереве сишной версии.
	Ответить | Правка | Наверх | Cообщить модератору

	166. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (166), 04-Мрт-22, 09:57
	Но CoC-то, надеюсь, уже приняли?! Result is RESULT!
	Ответить | Правка | К родителю #72 | Наверх | Cообщить модератору

129. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+2 +/–
Сообщение от Гнъ Анонимъ (?), 03-Мрт-22, 00:52
Идеи сего языка хороши, синтаксисъ же переусложнёнъ безъ мѣры
Ответить | Правка | Наверх | Cообщить модератору

	162. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (162), 03-Мрт-22, 23:17
	А как попроще сделать есть идеи? Тоже есть ощущение от этих::<слово> синтаксических::<слово> структур ощущение перегруженности
	Ответить | Правка | Наверх | Cообщить модератору

	165. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Брат Анон (ok), 04-Мрт-22, 08:00
	Вариант суть легче, но не идельно: используй го. Идеально: используй Оберон. За использование модуля SYSTEM (ансейф -- жалкий аналог в расте и го) у оберонщиков принято больно бить по почкам. Даже если это драйвер (не всегда SYSTEM нужен -- часто это признак отвратительной архитектуры).
	Ответить | Правка | Наверх | Cообщить модератору

	168. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	–2 +/–
	Сообщение от Аноним (168), 04-Мрт-22, 14:42
	Вот это http://www.projectoberon.com/ ? Вообще почитал выглядит как обычное развитие Pascal-я Может тогда уж просто на FPC писать там хотя бы GC нет как я понимаю C Go тоже проблема а именно своя выпендрежная среда выполнения с потоками каналами (чуть более чем полностью неэффективными) и гарбедж коллектором - уровень языка чуть более прошаренный Python или JavaScript
	Ответить | Правка | Наверх | Cообщить модератору

	174. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Гнъ Анонимъ (?), 04-Мрт-22, 18:24
	> Вот это http://www.projectoberon.com/ ? > Вообще почитал выглядит как обычное развитие Pascal-я > Может тогда уж просто на FPC писать там хотя бы GC нет > как я понимаю > C Go тоже проблема а именно своя выпендрежная среда выполнения с потоками > каналами (чуть более чем полностью неэффективными) и гарбедж коллектором - уровень > языка чуть более прошаренный Python или JavaScript Въ Go мнѣ не очень нравится топорность системы типовъ и, напримѣръ, отсутствіе функцій навродѣ map или reduce. Съ другой стороны, по синтаксису и по многимъ такимъ прикладнымъ элементамъ языкъ весьма пріятный
	Ответить | Правка | Наверх | Cообщить модератору

	175. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Ordu (ok), 04-Мрт-22, 18:59
	> отсутствіе функцій навродѣ map или reduce Правильно писать "rѣduce".
	Ответить | Правка | Наверх | Cообщить модератору

	177. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Гнъ Анонимъ (?), 04-Мрт-22, 21:28
	Да мнѣ, если честно, послѣ Хаскеля привычнѣе эту функцію вообще называть filter. Но я такъ понимаю, въ самыхъ популярныхъ языкахъ (Java, JS) таки reduce
	Ответить | Правка | Наверх | Cообщить модератору

	179. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Ordu (ok), 04-Мрт-22, 22:20
	> Да мнѣ, если честно, послѣ Хаскеля привычнѣе эту функцію вообще > называть filter. Но я такъ понимаю, въ самыхъ популярныхъ языкахъ (Java, > JS) таки reduce Не, я плохо помню Haskell, то ты помнишь его хуже меня. rѣduce и filter -- это разные вещи, не надо их путать. Первая делает из последовательности элементов множества X новый элемент множества X, используя редуцирующую функцию (X,X)->X. (На практике чуть сложнее -- (Y,X)->Y, и редукция последовательности из X в одно значение из Y -- но не будем вдаваться в тонкости, чтоб не переусложнять) Вторая делает из одной последовательности другую последовательность, отфильтровывая элементы не соответствующие предикату. Например, функция odd может использоваться для фильтрования последовательности целых чисел, чтобы получить только нечётные. А функция + может использоваться для того, чтобы просуммировать все элементы последовательности, то есть выполнить rѣduce всей последовательности в одно число. И я отмечу, что в хаскелле то же самое: filter :: (a -> Bool) -> [a] -> [a] Функция filter принимает функцию преобразующую a в Bool, при помощи которой она фильтрует список [a], чтобы получить другой список [a]. Это именно что фильтрация. А rѣduce в хаскелле называется fold. Или что-то типа того, я уж не помню точно за давностью лет. Я поначалу в rust'е спотыкался о reduce, потому что каждый раз искал fold и не находил.
	Ответить | Правка | Наверх | Cообщить модератору

	180. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Гнъ Анонимъ (?), 04-Мрт-22, 22:21
	Тьфу ты блинъ, fold конечно же, да. Въ двухъ вариаціяхъ ещё, foldl и foldr. Совсѣмъ попуталъ, оба на f
	Ответить | Правка | Наверх | Cообщить модератору

	181. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Брат Анон (ok), 05-Мрт-22, 07:38
	Как в анекдоте: да слышал я вашего Баха. Вчера по телефону Изя мне напел.
	Ответить | Правка | К родителю #168 | Наверх | Cообщить модератору

	172. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+1 +/–
	Сообщение от Гнъ Анонимъ (?), 04-Мрт-22, 17:23
	> А как попроще сделать есть идеи? Тоже есть ощущение от этих::<слово> синтаксических::<слово> > структур ощущение перегруженности Ну вот я думаю, что проблема языка Растъ - въ слишкомъ большомъ количествѣ символовъ, такихъ какъ <> , ::, &, *, причёмъ последніе два, какъ и в Си, имѣютъ нѣсколько различныхъ значеній въ разныхъ контекстахъ. Лучше ужъ Паскалеподобный синтаксисъ, чѣмъ такое нагроможденіе разныхъ скобокъ и спецсимволовъ
	Ответить | Правка | К родителю #162 | Наверх | Cообщить модератору

	178. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (39), 04-Мрт-22, 21:48
	> <> В паскале так же выражаются дженерики. Предложите свой вариант. > :: "X::" - статическое обращение, а "y." - динамическое, и зависит от значения объекта за "y". Также используется при % let foo = Foo; % foo.bar();      // вызов метода `bar` из `Foo` % Bar::bar(&foo); // вызов метода `bar` из реализации типажа `Bar` для `Foo` >& Что-то я сходу не могу вспомнить где этот символ имеет значение отличное от ссылки. Каюсь, растом только интересовался. Напомните. >* Тут нужно упомянуть что в раст присутствует возможность перегрузки операторов, это значит что не только оператор "*" будет иметь множество различных значений в разных контекстах. https://doc.rust-lang.org/std/ops/index.html Без этого невозможно было бы, например, удобно складывать два типа Vector (в математическом смысле). Хорошо это или плохо не знаю, но вот решили такое реализовать в языке. Подробнее можно тут прочитать https://habr.com/ru/post/532660/ Кмк создатели решили (совместно с сообществом) использовать символы вместо слов где это только возможно чтобы на экран поместилось как можно больше значимой информации. В надежде что те, кто решит изучать раст, к ним привыкнут и перестанут замечать синтаксис, а только смотреть на значение. Как это обычно и происходит при изучении ЯПов.
	Ответить | Правка | Наверх | Cообщить модератору

	176. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (39), 04-Мрт-22, 21:26
	Одна из причин турбофиша в синтаксической валидности подобных конструкций > let (oh, woe, is, me) = ("the", "Turbofish", "remains", "undefeated"); > let _: (bool, bool) = (oh<woe, is>(me));
	Ответить | Правка | К родителю #162 | Наверх | Cообщить модератору

	170. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Аноним (11), 04-Мрт-22, 16:48
	Твоя мысль правильная. Но твоя грамматика "переусложнёнъ-а безъ мѣры".
	Ответить | Правка | К родителю #129 | Наверх | Cообщить модератору

	171. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Гнъ Анонимъ (?), 04-Мрт-22, 17:18
	> Твоя мысль правильная. Но твоя грамматика "переусложнёнъ-а безъ мѣры". Грамматика моя такая же, какая у всѣхъ. Орѳографія моя, да, можетъ чуточку сложнѣе, но тѣшу себя надеждой, что вы прекрасно понимаете написанное мной.
	Ответить | Правка | Наверх | Cообщить модератору

	182. "Первый бета-выпуск Arti, реализации Tor на языке Rust"	+/–
	Сообщение от Брат Анон (ok), 05-Мрт-22, 07:40
	И всё-таки, пожалуйста: не надо. Даже с учётом ваших вполне здравых рассуждений.
	Ответить | Правка | Наверх | Cообщить модератору

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

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