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

Проект по созданию реализации zlib на языке Rust, opennews (??), 11-Апр-24, (0) [смотреть все] С си проектами слинкуется , Аноним (1), 09:06 , 11-Апр-24, (1) –1 // Проект по созданию реализации zlib на языке Rust, Аноним (34), 10:02 , 11-Апр-24, (34) +6 // Для некоторых, новость полностью читать 8211 себя не уважать, Карлос Сношайтилис (ok), 10:54 , 11-Апр-24, (64) +1 Долго врубался в эту фразу, посмотрел код, оказался Си-интерфейс к zlib-rs, Аноним (68), 11:01 , 11-Апр-24, (68) +4 лол, зочем вообще тратить силы на zlib есть же кое-как написанное, вот пусть и , leap42 (ok), 09:14 , 11-Апр-24, (5) +4 // Для PNG например , Аноним (7), 09:18 , 11-Апр-24, (7) +6 // WEBP lossless, Аноним (208), 21:18 , 11-Апр-24, (208) –2 и для браузера rfc1951 deflate format , penetrator (?), 10:36 , 11-Апр-24, (51) +3 // Есть brotli и zstd, Аноним (255), 23:09 , 13-Апр-24, (255) // zstd нет много где на клиенте, а brotli и не на всех серверах из каропки, penetrator (?), 18:59 , 16-Апр-24, (270) Так как раз удобно начать переписывать на безопасном языке, а оригинал то будет , Аноним (68), 11:13 , 11-Апр-24, (76) +1 // а кто вам сказал что переписанное будет без ошибок мы так когда-то фронтенд пере, jt3k (ok), 07:46 , 12-Апр-24, (223) Потому что на ЗЛибу завязано много чего, включая сторонние либы И если ее выкину, Аноним (-), 11:14 , 11-Апр-24, (77) // https github com PSeitz lz4_flex, Bidon (?), 06:31 , 12-Апр-24, (222) А существование библиотек miniz и libdeflate игнорируется , Аноним (7), 09:16 , 11-Апр-24, (6) +3 // У них есть фатальный недостаток 8482 , Аноним (42), 10:14 , 11-Апр-24, (42) +10 libdeflate это C 92 0 - т е та же дыряшка только в профильтут можно спростить, , Аноним (-), 10:26 , 11-Апр-24, (50) –3 Игнорируется в каком контексте Переписать их на rust Ну перепиши Или взять их, Аноним (207), 21:13 , 11-Апр-24, (207) Пишу на rust по работе Отличный язык Но не для обычных программ пока что Запи, Страдивариус (?), 09:20 , 11-Апр-24, (8) +11 // Ахахаха, это реально правда , Аноним (12), 09:26 , 11-Апр-24, (12) // Не совсем Есть поддержка стандартного FFI через C ABI, оно стабильное и с обрат, ferris (?), 09:47 , 11-Апр-24, (27) // То есть правда , Аноним (204), 20:32 , 11-Апр-24, (204) +1 То есть, не совсем Это означает, что частично , Прохожий (??), 09:07 , 13-Апр-24, (247) Я правильно понимаю, что ты предлагаешь двум нативным рустовым крейтам дружить ч, Страдивариус (?), 00:23 , 15-Апр-24, (263) как и всё остальноеВ общем и целом, сказки примерно те же что с жабой и жсНо вот, Бывалый Смузихлёб (ok), 12:49 , 11-Апр-24, (121) // И в чём они не правы Чтобы сделать уязвимость на жс это нужно постараться Прак, Молодой Смузихлёб (?), 20:29 , 11-Апр-24, (203) Большая проблема где угодно начинается с JIT в том виде в котором он естьЭто, вр, Бывалый Смузихлёб (ok), 11:37 , 12-Апр-24, (230) Очень надеюсь что этого не случится никогда Иначе Раст ждёт участь питона с его, Карлос Сношайтилис (ok), 09:50 , 11-Апр-24, (28) +6 // Чел хочет линковать объектные файлы скомпилированные разными версиями раст компи, ferris (?), 09:56 , 11-Апр-24, (30) +2 // Это https github com rust-lang rust pull 114201 , Карлос Сношайтилис (ok), 00:00 , 12-Апр-24, (214) Пускать новые версии в _централизованный_ репозиторий только после проверки неза, Loki13 (ok), 09:59 , 11-Апр-24, (33) // Просто никаких авторов не будет и всё , Аноним (56), 10:49 , 11-Апр-24, (56) А как это решает проблему Ты начинаешь зависеть от прихоти мейнтейнера И от их , Анонин (-), 10:52 , 11-Апр-24, (60) +2 Ну с xz всё же единственный случай за много лет И в итоге мейнтейнеры в дистриб, Loki13 (ok), 19:03 , 11-Апр-24, (191) +1 Единственный ставший известным , Аноним (217), 00:46 , 12-Апр-24, (217) доказывай , Аноним (218), 00:59 , 12-Апр-24, (218) Так чё тут примеров искать Открой свой Cargo lock файл и посмотри какие там зав, Страдивариус (?), 00:28 , 15-Апр-24, (264) // Чел про другое писал, походу Но дублирование крейтов тоже имеет место быть Я бы, Карлос Сношайтилис (ok), 09:16 , 15-Апр-24, (267) Ага, в C библиотека достаточно мощна, чтобы не использовать внешние либы А в , Аноним (36), 10:04 , 11-Апр-24, (36) +1 // Руками, осознанно - осёл И тысячу раз думаешь действительно это тебе нужно или, Маняним (?), 11:17 , 11-Апр-24, (80) // Динозавры встречаются чаще, чем подобный подход, к сожалению Обычный dev c труд, BeLord (ok), 11:51 , 11-Апр-24, (95) +3 И кто мешает растовику тысячу раз подумать, включать ли очередной крейт в проект, Аноним (166), 16:06 , 11-Апр-24, (166) +2 В отличие от многих современных языков в C и C зависимости - это целая эпопея , Александр (??), 22:51 , 11-Апр-24, (212) +1 вот ииенно сначала затягивают зависимости недедями, а потом годами боятся снова , Советский инженер (ok), 08:25 , 12-Апр-24, (224) +1 Как будто это не так GLibc может всё, на что способно ядро плюс ещё дополнитель, Аноним (89), 11:31 , 11-Апр-24, (89) // Сколько софта в твоем дистре зависят сугубо от glibc и ни от чего больше , Аноним (36), 12:07 , 11-Апр-24, (111) +1 так ты это объясни чуваку которому в расте стандартная либа недостаточно мощная, Советский инженер (ok), 12:14 , 11-Апр-24, (114) Пакетный менеджер системы, стрононние пакетные менеджеры conan, vcpkg, xmake и , Anony (?), 13:03 , 11-Апр-24, (129) +1 // Ну, вот Теперь объясни, почему именно с Растом это вдруг стало проблемой , Аноним (36), 13:19 , 11-Апр-24, (135) +2 Единая точка отказа , Аноним (149), 14:27 , 11-Апр-24, (149) +1 Для меня не проблема, это как бы растовики сам считают проблемой пакетные менедж, Anony (?), 14:46 , 11-Апр-24, (157) –1 Какие же вы ограниченные И узнавать что-то, что противоречит вашему маня-мирово, Аноним (166), 16:11 , 11-Апр-24, (167) +2 Первым языком который я изучал как раз был rust После уже перещел на С Причем, Anony (?), 16:18 , 11-Апр-24, (168) Я против раста ничего против не имею Хороший язык да и пользуюсь терминалом ala, Anony (?), 16:23 , 11-Апр-24, (169) Windows Если только msys2, но там свои приколы Первой версии был годным Очень , Александр (??), 23:05 , 11-Апр-24, (213) Но cmake может решить зависимости скачать, подготовить и собрать На счет зооп, Anony (?), 13:37 , 12-Апр-24, (232) Да еще и антибезопасноКстати, как там с симд Как не взгляну, все висит плашка ч, Аноним (55), 10:46 , 11-Апр-24, (55) Каждый решает ад зависимостей по своему Но если возникло 40 версий пакетов в , Аноним (68), 11:10 , 11-Апр-24, (74) Про не глядя это ты кому в упрёк ставишь Инструментарию языка или разработчик, Cykooz (ok), 12:00 , 11-Апр-24, (107) +2 // Ты не понимаешь, нужно ВИДЕТЬ111А если серьезно, этот подход без проблем применя, Аноним (36), 12:12 , 11-Апр-24, (113) +3 Да никого из корпов не интересует десктоп, напилил сервисов, наклепал веба на ре, Аноним (164), 15:41 , 11-Апр-24, (164) А зачем тебе использовать rust-abi разных версий вообще Лично я знаю лишь один , laindono (ok), 17:12 , 11-Апр-24, (175) Но ведь код на расте компилируется компилятором, написанным на C Вдруг там ош, Аноним (12), 09:29 , 11-Апр-24, (15) +16 // Согласен, пусть сначала llvm перепишут , Аноним (21), 09:37 , 11-Апр-24, (21) Предлагаешь сразу писать на C , чтобы ошибки работы с памятью были в основной п, Аноним (36), 09:59 , 11-Апр-24, (32) +1 // На современном C тебе ненужно использовать адресную арифметику Используй std , Аноним (89), 11:21 , 11-Апр-24, (82) +4 // Действительно, как же инженеры из Google и Microsoft не догадались то такого про, Аноним (36), 11:33 , 11-Апр-24, (90) Каким образом название компании говорит о квалификации конкретного специалиста -, BeLord (ok), 11:52 , 11-Апр-24, (98) +1 Ну, то есть, тысячи инженеров, пишущих более двух десятилетий софт на плюсах, ок, Аноним (36), 12:05 , 11-Апр-24, (109) +3 Так инженеры из Google пишут Chrome именно таким образом, а тебя спросить забыли, Аноним (204), 19:55 , 11-Апр-24, (194) А ты предлагаешь все свои косяки списать на с , с и железо, а раст провозгласит, Маняним (?), 11:28 , 11-Апр-24, (85) +1 // Из новости Что ты об этом думаешь Кстати, да, эти 70 - мои личные косяки Предл, Анонии (?), 11:59 , 11-Апр-24, (106) +2 Разве компилятор хруста не сам себя компилирует уже давно , JackONeill (?), 10:16 , 11-Апр-24, (45) // Фронтенд на расте, а бэкенд - нет , ferris (?), 10:21 , 11-Апр-24, (48) +1 // Если так, то это позорПотому что каждый, кто пишет свой язык, в первую очередь д, Аноним (86), 11:29 , 11-Апр-24, (86) +4 Не позор, а потому что нету смысла Сейчас много языков компилируют в LLVM-IR э, ferris (?), 11:39 , 11-Апр-24, (93) +2 позор, позор сдох llvm - сдох язык впрочем, от языка у которого нет стандарта , Аноним (218), 11:57 , 11-Апр-24, (104) –2 Отсутствие стандарта не делает язык плохим А вот наличие такого овностадарта как, Аноним (-), 13:13 , 11-Апр-24, (133) –1 а то у тебя дофига кода которому нужно было ТАК получать null pointer , нах. (?), 13:23 , 11-Апр-24, (138) открытый код не может сдохнуть - байтики никуда не пропадут , нах. (?), 13:22 , 11-Апр-24, (137) +1 скажи это XFree86 , Аноним (218), 13:37 , 11-Апр-24, (143) А что ей сделалось На том железе и по сей день запустится А с llvm в этом плане, нах. (?), 14:32 , 11-Апр-24, (151) Сдох LLVM 8212 это как именно С двенадцатым ударом часов перестанут компилир, Аноним (215), 00:05 , 12-Апр-24, (215) +2 Позор - опять онанимным Ыкспердам, слашавшим звон Компилятор на самом себе со, Аноним (209), 21:38 , 11-Апр-24, (209) +2 Компилятор раста 1 68 квалицифирован как безопасный для целей ISO 26262 ASIL D , Дамир (??), 10:55 , 11-Апр-24, (66) +2 // We plan to work on standards like DO-178C, ISO 21434, and IEC 62278 in the futur, anonymmmeer (?), 12:44 , 11-Апр-24, (118) // Ну так язык молодой, ему меньше 10 лет Как раз через 15, будет серьезный уважаем, Аноним (-), 12:58 , 11-Апр-24, (128) +1 rust edition 2021 вышел в октябре с версией 1 56 0, ему всего-лишь 3 года , Аноним (218), 14:12 , 11-Апр-24, (147) Код на расте давным-давно компилируется компилятором, написанным на расте С так, Аноним (217), 11:01 , 11-Апр-24, (69) +1 // Эти утверждения можно было бы засчитать, если бы rustc на выходе генерировал маш, ferris (?), 11:17 , 11-Апр-24, (79) +3 // Из таких соображений можно сказать, что все компиляторы, кроме C, написаны на С,, Cykooz (ok), 12:41 , 11-Апр-24, (117) +2 И в самом начале цепочки увидим Ocaml, а не дыряшечку , Аноним (217), 13:25 , 11-Апр-24, (140) –1 Я бы скорее всего оптимизировал это тем, что положил в репу уже собранный бинарн, Cykooz (ok), 13:44 , 11-Апр-24, (144) Довольно опасное заявление Трансляция - это перевод исходного текста в целевой, n00by (ok), 14:45 , 11-Апр-24, (156) Почему я всегда отстаю от жизни Наверное я никуда не хочу торопится Я долго пи, Аноним (29), 09:51 , 11-Апр-24, (29) +1 // только вот никто не пересаживается на раст, 12yoexpert (ok), 10:16 , 11-Апр-24, (46) +7 // Как скажешь , Аноним (36), 10:55 , 11-Апр-24, (65) +1 Как скажешь, как скажешь Тебе виднее Но тут гугловцы какую-то чушь порют,, Аноним (166), 16:39 , 11-Апр-24, (170) // В 2 0 раза или в 2 1 раза Может в 2 2 будь в 2 5, они бы сказали в два с поло, Аноним (218), 17:11 , 11-Апр-24, (174) –3 Скрыто модератором, Анон из села Кукуево (?), 09:23 , 13-Апр-24, (249) Все Это фантастика , Аноним (89), 11:09 , 11-Апр-24, (73) К тому моменту, как освоишь плюсы, про раст уже забудут , Аноним (84), 11:25 , 11-Апр-24, (84) +6 // Вот это прям жизненная правда получается За три эона - точно забудут успеет ли, нах. (?), 13:06 , 11-Апр-24, (131) Плюсы последних стандартов не проще раста, более того челу, который писал на плю, BeLord (ok), 11:56 , 11-Апр-24, (101) +1 // Бред какой-то пишешь, Аноним (255), 23:27 , 13-Апр-24, (256) +1 Никто же не заставляет использовать всё, что есть в стандарте Там есть разумные, Ivan7 (ok), 21:08 , 16-Апр-24, (271) Было бы логичным продолжить с языком Ada Очень похоже на Pascal Скучаю иногда , анон (?), 11:56 , 11-Апр-24, (102) // Чего скучать В gcc есть актуальный компилятор Ада , Аноним (190), 18:54 , 11-Апр-24, (190) // И Modula-2 есть для скучающих по Паскалю , Аноним (206), 20:53 , 11-Апр-24, (206) Не думаю, что имея Дельфи, есть смысл лезть в какие-то плюсы Тогда уж в C , Аноним (184), 18:42 , 11-Апр-24, (184) +1 не написан, а переписан, 12yoexpert (ok), 10:16 , 11-Апр-24, (43) +2 Зачем переписывать, если есть vlang и можно транслировать в него У vlang, кстат, Аноним (53), 10:40 , 11-Апр-24, (53) –1 // Маркетинг Переписать на расте для рекламы это легко, а вот когда дело касается р, Аноним (57), 10:50 , 11-Апр-24, (57) +2 можно вообще на Dafny переписать с доказательством корректности Rust предоставля, anonymmmeer (?), 12:47 , 11-Апр-24, (119)   // В чём конкретно есть сомнения, и как проявляется плохая изученность А это в чём , Прохожий (??), 09:14 , 13-Апр-24, (248)   // Ну, например доходит до полной Когда новости о двух разных проектах на этом с, Аноним (262), 22:51 , 14-Апр-24, (262)   Снова переписывать , Аноним (89), 11:06 , 11-Апр-24, (70) https github com memorysafety zlib-rs issues 49 как бы намекает, что от проект, Аноним (71), 11:07 , 11-Апр-24, (71) // Но хоть CoC написали , Аноним (89), 11:11 , 11-Апр-24, (75) +1 // нет, у тебя есть шанс внести свой вклад в ценный проект но readme md уже таки д, нах. (?), 13:08 , 11-Апр-24, (132) Сделано задач 9 из 36 Как бы уже не только одно название, Прохожий (??), 03:09 , 14-Апр-24, (259) Лишь бы фигнёй страдать https docs rs deflate, Аноним (72), 11:07 , 11-Апр-24, (72) +1 А что, в zlib были какие-то проблемы с утечкой памяти или выходом за границы буф, Максим (??), 11:29 , 11-Апр-24, (87) // Прочти новость дальше заголовка , Аноним (36), 11:36 , 11-Апр-24, (91) // Ну и что там избавленный от потенциальных проблем - т е от несуществующих пр, Аноним (115), 12:36 , 11-Апр-24, (115) +1 // Ты все таки поднатужься еще чуток и дойди до третьего параграфа Там как раз об , Аноним (36), 13:22 , 11-Апр-24, (136) Скрыто модератором, Аноним (204), 19:59 , 11-Апр-24, (195) +1 Просто ОЧЕНЬ сильно удивлюсь, если их там нет , User (??), 11:36 , 11-Апр-24, (92) // Удивление к делу не пришьешь, добейтесь реальной ситуации, когда память потечет , BeLord (ok), 11:57 , 11-Апр-24, (103) // Ставите на то, что это https www opennet ru opennews art shtml num 56918 после, User (??), 12:06 , 11-Апр-24, (110) Лол, в смысле КОГДА CVE-2003-0107 CVE-2004-0797 CVE-2005-2096CVE-2005-1849 C, Анонин (-), 12:48 , 11-Апр-24, (120) А из прошлого века уязвимости есть , Аноним (204), 20:00 , 11-Апр-24, (196) +1 CVE-2021-3999, которая старше 95 винды подойдёт , Аноним (217), 01:00 , 12-Апр-24, (219) Чукча не читатель Третий параграф в новости , Аноним (36), 13:24 , 11-Апр-24, (139) Только он не отвечает на вопрос В программах бываю ошибки - спасибо кеэп , Аноним (204), 20:01 , 11-Апр-24, (197) Так это не просто ошибка Это классическая тупая ошибка работы с памятью Потому ч, Аноним (-), 10:48 , 12-Апр-24, (228) А это что https github com memorysafety zlib-rs blob d61889d4a208e822404f1ea7, inklesspen (ok), 12:40 , 11-Апр-24, (116) // получается, переполнения буфера и сегфолты там небезопасны https github com Sp, 12yoexpert (ok), 12:52 , 11-Апр-24, (122) +2 // Тут opennet ru openforum vsluhforumID3 133278 html 28 уже обсудили Там ниже ссы, Аноним (-), 12:57 , 11-Апр-24, (127) –4 // там чел не разобрал а заменил одну функцию другой, с другой сигнатурой, соответс, inklesspen (ok), 13:14 , 11-Апр-24, (134) А ничего, что там не только свой тип null_mut использовался, но и transmute - , Аноним (209), 21:55 , 11-Апр-24, (210) +1 Это вопрос к автору новости переводчикуУ него This repository contains 2 public, Анонин (-), 12:52 , 11-Апр-24, (123) +1 Вы все не о том рассуждаете Проекта-то, по большому счёту и нет кроме названия, Аноним (130), 13:04 , 11-Апр-24, (130) +5 // Лол Проорал конечно с этого Агрессивный маркетинг языка, теперь вот проект, где, Аноним (86), 14:21 , 11-Апр-24, (148) –2 // ruffle rs вон даже и выклянчил И что Хватило только на эскопету с кривым ствол, нах. (?), 14:35 , 11-Апр-24, (153) –1 // В смысли что, им заплатиле Или Вы думали там Васян субботним вечером под пиваси, Прадед (?), 10:41 , 15-Апр-24, (269) А помнишь, как в 70ых а в совке и в 80ых, помню как шизик придумавший ЕЯП строчи, Анон из села Кукуево (?), 10:01 , 13-Апр-24, (251) Забавно не только это Забавно то, сколько хейтеров поставили плюсики Вот оно, , Прохожий (??), 08:38 , 13-Апр-24, (244) Слона-то я и не заметил c Последние правки были 4 дня назад А вот цитата и, Прохожий (??), 08:58 , 13-Апр-24, (246) Это они грамотно, а то чего ещё удумале, Прадед (?), 10:39 , 15-Апр-24, (268) code the tests provide good coverage, the purpose of this fuzzer is to d, Аноним (218), 14:06 , 11-Апр-24, (146) +1 // А он мне говорит Пейн, я unsafe не вижу А его и нет , Аноним (204), 20:14 , 11-Апр-24, (199) Осталось только понять - зачем оно , Tron is Whistling (?), 14:44 , 11-Апр-24, (154) –1 // Очередной писатель, не умеющий читать дальше заголовка , Прохожий (??), 08:32 , 13-Апр-24, (243) –1 // Спасибо, что представился Всё ещё сомневаешься , Tron is Whistling (?), 10:54 , 13-Апр-24, (253) // Это был риторический вопрос Всё и так понятно, глядя на твои изначальные недоум, Прохожий (??), 02:59 , 14-Апр-24, (257) –1 Опять в дурке по недосмотру санитары включили инет Этому zlib уже лет 25 , и про, Ivan_83 (ok), 15:09 , 11-Апр-24, (160) // Хаха, ее уже 25 лет фиксят, и всё никак недофиксят И ничего что та конкретная пр, Аноним (-), 15:31 , 11-Апр-24, (161) +2 // Она 25 лет работает без проблем, а всё что там было - мелочи не мешающие никому , Ivan_83 (ok), 19:04 , 11-Апр-24, (192) // Боже, как же ты клоун Куча CVE с denial of service и code execution - это так , Аноним (-), 10:53 , 12-Апр-24, (229) +2 У вас как в том анекдоте в теории мы миллионеры, а на практике наелись каках , Ivan_83 (ok), 13:34 , 12-Апр-24, (231) –1 Ну вот бывало, что у наших клиентов бд падала из-за проблем работы с памятью Не, Прохожий (??), 08:21 , 13-Апр-24, (240) –1 Ну Вам нравится сишная версия библиотеки, так пользуйтесь ей Вам кто-то мешает , Аноним (172), 17:01 , 11-Апр-24, (172) Ну, они хотя бы попытались Вышло вот как-то так https ruffle rs compatibil, нах. (?), 17:10 , 11-Апр-24, (173) // Эмулятор для окончательно сдохшей, давно окоченевшей платформы это как раз подхо, Аноним (204), 20:26 , 11-Апр-24, (202) –1 // не сдохшей, а старательно убитой группой лиц по сговору И казалось бы, да, язык , пох. (?), 09:42 , 12-Апр-24, (227) –1 Насколько я помню историю, адоба купила готовый стартап, а сам флеш начали пилит, Ivan_83 (ok), 13:38 , 12-Апр-24, (233) +1 открытый, прикинь, открытый У меня до сих пор где-то лежит пдф с описанием форма, нах. (?), 19:50 , 12-Апр-24, (235) И ты лично что-то сделал, чтобы мир внял твоим хотелкам Например, денег дал ком, Прохожий (??), 08:29 , 13-Апр-24, (242) к счастью, пока я изыскивал в дырявых штанах лишние 500 баксиков, которые можно , нах. (?), 17:02 , 13-Апр-24, (254) Ты же хотел что-то получить, а теперь не получишь Это счастьем так называется у, Прохожий (??), 03:04 , 14-Апр-24, (258) я бы и так получил ровно то же самое недоделанное - но стал бы беднее на 500как, нах. (?), 15:58 , 14-Апр-24, (261) Да, мокро-медиа flesh был конфетка, Прадед (?), 08:34 , 15-Апр-24, (266) Радует, что все больше и больше проектов переписывают на безопасные языки, Аноним (178), 17:26 , 11-Апр-24, (178) +1 // Ну это да, а вот логические ошибки никто не отменял Лишь бы у Раст разрабов не , Аноним (172), 18:08 , 11-Апр-24, (180) –1 // Иллюзий нет у всех, кто хоть раз читал растбук Так предельно ясно объясняются ка, Анонин (-), 18:23 , 11-Апр-24, (181) +1 // Тгда проще санитайзером по существующей кодовой базе пройти, вон даже у платных , Аноним (204), 20:22 , 11-Апр-24, (201) –2 Хочешь сказать, что сишники настолько беспомощные, что даже это сделать не могут, Аноним (215), 00:08 , 12-Апр-24, (216) +1 А пацаны из Гугла и Микрософт и не знали , Прохожий (??), 08:25 , 13-Апр-24, (241) +1 1,5,6,8,15,29,43,53,70,71,72,87,116,130,146,154,160,178

Сообщения

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

	119. "Проект по реализации zlib на языке Rust"	+/–
	Сообщение от anonymmmeer (?), 11-Апр-24, 12:47
	можно вообще на Dafny переписать с доказательством корректности. Rust предоставляет только ограниченное множество каких-то доказательных практик, причём сомнительных и плохо изученных + плюс гора агрессивного маркетинга.
	Ответить | Правка | К родителю #53 | Наверх | Cообщить модератору

	248. "Проект по реализации zlib на языке Rust"	+/–
	Сообщение от Прохожий (??), 13-Апр-24, 09:14
	>причём сомнительных и плохо изученных В чём конкретно есть сомнения, и как проявляется плохая изученность? >плюс гора агрессивного маркетинга А это в чём конкретно проявляется?
	Ответить | Правка | Наверх | Cообщить модератору

	262. "Проект по реализации zlib на языке Rust"	+/–
	Сообщение от Аноним (262), 14-Апр-24, 22:51
	> А это в чём конкретно проявляется? Ну, например доходит до полной ... Когда новости о двух разных проектах на этом сайте в одну новость запихивают. То что всем нужно и про недоделанную никем неиспользуемую реализацию аналого на rust.
	Ответить | Правка | Наверх | Cообщить модератору

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

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