The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

Открытие кода Rust-компилятора Ferrocene

06.10.2023 11:43

Компания Ferrous Systems объявила о начале преобразования Ferrocene, проприетарного дистрибутива с Rust-компилятором для критически важных систем, в открытый проект. Код Ferrocene опубликован под лицензиями Apache 2.0 и MIT. Ferrocene предоставляет инструментарий для разработки на языке Rust приложений для защиты информации и критически важных систем, требующих повышенной надёжности (Safety-Critical Systems), сбой в которых может угрожать жизни людей, нанести вред окружающей среде или привести к серьёзным повреждениям оборудования.

В качестве основы задействован rustc, штатный компилятор от проекта Rust, приведённый к соответствию требованиям программных окружений для автомобильных и промышленных систем (ISO 26262 и IEC 61508). Надёжность Ferrocene верифицирована через применение расширенных методов проверки, тестирования и управления качеством. Последние два года продукт развивался как пропритетарный, но компания Ferrous Systems возвращала свои доработки и исправления выявленных ошибок в основной проект.

Одной из целей разработки является поддержание состояния Ferrocene как можно ближе к upstream (в идеале вообще без изменений), поэтому разработанные независимыми участниками улучшения и исправления предлагается передавать напрямую в основной репозиторий rust-lang/rust, а не в репозиторий Ferrocene. Со своей стороны Ferrous Systems сосредоточится на предоставлении верифицированных бинарных сборок, интеграции в SDK производителей оборудования, работе по проверке качества и тестированию на промышленных платформах, реализации поддержки стандартов DO-178C, ISO 21434 и IEC 62278, а также продвижению в основной состав rustc возможностей и изменений, востребованных в критически важных системах и встраиваемых промышленных устройствах.

В ближайшее время планируется выпустить релиз Ferrocene 23.06.0, который станет первым выпуском, соответствующим требованиям ISO 26262 (ASIL D) и IEC 61508 (SIL 4). Выпуск основан на инструментарии Rust 1.68 и находится на финальной стадии подготовки, но его не удастся полностью открыть, так как в состав включена проприетарная информация от одного из прошлых партнёров. Сразу после публикации Ferrocene 23.06.0 начнётся работа над версией 23.06.1, в которой планируют провести чистку проприетарных включений и опубликовать в следующем месяце в виде открытого продукта. Далее разработка будет вестись в открытой форме и все дальнейшие выпуски будут публиковаться как open source. В будущем также планируют открыть код инсталлятора criticalup и синхронизировать его разработку с проектом rustup.

  1. Главная ссылка к новости (https://ferrous-systems.com/bl...)
  2. OpenNews: Выпуск языка программирования Rust 1.73
  3. OpenNews: JetBrains представил IDE RustRover и прекратил разработку открытого плагина intellij-rust
  4. OpenNews: Выпуск RustPython 0.3, реализации интерпретатора Python на языке Rust
  5. OpenNews: Представлен Crab, форк языка Rust, избавленный от бюрократии
  6. OpenNews: Google опубликовал результат аудита используемых пакетов на языке Rust
Лицензия: CC BY 3.0
Короткая ссылка: https://opennet.ru/59881-ferrocene
Ключевые слова: ferrocene, rust
При перепечатке указание ссылки на opennet.ru обязательно


Обсуждение (190) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, Аноним (1), 12:26, 06/10/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +31 +/
    По факту проект закрыт. Его выбросили в опенсорс показательно под лицензией апач. У проекта не было ни одного коммерческого заказчика.
     
     
  • 2.10, Аноним (10), 12:47, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • –4 +/
    В новости сказано, что теперь открыт.
     
     
  • 3.26, kir (??), 13:32, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Тут вопрос в сертификации. Если какой-то язык имеет стандарт ISO, то можно сказать, что он открыт. А без стадарта он считай, что не существует.
     
     
  • 4.31, Аноним (31), 13:37, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    А какой смысл в стандартах, которые никто не выполняет.

    Вот какой открытый компилятор который полностью реализует С17?
    А ни какой! Ни GCC, ни CLANG не реализуют его полностью.
    Есть Acorn, AMD OCC, Edison Design, IAR C которые поддерживают. Но они все проприетарные.

    Я бы сказал, что это введение в заблуждение пользователя, почти обман.
    Чесные разработчики просто бы выкинули букву С из названий GCC / CLANG.

     
     
  • 5.37, kir (??), 13:52, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • –5 +/
    Порвался? Жаль
    Смысл в самом факте наличия сертификации. Точнее не только в нём, но и не совсем. С сертифицированым языком можно запросто чуть ли ни в две строчки вызывать аутофелляцию, а так нет. В C++ или С я так могу, а вашем Rust или C# - нет.  Покажи мне хоть один серьёзный проект без сертификатов.
     
     
  • 6.41, Аноним (31), 14:00, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +4 +/
    > Порвался? Жаль

    Хм, а по делу есть, что сказать?
    Т.е это сертификация ради сертификации? Попахивает просто распилом бабла.

    > хоть один серьёзный проект

    Винда11, андроид, Amazon AWS - там есть код на Раст, не думаю что сертифицированные сертифицирователи его бы сертифицировали (за денежку естественно)
    Amazon Firecracker - написан на раст.
    Сам компилятор Раст написан внезапно на rust.

    И это все большие проекты которые просто работают.

    Но раз тебе так важна сертификация - то вот "Открытый драйвер Rusticl сертифицирован на совместимость с OpenCL 3.0"
    https://www.opennet.me/opennews/art.shtml?num=58114

    ps и почему ты так часто упоминаешь "аутофелляцию", может тебе лучше к врачу сходить?

     
     
  • 7.56, пох. (?), 14:24, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > Винда11, андроид, Amazon AWS - там есть код на Раст, не думаю

    простите, где именно в винде есть код на раст? Попытка переписывания-переписывания была обнародована, но там ни полсловечка что получившегося мутанта на самом деле взяли в прод, а не положили на полку среди продуктов индусской самодеятельности.

    > Сам компилятор Раст написан внезапно на rust.

    и давно у вас llvm переписали на хруст? На хрусте как максимум написан синтаксический анализатор.

    > И это все большие проекты которые просто работают.

    firecracker это всего лишь нескучный конфигуратор kvm-ных виртуалочек. Остальные большие проекты в таком же роде?

     
     
  • 8.61, Анонин (?), 14:35, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    The Microsoft Windows graphics interface device is currently being ported to Ru... текст свёрнут, показать
     
     
  • 9.79, Аноним (79), 15:12, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Поиск выдал это There s actually a SysCall in the Windows kernel now that is im... текст свёрнут, показать
     
     
  • 10.83, Анонин (?), 15:28, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Без понятия Я под винду писал очень мало и это было давно Может это и int 2Eh ... текст свёрнут, показать
     
     
  • 11.89, Аноним (79), 15:48, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Ммм У меня, так сказать, риторический вопрос ко всем Но спасибо, что ответил... текст свёрнут, показать
     
     
  • 12.96, Анонин (?), 16:32, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Весьма показательно что Что я не компетентен в виндовой системщине Ну так это ... текст свёрнут, показать
     
     
  • 13.97, Аноним (79), 16:57, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Показательно, что адепт пишет о вопросе, не имея малейшего представления Именно... текст свёрнут, показать
     
     
  • 14.99, Анонин (?), 17:08, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Ну так ты тоже про раст пишешь и вроде жив-здоров Сильное утверждение Т е ты ... текст свёрнут, показать
     
     
  • 15.141, Аноним (79), 05:37, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ты забыл показать цитаты, где я пишу про раст Поскольку при этом ты заикнулся о... большой текст свёрнут, показать
     
     
  • 16.154, Анонин (?), 09:47, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Принято С таким душнилой буду максимально точен в формулировках Заменю это на ... большой текст свёрнут, показать
     
     
  • 17.166, Аноним (79), 19:26, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ты от волнения забыл, что пытался меня зеркалить Вот оригинал формулировки По... большой текст свёрнут, показать
     
     
  • 18.193, Прохожий (??), 02:24, 09/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Что он должен доказать Что некий сотрудник из Microsoft говорил это Думаю, ты ... текст свёрнут, показать
     
     
  • 19.210, Аноним (79), 07:18, 10/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Уверен, что ты можешь перечитать ветку и убедиться, что слившийся оратор приписа... текст свёрнут, показать
     
  • 14.192, Прохожий (??), 02:19, 09/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Здесь скорее показательно, как ты врёшь на ровном месте Человек привёл цитату и... текст свёрнут, показать
     
     
  • 15.211, Аноним (79), 07:23, 10/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Твой друг процитировал слова, не понимая их смысл, и он сам это признал Его так... текст свёрнут, показать
     
  • 9.126, _ (??), 19:10, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    is currently being ported to Rus Перевести на великий и могучий У вас __всё__... текст свёрнут, показать
     
     
  • 10.142, Аноним (79), 05:44, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Совершенное прошедшее может быть и в пределах лаборатории, как уже случалось с С... текст свёрнут, показать
     
  • 10.155, Анонимусс (?), 09:53, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Ай,ай,ай А что же только кусок цитаты выдернул Там же продолжение есть the... текст свёрнут, показать
     
     
  • 11.167, Аноним (79), 19:36, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Переведи мне слово syscall, которое ты заботливо заменил многоточием Заодно рас... текст свёрнут, показать
     
  • 9.175, Анонн (?), 22:38, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Они переписали GDI region на раст и тестят его на части пользователей Начиная с... текст свёрнут, показать
     
  • 8.103, Аноним (103), 17:51, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Почему обязательно индусы Вот это как-то обидно, там полно разработчиков с разн... текст свёрнут, показать
     
  • 6.55, zog (??), 14:22, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > С сертифицированым языком можно запросто чуть ли ни в две строчки вызывать аутофелляцию

    Комрад, ты вообще в курсе значения последнего слова? Как часто этим занимаешься?

     
     
  • 7.73, Аноним (73), 14:54, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +8 +/
    Один из трёх принципов ООП, ЕМНИП
     
     
  • 8.80, Анонимм (??), 15:14, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +3 +/
    А разве это не одна из свобод GNU Вот человек выполняет как ему угодно, не смот... текст свёрнут, показать
     
     
  • 9.91, Аноним (79), 15:56, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Какая же это свобода Если окружающие попросят исходники, придётся показать ... текст свёрнут, показать
     
     
  • 10.94, Анонимм (??), 16:06, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А ты уверен, что он не покажет Я вот не уверен, поэтому даже вспоминать о такой... текст свёрнут, показать
     
  • 10.107, Аноним (107), 18:16, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ауто - значит сам с собой, а не с другими Себе исходники и покажет, жаждущее ха... текст свёрнут, показать
     
     
  • 11.144, Аноним (79), 07:15, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Спасибо, наконец понял, почему auto_ptr удалили из языка ... текст свёрнут, показать
     
  • 7.108, User (??), 18:20, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Главное в скобочках не обсчитаться и автофлагелляцию не вызвать... Хотя, какая ему разница?
     
  • 7.189, Коля22 (?), 01:54, 08/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Поясняю, что делают эти кхм... альтернативно одаренные растаманы: тему стандартов начал один человек с ником kir, они начали вываливать в тред сообщения под тем же ником, но содержащие всякую чушь типа того, о чем ты спрашиваешь, тем самым сбивая остальных с толку и выставляя автора вопросов неадекватом.
     
  • 6.110, Аноньимъ (ok), 18:24, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >  или C# - нет.  Покажи мне хоть один серьёзный проект без сертификатов

    На C# много чего серьёзного пишется.
    В том числе сименс пишет ГУИ и не только софт к своим томографам например.

    Я в любой день доверю любую важную задачу "несертифицированному C#" вместо "сертифицированного С++", Хотя бы уже потому, что программисты C#, многие из которых кстати пришли из С++, в отличии от С++шников, обладают особым супернавыком - делать проверки указателя на null.

     
     
  • 7.139, анонимус (??), 02:56, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • –2 +/
    В С++ уже давно используется nullptr вместо null )))
     
     
  • 8.140, Аноньимъ (ok), 03:07, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    128558 Сдаюсь 127987 65039 ... текст свёрнут, показать
     
  • 7.215, wyry (?), 16:44, 05/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Вообще-то C# 4.0 и C# 5.0 стандартизированы. Документ стандарта на всех актуальных языках (включая русский) поставлялся с соответствующими Visual Studio. Это кстати во многом и способствовало выходу C# за пределы винды. То, что самые новые версии не сертифицированы не столь важно, т.к. там больше синтаксического сахара и удобства (хотя это спорный вопрос), чем новых фишек и стандарт от 5.0 вполне покрывает 99% задач.
    Кстати в C# тоже часто приходится проверять ссылочные типы на NULL. Более того, в C# разработчик не застрахован от утечек памяти, разница лишь в том, что невозможен (если только нет уязвимостей в рантайме) доступ к этой памяти, в C++ для этого потребуется использовать smart pointers и/или move-семантику.
     
  • 6.119, Неуважаемому kir (?), 18:31, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Rust вполне серьёзный проект. Он только на Open Collective собирает от 200000€ в год. И его популярность ещё набирает обороты. Стандарты ваши позволяют разве-что создавать разные компиляторы. Они являются договором между компаниями. Учитывая цель этого языка и владельцев, вероятность того что у них появится стандарт очень низка. И никто не будет интересоваться вашим быдловатым мнением с разными оскорблениями всех подряд — проект будет расти и пользоваться популярностью.
     
     
  • 7.177, Аноним (177), 00:12, 08/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    С чего бы это, если в последнее время Раст явно сдает позиции?
     
     
  • 8.194, Прохожий (??), 02:34, 09/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    На сайте Opennet среди местных Воинов Супротив Раста ... текст свёрнут, показать
     
     
  • 9.198, Аноним (198), 08:18, 09/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Это мировой заговор Весь мир против вас А вы дартаньяны все в белом ... текст свёрнут, показать
     
     
  • 10.201, Прохожий (??), 01:19, 10/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Весь мир не состоит из опеннетные экспертов, как бы тебе ни хотелось ... текст свёрнут, показать
     
     
  • 11.207, Аноним (198), 04:14, 10/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Но заговор то есть Вокруг тебя, как ты говоришь Воины Супротив Раста ... текст свёрнут, показать
     
  • 6.145, Аноним (145), 08:28, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Эй, порванец!

    а покажи мне сертификаты на ядро Linux.
    или это не серьешный проект?

     
     
  • 7.159, Аноним (159), 14:52, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Дружок, речь о стандартах на языки программирования. Мне за тебя прочитать, на каком языке это ядро написано?
    https://www.iso.org/standard/74528.html
     
  • 5.45, BeLord (ok), 14:05, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А какой компилятор поддерживает железо полностью? А у какого компилятора можно принудительно выставить хотя бы архитектуру процессоров, к примеру, вот хочу я оптимизацию по Zen3 и мне по фигу будет работать ПО на других архитектурах или нет, ну и как?-)
     
     
  • 6.117, yet another anonymous (?), 18:28, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > А у какого компилятора можно принудительно выставить хотя бы архитектуру процессоров,

    Ну, gcc. -mcpu, -mtune. Наверное, и у clang'а есть аналогичное.

     
  • 5.85, ьщккгнр (?), 15:42, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    C в GCC — это Compiler Collection, а не язык Си ;-Q
     
  • 5.136, YetAnotherOnanym (ok), 21:43, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Пиши на Ц89 и будет тебе щястье. А от сахара бывают кариес и диабет.
     
  • 4.34, Аноним (31), 13:44, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    или взять C++
    ни GCC, ни CLANG не поддерживают модули в С++20,
    а уже на миуточку заканчивается 2023 год

    получается что или компиляторы плохие, или стандарт кал

     
     
  • 5.39, Аноним (39), 13:55, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Получается, что STL по щелчку пальцев на модули не перевести.
     
     
  • 6.81, Аноним (79), 15:16, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Зачем в STL модули?
     
  • 6.133, Аноним (133), 20:42, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Опа, товарищ не шарит за стандарты. То, о чём ты говоришь (стандартная библиотека, переведённая на модули), включено в стандарт 2023 года.
     
     
  • 7.143, Аноним (79), 05:54, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    При такой формулировке стоит уточнять, что STL это лишь часть стандартной библиотеки.
     
  • 5.40, Аноним (40), 13:57, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >>> ни GCC, ни CLANG не поддерживают модули в С++20, <<<

    А теперь представьте, что вам нудно написать компилятор для этого чуда с нуля:)

    ПС: Лично для меня показатель, если скажем за пол года, максимум за год, нельзя с нуля написать компилятор для языка X, то что-то явно пошло не так и эволюция языка свернула куда-то не туда, так что ну его на УЙ:)

     
     
  • 6.60, Аноним (31), 14:33, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А я не хочу такое представлять)

    Так называеммый "стандарт" это просто наслоение древних копролитов, овнокода и UBшек.
    В стиле "мы не смогли договориться как должно быть (тк каждый член коммитета тянет одеяло на себя)", поэтому любитесь сами.

    А потом удивляются "а почему СИшных либах дыры каждую неделю находят"?

    > если скажем за пол года, максимум за год

    Так тут даже не с нуля!
    Осталось реализовать P1103R3, P1766R1 и P1815R2, но оно тянется больше 3 лет.

    Тут можно вспомнить эпичный выкидышь С++ 11й версии, настолько качественный, что его 3 года исправляли и выпустили 14 который "содержит в основном уточнения и исправления ошибок предыдущей версии."

     
     
  • 7.90, Аноним (90), 15:51, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >В стиле "мы не смогли договориться как должно быть (тк каждый член коммитета тянет одеяло на себя)", поэтому любитесь сами.

    В стиле. Есть несколько реализаций от разных компаний со своими достоинствами и недостатками. Выбрать сложно - пока не выбрали. Ожидаем более детального отчета.

    Простой вопрос тебе. Данная компания ничего не добавила в rust. А появится такая которая добавит свое, и кое-какие мелкие детали вынуждена будет реализовать посвоему? Несовместимо с основной веткой. Сможет она внести новинки в стандарт?

    Ах да. Стандарта-то нет.

    А сможет она начать говорить, что все rust'ы одинаковы, но наш лучше?
    Да без проблем. Стандарта-то нет.

     
     
  • 8.92, Анонимм (??), 15:57, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    А что им мешает создать PR в основную ветку, создать RFC, обсудить все вопросы ... текст свёрнут, показать
     
     
  • 9.120, yet another anonymous (?), 18:32, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А что мешает забить на этот PR Фонд-то он как-бы со своими директорами, которры... текст свёрнут, показать
     
  • 9.123, Аноним (90), 19:00, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Если они покажут преимущества своего подхода их патч конечно радостно примут Аг... текст свёрнут, показать
     
     
  • 10.127, Аноним (31), 19:19, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Так язык еще развивается Посмотри какие изменения были раньше Первые верссии р... текст свёрнут, показать
     
  • 8.93, Анонимм (??), 16:02, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Тут мы уже приходим к терминологическому философскому вопросу вопросу что есть... текст свёрнут, показать
     
     
  • 9.122, Аноним (90), 18:53, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    То есть сказать, то что ты умнее людей и комитета язык не поворачивается А выве... текст свёрнут, показать
     
     
  • 10.129, Аноним (31), 19:26, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Думаю я ни разу не умнее людей сидящих в коммитетах Но это не мешает им принима... текст свёрнут, показать
     
  • 10.132, Аноним (132), 20:26, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А ты поинтересуйся, как Microsoft пропихнула в C11 Bounds-checking interfaces в... текст свёрнут, показать
     
     
  • 11.134, Аноним (90), 21:24, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Если ты этого не понимаешь, то ты полный идиот ... текст свёрнут, показать
     
     
  • 12.146, Аноним (145), 08:34, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    клоун стандартизатор прикрывает дырявый стандат и готов жрать говно а эти дыряв... текст свёрнут, показать
     
     
  • 13.178, Аноним (177), 00:17, 08/10/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Так Си это же не ржа с двумя поддерживаемыми платформами, у нее их сотни, глупен... текст свёрнут, показать
     
  • 13.183, Аноним (90), 00:35, 08/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Очевидно, что ты безумец, который считает себя умнее всех на свете Вот смотри, ... текст свёрнут, показать
     
  • 13.214, Аноним_анонимный (?), 00:20, 11/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    UB - это и есть конкретное поведение фичи X в данной комбинации компилятора, пр... текст свёрнут, показать
     
  • 8.195, Прохожий (??), 02:42, 09/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    ЕМНИП, Rust - это торговая марка Поэтому говорить они ничего не смогут про свой... текст свёрнут, показать
     
  • 5.47, Аноним (10), 14:06, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Получается, что эти процессы идут независимо. Кто-то просто работает - пишет программы. А кто-то утешается, что руководит процессом, хотя это не так. Причем первые часто не подозревают о наличии вторых и созданных ими руководящих документов.
     
  • 5.113, yet another anonymous (?), 18:26, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > ни GCC, ни CLANG не поддерживают модули в С++20,
    > а уже на миуточку заканчивается 2023 год

    И слава Богу!

     
     
  • 6.196, Прохожий (??), 02:48, 09/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    То есть, стандарт дерьмовый таки?
     
     
  • 7.200, Аноним (198), 08:32, 09/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Какая связь между высказываниями?

    Просто пока модули ничего не дают и никаких проблем не решают.

    После разруливания всплывших проблем в очередном стандарте возможно ситуация изменится.

    Так с чего вдруг?

     
     
  • 8.202, Прохожий (??), 01:21, 10/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Это не я радуюсь, что модули не реализованы до сих пор На заметил ... текст свёрнут, показать
     
  • 8.205, Прохожий (??), 01:54, 10/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Сам спросил, сам же и ответил ... текст свёрнут, показать
     
     
  • 9.208, Аноним (198), 04:18, 10/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Открытие кода Rust-компилятора Ferrocene... текст свёрнут, показать
     
  • 4.44, Аноним (44), 14:03, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +5 +/
    Предлагаю этому товарищу дать погремуху "комитетчик". Он носится по всем комментам и орёт, что не может использовать ЯП пока его не освятил всесильный комитет ISO. Видимо даже срать не сядет без сертификации комитета.
     
     
  • 5.48, Аноним (39), 14:09, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Когда-то комитетчиками называли кэгэбистов.
     
     
  • 6.52, Аноним (52), 14:17, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Мельчает комитетчик, ох мельчает, не то, что давеча.
     
  • 6.70, Аноним (44), 14:50, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    ну как вариант можно просто ми...нетчиком.
     
  • 5.106, kir (??), 18:13, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Ну а по делу-то есть, что сказать? Мне вот совсем не нравится, что каждая новая версия может что-то сломать в коде, и без стандарта тут никак.
     
     
  • 6.124, Аноним (132), 19:03, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > каждая новая версия может что-то сломать в коде, и без стандарта тут никак.

    Ты вообще новости хотя бы за последние пару недель о сишных дыренях читал? Нравится? Язык сам по себе сломан, ему уже ничто не поможет. А стандарт для такого г*а - курам насмех, им только подтереться можно.

     
     
  • 7.147, Советский инженер (?), 08:48, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Ой, да что там доказывать. У них же прям стандарте эти поломки зафиксированы, а оно ходит и гордится ими.
     
     
  • 8.157, Аноним (157), 11:49, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Это просто программисты неправильные, не чтут стандарты и пишут некорректный код... текст свёрнут, показать
     
  • 7.186, Аноним (90), 01:20, 08/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Есть варианты. Только в этих вариантах rust'а нет.

    Хочешь без дыреней и переносимо - используй языки со своим рантаймом, типа java.

    Rust сюда никаким боком. Ибо переносимо - это не к нему.

     
     
  • 8.197, Прохожий (??), 02:52, 09/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    И зачем бы я так нагло врал, если всё легко проверяется Rust поддерживает больш... текст свёрнут, показать
     
     
  • 9.199, Аноним (198), 08:24, 09/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Больше одной - уже хорошо Вопрос почему не все Ответ из-за проблем с условной ... текст свёрнут, показать
     
     
  • 10.206, Прохожий (??), 02:04, 10/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Потому что они не популярны, например Раст намного сложнее Си, разработка под в... текст свёрнут, показать
     
     
  • 11.209, Аноним (198), 04:24, 10/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Проблем много Но rust решением этих проблем стать не может Это хороший экспери... текст свёрнут, показать
     
  • 3.95, Аноним (-), 16:15, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > В новости сказано, что теперь открыт.

    Если посмотреть оригинал новости на форониксе, то можно заметить что там такая весьма апачастая моделька. Сертифицированные бинари - только за бабки, только блобами. А вот вам тут помойка с сорцом и вы можете из этого попытаться сами что-то собрать. Без гарантий и наверное это усложнят по максимуму чтобы бизнес не портило. Свободненько так, характерненько.

     
  • 2.12, Аноним (31), 12:53, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Так апач это open source лицензия! Код открыт - вот лежит, бери и пользуйся.

    >  У проекта не было ни одного коммерческого заказчика.

    А ты наверное работаешь в Ferrous Systems раз знаешь такие подробности?
    Может ты еще и слышал такие слова как NDA?

     
     
  • 3.15, Аноним (44), 13:00, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Угрожать NDA анониму с опеннета - это сурово, конечно.
     
     
  • 4.16, Аноним (31), 13:06, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Так NDA - это не угроза, а факт который просто существует.
    Они могли продать свой продукт нескольким компаний, но говорить об этом не могут.

    А тут Анонимы с хрустальными шарами сразу авторитетно заявляют, что
    > "У проекта не было ни одного коммерческого заказчика. "

     
     
  • 5.46, Аноним (44), 14:06, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    НДА - это не факт, а соглашение. Ты не можешь предъявить неустановленному лицу нарушение соглашения.
     
  • 5.64, Клапауций (ok), 14:39, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Они могли продать свой продукт нескольким компаний, но говорить об этом не могут.

    Они могли. Только слиент тогда пошёл странный - пишет на Rust и не просто просто стесняется, а и активно противодействует разглашению сего безусловно комрометирующего факта. Не продукт с потециалом мирового доминирования, а язык разработки. Люди в черном какие-то.

    Очевидный и часто повторяющийся процесс выдавливания коммерчески не взлетевшего продукта в open source банально более вероятен. Я вам больше скажу - они этот продукт будет "Available for Purchase Later This Year", настолько качественно существующие клиенты зашифровались!

     
  • 2.17, Аноним (40), 13:08, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Собственно также, как и Мозилла отправила Раст на вольные хлеба:)
     
     
  • 3.20, Аноним (31), 13:13, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    И знамя подхватили гугл и майкрософт - на минуточку Gold и Platinum members организации Linux Foundation !

    Давай просто порадуемся, что язык попал в добрые руки компаний, которые продвигают опенсорс.
    А то отдали бы каким-то васянам из 'сообщества', которые мало того сами почти ничего не пишут, так еще и бедные как церковные мыши и нанять нормальных разработчиков не смогут.

     
     
  • 4.27, Аноним (39), 13:35, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    У Micro$oft руки недобрые. А у Гуглага они всё чаще становятся недобрыми.
     
     
  • 5.36, Аноним (31), 13:52, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Какой смелый Аноним!
    Вот покритикуешь Microsoft и гугл, они обидятся и не будут писать ядро линукса.
    И кто будет фиксить баги и реализовывать фичи? Неужели ты?
     
     
  • 6.42, Аноним (40), 14:01, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >>> и не будут писать ядро линукса. <<<

    Ох, горе то какое; когда-то и без этих паразитов прекрасно обходились!

     
     
  • 7.57, zog (??), 14:27, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Ох, горе то какое; когда-то и без этих паразитов прекрасно обходились!

    Это когда же? Без корпораций ядро Linux было полностью непригодным для продакшена. Ну хотя бы из-за того, что Торвальдс и сообщество, в одиночку, не осилили нормальный SMP.

     
     
  • 8.62, Аноним (40), 14:35, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Так и запишем паразиты не захотели писать своё, а решили сэкономить кучу денег,... текст свёрнут, показать
     
     
  • 9.65, Аноним (31), 14:40, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Так если бы он был готовый Он был сырым и багованным, несмотря на усилия IBM пр... текст свёрнут, показать
     
     
  • 10.68, Аноним (40), 14:47, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Так что мешало просто взять и написать своё НЕсырое и НЕзабагованное Правильно,... текст свёрнут, показать
     
     
  • 11.72, Аноним (31), 14:52, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Если что-то лежит бесплатно - то просто используем его Это же не опенсорс где п... текст свёрнут, показать
     
  • 11.75, Аноним (145), 14:59, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    не поддерживай паразитов пользуйся хурдом ... текст свёрнут, показать
     
     
  • 12.77, Аноним (40), 15:06, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    я и не поддерживаю хурд тут вообще не при чём ... текст свёрнут, показать
     
  • 8.87, Аноним (87), 15:43, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Да ладно, а как же свой велосипед под названием Windows Корпорация так и не пот... текст свёрнут, показать
     
  • 7.63, Анонимусс (?), 14:37, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    И получился бы GNU Hurd.
    Как, кстати, там он поживает? Уже готов к daily usage? Про прод даже молчу))
     
     
  • 8.67, Аноним (40), 14:44, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Скажите за это спасибо тем самым корпарасам, которые взяли под крылышко линукс ... текст свёрнут, показать
     
     
  • 9.71, Аноним (44), 14:52, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Опять Столлману в штаны насрали, да что ж такое ... текст свёрнут, показать
     
  • 6.43, Аноним (39), 14:01, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Какие тебе фичи нужны в ядре от Micro$oft: Hyper-V, код поддержки WSL2? Лично мне, ни то, ни другое. Да и Ондроедом я тоже не пользуюсь от слова совсем.
     
     
  • 7.66, Аноним (31), 14:42, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    ты купил себе айфон? это смело!
    или ты по старинке, с дисковым телефоном ходишь?
     
  • 4.30, Аноним (40), 13:37, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >>> И знамя подхватили гугл и майкрософт <<<

    нашли чему радоваться

     
  • 4.50, Аноним (10), 14:10, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Какая незадача. Вчера вечером правил свою программу. И не знал, что мной руководили названные вами голды и платинумы.
     
  • 4.112, Аноним (1), 18:25, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    И эти компании платят денег на одну зарплату разработчика. По факту административные расходы. Нормальных разработчиков на эти деньги нанять нельзя.
     
  • 3.125, Аноним (132), 19:07, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Собственно также, как и Мозилла отправила Раст на вольные хлеба:)

    Хватит уже эту чушь повторять. Доля Раста в Firefox постоянно растет.

    https://wiki.mozilla.org/Oxidation#Rust_Components

     
     
  • 4.185, Аноним (90), 00:50, 08/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ты там по ссылкам ходил? Как объяснишь такие факты:

    Из графика заканчивающегося в 2020: rust - 12.31%

    Из графической схемы за 2023 год: rust - 11.5%.

    За три года % rust имеет хороший ОТРИЦАТЕЛЬНЫЙ рос в -0.81%.

     
  • 2.105, Аноним (105), 18:11, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +3 +/
    т.е. ты хочешь сказать что Rust никому  не нужен? Да ну нет! Бред же!
     
  • 2.130, Аноним (130), 19:48, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Это тебе бабушка у подъезда в твоём Крыжополе рассказала или ты сам придумал?
     
  • 2.165, Golangdev (?), 18:45, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Плюсую, тоже самое хотел написать налицо все признаки невостребованности проекта... большой текст свёрнут, показать
     

     ....большая нить свёрнута, показать (125)

  • 1.2, Аноним (2), 12:29, 06/10/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +4 +/
    > проприетарного дистрибутива с Rust-компилятором для критически важных систем,
    > Ferrocene как можно ближе к upstream (в идеале вообще без изменений)

    Т.е. в идеале получать бабло и ничего не далать?

     
     
  • 2.4, Аноним (4), 12:31, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +6 +/
    Вполне благородная цель, достичь которой получается мало у кого. У этих вот не получается.
     
     
  • 3.6, Аноним (1), 12:37, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +4 +/
    Ну тут конечно дело не в компании. Дело в том что язык раст не подходит для критически важных систем.
     
     
  • 4.9, Аноним (9), 12:44, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +9 +/
    Да, я бы тоже для критически важных систем вместо раста взял язык с гигантским количеством UB. Еще желательно, чтобы в нем не было strsplit.
     
     
  • 5.32, Совершенно другой аноним (?), 13:43, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Если Вы про C, то да, в нём нет strsplit, зато есть strtok()/strtok_r(). Кроме того, можно воспользоваться strspn()/strcspn().
     
     
  • 6.35, Анонин (?), 13:51, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +5 +/
    > strtok()

    Нет! Это не путь настоящего сишника!
    Он напишет свой сплит и закоммитит его в ядро.

     
     
  • 7.59, Аноним (-), 14:31, 06/10/2023 Скрыто ботом-модератором     [к модератору]
  • +3 +/
     
  • 7.88, Аноним (87), 15:45, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    И за границы буфера не забудет выйти? Иначе какой же он тру сисшник без этого!
     
  • 5.114, Аноним (1), 18:26, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    В твоём расте больше непонятной магии чем в любом другом языке. В критических системах такого быть не может.

     
     
  • 6.148, Аноним (145), 08:51, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    просто IQ надо иметь выше 70 и все будет понятно.
     
  • 4.11, Аноним (11), 12:49, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • –6 +/
    Всегда было любопытно, какой сорт маргарина в голове у тех, кто делает подобные комментарии, и у тех, кто их плюсует.
     
     
  • 5.13, Аноним (31), 12:54, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Троллинг just fun?
    Тут сайт анонимов, можно писать почти все что угодно.
    И никто не узнает какие позорные кода тебе самому приходилось писать))
     
     
  • 6.18, Аноним (18), 13:09, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Можно из года в год формировать мнение о чем либо у анонимов Пресли дуя свои цели.
     
  • 5.14, Аноним (44), 12:59, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Это называется троллинг тупостью. Добро пожаловать в интернет.
     
     
  • 6.19, Аноним (18), 13:12, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >Добро пожаловать в интернет.

    Я практикую в IRL на работе и дома.

     
  • 5.84, Аноним (79), 15:29, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Веганам для справки: в мозге холестерин.
     
  • 5.116, Аноним (1), 18:27, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    В зеркало посмотрись. Ты не можешь принять очевидного.
     
  • 4.28, пох. (?), 13:36, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Зочем вы так? Конечно же подходит - просто пока получилось только помигать светодиодиком, и то через сишные объектники - зато безопастно!

    Остальное на подходе. Еще чуть чуть, вот-вот, немного подождать... щасщасщас - клиппи опять чем-то недовольна.

     
     
  • 5.49, Аноним (44), 14:09, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Какой-то ты поехавший. Кучи проектов, комьюнити инженеров, вливания бабла - это для тебя помигать светодиодиком? Ты тогда видимо занимаешься стуком по кнопкам?
     
     
  • 6.53, пох. (?), 14:18, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Кучи - это да.

    Кучи у вас получаются хорошо. А вот ресдох - почему-то сдох. Что же могло пойти не так?

     
     
  • 7.74, Аноним (44), 14:57, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Воздуханство какое-то, родители тебя не воспитывали, в лесу рос? Тот сдох, с этим ничего не получается, те ничего не делают. Один ты сидишь на куче навоза и воняешь, что есть мочи. Молодец!
     
     
  • 8.98, пох. (?), 17:02, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А я чем виноват Я их не убивал мне визу не дают, а то б, конечно Этим вот,... текст свёрнут, показать
     
     
  • 9.100, Анонимм (??), 17:40, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Возможно граждане просто сидели ровно и нифига не делали Ну так за действие или... текст свёрнут, показать
     
     
  • 10.101, пох. (?), 17:44, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А я в этом тоже виноват Кстати, у граждан с эскопетой каждый второй комит - a... текст свёрнут, показать
     
     
  • 11.152, Аноним (31), 09:41, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Просто открой книжку анекдотов, называется Конституция и другие веселые расск... текст свёрнут, показать
     
  • 10.102, пох. (?), 17:47, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А, или ты про граждан Те которые сидели неровно - сидят теперь лет по пятнадцат... текст свёрнут, показать
     
  • 7.149, Аноним (145), 08:55, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >А вот ресдох - почему-то сдох.

    редокс поживее хурда будет, но клоуну же это не интересно, он тут лужи газифицирует.
    какие еще клоунские выперды будут на сегодня?

     
  • 5.69, Аноним (31), 14:50, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А если взять много светодиодиков, то получится монитор?
    Если так считать - то ты прав (сам в шоке что с тобой соглашаюсь)

    "Microsoft Windows graphics interface device is currently being ported to Rust"

     
     
  • 6.76, пох. (?), 14:59, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Повторяю - то что кто-то там в MS нашел себе хорошо оплачиваемую бесполезную работу - совершенно ничего не говорит о том что его поделка не отложена на полочку бесполезных достижений народного хозяйства.

     
     
  • 7.78, Аноним (31), 15:08, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ты так уверенно говоришь, как будто в майкрософте работаешь)
     
     
  • 8.118, Аноним (1), 18:29, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Ты так говоришь как будто на расте уже что-то дельное смог написать ... текст свёрнут, показать
     
     
  • 9.150, Аноним (145), 08:56, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    ты так говориш, как будто уже что-то дельное смог написать ... текст свёрнут, показать
     
  • 6.128, _ (??), 19:21, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >"currently being ported to Rust"

    Перевести ? :)
    Вот когда будет "has been successfully ported to Rust" - приходи!
    А такого добра - это каждый первый проект на ржавом - то же мне удивил :)

     
  • 6.162, Филя (?), 15:48, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    https://ru.wikipedia.org/wiki/Microsoft_Singularity

    Из той же оперы. Потужились, слепили, потыкали палочкой -- не ползет. Еще потыкали -- все равно не шаволится. Плюнули, перевели в открытые проекты и пошли дальше.

     
     
  • 7.164, пох. (?), 17:28, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > https://ru.wikipedia.org/wiki/Microsoft_Singularity
    > Из той же оперы. Потужились, слепили, потыкали палочкой -- не ползет. Еще

    это потому что на неправильных язычках писали! Вот щас как перепишут венду на правильном! (надеюсь, все же, в процессе либо шах, либо ишак, либо уж в крайнем случае...)

     
  • 3.8, 12yoexpert (ok), 12:41, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    мне кажется, только эти ценители и в состоянии
     

     ....большая нить свёрнута, показать (35)

  • 1.33, Аноним (33), 13:43, 06/10/2023 Скрыто ботом-модератором [﹢﹢﹢] [ · · · ]     [к модератору]
  • +/
     
     
  • 2.54, пох. (?), 14:19, 06/10/2023 Скрыто ботом-модератором     [к модератору]
  • –1 +/
     

  • 1.109, Аноним (109), 18:21, 06/10/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    > Ferrocene предоставляет инструментарий для разработки на языке Rust приложений для защиты информации и критически важных систем, требующих повышенной надёжности (Safety-Critical Systems), сбой в которых может угрожать жизни людей, нанести вред окружающей среде или привести к серьёзным повреждениям оборудования.

    И тут все начали форкать, переводить на свой язык, допиливать и выпускать свои стандарты. У некоторых даже вышел стандартный понос!

     
  • 1.111, Аноним (1), 18:24, 06/10/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +5 +/
    О чем можно говорить с людьми которые до сих пор считают что у дропбокса бек на расте. У дропбокса бек на го, на расте какие-то левые тулзы, а гитхаб дропбокса на расте по большей части заброшен.
     
     
  • 2.137, Вы забыли заполнить поле Name (?), 23:32, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > у дропбокса бек на расте. У дропбокса бек на го, на расте какие-то левые тулзы

    Яндекс Диск тем временем на питоне

     
     
  • 3.158, Аноним (-), 12:33, 07/10/2023 Скрыто ботом-модератором     [к модератору]
  • –5 +/
     

  • 1.131, Аноним (33), 19:56, 06/10/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Всё, наигрались?
     
     
  • 2.135, Vnezapno (?), 21:29, 06/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А , чё им ещё делать , билдить и писать комментарии это разные вещи. В первом варианте надо прикладывать усилия и потом получать библиотеки , во втором случае надо разговаривать о высоком , о чем то типа важном что бы казаться прокачанным скиловиком с набитыми шишками и набивать скор на каком нибудь сайте.
     

  • 1.153, Аноним (153), 09:41, 07/10/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • –2 +/
    > Надёжность Ferrocene верифицирована через применение расширенных методов проверки, тестирования и управления качеством

    единственный формально верифицированный компилятор - С

    https://compcert.org

    у Rust просто тестирование, верификация тут лишнее слово - попытка выдать желаемое за действительное

     
     
  • 2.163, Аноним (163), 17:10, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > По традиции, доброе опеннет-коммюнити должно проехаться по всему коду, и цокая языками,
    > выставлять оценки умственным способностям авторов и как они совершенно не умеют
    > в < любой ЯП>. Коммитить в проект они конечно не будут (чтобы самим
    > не попасть под огонь из канализационной пушки).

    Пофиксил, не благодари.


     
     
  • 3.168, Аноним (153), 19:45, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • –2 +/
    > По традиции, доброе опеннет-коммюнити должно проехаться по всему коду, и цокая языками,
    > выставлять оценки умственным способностям авторов

    это ты автор чтоли ? найди у настоящих авторов хоть слово про верификацию

    https://ferrous-systems.com/blog/qualifying-rust-without-forking/

     
     
  • 4.169, Аноним (163), 20:49, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >> По традиции, доброе опеннет-коммюнити должно проехаться по всему коду, и цокая языками,
    >> выставлять оценки умственным способностям авторов
    > это ты автор чтоли ? найди у настоящих авторов хоть слово про верификацию

    Вообще-то, это был ответ на (уже) удаленное сообщение, на что как бы намекает цитата.

    Иронично, что (не очень) умные свидетели формальной верификации все равно возбудились и с пеной у рта ринулись на защиту чего-то там.
    А, ну да, с чтением у них не очень - ни разницу между "верификацией" и "формальной верификацией" понять, ни "CompCert C is a subset of C" заметить.
    Куда уж там смотреть на цитируемое, некогда - тут супротив Раста воевать надо!

     
     
  • 5.170, Аноним (153), 21:23, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > ни разницу между "верификацией" и "формальной верификацией"

    найди у авторов хоть слово про верификацию или балабол

    > Куда уж там смотреть на цитируемое, некогда - тут супротив Раста воевать надо!

    ты не являешься автором ни раста, ни Ferrocene, ни цитируемых цитат, наверно и не автор новости, тебе мерещатся какие-то воены супротив Раста, опять принял чего-то ?

     
     
  • 6.172, Аноним (163), 21:52, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ты опять что-то проецируешь из своих фантазий и переводишь стрелки, Балабол Супр... большой текст свёрнут, показать
     
     
  • 7.174, Аноним (153), 22:17, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • –3 +/
    > Ты опять что-то проецируешь из своих фантазий

    читай балаболка как тестируется Ferrocene

    https://ferrous-systems.com/blog/how-ferrocene-improves-rust/

    > Посмотри уже, что такое цитата

    расскажи ещё про верифицированные сборки компилятора раст, если не они то получается ты их верифицировал, хехе.

     
     
  • 8.176, Аноним (163), 23:08, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Ты опять спрыгнул с темы, оспорил свои фантазии и приписал мне что-то но ба... текст свёрнут, показать
     
  • 4.173, Аноним (163), 21:59, 07/10/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    https://www.opennet.me/cgi-bin/openforum/vsluhboard.cgi?az=list&forum=vsluhfor
    > По традиции, доброе Rust-коммюнити должно проехаться по всему коду, и цокая язык, Аноним (275) , 15:38 , 07-Окт-23 (161)
    > УДАЛЕНО.Отмодерировано: mc, Время: Sat Oct 7 19:18:00 2023
    > По традиции, доброе Rust-коммюнити должно проехаться по всему коду, и цокая языками, выставлять оценки умственным способностям авторов и как они совершенно не умеют в Rust. Коммитить в проект они конечно не будут (чтобы самим не попасть под огонь из канализационной пушки).

    Так что выдыха^W узбагойся, о Великий Верификатор, это глюк движка форума, когда ответы от удаленного сообщения "подцепляют" к комментам выше.

     

  • 1.184, Аноним (177), 00:41, 08/10/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    >Ferrocene is the upstream Rust compiler, rustc, unmodified - thoroughly tested on targets that are not supported by upstream.

    Это что, троллинг такой? Это же rustc вообще без изменений. Ахахаха!

     
     
  • 2.188, Аноним (153), 01:33, 08/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Это же rustc вообще без изменений.

    он верефецированый радугой, хехе, в стране грёз автора новости

     
  • 2.204, Прохожий (??), 01:44, 10/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ты где этот текст нашёл?

    Я вот по ссылке из заметки читаю следующее.

    Ferrocene is the main Rust compiler - rustc - but quality managed and qualified for use in automotive and industrial environments (currently by ISO 26262 and IEC 61508) by Ferrous Systems. It operates as a downstream to the Rust project, further increasing its testing and quality on specific platforms.

     
     
  • 3.216, Аноним (216), 08:42, 13/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ну и где тут изменения?
     
  • 3.218, Аноним (218), 03:08, 19/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Это вообще-то сами разработчики пишут, учись гуглить
    https://ferrous-systems.com/blog/qualifying-rust-without-forking/
     

  • 1.190, Медведь (ok), 02:34, 08/10/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Мне даже немного жаль растаманов, они смешные, напоминают жабберов эпохи ранней жаббы: пока в жаббе какая-то фича вроде лямбд была не реализована, они с пеной у рта доказывали всем, что эта самая фича никому нафиг не уперлась, что она, в сущности, вообще вредна, опасна и ломает концепцию святой жаббы. Но стоило этой фиче в жаббе пояиться, как они начинали радостно вопить об этом на всех углах, совать ее всем под нос как доказательство неизбывной крутости жаббы и т.д. и т.п.

    Точно так же, появись ISO стандарт на раст, растаманы вопили бы об этом на каждом углу как о новой победе раста, великого и безопасного. Ну а пока сей факт имеет место только в их бурных фантазиях, то и сама идея стандартизации ЯП не нужна, и даже вредна, и вообще, отвяжитесь! не мешайте RFC-шки лепить.

     
     
  • 2.203, Прохожий (??), 01:37, 10/10/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Куда более смешные Воины Супротив Раста. Они изо всех сил тужатся, где бы найти повод прицепиться хоть к чему-нибудь, иногда у них создаётся обманчивое впечатление, что вот, они наконец-то нашли самый главный изъян. Но потом реальность показывает, что они облажались. А поезд тем временем ушёл.
     
     
  • 3.212, Аноним (198), 13:06, 10/10/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Какая бурная фантазия, однако.

    А на улице все женщины про длину твоего .. шепчутся?

     
  • 3.213, Аноним (213), 13:31, 10/10/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Большинство из тех кто тут оставляет комментарии, к ж/д станции дойти уже (к сожалению) не могут.
     
     
  • 4.217, Аноним (216), 08:44, 13/11/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Этот поезд уходит в ГУЛАГ, туда не всем нужно.
     

  • 1.191, Аноним (191), 04:21, 08/10/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    > Одной из целей разработки является... продвижению в основной состав rustc возможностей востребованных в критически важных системах и встраиваемых промышленных устройствах.

    Отличная новость, а то чет надо всякое барахло ставить.

     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Партнёры:
    PostgresPro
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2024 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру