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

Открытие кода Rust-компилятора Ferrocene, opennews (??), 06-Окт-23, (0) [смотреть все] По факту проект закрыт Его выбросили в опенсорс показательно под лицензией апач, Аноним (1), 12:26 , 06-Окт-23, (1) +31 // В новости сказано, что теперь открыт , Аноним (10), 12:47 , 06-Окт-23, (10) –4 // Тут вопрос в сертификации Если какой-то язык имеет стандарт ISO, то можно сказа, kir (??), 13:32 , 06-Окт-23, (26) // А какой смысл в стандартах, которые никто не выполняет Вот какой открытый компил, Аноним (31), 13:37 , 06-Окт-23, (31) –1 Порвался ЖальСмысл в самом факте наличия сертификации Точнее не только в нём, , kir (??), 13:52 , 06-Окт-23, (37) –5 Хм, а по делу есть, что сказать Т е это сертификация ради сертификации Попахива, Аноним (31), 14:00 , 06-Окт-23, (41) +4 простите, где именно в винде есть код на раст Попытка переписывания-переписыван, пох. (?), 14:24 , 06-Окт-23, (56) +2 The Microsoft Windows graphics interface device is currently being ported to Ru, Анонин (?), 14:35 , 06-Окт-23, (61) +1 Поиск выдал это There s actually a SysCall in the Windows kernel now that is imp, Аноним (79), 15:12 , 06-Окт-23, (79) –1 Без понятия Я под винду писал очень мало и это было давно Может это и int 2Eh В, Анонин (?), 15:28 , 06-Окт-23, (83) +1 Ммм У меня, так сказать, риторический вопрос ко всем Но спасибо, что ответил, Аноним (79), 15:48 , 06-Окт-23, (89) –1 Весьма показательно что Что я не компетентен в виндовой системщине Ну так это , Анонин (?), 16:32 , 06-Окт-23, (96) +1 Показательно, что адепт пишет о вопросе, не имея малейшего представления Именно , Аноним (79), 16:57 , 06-Окт-23, (97) Ну так ты тоже про раст пишешь и вроде жив-здоров Сильное утверждение Т е ты о, Анонин (?), 17:08 , 06-Окт-23, (99) +3 Ты забыл показать цитаты, где я пишу про раст Поскольку при этом ты заикнулся о, Аноним (79), 05:37 , 07-Окт-23, (141) Принято С таким душнилой буду максимально точен в формулировках Заменю это на , Анонин (?), 09:47 , 07-Окт-23, (154) +1 Ты от волнения забыл, что пытался меня зеркалить Вот оригинал формулировки По, Аноним (79), 19:26 , 07-Окт-23, (166) Что он должен доказать Что некий сотрудник из Microsoft говорил это Думаю, ты , Прохожий (??), 02:24 , 09-Окт-23, (193) Уверен, что ты можешь перечитать ветку и убедиться, что слившийся оратор приписа, Аноним (79), 07:18 , 10-Окт-23, (210) Здесь скорее показательно, как ты врёшь на ровном месте Человек привёл цитату и, Прохожий (??), 02:19 , 09-Окт-23, (192) Твой друг процитировал слова, не понимая их смысл, и он сам это признал Его так , Аноним (79), 07:23 , 10-Окт-23, (211) is currently being ported to Rus Перевести на великий и могучий У вас __всё__ т, _ (??), 19:10 , 06-Окт-23, (126) +2 Совершенное прошедшее может быть и в пределах лаборатории, как уже случалось с С, Аноним (79), 05:44 , 07-Окт-23, (142) Ай,ай,ай А что же только кусок цитаты выдернул Там же продолжение есть ther, Анонимусс (?), 09:53 , 07-Окт-23, (155) +2 Переведи мне слово syscall, которое ты заботливо заменил многоточием Заодно рас, Аноним (79), 19:36 , 07-Окт-23, (167) +1 Они переписали GDI region на раст и тестят его на части пользователей Начиная с , Анонн (?), 22:38 , 07-Окт-23, (175) Почему обязательно индусы Вот это как-то обидно, там полно разработчиков с разн, Аноним (103), 17:51 , 06-Окт-23, (103) Комрад, ты вообще в курсе значения последнего слова Как часто этим занимаешься , zog (??), 14:22 , 06-Окт-23, (55) +2 Один из трёх принципов ООП, ЕМНИП, Аноним (73), 14:54 , 06-Окт-23, (73) +8 А разве это не одна из свобод GNU Вот человек выполняет как ему угодно, не смотр, Анонимм (??), 15:14 , 06-Окт-23, (80) +3 Какая же это свобода Если окружающие попросят исходники, придётся показать , Аноним (79), 15:56 , 06-Окт-23, (91) +1 А ты уверен, что он не покажет Я вот не уверен, поэтому даже вспоминать о такой , Анонимм (??), 16:06 , 06-Окт-23, (94) Ауто - значит сам с собой, а не с другими Себе исходники и покажет, жаждущее ха, Аноним (107), 18:16 , 06-Окт-23, (107) Спасибо, наконец понял, почему auto_ptr удалили из языка , Аноним (79), 07:15 , 07-Окт-23, (144) Главное в скобочках не обсчитаться и автофлагелляцию не вызвать Хотя, какая е, User (??), 18:20 , 06-Окт-23, (108) Поясняю, что делают эти кхм альтернативно одаренные растаманы тему стандарто, Коля22 (?), 01:54 , 08-Окт-23, (189) На C много чего серьёзного пишется В том числе сименс пишет ГУИ и не только соф, Аноньимъ (ok), 18:24 , 06-Окт-23, (110) +1 В С уже давно используется nullptr вместо null , анонимус (??), 02:56 , 07-Окт-23, (139) –2 128558 Сдаюсь 127987 65039 , Аноньимъ (ok), 03:07 , 07-Окт-23, (140) +1 Вообще-то C 4 0 и C 5 0 стандартизированы Документ стандарта на всех актуальн, wyry (?), 16:44 , 05-Ноя-23, (215) Rust вполне серьёзный проект Он только на Open Collective собирает от 200000 8, Неуважаемому kir (?), 18:31 , 06-Окт-23, (119) С чего бы это, если в последнее время Раст явно сдает позиции , Аноним (177), 00:12 , 08-Окт-23, (177) На сайте Opennet среди местных Воинов Супротив Раста , Прохожий (??), 02:34 , 09-Окт-23, (194) Это мировой заговор Весь мир против вас А вы дартаньяны все в белом , Аноним (198), 08:18 , 09-Окт-23, (198) Весь мир не состоит из опеннетные экспертов, как бы тебе ни хотелось , Прохожий (??), 01:19 , 10-Окт-23, (201) Но заговор то есть Вокруг тебя, как ты говоришь Воины Супротив Раста , Аноним (198), 04:14 , 10-Окт-23, (207) Эй, порванец а покажи мне сертификаты на ядро Linux или это не серьешный проект , Аноним (145), 08:28 , 07-Окт-23, (145) Дружок, речь о стандартах на языки программирования Мне за тебя прочитать, на к, Аноним (159), 14:52 , 07-Окт-23, (159) А какой компилятор поддерживает железо полностью А у какого компилятора можно п, BeLord (ok), 14:05 , 06-Окт-23, (45) Ну, gcc -mcpu, -mtune Наверное, и у clang а есть аналогичное , yet another anonymous (?), 18:28 , 06-Окт-23, (117) C в GCC 8212 это Compiler Collection, а не язык Си -Q, ьщккгнр (?), 15:42 , 06-Окт-23, (85) Пиши на Ц89 и будет тебе щястье А от сахара бывают кариес и диабет , YetAnotherOnanym (ok), 21:43 , 06-Окт-23, (136) или взять C ни GCC, ни CLANG не поддерживают модули в С 20,а уже на миуточку з, Аноним (31), 13:44 , 06-Окт-23, (34) Получается, что STL по щелчку пальцев на модули не перевести , Аноним (39), 13:55 , 06-Окт-23, (39) Зачем в STL модули , Аноним (79), 15:16 , 06-Окт-23, (81) Опа, товарищ не шарит за стандарты То, о чём ты говоришь стандартная библиотек, Аноним (133), 20:42 , 06-Окт-23, (133) При такой формулировке стоит уточнять, что STL это лишь часть стандартной библио, Аноним (79), 05:54 , 07-Окт-23, (143) +1 А теперь представьте, что вам нудно написать компилятор для этого чуда с нуля П, Аноним (40), 13:57 , 06-Окт-23, (40) +1 А я не хочу такое представлять Так называеммый стандарт это просто наслоение д, Аноним (31), 14:33 , 06-Окт-23, (60) В стиле Есть несколько реализаций от разных компаний со своими достоинствами и , Аноним (90), 15:51 , 06-Окт-23, (90) А что им мешает создать PR в основную ветку, создать RFC, обсудить все вопросы Е, Анонимм (??), 15:57 , 06-Окт-23, (92) +1 А что мешает забить на этот PR Фонд-то он как-бы со своими директорами, которры, yet another anonymous (?), 18:32 , 06-Окт-23, (120) Если они покажут преимущества своего подхода их патч конечно радостно примут Ага, Аноним (90), 19:00 , 06-Окт-23, (123) Так язык еще развивается Посмотри какие изменения были раньше Первые верссии рас, Аноним (31), 19:19 , 06-Окт-23, (127) Тут мы уже приходим к терминологическому философскому вопросу вопросу что есть, Анонимм (??), 16:02 , 06-Окт-23, (93) То есть сказать, то что ты умнее людей и комитета язык не поворачивается А выве, Аноним (90), 18:53 , 06-Окт-23, (122) Думаю я ни разу не умнее людей сидящих в коммитетах Но это не мешает им принимат, Аноним (31), 19:26 , 06-Окт-23, (129) А ты поинтересуйся, как Microsoft пропихнула в C11 Bounds-checking interfaces в, Аноним (132), 20:26 , 06-Окт-23, (132) Если ты этого не понимаешь, то ты полный идиот , Аноним (90), 21:24 , 06-Окт-23, (134) +1 клоун стандартизатор прикрывает дырявый стандат и готов жрать говно а эти дырявы, Аноним (145), 08:34 , 07-Окт-23, (146) +1 Так Си это же не ржа с двумя поддерживаемыми платформами, у нее их сотни, глупен, Аноним (177), 00:17 , 08-Окт-23, (178) –1 Очевидно, что ты безумец, который считает себя умнее всех на свете Вот смотри, п, Аноним (90), 00:35 , 08-Окт-23, (183) UB - это и есть конкретное поведение фичи X в данной комбинации компилятора, пр, Аноним_анонимный (?), 00:20 , 11-Окт-23, (214) ЕМНИП, Rust - это торговая марка Поэтому говорить они ничего не смогут про свой, Прохожий (??), 02:42 , 09-Окт-23, (195) Получается, что эти процессы идут независимо Кто-то просто работает - пишет про, Аноним (10), 14:06 , 06-Окт-23, (47) И слава Богу , yet another anonymous (?), 18:26 , 06-Окт-23, (113) То есть, стандарт дерьмовый таки , Прохожий (??), 02:48 , 09-Окт-23, (196) Какая связь между высказываниями Просто пока модули ничего не дают и никаких про, Аноним (198), 08:32 , 09-Окт-23, (200) Это не я радуюсь, что модули не реализованы до сих пор На заметил , Прохожий (??), 01:21 , 10-Окт-23, (202) Сам спросил, сам же и ответил , Прохожий (??), 01:54 , 10-Окт-23, (205) Открытие кода Rust-компилятора Ferrocene, Аноним (198), 04:18 , 10-Окт-23, (208) Предлагаю этому товарищу дать погремуху комитетчик Он носится по всем коммент, Аноним (44), 14:03 , 06-Окт-23, (44) +5 Когда-то комитетчиками называли кэгэбистов , Аноним (39), 14:09 , 06-Окт-23, (48) +1 Мельчает комитетчик, ох мельчает, не то, что давеча , Аноним (52), 14:17 , 06-Окт-23, (52) ну как вариант можно просто ми нетчиком , Аноним (44), 14:50 , 06-Окт-23, (70) Ну а по делу-то есть, что сказать Мне вот совсем не нравится, что каждая новая , kir (??), 18:13 , 06-Окт-23, (106) –2 Ты вообще новости хотя бы за последние пару недель о сишных дыренях читал Нрави, Аноним (132), 19:03 , 06-Окт-23, (124) Ой, да что там доказывать У них же прям стандарте эти поломки зафиксированы, а , Советский инженер (?), 08:48 , 07-Окт-23, (147) +1 Это просто программисты неправильные, не чтут стандарты и пишут некорректный код, Аноним (157), 11:49 , 07-Окт-23, (157) Есть варианты Только в этих вариантах rust а нет Хочешь без дыреней и переносим, Аноним (90), 01:20 , 08-Окт-23, (186) И зачем бы я так нагло врал, если всё легко проверяется Rust поддерживает больш, Прохожий (??), 02:52 , 09-Окт-23, (197) Больше одной - уже хорошо Вопрос почему не все Ответ из-за проблем с условной ко, Аноним (198), 08:24 , 09-Окт-23, (199) Потому что они не популярны, например Раст намного сложнее Си, разработка под в, Прохожий (??), 02:04 , 10-Окт-23, (206) Проблем много Но rust решением этих проблем стать не может Это хороший эксперим, Аноним (198), 04:24 , 10-Окт-23, (209) Если посмотреть оригинал новости на форониксе, то можно заметить что там такая в, Аноним (-), 16:15 , 06-Окт-23, (95) +1 Так апач это open source лицензия Код открыт - вот лежит, бери и пользуйся А ты, Аноним (31), 12:53 , 06-Окт-23, (12) // Угрожать NDA анониму с опеннета - это сурово, конечно , Аноним (44), 13:00 , 06-Окт-23, (15) +1 // Так NDA - это не угроза, а факт который просто существует Они могли продать свой, Аноним (31), 13:06 , 06-Окт-23, (16) НДА - это не факт, а соглашение Ты не можешь предъявить неустановленному лицу н, Аноним (44), 14:06 , 06-Окт-23, (46) Они могли Только слиент тогда пошёл странный - пишет на Rust и не просто просто, Клапауций (ok), 14:39 , 06-Окт-23, (64) Собственно также, как и Мозилла отправила Раст на вольные хлеба , Аноним (40), 13:08 , 06-Окт-23, (17) // И знамя подхватили гугл и майкрософт - на минуточку Gold и Platinum members орга, Аноним (31), 13:13 , 06-Окт-23, (20) +2 // У Micro oft руки недобрые А у Гуглага они всё чаще становятся недобрыми , Аноним (39), 13:35 , 06-Окт-23, (27) +1 Какой смелый Аноним Вот покритикуешь Microsoft и гугл, они обидятся и не будут , Аноним (31), 13:52 , 06-Окт-23, (36) +2 Ох, горе то какое когда-то и без этих паразитов прекрасно обходились , Аноним (40), 14:01 , 06-Окт-23, (42) Это когда же Без корпораций ядро Linux было полностью непригодным для продакшен, zog (??), 14:27 , 06-Окт-23, (57) Так и запишем паразиты не захотели писать своё, а решили сэкономить кучу денег,, Аноним (40), 14:35 , 06-Окт-23, (62) +1 Так если бы он был готовый Он был сырым и багованным, несмотря на усилия IBM при, Аноним (31), 14:40 , 06-Окт-23, (65) Так что мешало просто взять и написать своё НЕсырое и НЕзабагованное Правильно,, Аноним (40), 14:47 , 06-Окт-23, (68) Если что-то лежит бесплатно - то просто используем его Это же не опенсорс где пи, Аноним (31), 14:52 , 06-Окт-23, (72) не поддерживай паразитов пользуйся хурдом , Аноним (145), 14:59 , 06-Окт-23, (75) я и не поддерживаю хурд тут вообще не при чём , Аноним (40), 15:06 , 06-Окт-23, (77) Да ладно, а как же свой велосипед под названием Windows Корпорация так и не пот, Аноним (87), 15:43 , 06-Окт-23, (87) И получился бы GNU Hurd Как, кстати, там он поживает Уже готов к daily usage П, Анонимусс (?), 14:37 , 06-Окт-23, (63) Скажите за это спасибо тем самым корпарасам, которые взяли под крылышко линукс , Аноним (40), 14:44 , 06-Окт-23, (67) Опять Столлману в штаны насрали, да что ж такое , Аноним (44), 14:52 , 06-Окт-23, (71) +2 Какие тебе фичи нужны в ядре от Micro oft Hyper-V, код поддержки WSL2 Лично мн, Аноним (39), 14:01 , 06-Окт-23, (43) ты купил себе айфон это смело или ты по старинке, с дисковым телефоном ходишь , Аноним (31), 14:42 , 06-Окт-23, (66) +1 нашли чему радоваться, Аноним (40), 13:37 , 06-Окт-23, (30) Какая незадача Вчера вечером правил свою программу И не знал, что мной руковод, Аноним (10), 14:10 , 06-Окт-23, (50) И эти компании платят денег на одну зарплату разработчика По факту администрати, Аноним (1), 18:25 , 06-Окт-23, (112) +1 Хватит уже эту чушь повторять Доля Раста в Firefox постоянно растет https wik, Аноним (132), 19:07 , 06-Окт-23, (125) // Ты там по ссылкам ходил Как объяснишь такие факты Из графика заканчивающегося в, Аноним (90), 00:50 , 08-Окт-23, (185) т е ты хочешь сказать что Rust никому не нужен Да ну нет Бред же , Аноним (105), 18:11 , 06-Окт-23, (105) +3 Это тебе бабушка у подъезда в твоём Крыжополе рассказала или ты сам придумал , Аноним (130), 19:48 , 06-Окт-23, (130) Плюсую, тоже самое хотел написатьналицо все признаки невостребованности проекта , Golangdev (?), 18:45 , 07-Окт-23, (165) Т е в идеале получать бабло и ничего не далать , Аноним (2), 12:29 , 06-Окт-23, (2) +4 // Вполне благородная цель, достичь которой получается мало у кого У этих вот не п, Аноним (4), 12:31 , 06-Окт-23, (4) +6 // Ну тут конечно дело не в компании Дело в том что язык раст не подходит для крит, Аноним (1), 12:37 , 06-Окт-23, (6) +4 // Да, я бы тоже для критически важных систем вместо раста взял язык с гигантским к, Аноним (9), 12:44 , 06-Окт-23, (9) +9 Если Вы про C, то да, в нём нет strsplit, зато есть strtok strtok_r Кроме т, Совершенно другой аноним (?), 13:43 , 06-Окт-23, (32) Нет Это не путь настоящего сишника Он напишет свой сплит и закоммитит его в ядр, Анонин (?), 13:51 , 06-Окт-23, (35) +5 Скрыто модератором, Аноним (-), 14:31 , 06-Окт-23, (59) +3 И за границы буфера не забудет выйти Иначе какой же он тру сисшник без этого , Аноним (87), 15:45 , 06-Окт-23, (88) В твоём расте больше непонятной магии чем в любом другом языке В критических си, Аноним (1), 18:26 , 06-Окт-23, (114) –1 просто IQ надо иметь выше 70 и все будет понятно , Аноним (145), 08:51 , 07-Окт-23, (148) Всегда было любопытно, какой сорт маргарина в голове у тех, кто делает подобные , Аноним (11), 12:49 , 06-Окт-23, (11) –6 Троллинг just fun Тут сайт анонимов, можно писать почти все что угодно И никто н, Аноним (31), 12:54 , 06-Окт-23, (13) Можно из года в год формировать мнение о чем либо у анонимов Пресли дуя свои цел, Аноним (18), 13:09 , 06-Окт-23, (18) Это называется троллинг тупостью Добро пожаловать в интернет , Аноним (44), 12:59 , 06-Окт-23, (14) +1 Я практикую в IRL на работе и дома , Аноним (18), 13:12 , 06-Окт-23, (19) Веганам для справки в мозге холестерин , Аноним (79), 15:29 , 06-Окт-23, (84) В зеркало посмотрись Ты не можешь принять очевидного , Аноним (1), 18:27 , 06-Окт-23, (116) Зочем вы так Конечно же подходит - просто пока получилось только помигать свето, пох. (?), 13:36 , 06-Окт-23, (28) +1 Какой-то ты поехавший Кучи проектов, комьюнити инженеров, вливания бабла - это , Аноним (44), 14:09 , 06-Окт-23, (49) +1 Кучи - это да Кучи у вас получаются хорошо А вот ресдох - почему-то сдох Что ж, пох. (?), 14:18 , 06-Окт-23, (53) Воздуханство какое-то, родители тебя не воспитывали, в лесу рос Тот сдох, с эти, Аноним (44), 14:57 , 06-Окт-23, (74) А я чем виноват Я их не убивал мне визу не дают, а то б, конечно Этим вот, , пох. (?), 17:02 , 06-Окт-23, (98) Возможно граждане просто сидели ровно и нифига не делали Ну так за действие или , Анонимм (??), 17:40 , 06-Окт-23, (100) А я в этом тоже виноват Кстати, у граждан с эскопетой каждый второй комит - ap, пох. (?), 17:44 , 06-Окт-23, (101) Просто открой книжку анекдотов, называется Конституция и другие веселые расск, Аноним (31), 09:41 , 07-Окт-23, (152) А, или ты про граждан Те которые сидели неровно - сидят теперь лет по пятнадцат, пох. (?), 17:47 , 06-Окт-23, (102) редокс поживее хурда будет, но клоуну же это не интересно, он тут лужи газифицир, Аноним (145), 08:55 , 07-Окт-23, (149) А если взять много светодиодиков, то получится монитор Если так считать - то ты , Аноним (31), 14:50 , 06-Окт-23, (69) Повторяю - то что кто-то там в MS нашел себе хорошо оплачиваемую бесполезную раб, пох. (?), 14:59 , 06-Окт-23, (76) +1 Ты так уверенно говоришь, как будто в майкрософте работаешь , Аноним (31), 15:08 , 06-Окт-23, (78) Ты так говоришь как будто на расте уже что-то дельное смог написать , Аноним (1), 18:29 , 06-Окт-23, (118) +1 ты так говориш, как будто уже что-то дельное смог написать , Аноним (145), 08:56 , 07-Окт-23, (150) Перевести Вот когда будет has been successfully ported to Rust - приходи А, _ (??), 19:21 , 06-Окт-23, (128) +1 https ru wikipedia org wiki Microsoft_SingularityИз той же оперы Потужились, , Филя (?), 15:48 , 07-Окт-23, (162) +1 это потому что на неправильных язычках писали Вот щас как перепишут венду на пр, пох. (?), 17:28 , 07-Окт-23, (164) мне кажется, только эти ценители и в состоянии, 12yoexpert (ok), 12:41 , 06-Окт-23, (8) Скрыто модератором, Аноним (33), 13:43 , 06-Окт-23, (33) // Скрыто модератором, пох. (?), 14:19 , 06-Окт-23, (54) –1 И тут все начали форкать, переводить на свой язык, допиливать и выпускать свои с, Аноним (109), 18:21 , 06-Окт-23, (109) О чем можно говорить с людьми которые до сих пор считают что у дропбокса бек на , Аноним (1), 18:24 , 06-Окт-23, (111) +5 // Яндекс Диск тем временем на питоне, Вы забыли заполнить поле Name (?), 23:32 , 06-Окт-23, (137) // Скрыто модератором, Аноним (-), 12:33 , 07-Окт-23, (158) –5 Всё, наигрались , Аноним (33), 19:56 , 06-Окт-23, (131) +1 // А , чё им ещё делать , билдить и писать комментарии это разные вещи В первом ва, Vnezapno (?), 21:29 , 06-Окт-23, (135) единственный формально верифицированный компилятор - Сhttps compcert orgу Rust, Аноним (153), 09:41 , 07-Окт-23, (153) –2   // Пофиксил, не благодари , Аноним (163), 17:10 , 07-Окт-23, (163)   // это ты автор чтоли найди у настоящих авторов хоть слово про верификациюhttps , Аноним (153), 19:45 , 07-Окт-23, (168) –2   // Вообще-то, это был ответ на уже удаленное сообщение, на что как бы намекает ци, Аноним (163), 20:49 , 07-Окт-23, (169) +1   найди у авторов хоть слово про верификацию или балаболты не являешься автором ни, Аноним (153), 21:23 , 07-Окт-23, (170)   Ты опять что-то проецируешь из своих фантазий и переводишь стрелки, Балабол Супр, Аноним (163), 21:52 , 07-Окт-23, (172)   читай балаболка как тестируется Ferrocenehttps ferrous-systems com blog how-fe, Аноним (153), 22:17 , 07-Окт-23, (174) –3   Ты опять спрыгнул с темы, оспорил свои фантазии и приписал мне что-то но ба, Аноним (163), 23:08 , 07-Окт-23, (176) +2   https www opennet ru cgi-bin openforum vsluhboard cgi az list forum vsluhforum, Аноним (163), 21:59 , 07-Окт-23, (173) –1   Это что, троллинг такой Это же rustc вообще без изменений Ахахаха , Аноним (177), 00:41 , 08-Окт-23, (184) +1 // он верефецированый радугой, хехе, в стране грёз автора новости, Аноним (153), 01:33 , 08-Окт-23, (188) +1 Ты где этот текст нашёл Я вот по ссылке из заметки читаю следующее Ferrocene is, Прохожий (??), 01:44 , 10-Окт-23, (204) // Ну и где тут изменения , Аноним (216), 08:42 , 13-Ноя-23, (216) Это вообще-то сами разработчики пишут, учись гуглитьhttps ferrous-systems com , Аноним (218), 03:08 , 19-Ноя-23, (218) Мне даже немного жаль растаманов, они смешные, напоминают жабберов эпохи ранней , Медведь (ok), 02:34 , 08-Окт-23, (190) +1 // Куда более смешные Воины Супротив Раста Они изо всех сил тужатся, где бы найти , Прохожий (??), 01:37 , 10-Окт-23, (203) –1 // Какая бурная фантазия, однако А на улице все женщины про длину твоего шепчутс, Аноним (198), 13:06 , 10-Окт-23, (212) +1 Большинство из тех кто тут оставляет комментарии, к ж д станции дойти уже к сож, Аноним (213), 13:31 , 10-Окт-23, (213) // Этот поезд уходит в ГУЛАГ, туда не всем нужно , Аноним (216), 08:44 , 13-Ноя-23, (217) Отличная новость, а то чет надо всякое барахло ставить , Аноним (191), 04:21 , 08-Окт-23, (191) 1,2,109,111,131,153,184,190,191

Сообщения

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

153. "Открытие кода Rust-компилятора Ferrocene"	–2 +/–
Сообщение от Аноним (153), 07-Окт-23, 09:41
> Надёжность Ferrocene верифицирована через применение расширенных методов проверки, тестирования и управления качеством единственный формально верифицированный компилятор - С https://compcert.org у Rust просто тестирование, верификация тут лишнее слово - попытка выдать желаемое за действительное
Ответить | Правка | Наверх | Cообщить модератору

	163. "Открытие кода Rust-компилятора Ferrocene"	+/–
	Сообщение от Аноним (163), 07-Окт-23, 17:10
	> По традиции, доброе опеннет-коммюнити должно проехаться по всему коду, и цокая языками, > выставлять оценки умственным способностям авторов и как они совершенно не умеют > в < любой ЯП>. Коммитить в проект они конечно не будут (чтобы самим > не попасть под огонь из канализационной пушки). Пофиксил, не благодари.
	Ответить | Правка | Наверх | Cообщить модератору

	168. "Открытие кода Rust-компилятора Ferrocene"	–2 +/–
	Сообщение от Аноним (153), 07-Окт-23, 19:45
	> По традиции, доброе опеннет-коммюнити должно проехаться по всему коду, и цокая языками, > выставлять оценки умственным способностям авторов это ты автор чтоли ? найди у настоящих авторов хоть слово про верификацию https://ferrous-systems.com/blog/qualifying-rust-without-for.../
	Ответить | Правка | Наверх | Cообщить модератору

	169. "Открытие кода Rust-компилятора Ferrocene"	+1 +/–
	Сообщение от Аноним (163), 07-Окт-23, 20:49
	>> По традиции, доброе опеннет-коммюнити должно проехаться по всему коду, и цокая языками, >> выставлять оценки умственным способностям авторов > это ты автор чтоли ? найди у настоящих авторов хоть слово про верификацию Вообще-то, это был ответ на (уже) удаленное сообщение, на что как бы намекает цитата. Иронично, что (не очень) умные свидетели формальной верификации все равно возбудились и с пеной у рта ринулись на защиту чего-то там. А, ну да, с чтением у них не очень - ни разницу между "верификацией" и "формальной верификацией" понять, ни "CompCert C is a subset of C" заметить. Куда уж там смотреть на цитируемое, некогда - тут супротив Раста воевать надо!
	Ответить | Правка | Наверх | Cообщить модератору

	170. "Открытие кода Rust-компилятора Ferrocene"	+/–
	Сообщение от Аноним (153), 07-Окт-23, 21:23
	> ни разницу между "верификацией" и "формальной верификацией" найди у авторов хоть слово про верификацию или балабол > Куда уж там смотреть на цитируемое, некогда - тут супротив Раста воевать надо! ты не являешься автором ни раста, ни Ferrocene, ни цитируемых цитат, наверно и не автор новости, тебе мерещатся какие-то воены супротив Раста, опять принял чего-то ?
	Ответить | Правка | Наверх | Cообщить модератору

	172. "Открытие кода Rust-компилятора Ferrocene"	+/–
	Сообщение от Аноним (163), 07-Окт-23, 21:52
	>> Надёжность Ferrocene верифицирована через применение расширенных методов проверки, тестирования и управления качеством. > найди у авторов хоть слово про верификацию или балабол Ты опять что-то проецируешь из своих фантазий и переводишь стрелки, Балабол Супротив Раста? >> Куда уж там смотреть на цитируемое, некогда - тут супротив Раста воевать надо! > ты не являешься автором ни раста, ни Ferrocene, ни цитируемых цитат, наверно и не автор  новости, > ты не являешься автором ... ни цитируемых цитат Посмотри уже, что такое цитата и зачем цитируют, о Воен. Ну и да, ты сам-то автор compcert или как обычно "это другое!"? > тебе мерещатся какие-то воены супротив Раста, опять принял чего-то ? Судя по твоему возбуждению и невнятному потоку сознания - опять какие-то проекции.
	Ответить | Правка | Наверх | Cообщить модератору

	174. "Открытие кода Rust-компилятора Ferrocene"	–3 +/–
	Сообщение от Аноним (153), 07-Окт-23, 22:17
	> Ты опять что-то проецируешь из своих фантазий читай балаболка как тестируется Ferrocene https://ferrous-systems.com/blog/how-ferrocene-improves-rust/ > Посмотри уже, что такое цитата расскажи ещё про верифицированные сборки компилятора раст, если не они то получается ты их верифицировал, хехе.
	Ответить | Правка | Наверх | Cообщить модератору

	176. "Открытие кода Rust-компилятора Ferrocene"	+2 +/–
	Сообщение от Аноним (163), 07-Окт-23, 23:08
	>> Ты опять что-то проецируешь из своих фантазий > читай балаболка как тестируется Ferrocene > https://ferrous-systems.com/blog/how-ferrocene-improves-rust/ Ты опять спрыгнул с темы, оспорил свои фантазии и приписал мне что-то ... но "балабол" тут я, ну да, ну да. Повтори еще пару раз, что бы точно никто не перепутал. >> Посмотри уже, что такое цитата > расскажи ещё про верифицированные сборки компилятора раст, если не они то получается ты их верифицировал, хехе. Очередной спрыг-перепрыг с темы на тему - классика Военства, че.
	Ответить | Правка | Наверх | Cообщить модератору

	173. "Открытие кода Rust-компилятора Ferrocene"	–1 +/–
	Сообщение от Аноним (163), 07-Окт-23, 21:59
	https://www.opennet.ru/cgi-bin/openforum/vsluhboard.cgi?az=l... > По традиции, доброе Rust-коммюнити должно проехаться по всему коду, и цокая язык, Аноним (275) , 15:38 , 07-Окт-23 (161) > УДАЛЕНО.Отмодерировано: mc, Время: Sat Oct 7 19:18:00 2023 > По традиции, доброе Rust-коммюнити должно проехаться по всему коду, и цокая языками, выставлять оценки умственным способностям авторов и как они совершенно не умеют в Rust. Коммитить в проект они конечно не будут (чтобы самим не попасть под огонь из канализационной пушки). Так что выдыха^W узбагойся, о Великий Верификатор, это глюк движка форума, когда ответы от удаленного сообщения "подцепляют" к комментам выше.
	Ответить | Правка | К родителю #168 | Наверх | Cообщить модератору

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

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