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

"Первый бета-выпуск 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. Сообщение от InuYasha (??), 02-Мрт-22, 11:59	+8 +/–
Tor на языке Rust. Завидую людям, у которых столько свободных сил и времени...
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #11, #39, #45, #85

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

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

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

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

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

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

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

9. Сообщение от Аноним (8), 02-Мрт-22, 12:30	+1 +/–
Овчинка, выделка.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #6 Ответы: #15

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

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

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

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

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

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

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

18. Сообщение от Выключатель (?), 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ообщить модератору
Родитель: #12 Ответы: #20, #82

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

20. Сообщение от Аноним (20), 02-Мрт-22, 12:57	+1 +/–
См в строну бриджей и снежинки
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #18

21. Сообщение от Аноним (20), 02-Мрт-22, 12:58	+/–
Установи снежинку
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #16 Ответы: #32

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

66. Сообщение от Аноним (11), 02-Мрт-22, 16:26	–1 +/–
Как Redox
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #61 Ответы: #70

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

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

70. Сообщение от Аноним (-), 02-Мрт-22, 16:45	+/–
> Как Redox Чё там с Hurd?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #66 Ответы: #80

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

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

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

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

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

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

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

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

80. Сообщение от Аноним (71), 02-Мрт-22, 17:09	–1 +/–
Что там с линковкой с libc?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #70 Ответы: #89

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

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

84. Сообщение от Аноним (-), 02-Мрт-22, 17:15	+1 +/–
Примени к себе и посмотри на даты первых коммитов вокруг хруста в торе.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #78 Ответы: #86

85. Сообщение от Аноним (71), 02-Мрт-22, 17:23	+/–
Нет бы на KreMLin https://github.com/FStarLang/kremlin
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1 Ответы: #122

86. Сообщение от Аноним (-), 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ообщить модератору
Родитель: #84 Ответы: #97

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

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

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

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

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

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

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

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

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

99. Сообщение от Аноним (-), 02-Мрт-22, 18:33	–1 +/–
Прокси легче заблокировать чем i2p
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #87 Ответы: #109, #125

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

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

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

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

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

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

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

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

109. Сообщение от Аноним (71), 02-Мрт-22, 20:03	+1 +/–
outproxy не заблокируют?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #99

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

134. Сообщение от Аноним (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ообщить модератору
Родитель: #32 Ответы: #137

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

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

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

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

139. Сообщение от Аноним (-), 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ообщить модератору
Родитель: #131 Ответы: #140

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

141. Сообщение от Аноним (-), 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ообщить модератору
Родитель: #140 Ответы: #142

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

144. Сообщение от Аноним (-), 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ообщить модератору
Родитель: #142 Ответы: #145

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

146. Сообщение от Аноним (-), 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ообщить модератору
Родитель: #145 Ответы: #147

147. Сообщение от Аноним (71), 03-Мрт-22, 15:21	–1 +/–
> 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ообщить модератору
Родитель: #146 Ответы: #148

148. Сообщение от Аноним (-), 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) И даже здесь где обещания безопасности _памяти_. Говорится про корректность согласно описанию. Опять унылый юлеж и переобувание в прыжке.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #147 Ответы: #149

149. Сообщение от Аноним (71), 03-Мрт-22, 15:49	–1 +/–
>>>>>> ... 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, и библиотек в составе других проектов. Дергаешь цитаты из разных языков. И даже там, все эти "безопасности" сказаны с использованием речевых оборотов "в силу сказанного".
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #148 Ответы: #151

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

151. Сообщение от Аноним (-), 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 Емеля, твоя неделя.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #149 Ответы: #152

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

153. Сообщение от Аноним (-), 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 ... > прочий унылый юлеж поскипан >
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #152 Ответы: #154

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

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

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

162. Сообщение от Аноним (162), 03-Мрт-22, 23:17	+/–
А как попроще сделать есть идеи? Тоже есть ощущение от этих::<слово> синтаксических::<слово> структур ощущение перегруженности
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #129 Ответы: #165, #172, #176

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

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

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

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

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

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

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

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

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

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

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

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

178. Сообщение от Аноним (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ообщить модератору
Родитель: #172

179. Сообщение от 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ообщить модератору
Родитель: #177 Ответы: #180

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

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

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

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

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

186. Сообщение от Аноним (186), 06-Мрт-22, 18:13	–1 +/–
> Глупая теория. Немецкий например раз в 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ообщить модератору
Родитель: #185 Ответы: #188

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

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

189. Сообщение от Аноним (-), 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ообщить модератору
Родитель: #188

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

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