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

Выпуск языка программирования Rust 1.75 и unikernel Hermit 0.6.7, opennews (??), 29-Дек-23, (0) [смотреть все] Очень радостно, что раст уже в ядре Лет через 15 всё ядро уж точно будет перепи, Аноним (1), 19:34 , 29-Дек-23, (1) –29 // Версия ядра 1 0 вышла в 1994 году, те, будем считать, 30 лет Так что переписать , Аноним (-), 19:52 , 29-Дек-23, (3) +1 // Переписывать быстрее и нейронки вполне помогают, Тот_ещё_аноним (ok), 19:57 , 29-Дек-23, (5) –2 // Не спасибо, ими разве что лефтпады править Более того, переписать просто в лоб н, Аноним (-), 19:59 , 29-Дек-23, (7) –1 Особенно хорошо нейронки справляются со sql Только не плачь, когда выпнут , Аноним (15), 20:41 , 29-Дек-23, (15) –1 Нейронками можно и из Раста в Си конвертировать все нужное и тем самым избавится, Аноним (16), 20:41 , 29-Дек-23, (16) +3 Если конвертить из Раста в Си, то получишь все недостатки си, только на расте Ку, Анонин (?), 20:59 , 29-Дек-23, (19) Нет конечно Нейронки лучше всего программируют на том языке, для которого больш, Аноним (16), 21:33 , 29-Дек-23, (29) А что будет в датасете Куча дырявого кода многолетней выдержки Грязные хаки и , Анонин (?), 21:38 , 29-Дек-23, (30) +2 Это скорее к кодовой базе Раста относится, им же главное побыстрее и побольше, ч, Аноним (39), 22:09 , 29-Дек-23, (39) Большая база в датасете формируется датасатанистом Поэтому чего там будет больш, Аноним (148), 08:03 , 30-Дек-23, (148) Особенно учитывая, что переписывание на БезопасТном идёт намного медленнее, чем , Аноним (10), 20:15 , 29-Дек-23, (10) +3 // Ты посчитал только написание или добавил закладывание багов , поиск багов, тест, Аноним (12), 20:26 , 29-Дек-23, (12) –4 // А что, поиск багов, тестирование, исправление ошибок - это то, в чем программы н, Аноним (16), 21:05 , 29-Дек-23, (22) Нуждаются в гораздо меньшей степени, чем у сишных прог , ИмяХ (ok), 21:41 , 29-Дек-23, (31) в гораздо меньшей - это сколько именно, и откуда эти данные А если сравнить н, Аноним (16), 21:57 , 29-Дек-23, (36) Микрософт насчитал что как минимум на 70 Ссылки с отчётами легко гуглятся, Аноним (43), 22:27 , 29-Дек-23, (43) –1 Это не правда, у тебя даже прочитать не получилось без ошибок А ты надеешься на, Витюшка (?), 22:43 , 29-Дек-23, (49) +1 cve по сути критические ошибки те это только усиливает мою мысль если конпелят, Аноним (223), 21:06 , 30-Дек-23, (223) Эти ссылки в основном из предвзятых источников Зато если копнуть глубже часто п, Аноним (39), 22:46 , 29-Дек-23, (52) Скрыто модератором, Аноним (-), 23:44 , 29-Дек-23, (79) Не ради тролинга можно ссылки на статьи , Вы забыли заполнить поле Name (?), 04:23 , 30-Дек-23, (143) https way-cooler org blog 2019 04 29 rewriting-way-cooler-in-c htmlПока искал , Витюшка (?), 11:15 , 30-Дек-23, (157) Ну, есть пример пары неосиляторов Они пытались писать на расте как на и си, и ч, Аноним (12), 11:39 , 30-Дек-23, (164) –1 Да, также как и нередко встречаются те, кто использует санитайзеры и прочие анал, C00l_ni66a (ok), 16:51 , 30-Дек-23, (192) Это слишком сложные вопросы для Разве они понимают что такое компилятор, что он, Витюшка (?), 18:02 , 30-Дек-23, (213) А эти Они с тобой сейчас в одной комнате Как ты можешь знать, что они понимают, Аноним (-), 18:38 , 30-Дек-23, (217) Как минимум, ошибки обращения к освобожденной памяти, или же ошибки не вызова fr, Аноним (129), 01:36 , 30-Дек-23, (129) Замечательно Только существует множество инструментов для C и C которые помог, Аноним (147), 07:45 , 30-Дек-23, (147) Замечательно Только этими инструментами или не пользуются они ведь опциональны, Прохожий (??), 13:09 , 30-Дек-23, (178) А что, Rust находит все классы ошибок Я вот выше и ниже задавал вопрос про мьют, Витюшка (?), 13:54 , 30-Дек-23, (182) +1 Окстись уже Зачем ты задаешь тупые вопросы Раст не находит все классы ошибок О, Аноним (12), 17:50 , 30-Дек-23, (209) –1 Не туда воюешь, Preventing memory leaks entirely is not one of Rust 8217 s gua, C00l_ni66a (ok), 16:47 , 30-Дек-23, (191) да, только ведь код добавлялся не линейно а платиновые спонсоры скажут надо и, Советский инженер (ok), 20:28 , 29-Дек-23, (13) +1 // так уже сказали и Торвальдс разрешил, но сам он не увидел пользы от раста и энту, Аноним (25), 21:15 , 29-Дек-23, (25) Ага, 9 женщин родят ребёнка через месяц , Аноним (10), 02:12 , 30-Дек-23, (138) –1 Ага, ведь ядро это 1 большой файл на С 128514 , Аноним (148), 08:09 , 30-Дек-23, (150) +3 Они таки закопают ведро Лицензия на редхат в разрезе 5 лет не сильно дешевле лиц, Tron is Whistling (?), 20:51 , 29-Дек-23, (17) // А смысл сравнивать стоимость рхел и венды , commiethebeastie (ok), 23:37 , 29-Дек-23, (77) Жаль, что времени этого не будет , Аноним (235), 00:01 , 31-Дек-23, (235) Скрыто модератором, Аноним (-), 19:48 , 29-Дек-23, (2) –1 // Скрыто модератором, name (??), 19:53 , 29-Дек-23, (4) +2 // Скрыто модератором, Советский инженер (ok), 20:30 , 29-Дек-23, (14) Скрыто модератором, Тот_ещё_аноним (ok), 19:59 , 29-Дек-23, (6) –1 // Скрыто модератором, Аноним (-), 20:04 , 29-Дек-23, (8) // Скрыто модератором, Аноним (10), 20:18 , 29-Дек-23, (11) +1 Глупо изучать новый сырой язык со сложным синтаксисом только ради защиты от небо, Аноним (16), 20:57 , 29-Дек-23, (18) +18 // Хоть один адекватный человек на сайте , Аноним (20), 21:00 , 29-Дек-23, (20) +3 // Мне кажется это единственная причину батхерта в сторону раста, когда уже убито м, Аноним (129), 22:45 , 29-Дек-23, (50) +4 // Негативное восприятие всего лишь потому что вместо С со его реальными недостат, Аноним (39), 22:51 , 29-Дек-23, (59) Мне кажется, про раст вы знаете чисто из комментариев на опеннете Вместо ООП ес, Аноним (129), 23:17 , 29-Дек-23, (68) +1 Вот поэтому те кто с ООП на короткой ноге в Раст ни ногой, у тех все чего нет н, Аноним (100), 00:04 , 30-Дек-23, (100) Я писал на java и на python, давно когда-то на C , но композиция и интерфейсы , Аноним (129), 01:26 , 30-Дек-23, (124) +2 Я писал секретный проект CIA на расте в 200kk LOC, переписал на него целиком ядр, C00l_ni66a (ok), 16:59 , 30-Дек-23, (196) В математических проектах ООП ненужно вообще Julia использует ФП и множественну, DEF (?), 12:57 , 30-Дек-23, (175) Вы отождествляете ООП и синтаксис конкретной реализации C , Аноним (10), 02:25 , 30-Дек-23, (141) +3 Проблема в самом языке Очень он неудачный получился Не замена С , а как прави, Витюшка (?), 23:04 , 29-Дек-23, (62) И что в нем прям очень неудачного Мне кажется, одно лишь отсутствие нулевых ука, Аноним (129), 23:15 , 29-Дек-23, (66) +2 Чел, не ведись на троля Если ты не в курсе, Витюшка - это знатный местный крити, Аноним (85), 23:50 , 29-Дек-23, (85) +1 Витюшка пытался вкатится в программирование на Rust, задал тут невинный вопрос, , Аноним (100), 00:01 , 30-Дек-23, (98) –1 Неа, он пришел со словами ваш раст овно, а воот зиг и крабон огого На вопрос по, фнон (?), 00:08 , 30-Дек-23, (105) +2 Да ты не переживай, ты мне не конкурент Про Carbon я вообще ничего не говорил Э, Витюшка (?), 01:24 , 30-Дек-23, (122) –3 Ахахаха Но вообще ты прав, в твоем случае это принципиально ничего не меняет , Анонин (?), 12:17 , 30-Дек-23, (171) +1 Отсутствие нулевых указателей также есть и в Zig Это большой win, как ты сказал, Витюшка (?), 01:15 , 30-Дек-23, (117) –2 Это разные вещи - принципиально не выразимо или же можно сделать если очень захо, Аноним (129), 01:31 , 30-Дек-23, (126) +1 А потом говорят что это я Rust не знаю Вы сами то его знаете, программисты на Ru, Витюшка (?), 02:17 , 30-Дек-23, (139) –1 Мы же обсуждали прлблему нулевых указателей Тут вам возразить нечем и соскакива, Аноним (162), 11:34 , 30-Дек-23, (162) Нет, это замечательно Эта ошибка которая должна быть исправлена в новом языке , Витюшка (?), 13:58 , 30-Дек-23, (183) Давай по новой, Витюшка, все фигня с Ты опять пришел позориться своими знания, фнон (?), 00:05 , 30-Дек-23, (102) +3 Есть кое-что поинтереснее и посвежее Есть код мьютекса спинлока Естественно э, Витюшка (?), 01:36 , 30-Дек-23, (128) –1 А открыть и прочитать тот же rustbook не судьба , Аноним (129), 01:46 , 30-Дек-23, (131) –1 Это не ответ и почему-то я на 100 уверен что там такого нет Но ты не сливайся, Витюшка (?), 02:07 , 30-Дек-23, (136) +1 Зачем мне в комментариях цитировать то что и так описано в книге, а чтобы грамот, Аноним (162), 11:37 , 30-Дек-23, (163) Чтобы показать, что это действительно есть в книге, а не является плодом больног, C00l_ni66a (ok), 17:19 , 30-Дек-23, (207) Чувак, уж кому-кому, а тебе мы точно ничего не должны Нам про раст уже ничего , Анонин (?), 12:27 , 30-Дек-23, (172) В гугл я тоже посылать умею Слив защитан , Аноним (146), 06:34 , 30-Дек-23, (146) Ответ - никак Твой Rust ни черта этого не умеет В книге The Art of Multiprocess, Витюшка (?), 10:55 , 30-Дек-23, (156) В комментариях не уместит нормальное объяснение А если пытаешься, то в ответ г, Аноним (162), 11:42 , 30-Дек-23, (165) Многопоточное программирование сейчас абсолютно везде, даже в роутерах домашних,, Витюшка (?), 14:09 , 30-Дек-23, (185) –1 Можно ссылки, что за проекты , Вы забыли заполнить поле Name (?), 04:29 , 30-Дек-23, (144) Я выше в соседней ветке подробно ответил https way-cooler org blog 2019 04 29 , Витюшка (?), 11:19 , 30-Дек-23, (158) Ну так уже 24 год на дворе, раст 5 лет назад был не тот, что сейчас Мне бы хоте, Аноним (1), 12:55 , 30-Дек-23, (174) Типичное когнитивное искажение, когда человек ищет по ключевым словам подтвержде, Аноним (162), 13:20 , 30-Дек-23, (180) Ахаха Серьезно Посмотри сколько дыреней из-за проблема с памятью Просто откро, Анонимусс (?), 21:09 , 29-Дек-23, (23) // Серьёзно Потому что С это не С И Rust взял очень многое напрямую из C Нап, Витюшка (?), 22:49 , 29-Дек-23, (56) +1 // Сразу видно человека, не писавшего на расте , Аноним (129), 22:55 , 29-Дек-23, (60) Жду раз б по фактам , Витюшка (?), 23:05 , 29-Дек-23, (64) Откройте багтрек любой крупной программы на С или С , либо новости об очередных, Аноним (129), 23:37 , 29-Дек-23, (75) Я открыл крупный проект на Rust А что это у нас тут такое по тегу safety https , Витюшка (?), 01:48 , 30-Дек-23, (132) где там - использование памяти после free- забыли освободить память- паденич из, Аноним (129), 01:55 , 30-Дек-23, (134) Use after free открытый с 2018 годаhttps github com servo servo issues 21459ht, Витюшка (?), 02:29 , 30-Дек-23, (142) Вы тупо гуглите по ключевым словам без понимания сути issue , Аноним (162), 11:56 , 30-Дек-23, (168) This testcase is crashing during the final GC when the JSContext is being destro, Советский инженер (ok), 13:28 , 30-Дек-23, (181) Там по трейсу видно что корень проблемы идет в c , над которой уже идет обвязка, Аноним (162), 15:37 , 30-Дек-23, (189) То Раст безопасный, то теперь оказывается нет А какая разница что там внизу вы, Витюшка (?), 16:51 , 30-Дек-23, (194) –2 Ну так обвязка, несмотря на использование unsafe безопасна Она запаниковала в р, Аноним (230), 23:09 , 30-Дек-23, (230) Витюшка, ты опять не в состоянии в доку заглянуть и прочитать в каких случаях Ра, Аноним (-), 21:51 , 31-Дек-23, (250) То есть безопастный использует нибищапащные либы на клятi сикрестах Не может, C00l_ni66a (ok), 17:02 , 30-Дек-23, (199) И в чем противоречие использовать обвязки к либам на плюсах В rust unsafe очень, Аноним (230), 23:12 , 30-Дек-23, (231) В том, что бищапащность в безопастном мгновенно исчезает, как только ты линкуешь, C00l_ni66a (ok), 21:34 , 31-Дек-23, (246) Работаешь с любой сторонней не-раст либой как с unsafe Просто потому что ты не , Аноним (-), 21:43 , 31-Дек-23, (248) +1 У тебя краткосрочная память только три буквы вмещает Используешь нибищапащную ф, C00l_ni66a (ok), 21:59 , 31-Дек-23, (252) –1 Сразу видно спеца При линковке с любой либой из дыряшки ты можешь получить чужу, Аноним (-), 21:43 , 31-Дек-23, (249) Причём тут сишка Согласен, а растовики должны прекратить его пропагандировать Пр, C00l_ni66a (ok), 22:02 , 31-Дек-23, (253) Хм а кто это знамениты Григорий, чтобы все указывать Может он великий пограмм, Аноним (-), 23:01 , 31-Дек-23, (255) Таблетки прими, а то уже совсем безсвязную ересь пишешь Это твоя прерогатива, ка, C00l_ni66a (ok), 00:09 , 03-Янв-24, (271) Скрыто модератором, anonymous (??), 22:45 , 31-Дек-23, (254) Опыт гугла подойдет security googleblog com 2021 04 rust-in-android-platform htm, Аноним (-), 23:49 , 29-Дек-23, (83) РебятаБ не ведитесь на тролля Он вам сейчас заведет свою старую шарманку о том,, Аноним (85), 23:54 , 29-Дек-23, (90) Подождите, это же тот зиганутый, который в двух темах рассказывал про то какой р, Анонин (?), 00:03 , 30-Дек-23, (99) Ты лучше ответь выше про гонки данных Их же в Rust нет благодаря borrow checker, Витюшка (?), 01:51 , 30-Дек-23, (133) Прям Капитан Очевидность пожаловал И При чем тут с В ядре его нету И не буд, Анонимусс (?), 23:30 , 29-Дек-23, (72) +1 Будет Rust в ядре - будет и С Иначе будет неинклюзивно, а это нарушение CoC m, Аноним (100), 00:08 , 30-Дек-23, (104) –1 Раст в ядре с версии 6 1 Сейчас версия 6 7-rc7 Ну и где там С , Анонимусс (?), 00:43 , 30-Дек-23, (115) Господи, в каждой новости о Rust начинается один и тот же цирк, снова и снова , Аноним (85), 21:51 , 29-Дек-23, (35) +1 // Конечно им не надоело Они одни и те же ошибки повторяют уже лет 30-40 , Анонимусс (?), 22:08 , 29-Дек-23, (38) +3 // Вы про use after free и разыменовывание нулевого указателя , Аноним (129), 22:46 , 29-Дек-23, (51) +1 А как же выход за пределы буфера Тут целое созвездие стандартных проблем Вот п, Анонимусс (?), 23:04 , 29-Дек-23, (63) +1 А могли бы просто проверить статическим анализато постой, да они же так и сде, Аноним (100), 23:45 , 29-Дек-23, (81) +3 Если за пару десятилетий люди так и не научились писать без таких ошибок, значит, Аноним (129), 01:11 , 30-Дек-23, (116) Если за пару десятилетий люди так и не научились писать без таких ошибок, то им , Аноним (147), 08:12 , 30-Дек-23, (151) Значит закрываем программирование, потому что такие ошибки были и периодически п, Аноним (162), 11:58 , 30-Дек-23, (169) Ща закон примут и все мигом начнут писать без ошибок А пока всё AS IS , никаки, Аноним (187), 14:17 , 30-Дек-23, (187) Гугл утверждает что это и не только это слабо помогает их андоидовским и не т, Аноним (184), 14:00 , 30-Дек-23, (184) // Просто никто про эти инструменты еще не знает Ни GOOGLE, ни kernel org, ни MICR, Аноним (243), 17:58 , 31-Дек-23, (243) лет через 10 до С дорастёт по удобству работы с памятью, Аноним (25), 21:04 , 29-Дек-23, (21) –1 // Удобство работы с памятью в си - это куда хочу, туда и пишу Проблема что очень, Анонин (?), 21:10 , 29-Дек-23, (24) +2 // гипервизоры перехватят если что, можно ведь и прямо дёртуть не тот бит и спалить, Аноним (25), 21:20 , 29-Дек-23, (26) +1 // Опыт дебага утечек памяти, или used after free или разуменовывание нулевого указ, Аноним (129), 22:48 , 29-Дек-23, (53) Ну, от утечек памяти раст не защищает и не гарантирует их отсутствие Прямо в до, Анонин (?), 22:57 , 29-Дек-23, (61) +1 Да, я больше про использование памяти после освобождения, либо же забыть освобо, Аноним (129), 01:15 , 30-Дек-23, (118) В стандарте С17 будут подвижки с безопасностью, а пока для критичных проектов ес, Аноним (16), 21:23 , 29-Дек-23, (27) +2 // Напомните, какой сейчас год Сколько лет уходит, чтобы стандарт попал в ядро В к, Аноним (12), 21:31 , 29-Дек-23, (28) // В ядре начали использовать С11 в 2012 году, полную поддержку обеспечили конечно , Аноним (16), 21:41 , 29-Дек-23, (32) Ядро перешло на с11 в 2022 году Попробуем оценить в каком перейдут на c17, если, Аноним (12), 21:49 , 29-Дек-23, (34) Так это окончательно объявили А если проблемы с управлением памятью настолько р, Аноним (39), 22:19 , 29-Дек-23, (41) +2 Так все ядро никто даже и не собирается переписывать Как раз самые отъявленные , Аноним (12), 22:29 , 29-Дек-23, (44) Ну так эту проблему в целом довольно надуманную и решает введение нового станд, Аноним (39), 22:41 , 29-Дек-23, (48) Проблема не надуманная Как ни откроешь новость про CVE в ядре - то там почти вс, Аноним (12), 22:51 , 29-Дек-23, (58) Как нет, только что же обсуждали Какая избирательная память Ой сколько я мог, Аноним (39), 23:12 , 29-Дек-23, (65) Накидать ты то можешь, не сомневаюсь А вот какие из них реально что-то гарантир, Аноним (12), 23:39 , 29-Дек-23, (78) Лол, да ты только потому знаешь об этих багах что их как раз выявили и пофиксили, Аноним (100), 23:49 , 29-Дек-23, (84) 1 Пруфы в студию Ну, что именно эти баги были найдены именно санитайзерами 2 , Аноним (12), 23:54 , 29-Дек-23, (89) Вот хороший пример https www opennet ru opennews art shtml num 59906 Уязвимост, Анонин (?), 23:59 , 29-Дек-23, (94) Вот также будут и в 2050 находить ошибки в немногочисленных легаси проектах на R, Аноним (100), 00:10 , 30-Дек-23, (106) Будут находить именно use-after-free, buffer-overrun и тд , Анонин (?), 00:16 , 30-Дек-23, (110) А что, баги в программах перечисленными категориями исчерпываются , Аноним (100), 00:40 , 30-Дек-23, (114) Нет конечно Но тут кто-то считал, что для CVE - 70 проблемы с памятью И в это, Анонин (?), 01:27 , 30-Дек-23, (125) Проблемы с управлением памятью есть, это подтверждает наличие языков со сборкой , Аноним (129), 01:43 , 30-Дек-23, (130) Такого события не было - C11 начали использовать вместо окаменевшего C89 , Аноним (188), 14:36 , 30-Дек-23, (188) for int i 0 вроде бы, уже очень давно можно было писать , Аноним (10), 18:09 , 30-Дек-23, (216) она платная для начала Намного хуже что в gcc практически невозможно включить в, Аноним (25), 21:59 , 29-Дек-23, (37) // Платный стандарт, а он и для С внезапно платный чистовик , и ГОСТы на практике , Аноним (39), 22:23 , 29-Дек-23, (42) поддержка различных стандартов С и С в gcc есть а мисры я там не наблюдаюэто в, Аноним (25), 22:48 , 29-Дек-23, (54) Ну так внешнего анализатора и достаточно чтобы получить грубо говоря 90 преимущ, Аноним (39), 23:31 , 29-Дек-23, (73) Интересная цифра А можно, хотя бы примерно, методику ее расчета Пока похоже на, фнон (?), 00:00 , 30-Дек-23, (96) Ты сначала посмотри на количество вакансий для разработчиков на Rust, а потом ра, Аноним (100), 00:17 , 30-Дек-23, (111) Количество вакансий просто убийственный аргумент А ведь JSников и пыхеров еще , Анонимусс (?), 01:25 , 30-Дек-23, (123) соблюдение правил мисры не даёт никаких гарантий а гигантское ядро по ним написа, Аноним (25), 00:14 , 30-Дек-23, (109) –1 Раст дает гарантии только по ограниченному классу ошибок, остальные лови ручками, Аноним (100), 00:23 , 30-Дек-23, (112) +1 только этот ограниченный класс составляет 70 ошибок, причем многие из них - кри, Аноним (184), 15:47 , 30-Дек-23, (190) Не очень понятно, зачем нужен недописаный Hermit, когда есть уже готовые стабиль, Аноним (39), 22:36 , 29-Дек-23, (46) +3 // Потому что опенсорс - это про NIH, велосипедостроение и фигня какая-то, я точно, fyjy (?), 16:59 , 30-Дек-23, (197) // Как будто что то плохое , _ (??), 23:06 , 30-Дек-23, (229) // Смотря откуда взглянуть Если с позиции Васяна - то да, плодишь себе стотыщпицот, Аноним (278), 21:03 , 05-Янв-24, (278) Конкуренция-с Как было с VHS, дискетами, дисками, хардами, интерфейсами , Пряник (?), 10:16 , 09-Янв-24, (283) Оказывается, здесь столько системных программистов, которых так заботит безопасн, Аноним (70), 23:20 , 29-Дек-23, (70) +4 // Прикладники ничего не знают про эти вещи в себе Вот например А как это чудо в, Аноним (80), 23:45 , 29-Дек-23, (80) –1 // Операционная система и есть библиотека А исполняться оно должно в виртуальной м, Витюшка (?), 01:58 , 30-Дек-23, (135) Это те, которым говняк-говняк и в прод Да куча их, посмотри выше по ветке , Анонин (?), 23:45 , 29-Дек-23, (82) +1 Почему-то под ехать ваша братия всю дорогу понимает недоязычки с нулевой гибкост, Аноним (91), 23:56 , 29-Дек-23, (91) Я тут Помимо безопасной работы с памятью без сборщика мусора, там есть еще мног, Аноним (129), 01:20 , 30-Дек-23, (120) // Отлично Я тебя нашёл Да что там освобождение мьютекса Давай хотя бы сначала по, Витюшка (?), 02:09 , 30-Дек-23, (137) –2   // Напиши такой мьютекс на безопасном зиге Он же лучше и безопаснее раста, правд, Аноним (12), 11:27 , 30-Дек-23, (160) +1   Так я и написал, Витюшка (?), 16:52 , 30-Дек-23, (195)   Так я тоже написал Супер мьютекс на раст, но код я показать не могу - он секрет, fyjy (?), 17:11 , 30-Дек-23, (202)   Пук в лужу конечно знатный, но как троллинг унылый Ты лучше скажи так Вот приме, фнон (?), 11:55 , 30-Дек-23, (167)   Скрыто модератором, Витюшка (?), 17:01 , 30-Дек-23, (198)   Скрыто модератором, Аноним (-), 17:16 , 30-Дек-23, (205)   Скрыто модератором, Витюшка (?), 17:53 , 30-Дек-23, (210)   Скрыто модератором, Аноним (211), 17:59 , 30-Дек-23, (211)   Скрыто модератором, Аноним (12), 18:02 , 30-Дек-23, (215)   Я так понимаю, все преимущества, такие как безопасность работы с памятью, zero c, Аноним (162), 13:00 , 30-Дек-23, (176)   Ясно, как обычно Когда дело доходит до конкретного вопроса или просьбы написать, Витюшка (?), 17:18 , 30-Дек-23, (206)   А давай Кидай сюда свой зигокод, а я кину на раст , Аноним (211), 18:00 , 30-Дек-23, (212)   Наконец-то первый программист на Rust, осиливший 20 строк кода Уважаю 128170 , Витюшка (?), 19:48 , 30-Дек-23, (218)   Если вы не будете друг друга прикалывать, то из этого может что то получиться, ч, OpenEcho (?), 02:50 , 31-Дек-23, (240)   А вы мужики молодцы без прикола К шоу готов 127871 127871 127871 , OpenEcho (?), 02:47 , 31-Дек-23, (239)   Мой вариант https gist github com likern 9df0d97b3551236b456716d95f282f83Жду т, Витюшка (?), 10:29 , 31-Дек-23, (241)   https github com k-walter rads blob main src sync peterson rs, Аноним (12), 18:47 , 31-Дек-23, (244)   Не знал что под личиной русского парня скрывался K Walter , Витюшка (?), 00:36 , 01-Янв-24, (256)   Скрыто модератором, Аноним (-), 02:40 , 01-Янв-24, (257)   Т е именно по коду тебе сказать не нечего Не то чтобы я был сильно этому удивле, Аноним (-), 12:37 , 01-Янв-24, (258)   А что я должен должен сказать по коду Куча синтаксического шума и никаких гаран, Витюшка (?), 18:52 , 01-Янв-24, (259)   Что должен Должен проверить код Что можешь А ничего ты не можешь, ты же не уме, Аноним (-), 22:51 , 01-Янв-24, (262)   В общем по существу ответить нечего Вывод спора простой Большинство программист, Витюшка (?), 23:28 , 01-Янв-24, (265)   Т е ты слился Я не особо удивлен Я тебе предоставил чужой рабочий код на Раст, , Аноним (-), 01:35 , 02-Янв-24, (268)   Ну у вас с логикой всё печально Я говорю давай напишем код и проверим у кого , Витюшка (?), 02:26 , 02-Янв-24, (270)   В этом и фишка, ни одного unsafe и язык является абсолютно небезопасным И в это, Витюшка (?), 19:05 , 01-Янв-24, (260)   Не любую А ту ошибку, отсутствие которой не гарантируется safe подмножеством Ну, Аноним (-), 23:26 , 01-Янв-24, (264)   Ну и как же ты не в runtime отловишь выход за границы массива Очень хочу послуша, Витюшка (?), 00:37 , 02-Янв-24, (266)   Ты вообще за дискуссией следишь Ты спросил про СиВот ты сам придумал что они н, Аноним (-), 01:21 , 02-Янв-24, (267)   Про героическое додумывание - это лучше к зеркалу подойти При чём тут вообще С , Витюшка (?), 02:11 , 02-Янв-24, (269)   Прикладные уже давно не пишут на С На С не так давно - но тоже редкость На р, _ (??), 23:13 , 30-Дек-23, (232) // Штааа xD Всего лишь почти все ПО по производству 3D графики написано на C В, wyry (?), 05:07 , 11-Янв-24, (285) Какой же мерзкий синтаксис Пока что самый адекватный синтаксис у конпиляемых с, Аноним (74), 23:36 , 29-Дек-23, (74) +5 // Мысли вслух Где же вас таких обучают, в каком ПТУ Почему вам синтаксис дороже, Аноним (91), 23:52 , 29-Дек-23, (87) –3 // А почему нужно обязательно налажать или в одном, или в другом Почему бы и то, и, Аноним (100), 23:56 , 29-Дек-23, (92) +4 // Потому что нормально не бывает Синтаксис это на 90 вкусовщина Это как выбир, Аноним (91), 23:59 , 29-Дек-23, (95) Всё что нужно знать о современных IT специалистах 128070 , Аноним (74), 00:05 , 30-Дек-23, (101) +1 Мне кажется, вы поспешили обозвать его специалистом , JB (??), 20:43 , 30-Дек-23, (221) Кстати, именно так и нужно выбирать Лично для меня, тактильные и визуальные ощу, Аноним (74), 00:12 , 30-Дек-23, (107) П с если что, это был sarcasm 8252 , Аноним (74), 00:13 , 30-Дек-23, (108) Думал сарказм, а оказалось правдой У растоманов так бывает , Аноним (100), 00:26 , 30-Дек-23, (113) +1 Кто не понял, поясню синтаксис - это грубо говоря набор Literal или слов Че, Аноним (-), 12:38 , 30-Дек-23, (173) Каким еще таким развитым синтаксисом обладает растишка У чистого Си все куда я, Янис (?), 20:06 , 03-Янв-24, (275) ДАЛЕКО НЕ Именно в силу синтаксиса ЛИСП или какой-нть Брэйнфак с Перлом канул, Аноним (278), 20:54 , 05-Янв-24, (277) Я что-то после новостей про Паскаль по нему заностальгировал Конечно, по нынешн, Аноним (100), 23:53 , 29-Дек-23, (88) +5 // Ada, в отличии от паскаля, может в многопоточность и асинхронность Хотя, вроде,, Аноним (74), 00:08 , 30-Дек-23, (103) +1 // fpc - сам себе стандарт В стандартном Pascal даже классов нет И кстати он fpc , _ (??), 19:51 , 30-Дек-23, (220) А что конкретно не так с ним Как такие же абстракции более лаконично и понятно , Аноним (129), 01:22 , 30-Дек-23, (121) +1 // Ага, программист должен иметь минимум три года опыта разработки на Rust чтобы оц, Аноним (147), 08:05 , 30-Дек-23, (149) +1 // Не обязательно три Только когда начнёшь осознавать концепции и почему так сдела, Аноним (223), 10:26 , 30-Дек-23, (154) +1 У растовиков и без сахара - сплошной коричневый слой макросов по проектам всег, C00l_ni66a (ok), 17:13 , 30-Дек-23, (203) –1 Достаточно осилить rustbook, который большинство критиков синтаксиса даже не отк, Аноним (162), 13:01 , 30-Дек-23, (177) +2 Синтаксис намного удобнее и понятнее, чем в С С , а больше и не нужно Хотя нем, Пряник (?), 10:26 , 09-Янв-24, (284) Больше всего радует, что на волне всего этого хайпа вокруг memory safety наконец, Аноним (147), 08:22 , 30-Дек-23, (152) +1 // А что за шевеления Особенно в контексте C интересно , An (??), 09:32 , 30-Дек-23, (153) // Есть proposal чтобы добавить defer Те какие-то попытки есть , Витюшка (?), 11:23 , 30-Дек-23, (159) // Коммитет обсудит это лет 3-5,потом добавят в стандарт,через 10-15 лет попадет в , фнон (?), 11:34 , 30-Дек-23, (161) Этот proposal маринутеся еще с 2020 года https www open-std org jtc1 sc22 wg1, Анонин (?), 11:46 , 30-Дек-23, (166) На уровне GNU Extensions можно много чего добавить Например, MISRA можно было б, Аноним (10), 13:17 , 30-Дек-23, (179) +1 в ядре есть автоматическое управление ресурсами устройствhttps git kernel org , Аноним (25), 21:05 , 30-Дек-23, (222) Размер меньше, а время сборки медленей Размер чуть больше, а время сборки быстре, Аноним (-), 12:09 , 30-Дек-23, (170) +2 // Звучит логично Или программа использует меньше памяти, или работает быстрее Обыч, fyjy (?), 14:16 , 30-Дек-23, (186) // скомпилировать с -O3, Аноним (242), 15:45 , 31-Дек-23, (242) +1 // А потом долго и судорожно ищешь куда бы поставить барьер, чтобы порядок выполнен, Аноним (-), 21:55 , 31-Дек-23, (251) –2 Ну если тебе квалификации не хватает, тогда компилируй с -O2, Аноним (273), 01:55 , 03-Янв-24, (273) А тем временем российские физики написали эмулятор 34 кубитного квантового компь, Аноним (280), 23:37 , 08-Янв-24, (280) // Он так же работает как аппарат на луне, робот федор и модуль наука Или даже лучш, Аноним (-), 00:31 , 09-Янв-24, (281) И тут же рядом фанатики Раста пишут, что у них все утилиты в одном компиляторе в, Аноним (226), 21:56 , 30-Дек-23, (226) –2 Генераторы бы с ними параллелизм в hello world будет по феншую , Пряник (?), 10:10 , 09-Янв-24, (282) 1,18,21,46,70,74,152,170,282

Сообщения

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

	137. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	–2 +/–
	Сообщение от Витюшка (?), 30-Дек-23, 02:09
	Отлично! Я тебя нашёл. Да что там освобождение мьютекса! Давай хотя бы сначала попробуем написать мьютекс безопасный на Rust! Есть код мьютекса (спинлока). Естественно это суперкритичный к качеству и надёжности код. Естественно написан на Rust. Докажи, пожалуйста, с помощью Rust (который безопасный по памяти и гонкам данных!) что этот код: 1. Действительно даёт mutual exclusion доступ к критической секции (т.е. работает корректно) 2. Является deadlock-free 3. Является starvation-free
	Ответить | Правка | Наверх | Cообщить модератору

	160. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+1 +/–
	Сообщение от Аноним (12), 30-Дек-23, 11:27
	Напиши такой мьютекс на "безопасном" зиге. Он же лучше и безопаснее раста, правда ведь?) Давай, ты же такой крутой погромист. Ну и нас повеселишь заодно.
	Ответить | Правка | Наверх | Cообщить модератору

	195. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Витюшка (?), 30-Дек-23, 16:52
	Так я и написал
	Ответить | Правка | Наверх | Cообщить модератору

	202. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от fyjy (?), 30-Дек-23, 17:11
	> Так я и написал Так я тоже написал! Супер мьютекс на раст, но код я показать не могу - он секретный по заказу марсиан. Может ты свой покажешь)? А то балаболить и фантазировать все умеют
	Ответить | Правка | Наверх | Cообщить модератору

	167. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от фнон (?), 30-Дек-23, 11:55
	Пук в лужу конечно знатный, но как троллинг унылый. Ты лучше скажи так: "Вот пример deadlock-free и starvation-free мьютекса, написанный на языке N, для которого это все доказано! Он используется в проекте М и дает ему непревзойденную надежность. Сможете так же на Раст сделать? " А то пока это теоретическое балабольство, зато на умную книжку сослался (ты ее вообще читал?)
	Ответить | Правка | К родителю #137 | Наверх | Cообщить модератору

	198. Скрыто модератором	+/–
	Сообщение от Витюшка (?), 30-Дек-23, 17:01
	Тебя просят написать простой алгоритм на Раст, с доказательством корректности (20 строчек кода!!!!). Ну что может быть проще? Какая разница применяется он где-то или нет? Сам код есть (Filter lock), доказательство корректности тоже. Перепиши на безопасном Раст и покажи что Раст гарантирует корректную работу мьютекса. Но нееееет.... Типичный программист на Раст ни ... не знает ни алгоритмы, ни математику, ни многопоточное программирование, ни структуры данных, ни lock free. Вообще ничего не знает, но ходит и кричит про безопасный Раст, не разбираясь, естественно в безопасности и корректности программ тоже. Такой, типичный Шариков. Который не может написать 20 строчек кода!!!! И показать что они будут работать корректно. Давай я пишу на Zig и доказываю корректность,а ты на Rust и доказываешь корректность с помощью borrow checker?
	Ответить | Правка | Наверх | Cообщить модератору

	205. Скрыто модератором	+/–
	Сообщение от Аноним (-), 30-Дек-23, 17:16
	> Типичный программист на Раст ни ... не знает ни алгоритмы, ни математику, > ни многопоточное программирование, ни структуры данных, ни lock free. Вообще ничего > не знает, но ходит и кричит про безопасный Раст, не разбираясь, естественно в безопасности и корректности программ тоже. Написал человек который даже доку не читад /_- > Такой, типичный Шариков. Который не может написать 20 строчек кода!!!! И показать  что они будут работать корректно. Это было типа "на слабо"? Да кто ж так троллит?! Ты просто жалок!! > Давай я пишу на Zig и доказываю корректность,а ты на Rust и доказываешь корректность с помощью borrow checker? Хм, даже инетересно как ты корректность докажешь. Только не на бумажке, на ней и для ассемблера можно сделать. Пусть Зиг тебе ее автоматичекси выведет. Ну давай валяй, показывай свое творение.
	Ответить | Правка | Наверх | Cообщить модератору

	210. Скрыто модератором	+/–
	Сообщение от Витюшка (?), 30-Дек-23, 17:53
	Если основоположник lock free алгоритмов доказывает их "на бумажке", то я буду делать также)) Наверное в безопасном коде он разбирается гораздо лучше чем 99,999999% программистов на Раст. Да и вообще любых программистов в мире. Я же не бегаю и не кричу о безопасном Zig, который избегает гонок данных, имеет безопасную работу с памятью и т.п. Вы же кричите об этом на каждом шагу. Так покажите на практике эту безопасную работу, как она поможет в написании алгоритма в 20 строчек.
	Ответить | Правка | Наверх | Cообщить модератору

	211. Скрыто модератором	+/–
	Сообщение от Аноним (211), 30-Дек-23, 17:59
	> Так покажите на практике эту безопасную работу, как она поможет в написании алгоритма в 20 строчек. Т.е просто слился? банально(( Я думал ты будешь кидать сюда куски своего кода и показывать свое превосходство над "незнакомыми анонимами в интернете", а ты только языком мести можешь(
	Ответить | Правка | Наверх | Cообщить модератору

	215. Скрыто модератором	+/–
	Сообщение от Аноним (12), 30-Дек-23, 18:02
	> Я же не бегаю и не кричу о безопасном Zig, который избегает гонок данных Ты при этом сам придумал, что Раст полностью позволяет избегать гонок и докапываешься до всех "А докажите коррекность с помощью раста!!11", хотя он это не гарантирует. Почитаей уже доку! Вот тебе цитата с Rustonomicon: "Safe Rust guarantees an absence of data races, which are defined as:     two or more threads concurrently accessing a location of memory     one or more of them is a write     one or more of them is unsynchronized" ВСЁ! Не больше и не меньше! (Хотя это не так мало, зигушка и в это не может...) То что ты нафантазировал - твои личные проблемы. "Data races are mostly prevented through Rust's ownership system: it's impossible to alias a mutable reference, so it's impossible to perform a data race. Interior mutability makes this more complicated, which is largely why we have the Send and Sync traits. However Rust does not prevent general race conditions." https://doc.rust-lang.org/nomicon/races.html При этом все что оно гарантирется - гарантируется автоматически! А что не гарантируется, то можно доказать на бумажке. И будет абсолютно тоже самое. Ну, если конечно не накосичишь в расчетах, ты же не мировое светило по мультитредингу...
	Ответить | Правка | К родителю #210 | Наверх | Cообщить модератору

	176. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Аноним (162), 30-Дек-23, 13:00
	Я так понимаю, все преимущества, такие как безопасность работы с памятью, zero cost абстракции, отсутствие null по сравнению с С/С++ вы игнорируете и все сводите к одному вопросу? Который, по сравнению с теми же плюсами куда проще решается на rust. С точки зрения использования абстракций, на прикладном уровне, тут rust переиспользует модель работы с памятью и следит на уровне компиляции, что если был взят, например lock, то он обязательно будет освобожден. В том же go периодически всплывают ошибки, что забыли прописать defer для лока и такое, естественно,  потом дебажится в рантайме. Rust не священный грааль, но определенный класс проблем и ошибок там отлавливается на уровне компиляции, а не в рантайме. Как-то детальнее описывать, как компилятор помогает избегать множественного владения и облегчает написание параллельного кода не буду, потому что требует обяснить много деталей и написать много текста, чего случайные комментаторы на опеннет не достойны. Тем более что потом закончится все "а докажи теперь это все с помощью формальной верификации"
	Ответить | Правка | К родителю #137 | Наверх | Cообщить модератору

	206. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Витюшка (?), 30-Дек-23, 17:18
	Ясно, как обычно. Когда дело доходит до конкретного вопроса или просьбы написать 20 строк кода... программисты на Раст либо съезжают с темы, либо начинают разглагольствовать про "сводите к одному вопросу". А написать 20 строк безопасного кода на Раст не могут. В принципе это всё что нужно знать про Раст, его безопасность и программистов его проповедующих. Готов написать на Zig, ты на Раст. Я доказываю корректность кода на листочке, потому что по-другому не умею и не знаю как, ты доказываешь корректность (20 строк кода!) с помощью гарантий Раст - borrow checker, владение, типы... в общем извращайся как хочешь. Но с помощью самого компилятора. По рукам? Или как всегда...
	Ответить | Правка | Наверх | Cообщить модератору

	212. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Аноним (211), 30-Дек-23, 18:00
	А давай! Кидай сюда свой зигокод, а я кину на раст.
	Ответить | Правка | Наверх | Cообщить модератору

	218. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Витюшка (?), 30-Дек-23, 19:48
	Наконец-то первый программист на Rust, осиливший 20 строк кода. Уважаю 💪 Сейчас до компьютера дойду. Будем писать очень простой, но корректный, мьютекс для двух статичных потоков - алгоритм Питерсона (Peterson lock). Доказательство корректности моего кода - практически напрямую следует из доказательства в книге The Art Multiprocessing programming. Я буду ждать доказательства на Rust на borrow checker. То что ты сможешь написать 20 строк кода я не сомневаюсь.
	Ответить | Правка | Наверх | Cообщить модератору

	240. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от OpenEcho (?), 31-Дек-23, 02:50
	> Наконец-то первый программист на Rust, осиливший 20 строк кода. Уважаю 💪 Если вы не будете друг друга прикалывать, то из этого может что то получиться, что интересно почитать
	Ответить | Правка | Наверх | Cообщить модератору

	239. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от OpenEcho (?), 31-Дек-23, 02:47
	> А давай! > Кидай сюда свой зигокод, а я кину на раст. А вы мужики молодцы! (без прикола) К шоу готов: 🍿🍿🍿
	Ответить | Правка | К родителю #212 | Наверх | Cообщить модератору

	241. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Витюшка (?), 31-Дек-23, 10:29
	Мой вариант. https://gist.github.com/likern/9df0d97b3551236b456716d95f282f83 Жду твоего :)
	Ответить | Правка | К родителю #212 | Наверх | Cообщить модератору

	244. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Аноним (12), 31-Дек-23, 18:47
	> Мой вариант. > https://gist.github.com/likern/9df0d97b3551236b456716d95f282f83 https://github.com/k-walter/rads/blob/main/src/sync/peterson.rs
	Ответить | Правка | Наверх | Cообщить модератору

	256. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Витюшка (?), 01-Янв-24, 00:36
	Не знал что под личиной русского парня скрывался K. Walter.
	Ответить | Правка | Наверх | Cообщить модератору

	257. Скрыто модератором	+/–
	Сообщение от Аноним (-), 01-Янв-24, 02:40
	В интернете никто не знает что ты кот (c)
	Ответить | Правка | Наверх | Cообщить модератору

	258. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Аноним (-), 01-Янв-24, 12:37
	Т.е. именно по коду тебе сказать не нечего? Не то чтобы я был сильно этому удивлен... скорее это было более чем очевидно) Кстати заметь, ни одного unsafe.
	Ответить | Правка | К родителю #256 | Наверх | Cообщить модератору

	259. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Витюшка (?), 01-Янв-24, 18:52
	А что я должен должен сказать по коду? Куча синтаксического шума и никаких гарантий корректности. Так вот возвращаемся к моему основному вопросу. КАК Rust гарантирует корректность этого кода и почему? Или умный программист ВРУЧНУЮ проверил все инварианты и написал корректный код на небезопасном языке Rust? Как он мог этого сделать и на любом другом, например. В Zig минимум синтаксического шума, и только по делу. Моя версия,на неё равняться не стоит. Это черновик. Там volatile уйдет, потому что я написал некорректный код (volatile в Java и C++ имеет разную семантику, т.к. я volatile ни разу в жизни и не использовал, наверное, естественно этого не знал. Нужен atomic чистый). Но я это знаю, что ошибка, знаю какая и как исправить. А как в этом поможет Rust?
	Ответить | Правка | Наверх | Cообщить модератору

	262. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Аноним (-), 01-Янв-24, 22:51
	> А что я должен должен сказать по коду? Куча синтаксического шума и никаких гарантий корректности. Что должен? Должен проверить код. Что можешь? А ничего ты не можешь, ты же не умеешь в раст. Мог бы скачать репу и прогнать тесты. Тесты оно проходит test sync::peterson::tests::race_conditions ... ok test sync::peterson::tests::sequential_works ... ok test sync::peterson::tests::mutual_exclusion ... ok test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 13.88s > Так вот возвращаемся к моему основному вопросу. КАК Rust гарантирует корректность этого кода и почему? Я тебе писал уже кучу раз в этой теме - ОТКРОЙ ДОКУ и прочитай что именно гарантирует раст. Все что гарантируется, гарантируется автоматически. Все что не гарантируется - доказываешь на бумажке, покрываешь тестами. > Или умный программист ВРУЧНУЮ проверил все инварианты и написал корректный код на безопасном языке Rust. Программист молодец! > В Zig минимум синтаксического шума, и только по делу. А откуда ты это знаешь, если на твой код равняться не стоит? Вдруг ты что-то забыл? В раст тоже все по делу. Вот ты написал все в кучу внутри структуры PetersonMutex, тут разделил на отдельные имплементации, чтобы код был более читабельным (но только разумеется для того, кто понимает что там написано) > Это черновик. ... я написал некорректный код ... Черновик или нерабочий код? Если мы оба за точность терминологии, то это явно момент, который неплохо бы прояснить))) > Но я это знаю, что ошибка, знаю какая и как исправить. А как в этом поможет Rust? Как поможет раст исправить ошибку в Зиг коде? Даже не знаю что ответить...
	Ответить | Правка | Наверх | Cообщить модератору

	265. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Витюшка (?), 01-Янв-24, 23:28
	В общем по существу ответить нечего. Вывод спора простой. Большинство программистов на Rust ничего сложного написать не могут, даже попытаться. Кидают чужие имплементации. И при этом рассказывают про безопасность. Обеспечить которую они не могут, да и даже не понимают как обеспечивать. Вывод второй. Rust даст тебе какие-то дополнительные гарантии, ну допустим, но типичный Rust программист налажает в куче других мест. В логике, в синхронизации, и т.п. Вывод третий. Крутой программист и на Rust напишет хороший корректный код. Правда он его же и на С++ напишет, и на Zig. > Что должен? Должен проверить код. Что можешь? А ничего ты не можешь, ты же не умеешь в раст. Мог бы скачать репу и прогнать тесты. Тесты оно проходит Тесты написанные самим автором? Ну ты насмешил:)) Обидно что я код могу написать, а ты...или твой коллега нет?) Ты как определил что я не могу в Rust коде разобраться?))) Сам придумал и поверил?) > А откуда ты это знаешь, если на твой код равняться не стоит? Вдруг ты что-то забыл? volatile убери и будет всё Ок. > Вот ты написал все в кучу внутри структуры PetersonMutex Ясно. Когда совсем нечего ответить начинают придираться к запятым 😄 Там не всё в кучу. Там отдельная единая имплементация. А твои "интерфейс" это конечно ужасный говнокод. Но ты этого не знаешь. На каждый класс, наверное, пишешь интерфейсы и фабрики синглионов фабрик классов?) Да вы батенька...кодер. Вот когда появится несколько имплементации (если, когда-нибудь...а скорее всего никогда ) то я просто в compile time проверю все функции и их сигнатуры у структуры - что есть методы lock и unlock 🔓 в структуре и всё. > Как поможет раст исправить ошибку... Увиливаешь. Никто не мешает использовать volatile в Rust коде и совершить такую же ошибку. Только я знаю что ошибки могут быть и поэтому полез гуглить про volatile. А типичный программист на Rust, свято веря в безопасность, и проверки компилятора естественно никуда лезть и читать не будет. Нет warning? Значит безопасно. Компилятор всё проверил. В итоге мой код будет лучше, качественнее, надёжнее, безопаснее чем у Rust фанатиков. > Черновик или нерабочий код? Рабочий я оставлю чтобы троллить на следующих новостях про Rust. Мне не к спеху поправить. Знал что никто даже и 20 строк кода сам написать не сможет. Оказался прав 😀 Выложили бы своё - тут же поправил бы. В общем картина Rust программистов очень печальная и удручающая
	Ответить | Правка | Наверх | Cообщить модератору

	268. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Аноним (-), 02-Янв-24, 01:35
	> В общем по существу ответить нечего. Т.е ты слился? Я не особо удивлен. > Большинство программистов на Rust ничего сложного написать не могут, даже попытаться. Я тебе предоставил чужой рабочий код на Раст, а ты мне какой-то свой багованый полуфабрикат на Zig. Представляешь, ты умудрился ошибиться в 50 строках кода! О какой квалификации вообще может идти речь... Лучше бы нашел чужой рабочий вариант, посмотрели бы его. > Вывод второй. Rust даст тебе какие-то дополнительные гарантии, ну допустим, но типичный Rust программист налажает в куче других мест. В логике, в синхронизации, и т.п. Феерическое предположение, на уровне "если бы бабушка была дедушкой". Да и с чего он вдруг налажает? Ты по своему опыту судишь? Ну не все такие программеры как ты. > Вывод третий. Крутой программист и на Rust напишет хороший корректный код. Правда он его же и на С++ напишет, и на Zig. Причем тут с++? Там и смартпоинтеры и raii есть. Может ты с Си спутал? Если да, то это ложное предположение. Как жаль, что таких программистов не нашлось для ядра. Хотя гугл меняет С и С++ в андроиде на раст, что показательно. > На каждый класс, наверное, пишешь интерфейсы и фабрики синглионов фабрик классов О, ты опять показываешь свое "прекрасное" знание раста - в нем нет классов. > я просто в compile time проверю все функции и их сигнатуры у структуры - что есть методы lock и unlock Да, это ооочень круто. Вот только мои "интерфейсы" проверяются в compiletime))) > А типичный программист на Rust, свято веря в безопасность, и проверки компилятора естественно никуда лезть и читать не будет. Ты опять делаешь бредовые выводы и обобщаешь... > В итоге мой код будет лучше, качественнее, надёжнее Ахаха, сам себя не похвалишь - никто не похвалит))) Может будет, а может бы будешь #ыдлокодить на тайпскрипте, кто знает... Но пока что ты уже обделался)) > Мне не к спеху поправить. Поверь, уже его никто не ждет. > В общем картина Rust программистов очень печальная и удручающая Да, нам просто удручающе приходится общаться с такими как ты.
	Ответить | Правка | К родителю #265 | Наверх | Cообщить модератору

	270. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Витюшка (?), 02-Янв-24, 02:26
	Ну у вас с логикой всё печально. Я говорю "давай напишем код" и проверим у кого больше гарантий.У меня, ручками или у Rust. Выяснилось что сам ты написать на Rust ничего не можешь. Не то что безопасно, а вообще никак. Так об этом и речь! Парень, ты жиденько обделался. Rust тебе не помог, а сам ты не могёшь. Как и все в этой ветке защитники. У вас только на словах всё безопасно. На деле 0 строк кода 😀 Смешно ей богу. "Лучше бы взял", а может тогда тебя сразу на помойку выкинуть и взять того парня который тот код и написал?) Он, уверен, и на С++ без ошибок напишет. Вам предложили написать 20 строк кода но и с этим вы не справились. А так да, есть крутые программисты, которые пишут на Rust. Только язык тут ни при чём. Они крутые и на чистом С и на С++. С небезопасный? Берешь С++ и всё. А так на что вы способны? Отправлять JSONчики клиенту, а всю реальную работу кто-то завал бы написал? Многопоточку там безопасную. Так хватит JS или Go за глаза.
	Ответить | Правка | К родителю #268 | Наверх | Cообщить модератору

	260. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Витюшка (?), 01-Янв-24, 19:05
	В этом и фишка, ни одного unsafe и язык является абсолютно небезопасным. И в этом коде можно сделать ошибку где угодно. Не только логическую. Вплоть до того что поменять два условия местами и код логически такой же, а в многопоточной программе уже будет ошибка. И почему-то "безопасный" Rust тебе об этом ничего не расскажет. И ловить ты её будешь несколько лет. И код этот очень сложный, понять где закралась ошибка будет очень сложно. Т.е. от Сишки Rust не сильно отличается. Возникает вопрос....и стоило ли писать этот язык с кучей ограничений, если в итоге вся эта безопасность разваливается на каждом шагу? Может, стоило сделать просто более безопасный С, с проверкой границ массивов (а не с ограничениями) в runtime и т.п.? И вот Rust превращается.. превращается...в Zig :))
	Ответить | Правка | К родителю #258 | Наверх | Cообщить модератору

	264. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Аноним (-), 01-Янв-24, 23:26
	> В этом и фишка, ни одного unsafe и язык является абсолютно небезопасным. > И в этом коде можно сделать ошибку где угодно. Не только логическую. Не любую. А ту ошибку, отсутствие которой не гарантируется safe подмножеством. Ну, пожалуйста, ну открой доку и прочитай! Я тебе даже ссылку скину doc.rust-lang.org/nomicon/meet-safe-and-unsafe.html doc.rust-lang.org/nomicon/races.html Надоело повторять одно и тоже! > И ловить ты её будешь несколько лет. Неплохой наброс... Пруфов конечно не будет, да? > Т.е. от Сишки Rust не сильно отличается. Пхахаха. Сишка позволяет тебе сделать так:     double *ptr = (double*)malloc(sizeof(double) * 10);     double *ptr2 = ptr;     free(ptr);     free(ptr2); И будет классический дыряшечный double-free. А теперь повтори это в безопасном расте. Попробуй напр. в playground. > Возникает вопрос....и стоило ли писать этот язык с кучей ограничений, если в итоге вся эта безопасность разваливается на каждом шагу? Конечно стоит. Потому что ты будет задумываться о реально сложных вещах, а рутину будет тебе подсказывать компилятор. > Может, стоило сделать просто более безопасный С, с проверкой границ массивов (а не с ограничениями) в runtime и т.п.? В runtime слишком дорого. Плюс там не только проверка границ массивов. > И вот Rust превращается.. превращается...в Zig :)) Слава богу нет)) Потому что в твоем zig делаешь:     const allocator = std.heap.page_allocator;     var memory1 = try allocator.alloc(u8, 2);     var memory2 = memory1;     allocator.free(memory1);     allocator.free(memory2); И наслаждаться "Segmentation fault at address 0x7f55bb3e5000" Та же сишка, только в профиль. И что, помог тебе твой Zig?
	Ответить | Правка | Наверх | Cообщить модератору

	266. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Витюшка (?), 02-Янв-24, 00:37
	Ну и как же ты не в runtime отловишь выход за границы массива? Очень хочу послушать гуру Раста, как они это делают в compile time. Опять будете рассказывать что я там что-то не так прочитал? Товарищи, вы путаетесь в показаниях. То вы говорите что то что Rust гарантирует... очень ограничено. А значит в compile time это не проверить (вроде это очевидно?)...а тут же на голубом глазу что runtime проверки якобы очень дороги 😀 Либо одно, либо другое. Те в Rust просто забивают и никакие проверки не делают? А про гарантии borrow checker Rust я прекрасно осведомлён и что он гарантирует знаю. В моём Zig не вышла ещё версия 1.0. И эта лишь детали имплементации, не успели ребята написать ещё эту фичу. https://github.com/ziglang/zig/issues/6004 Очевидно что аллокатор будет уметь ловить практически все известные ошибки аллокации памяти. Включая double free. * Detect double free, and emit stack trace of: //!    - Where it was first allocated //!    - Where it was freed the first time //!    - Where it was freed the second time В принципе все эти ошибки можно и нужно детектировать. И Zig это и делает. Например double lock на мьютексе из своего потока. Аллокатор тоже много чего детектирует, но не всё ещё. И если ты говоришь что для Rust это дорого и он всё это не детектирует - получается он менее безопасный.
	Ответить | Правка | Наверх | Cообщить модератору

	267. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Аноним (-), 02-Янв-24, 01:21
	Ты вообще за дискуссией следишь? Ты спросил про Си >>> Может, стоило сделать просто более безопасный С, с проверкой границ массивов >> В runtime слишком дорого. > Ну и как же ты не в runtime отловишь выход за границы массива? Вот ты сам придумал? что они не в рантайм. А тебе ответили "почему не добавят". Хватит уже приписывать мне то, что я не говорил. В си нет слайсов и итераторов, которые в расте неплохо так нивелируют рантайм проверки. > То вы говорите что то что Rust гарантирует... очень ограничено. Нет, я такого не говорил. Это ты считаешь, что оно ограничено. А я сказал, что раст покрывает конкретный сабсет, ошибки из которого очень распространены в системном и не только программировании и порождают море CVE. > Либо одно, либо другое. > Те в Rust просто забивают и никакие проверки не делают? Это уже какая-то шизофрения... > А про гарантии borrow checker Rust я прекрасно осведомлён и что он гарантирует знаю. Ну-ну)) Ты еще в прошлой теме показал как прекрасно ты знаешь раст. И продолжаешь в этой) > В моём Zig не вышла ещё версия 1.0. > И эта лишь детали имплементации, не успели ребята написать ещё эту фичу. Ахахаха! Такая крохотная деталь имплементации! Вот оно чё, Михалыч! > https://github.com/ziglang/zig/issues/6004 Висит открытая с 2020 года. > Очевидно что аллокатор будет уметь ловить практически все известные ошибки аллокации памяти. Абсолютно неочевидно! Может к тому моменту они проедят донаты и забросять это поделие. Или сыграет bus-factor. Сейчас есть просто факт - это не работает в "готовом для прода" Zig'е. > В принципе все эти ошибки можно и нужно детектировать. И Zig это и делает. Так делает или это еще не реализовано? Реализовано или "еще не всё" > И если ты говоришь что для Rust это дорого и он всё это не детектирует - получается он менее безопасный. Еще раз повторю - про раст я такого не сказал. Вопрос был про си, ответ был про си. Меня восхищает твое умение додумывать вещи, которые собеседник не говорил, а потом героически их опровергать.
	Ответить | Правка | К родителю #266 | Наверх | Cообщить модератору

	269. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."	+/–
	Сообщение от Витюшка (?), 02-Янв-24, 02:11
	Про героическое додумывание - это лучше к зеркалу подойти. При чём тут вообще С? С чистым С Rust никто никогда не сравнивал. А вы всё пытаетесь спуститься пониже...на С... чтобы более выигрышно смотреться. Мы про С++ говорили, говорим и будет говорить. И про Zig. Про интерфейсы или как ты там их назвал в Rust - речь была про то что всё это и гораздо больше делается в Zig. Интерфейсы это очень ограниченный инструмент. Zig позволяет это. Zig позволяет гораааздо больше. Про это речь шла. Что такое интерфейс? Просто набор сигнатур функций который необходимо реализовать, может параметризованный. В Zig можно сделать любые проверки всего что может быть вычислено в compile time. Например как сделать в Rust интерфейс - у которого все методы будут начинаться с названия "start"? Или никак, или через какой-то убогий синтаксис макросов. С помощью какого-то корявого синтаксиса. В Zig это делается легко на обычном же Zig. Когда вас тыкаешь в Rust, где сотни критичных багов безопасности, вы почему-то начинаете кричать что это было 5 лет назад. Например что-то там с тихими переполнениями вычислений. Однако это было не "5 лет назад", а в "стабильной production ready версии языка 1.64". Вот и вся безопасность. Но что-то про Rust ты такого не говоришь > Сейчас есть просто факт - это не работает в "готовом для прода" Zig'е что это не готовая поделка 😀 Сравнивать стабильную версию языка с 64 релизами с языком 0.11, у которого уже это есть из коробки. Ну... такое, не делает чести Rust Слайсы и итераторы это и есть runtime проверки. Но ты этого не знал. Ну что же, не удивительно.
	Ответить | Правка | К родителю #267 | Наверх | Cообщить модератору

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

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