The OpenNET Project / Index page

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



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

"Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от opennews (??), 06-Окт-23, 12:26 
Компания Ferrous Systems объявила о начале преобразования Ferrocene, проприетарного дистрибутива с Rust-компилятором для критически важных систем, в открытый проект. Код Ferrocene опубликован под лицензиями Apache 2.0 и MIT. Ferrocene предоставляет инструментарий для разработки на языке Rust приложений для защиты информации и критически важных систем, требующих повышенной надёжности (Safety-Critical Systems), сбой в которых может угрожать жизни людей, нанести вред окружающей среде или привести к серьёзным повреждениям оборудования...

Подробнее: https://www.opennet.me/opennews/art.shtml?num=59881

Ответить | Правка | Cообщить модератору

Оглавление

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


1. "Открытие кода Rust-компилятора Ferrocene"  +31 +/
Сообщение от Аноним (1), 06-Окт-23, 12:26 
По факту проект закрыт. Его выбросили в опенсорс показательно под лицензией апач. У проекта не было ни одного коммерческого заказчика.
Ответить | Правка | Наверх | Cообщить модератору

10. "Открытие кода Rust-компилятора Ferrocene"  –4 +/
Сообщение от Аноним (10), 06-Окт-23, 12:47 
В новости сказано, что теперь открыт.
Ответить | Правка | Наверх | Cообщить модератору

26. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от kir (??), 06-Окт-23, 13:32 
Тут вопрос в сертификации. Если какой-то язык имеет стандарт ISO, то можно сказать, что он открыт. А без стадарта он считай, что не существует.
Ответить | Правка | Наверх | Cообщить модератору

31. "Открытие кода Rust-компилятора Ferrocene"  –1 +/
Сообщение от Аноним (31), 06-Окт-23, 13:37 
А какой смысл в стандартах, которые никто не выполняет.

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

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

Ответить | Правка | Наверх | Cообщить модератору

37. "Открытие кода Rust-компилятора Ferrocene"  –5 +/
Сообщение от kir (??), 06-Окт-23, 13:52 
Порвался? Жаль
Смысл в самом факте наличия сертификации. Точнее не только в нём, но и не совсем. С сертифицированым языком можно запросто чуть ли ни в две строчки вызывать аутофелляцию, а так нет. В C++ или С я так могу, а вашем Rust или C# - нет.  Покажи мне хоть один серьёзный проект без сертификатов.
Ответить | Правка | Наверх | Cообщить модератору

41. "Открытие кода Rust-компилятора Ferrocene"  +4 +/
Сообщение от Аноним (31), 06-Окт-23, 14:00 
> Порвался? Жаль

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

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

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

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

56. "Открытие кода Rust-компилятора Ferrocene"  +2 +/
Сообщение от пох. (?), 06-Окт-23, 14:24 
> Винда11, андроид, Amazon AWS - там есть код на Раст, не думаю

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

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

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

61. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Анонин (?), 06-Окт-23, 14:35 
"The Microsoft Windows graphics interface device is currently being ported to Rust to the tune of 36,000 lines of Rust code, and there’s a system call (SysCall) in the Windows kernel right now which is implemented in Rust."
А как можно интерпретировать "in the Windows kernel right now" кроме как то что оно уже в винде?

> На хрусте как максимум написан синтаксический анализатор.

rustc is the compiler for the Rust programming language

Ответить | Правка | Наверх | Cообщить модератору

79. "Открытие кода Rust-компилятора Ferrocene"  –1 +/
Сообщение от Аноним (79), 06-Окт-23, 15:12 
> a system call (SysCall) in the Windows kernel right now which
> is implemented in Rust."

Поиск выдал это

"There's actually a SysCall in the Windows kernel now that is implemented in Rust," said Weston. https://youtu.be/8T6ClX-y2AE?t=3149

Подскажите, пожалуйста, чайнику, о чём говорит Weston?

Он имеет ввиду, что обработчик int 2e, диспетчерезующий адреса из SSDT, переписали на Rust?

Ответить | Правка | Наверх | Cообщить модератору

83. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Анонин (?), 06-Окт-23, 15:28 
Без понятия. Я под винду писал очень мало и это было давно.
Может это и int 2Eh.
Вот когда исходники винды в очередной раз утекут - тогда и посмотрим))
Ответить | Правка | Наверх | Cообщить модератору

89. "Открытие кода Rust-компилятора Ferrocene"  –1 +/
Сообщение от Аноним (79), 06-Окт-23, 15:48 
> Без понятия.

Ммм... У меня, так сказать, риторический вопрос ко всем. Но спасибо, что ответили, весьма показательно.

SSDT расшифровывается System Service Dispatch Table.

То, что в Linux некоторые называют SysCall, в NT определено как System Service.

Ответить | Правка | Наверх | Cообщить модератору

96. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Анонин (?), 06-Окт-23, 16:32 
Весьма показательно что? Что я не компетентен в виндовой системщине? Ну так это и не вопрос даже.
Чел из мелкософта назвал что именно они переписали и переписывают.
Его за язык никто не тянул, а проверить правда ли это мы не можем.
Ответить | Правка | Наверх | Cообщить модератору

97. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (79), 06-Окт-23, 16:57 
> Весьма показательно что? Что я не компетентен в виндовой системщине? Ну так
> это и не вопрос даже.

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

> Чел из мелкософта назвал что именно они переписали и переписывают.

Именно? Каждый зарегистрированный в SSDT системный сервис имеет имя. Таковое оратор не назвал, потому что он его не знает. При этом не использовал принятую там терминологию, потому что её не знает, либо целенаправленно в расчёте на таких как ты.

> Его за язык никто не тянул, а проверить правда ли это мы
> не можем.

Ты точно не можешь проверить. А я не заинтересован.

Ответить | Правка | Наверх | Cообщить модератору

99. "Открытие кода Rust-компилятора Ferrocene"  +3 +/
Сообщение от Анонин (?), 06-Окт-23, 17:08 
> Показательно, что адепт пишет о вопросе, не имея малейшего представления.

Ну так ты тоже про раст пишешь и вроде жив-здоров.

> Таковое оратор не назвал, потому что он его не знает.
> ...  потому что её не знает, либо целенаправленно в расчёте ...

Сильное утверждение. Т.е. ты обвиняешь Westonа во лжи?

Ответить | Правка | К родителю #97 | Наверх | Cообщить модератору

141. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (79), 07-Окт-23, 05:37 
>> Показательно, что адепт пишет о вопросе, не имея малейшего представления.
> Ну так ты тоже про раст пишешь и вроде жив-здоров.

Ты забыл показать цитаты, где я пишу про раст. Поскольку при этом ты заикнулся о здоровье, а я слышал краем уха, что такое проекции, помогу тебе с этим:

(9.91) Какая же это свобода? Если окружающие попросят исходники, придётся показать.

(6.81) Зачем в STL модули?

(5.84) Веганам для справки: в мозге холестерин.

Если ты видишь здесь раст, советую тебе не затягивать, а обратиться к специалисту.

>> Таковое оратор не назвал, потому что он его не знает.
>> ...  потому что её не знает, либо целенаправленно в расчёте ...
> Сильное утверждение. Т.е. ты обвиняешь Westonа во лжи?

Бритва Хэнлона учит нас, что скорее этот клон Дудя, точно так же как и ты, не только не написал ни строчки для ядра, но даже не видел в глаза документацию. Соответственно заставляет фанатиков уверовать в существование сискола без злого умысла. Ты, конечно, можешь подтвердить слова гуру и предоставить факты, подтвердить эту часть его проповеди.

Ответить | Правка | К родителю #99 | Наверх | Cообщить модератору

154. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Анонин (?), 07-Окт-23, 09:47 
> Ты забыл показать цитаты, где я пишу про раст

Принято. С таким душнилой буду максимально точен в формулировках.
Заменю это на "Ну так ты тоже В ТЕМЕ про раст пишешь..."

> Бритва Хэнлона учит нас

О, пошла философия))

А теперь сравним два факта:
1. David Weston из Microsoft OS Security делает некое утверждение на конференции по безопасности BlueHat IL 2023, перед аудиторией, среди которой треть, если не половина, может проверить его слова.

2. Безымянный аноним на опеннете, который решил докопаться до использованной терминологии, утверждает, что это утверждение ложь.

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

Но т.к. ты "не заинтересован" возникает вопрос, а способен ли ты на это вообще? Потому что если мы так легко ставим под сомнения компетентность Дейва, то что нам мешает подвергнуть сомнениям твою компетентность? Про тебя мы вообще ничего не знаем, в отличие от.

Ну а в моих способностях ты уже расписался, молодец. Сильное колдунство или телепатия наверное))

Ответить | Правка | К родителю #141 | Наверх | Cообщить модератору

166. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (79), 07-Окт-23, 19:26 
>> Ты забыл показать цитаты, где я пишу про раст
> Принято. С таким душнилой буду максимально точен в формулировках.
> Заменю это на "Ну так ты тоже В ТЕМЕ про раст пишешь..."

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

Сейчас ты подменил тезис и сделал это максимально глупо.

>> Бритва Хэнлона учит нас
> О, пошла философия))
> А теперь сравним два факта:
> 1. David Weston из Microsoft OS Security делает некое утверждение на конференции
> по безопасности BlueHat IL 2023, перед аудиторией, среди которой треть, если
> не половина, может проверить его слова.

Я уже проверил. syscall - это команда процессора.

> 2. Безымянный аноним на опеннете, который решил докопаться до использованной терминологии,
> утверждает, что это утверждение ложь.

Не ложь, а чушь.

> К какому же утверждению больше доверия?

К документации Intel и AMD, где описанная упомянутая оратором команда.

> Напомню, что бремя доказательства лежит на утверждающем, поэтому потрудись доказать что

"There's actually a SysCall in the Windows kernel now that is implemented in Rust,"

Ты это сюда принёс, вот и доказывай.

Ответить | Правка | К родителю #154 | Наверх | Cообщить модератору

193. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Прохожий (??), 09-Окт-23, 02:24 
>There's actually a SysCall in the Windows kernel now that is implemented in Rust," Ты это сюда принёс, вот и доказывай.

Что он должен доказать? Что некий сотрудник из Microsoft говорил это? Думаю, ты сам можешь в этом убедиться, воспользовавшись поиском.

Или он должен доказать истинность высказывания другого человека, не имея доступа к исходному коду ОС Windows?

Ответить | Правка | К родителю #166 | Наверх | Cообщить модератору

210. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (79), 10-Окт-23, 07:18 
>>There's actually a SysCall in the Windows kernel now that is implemented in Rust," Ты это сюда принёс, вот и доказывай.
> Что он должен доказать? Что некий сотрудник из Microsoft говорил это? Думаю,
> ты сам можешь в этом убедиться, воспользовавшись поиском.

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

> Или он должен доказать истинность высказывания другого человека, не имея доступа к
> исходному коду ОС Windows?

Или он может привлечь специалистов, кто способен это сделать за него. Видишь ли, это не столь сложно, как тебе кажется.

Ответить | Правка | К родителю #193 | Наверх | Cообщить модератору

192. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Прохожий (??), 09-Окт-23, 02:19 
>Показательно, что адепт пишет о вопросе, не имея малейшего представления.

Здесь скорее показательно, как ты врёшь на ровном месте. Человек привёл цитату из высказывания другого человека, чей опыт у тебя проверить нет никакой возможности, если ты не сотрудник Microsoft, имеющий доступ к исходникам Windows.

Ответить | Правка | К родителю #97 | Наверх | Cообщить модератору

211. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (79), 10-Окт-23, 07:23 
>>Показательно, что адепт пишет о вопросе, не имея малейшего представления.
> Здесь скорее показательно, как ты врёшь на ровном месте. Человек привёл цитату
> из высказывания другого человека,

Твой друг процитировал слова, не понимая их смысл, и он сам это признал.

> чей опыт у тебя проверить нет никакой
> возможности, если ты не сотрудник Microsoft, имеющий доступ к исходникам Windows.

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

Ответить | Правка | К родителю #192 | Наверх | Cообщить модератору

126. "Открытие кода Rust-компилятора Ferrocene"  +2 +/
Сообщение от _ (??), 06-Окт-23, 19:10 
"is currently being ported to Rus"
Перевести на великий и могучий?
У вас __всё__ так. Покажите хоть что то чего "has been successfully ported to Rust" ... нетути? :-D
Ответить | Правка | К родителю #61 | Наверх | Cообщить модератору

142. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (79), 07-Окт-23, 05:44 
Совершенное прошедшее может быть и в пределах лаборатории, как уже случалось с Сингулярностью. Так что интереснее цитаты со словами "deployed" и "customers".
Ответить | Правка | Наверх | Cообщить модератору

155. "Открытие кода Rust-компилятора Ferrocene"  +2 +/
Сообщение от Анонимусс (?), 07-Окт-23, 09:53 
Ай,ай,ай... А что же только кусок цитаты выдернул? Там же продолжение есть:
"there’s ... in the Windows kernel right now which is implemented in Rust."

Какое тебе слово перевести "there’s", "right now" или "is implemented in Rust"?

Ответить | Правка | К родителю #126 | Наверх | Cообщить модератору

167. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (79), 07-Окт-23, 19:36 
> Ай,ай,ай... А что же только кусок цитаты выдернул? Там же продолжение есть:
> "there’s ... in the Windows kernel right now which is implemented in
> Rust."
> Какое тебе слово перевести "there’s", "right now" или "is implemented in Rust"?

Переведи мне слово syscall, которое ты заботливо заменил многоточием. Заодно расскажи, что это такое применительно к Windows kernel. Ты ведь понимаешь предмет, в отличие от того адепта выше?

Ответить | Правка | Наверх | Cообщить модератору

175. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Анонн (?), 07-Окт-23, 22:38 
Они переписали GDI region на раст и тестят его на части пользователей.
Начиная с 25357.1 добавлена win32kbase_rs.sys и win32kfull_rs.sys.
Тут расписали подробнее https://infosec.exchange/@cxiao/110562188960426172

С одной стороны это не так уж и много, с другой - там наверняка была  подготовительная работа, чтобы вписать это все в ядро, аналогичная тому, что делается на ветке rust-for-linux.

Ответить | Правка | К родителю #61 | Наверх | Cообщить модератору

103. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (103), 06-Окт-23, 17:51 
Почему обязательно индусы? Вот это как-то обидно, там полно разработчиков с разных стран. И да, новые технологии исследуются и применяются. Все что вам нужно знать так это то что винда работает достаточно стабильно, быстро. Под неё есть множество драйверов и программ. А от моё устройство на Linux недавно обновилось и перестало работать, пришлось несколько часов разбираться.
Ответить | Правка | К родителю #56 | Наверх | Cообщить модератору

55. "Открытие кода Rust-компилятора Ferrocene"  +2 +/
Сообщение от zog (??), 06-Окт-23, 14:22 
> С сертифицированым языком можно запросто чуть ли ни в две строчки вызывать аутофелляцию

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

Ответить | Правка | К родителю #37 | Наверх | Cообщить модератору

73. "Открытие кода Rust-компилятора Ferrocene"  +8 +/
Сообщение от Аноним (73), 06-Окт-23, 14:54 
Один из трёх принципов ООП, ЕМНИП
Ответить | Правка | Наверх | Cообщить модератору

80. "Открытие кода Rust-компилятора Ferrocene"  +3 +/
Сообщение от Анонимм (??), 06-Окт-23, 15:14 
А разве это не одна из свобод GNU?
>>> "Свобода выполнять программу как вам угодно в любых целях"

Вот человек выполняет как ему угодно, не смотря на мнение окружающих.

Ответить | Правка | Наверх | Cообщить модератору

91. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (79), 06-Окт-23, 15:56 
Какая же это свобода? Если окружающие попросят исходники, придётся показать.
Ответить | Правка | Наверх | Cообщить модератору

94. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Анонимм (??), 06-Окт-23, 16:06 
А ты уверен, что он не покажет?
Я вот не уверен, поэтому даже вспоминать о такой свободе не буду - мне моя психика дороже)
Ответить | Правка | Наверх | Cообщить модератору

107. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (107), 06-Окт-23, 18:16 
Ауто - значит сам с собой, а не с другими. Себе исходники и покажет, жаждущее халявы сообщество пошлет не нарушая лицензии.
Ответить | Правка | К родителю #91 | Наверх | Cообщить модератору

144. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (79), 07-Окт-23, 07:15 
Спасибо, наконец понял, почему auto_ptr<> удалили из языка!
Ответить | Правка | Наверх | Cообщить модератору

108. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от User (??), 06-Окт-23, 18:20 
Главное в скобочках не обсчитаться и автофлагелляцию не вызвать... Хотя, какая ему разница?
Ответить | Правка | К родителю #55 | Наверх | Cообщить модератору

189. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Коля22 (?), 08-Окт-23, 01:54 
Поясняю, что делают эти кхм... альтернативно одаренные растаманы: тему стандартов начал один человек с ником kir, они начали вываливать в тред сообщения под тем же ником, но содержащие всякую чушь типа того, о чем ты спрашиваешь, тем самым сбивая остальных с толку и выставляя автора вопросов неадекватом.
Ответить | Правка | К родителю #55 | Наверх | Cообщить модератору

110. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноньимъ (ok), 06-Окт-23, 18:24 
>  или C# - нет.  Покажи мне хоть один серьёзный проект без сертификатов

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

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

Ответить | Правка | К родителю #37 | Наверх | Cообщить модератору

139. "Открытие кода Rust-компилятора Ferrocene"  –2 +/
Сообщение от анонимус (??), 07-Окт-23, 02:56 
В С++ уже давно используется nullptr вместо null )))
Ответить | Правка | Наверх | Cообщить модератору

140. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноньимъ (ok), 07-Окт-23, 03:07 
> В С++ уже давно используется nullptr вместо null )))

😮
Сдаюсь 🏳️

Ответить | Правка | Наверх | Cообщить модератору

215. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от wyry (?), 05-Ноя-23, 16:44 
Вообще-то C# 4.0 и C# 5.0 стандартизированы. Документ стандарта на всех актуальных языках (включая русский) поставлялся с соответствующими Visual Studio. Это кстати во многом и способствовало выходу C# за пределы винды. То, что самые новые версии не сертифицированы не столь важно, т.к. там больше синтаксического сахара и удобства (хотя это спорный вопрос), чем новых фишек и стандарт от 5.0 вполне покрывает 99% задач.
Кстати в C# тоже часто приходится проверять ссылочные типы на NULL. Более того, в C# разработчик не застрахован от утечек памяти, разница лишь в том, что невозможен (если только нет уязвимостей в рантайме) доступ к этой памяти, в C++ для этого потребуется использовать smart pointers и/или move-семантику.
Ответить | Правка | К родителю #110 | Наверх | Cообщить модератору

119. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Неуважаемому kir (?), 06-Окт-23, 18:31 
Rust вполне серьёзный проект. Он только на Open Collective собирает от 200000€ в год. И его популярность ещё набирает обороты. Стандарты ваши позволяют разве-что создавать разные компиляторы. Они являются договором между компаниями. Учитывая цель этого языка и владельцев, вероятность того что у них появится стандарт очень низка. И никто не будет интересоваться вашим быдловатым мнением с разными оскорблениями всех подряд — проект будет расти и пользоваться популярностью.
Ответить | Правка | К родителю #37 | Наверх | Cообщить модератору

177. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (177), 08-Окт-23, 00:12 
С чего бы это, если в последнее время Раст явно сдает позиции?
Ответить | Правка | Наверх | Cообщить модератору

194. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Прохожий (??), 09-Окт-23, 02:34 
На сайте Opennet среди местных Воинов Супротив Раста?
Ответить | Правка | Наверх | Cообщить модератору

198. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (198), 09-Окт-23, 08:18 
Это мировой заговор.

Весь мир против вас. А вы дартаньяны все в белом!

Ответить | Правка | Наверх | Cообщить модератору

201. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Прохожий (??), 10-Окт-23, 01:19 
Весь мир не состоит из опеннетные экспертов, как бы тебе ни хотелось.
Ответить | Правка | Наверх | Cообщить модератору

207. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (198), 10-Окт-23, 04:14 
> Весь мир не состоит из опеннетные экспертов, как бы тебе ни хотелось.

Но заговор то есть! Вокруг тебя, как ты говоришь "Воины Супротив Раста".

Ответить | Правка | Наверх | Cообщить модератору

145. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (145), 07-Окт-23, 08:28 
Эй, порванец!

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

Ответить | Правка | К родителю #37 | Наверх | Cообщить модератору

159. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (159), 07-Окт-23, 14:52 
Дружок, речь о стандартах на языки программирования. Мне за тебя прочитать, на каком языке это ядро написано?
https://www.iso.org/standard/74528.html
Ответить | Правка | Наверх | Cообщить модератору

45. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от BeLord (ok), 06-Окт-23, 14:05 
А какой компилятор поддерживает железо полностью? А у какого компилятора можно принудительно выставить хотя бы архитектуру процессоров, к примеру, вот хочу я оптимизацию по Zen3 и мне по фигу будет работать ПО на других архитектурах или нет, ну и как?-)
Ответить | Правка | К родителю #31 | Наверх | Cообщить модератору

117. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от yet another anonymous (?), 06-Окт-23, 18:28 
> А у какого компилятора можно принудительно выставить хотя бы архитектуру процессоров,

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

Ответить | Правка | Наверх | Cообщить модератору

85. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от ьщккгнр (?), 06-Окт-23, 15:42 
C в GCC — это Compiler Collection, а не язык Си ;-Q
Ответить | Правка | К родителю #31 | Наверх | Cообщить модератору

136. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от YetAnotherOnanym (ok), 06-Окт-23, 21:43 
Пиши на Ц89 и будет тебе щястье. А от сахара бывают кариес и диабет.
Ответить | Правка | К родителю #31 | Наверх | Cообщить модератору

34. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (31), 06-Окт-23, 13:44 
или взять C++
ни GCC, ни CLANG не поддерживают модули в С++20,
а уже на миуточку заканчивается 2023 год

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

Ответить | Правка | К родителю #26 | Наверх | Cообщить модератору

39. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (39), 06-Окт-23, 13:55 
Получается, что STL по щелчку пальцев на модули не перевести.
Ответить | Правка | Наверх | Cообщить модератору

81. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (79), 06-Окт-23, 15:16 
Зачем в STL модули?
Ответить | Правка | Наверх | Cообщить модератору

133. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (133), 06-Окт-23, 20:42 
Опа, товарищ не шарит за стандарты. То, о чём ты говоришь (стандартная библиотека, переведённая на модули), включено в стандарт 2023 года.
Ответить | Правка | К родителю #39 | Наверх | Cообщить модератору

143. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (79), 07-Окт-23, 05:54 
При такой формулировке стоит уточнять, что STL это лишь часть стандартной библиотеки.
Ответить | Правка | Наверх | Cообщить модератору

40. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (40), 06-Окт-23, 13:57 
>>> ни GCC, ни CLANG не поддерживают модули в С++20, <<<

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

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

Ответить | Правка | К родителю #34 | Наверх | Cообщить модератору

60. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (31), 06-Окт-23, 14:33 
А я не хочу такое представлять)

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

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

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

90. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (90), 06-Окт-23, 15:51 
>В стиле "мы не смогли договориться как должно быть (тк каждый член коммитета тянет одеяло на себя)", поэтому любитесь сами.

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

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

92. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Анонимм (??), 06-Окт-23, 15:57 
>  А появится такая которая добавит свое, и кое-какие мелкие детали вынуждена будет реализовать посвоему?
> Несовместимо с основной веткой.

А что им мешает создать PR в основную ветку, создать RFC, обсудить все вопросы?
Если они покажут преимущества своего подхода их патч конечно радостно примут.

Ответить | Правка | Наверх | Cообщить модератору

120. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от yet another anonymous (?), 06-Окт-23, 18:32 
А что мешает забить на этот PR? Фонд-то он как-бы со своими директорами, которрые отчитываются перед советом попечителей (см. список попечителей).
Ответить | Правка | Наверх | Cообщить модератору

123. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (90), 06-Окт-23, 19:00 
> А что им мешает создать PR в основную ветку, создать RFC, обсудить все вопросы?

Если они покажут преимущества своего подхода их патч конечно радостно примут.

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

Особенно, если у разных подходов разные преимущества и недостатки.

Ответить | Правка | К родителю #92 | Наверх | Cообщить модератору

127. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (31), 06-Окт-23, 19:19 
Так язык еще развивается.
Посмотри какие изменения были раньше.
Первые верссии раста вообще планировались с GC
Ответить | Правка | Наверх | Cообщить модератору

93. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Анонимм (??), 06-Окт-23, 16:02 
> Ах да. Стандарта-то нет.

Тут мы уже приходим к терминологическому (философскому вопросу) вопросу что есть стандарт.
Википедия говорит, что это "Станда́рт — нормативный технический документ, устанавливающий нормы, правила, требования к объекту стандартизации."

Но "стандарт С" это нечто вида "каша готовится из крупы, может содержать добавки в виде мяса или говна, в зависимости от реализации и желания левой пятки повара".

Если в тексте такое кол-во UB и Implementation-defined behavior, то стандартом его назвать у меня язык не повернется.
То что это пропихнули в ISO - ну мир не без коррупции, наверняка члены коммитета хорошо заработали на такой работе.

Ответить | Правка | К родителю #90 | Наверх | Cообщить модератору

122. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (90), 06-Окт-23, 18:53 
> То что это пропихнули в ISO - ну мир не без коррупции, наверняка члены коммитета хорошо заработали на такой работе.

То есть сказать, то что ты умнее людей и комитета язык не поворачивается. А вывернуться надо. Значит они коррумпированы.

А то что все UB нужны для возможности изменения железа, систем, библиотек и компиляторов (то есть, нужны для развития) будешь не замечать и дальше.

Ответить | Правка | Наверх | Cообщить модератору

129. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (31), 06-Окт-23, 19:26 
Думаю я ни разу не умнее людей сидящих в коммитетах.
Но это не мешает им принимать плохие решения (и потом жалеть об этом),
как например null-terminated string - съекономили целый байт, зато получили тонны ошибок.

> UB нужны для возможности изменения железа, систем, библиотек и компиляторов (то есть, нужны для развития)

да-да, я эту мантру слышу почти каждый день
и очень круто когда есть 30 компиляторов, и ни один из которых не удовлетворяет стандарту
наверное это было полезно лет 25-30 назад, но времена изменились, можно было и стандарт к чему-то привести

а сейчас UB это просто черная дыра откуда лезут уязвимости и баги
> нужны для развития

какое-то отрицательное развитие)

Ответить | Правка | Наверх | Cообщить модератору

132. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (132), 06-Окт-23, 20:26 
> Значит они коррумпированы.

А ты поинтересуйся, как Microsoft пропихнула в C11 Bounds-checking interfaces (все это гуано заканчивающиеся на _s), хотя все были против.

Стандарт С - это убогий цирк.

> А то что все UB нужны для возможности изменения железа, систем, библиотек и компиляторов (то есть, нужны для развития

UB нужен для развития... Аплодирую стоя!

Ответить | Правка | К родителю #122 | Наверх | Cообщить модератору

134. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (90), 06-Окт-23, 21:24 
> UB нужен для развития... Аплодирую стоя!

Если ты этого не понимаешь, то ты полный идиот.

Ответить | Правка | Наверх | Cообщить модератору

146. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (145), 07-Окт-23, 08:34 
клоун стандартизатор прикрывает дырявый стандат и готов жрать говно!

а эти дырявые стандартизаторы не догадались сделать и расписать пачку макросов которые бы определяли конкретное поведение фичи Х в данной комбинации компиля и железа? А? чертовы неосиляторы!!!

Ответить | Правка | Наверх | Cообщить модератору

178. "Открытие кода Rust-компилятора Ferrocene"  –1 +/
Сообщение от Аноним (177), 08-Окт-23, 00:17 
Так Си это же не ржа с двумя поддерживаемыми платформами, у нее их сотни, глупенький.
Ответить | Правка | Наверх | Cообщить модератору

183. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (90), 08-Окт-23, 00:35 
> а эти дырявые стандартизаторы не догадались сделать и расписать пачку макросов которые бы определяли конкретное поведение фичи Х в данной комбинации компиля и железа? А? чертовы неосиляторы!!!

Очевидно, что ты безумец, который считает себя умнее всех на свете.

Вот смотри, поведение memmove при перекрывающихся областях зависит от направления копирования.
Зачем в стандарте определять поведение?

Что бы вместо быстрого копирования использовать медленное и получать тормоза?
Или был еще вариант получить тормоза при проверке и использовать там где можно быстрое копирование а где нельзя медленное?
А варианта без тормозов нет.

Так зачем убирать UB у memmove?

Ответить | Правка | Наверх | Cообщить модератору

214. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним_анонимный (?), 11-Окт-23, 00:20 
> сделать и расписать пачку макросов которые бы определяли конкретное поведение фичи Х в данной комбинации компиля и железа

UB - это и есть "конкретное поведение фичи X в данной комбинации компилятора, процессора, режима работы процессора".
Что ты собираешься макросами делать? Чтобы это поведение было одинаковым во всех комбинациях?

Ответить | Правка | Наверх | Cообщить модератору

195. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Прохожий (??), 09-Окт-23, 02:42 
ЕМНИП, Rust - это торговая марка. Поэтому говорить они ничего не смогут про свой компилятор в таком духе. Но могу и ошибаться.
Ответить | Правка | К родителю #90 | Наверх | Cообщить модератору

47. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (10), 06-Окт-23, 14:06 
Получается, что эти процессы идут независимо. Кто-то просто работает - пишет программы. А кто-то утешается, что руководит процессом, хотя это не так. Причем первые часто не подозревают о наличии вторых и созданных ими руководящих документов.
Ответить | Правка | К родителю #34 | Наверх | Cообщить модератору

113. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от yet another anonymous (?), 06-Окт-23, 18:26 
> ни GCC, ни CLANG не поддерживают модули в С++20,
> а уже на миуточку заканчивается 2023 год

И слава Богу!

Ответить | Правка | К родителю #34 | Наверх | Cообщить модератору

196. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Прохожий (??), 09-Окт-23, 02:48 
То есть, стандарт дерьмовый таки?
Ответить | Правка | Наверх | Cообщить модератору

200. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (198), 09-Окт-23, 08:32 
Какая связь между высказываниями?

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

202. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Прохожий (??), 10-Окт-23, 01:21 
Это не я радуюсь, что модули не реализованы до сих пор. На заметил?
Ответить | Правка | Наверх | Cообщить модератору

205. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Прохожий (??), 10-Окт-23, 01:54 
>Так с чего вдруг?
>После разруливания всплывших проблем в очередном стандарте

Сам спросил, сам же и ответил.

Ответить | Правка | К родителю #200 | Наверх | Cообщить модератору

208. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (198), 10-Окт-23, 04:18 
> И? Где ответ то.
Ответить | Правка | Наверх | Cообщить модератору

44. "Открытие кода Rust-компилятора Ferrocene"  +5 +/
Сообщение от Аноним (44), 06-Окт-23, 14:03 
Предлагаю этому товарищу дать погремуху "комитетчик". Он носится по всем комментам и орёт, что не может использовать ЯП пока его не освятил всесильный комитет ISO. Видимо даже срать не сядет без сертификации комитета.
Ответить | Правка | К родителю #26 | Наверх | Cообщить модератору

48. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (39), 06-Окт-23, 14:09 
Когда-то комитетчиками называли кэгэбистов.
Ответить | Правка | Наверх | Cообщить модератору

52. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (52), 06-Окт-23, 14:17 
Мельчает комитетчик, ох мельчает, не то, что давеча.
Ответить | Правка | Наверх | Cообщить модератору

70. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (44), 06-Окт-23, 14:50 
ну как вариант можно просто ми...нетчиком.
Ответить | Правка | К родителю #48 | Наверх | Cообщить модератору

106. "Открытие кода Rust-компилятора Ferrocene"  –2 +/
Сообщение от kir (??), 06-Окт-23, 18:13 
Ну а по делу-то есть, что сказать? Мне вот совсем не нравится, что каждая новая версия может что-то сломать в коде, и без стандарта тут никак.
Ответить | Правка | К родителю #44 | Наверх | Cообщить модератору

124. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (132), 06-Окт-23, 19:03 
> каждая новая версия может что-то сломать в коде, и без стандарта тут никак.

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

Ответить | Правка | Наверх | Cообщить модератору

147. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Советский инженер (?), 07-Окт-23, 08:48 
Ой, да что там доказывать. У них же прям стандарте эти поломки зафиксированы, а оно ходит и гордится ими.
Ответить | Правка | Наверх | Cообщить модератору

157. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (157), 07-Окт-23, 11:49 
Это просто программисты неправильные, не чтут стандарты и пишут некорректный код
Ответить | Правка | Наверх | Cообщить модератору

186. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (90), 08-Окт-23, 01:20 
Есть варианты. Только в этих вариантах rust'а нет.

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

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

Ответить | Правка | К родителю #124 | Наверх | Cообщить модератору

197. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Прохожий (??), 09-Окт-23, 02:52 
И зачем бы я так нагло врал, если всё легко проверяется? Rust поддерживает больше одной платформы, нравится это тебе или нет.
Ответить | Правка | Наверх | Cообщить модератору

199. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (198), 09-Окт-23, 08:24 
Больше одной - уже хорошо!

Вопрос почему не все?

Ответ из-за проблем с условной компиляцией. Из-за заточенности на безопасности нереально сложно привести к общему знаменателю разные архитектуры.

Есть только два пути.

Один тащить с собой рантайм. Это путь Java.

Второй максимально абстрагироваться от архитектуры. Это путь Си с его UB.

А третьего то нет.

Ответить | Правка | Наверх | Cообщить модератору

206. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Прохожий (??), 10-Окт-23, 02:04 
>Вопрос почему не все?

Потому что они не популярны, например. Раст намного сложнее Си, разработка под все имеющиеся архитектуры нецелесообразна, потому что обойдётся слишком дорого. Возможно, надо приплюсовать и то, что ты сказал, но я не специалист по разработке компиляторов, чтобы квалифицировано прокомментировать.

Однако проблема Си сводится не только к UB. Да?

Ответить | Правка | Наверх | Cообщить модератору

209. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (198), 10-Окт-23, 04:24 
Проблем много. Но rust решением этих проблем стать не может.
Это хороший эксперимент, который показал, что "и так, то же вполне можно". Все.
Проверили идею.
Ответить | Правка | Наверх | Cообщить модератору

95. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (-), 06-Окт-23, 16:15 
> В новости сказано, что теперь открыт.

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

Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

12. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (31), 06-Окт-23, 12:53 
Так апач это open source лицензия! Код открыт - вот лежит, бери и пользуйся.

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

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

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

15. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (44), 06-Окт-23, 13:00 
Угрожать NDA анониму с опеннета - это сурово, конечно.
Ответить | Правка | Наверх | Cообщить модератору

16. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (31), 06-Окт-23, 13:06 
Так NDA - это не угроза, а факт который просто существует.
Они могли продать свой продукт нескольким компаний, но говорить об этом не могут.

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

Ответить | Правка | Наверх | Cообщить модератору

46. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (44), 06-Окт-23, 14:06 
НДА - это не факт, а соглашение. Ты не можешь предъявить неустановленному лицу нарушение соглашения.
Ответить | Правка | Наверх | Cообщить модератору

64. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Клапауций (ok), 06-Окт-23, 14:39 
> Они могли продать свой продукт нескольким компаний, но говорить об этом не могут.

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

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

Ответить | Правка | К родителю #16 | Наверх | Cообщить модератору

17. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (40), 06-Окт-23, 13:08 
Собственно также, как и Мозилла отправила Раст на вольные хлеба:)
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

20. "Открытие кода Rust-компилятора Ferrocene"  +2 +/
Сообщение от Аноним (31), 06-Окт-23, 13:13 
И знамя подхватили гугл и майкрософт - на минуточку Gold и Platinum members организации Linux Foundation !

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

Ответить | Правка | Наверх | Cообщить модератору

27. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (39), 06-Окт-23, 13:35 
У Micro$oft руки недобрые. А у Гуглага они всё чаще становятся недобрыми.
Ответить | Правка | Наверх | Cообщить модератору

36. "Открытие кода Rust-компилятора Ferrocene"  +2 +/
Сообщение от Аноним (31), 06-Окт-23, 13:52 
Какой смелый Аноним!
Вот покритикуешь Microsoft и гугл, они обидятся и не будут писать ядро линукса.
И кто будет фиксить баги и реализовывать фичи? Неужели ты?
Ответить | Правка | Наверх | Cообщить модератору

42. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (40), 06-Окт-23, 14:01 
>>> и не будут писать ядро линукса. <<<

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

Ответить | Правка | Наверх | Cообщить модератору

57. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от zog (??), 06-Окт-23, 14:27 
> Ох, горе то какое; когда-то и без этих паразитов прекрасно обходились!

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

Ответить | Правка | Наверх | Cообщить модератору

62. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (40), 06-Окт-23, 14:35 
>>> Без корпораций ядро Linux было полностью непригодным для продакшена. <<<

Так и запишем: паразиты не захотели писать своё, а решили сэкономить кучу денег, и просто взять за основу готовый линукс!

Ответить | Правка | Наверх | Cообщить модератору

65. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (31), 06-Окт-23, 14:40 
Так если бы он был готовый)
Он был сырым и багованным, несмотря на усилия IBM привести это к нормальному виду.
Ответить | Правка | Наверх | Cообщить модератору

68. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (40), 06-Окт-23, 14:47 
Так что мешало просто взять и написать своё НЕсырое и НЕзабагованное? Правильно, потому что паразиты, - всегда паразиты!
Ответить | Правка | Наверх | Cообщить модератору

72. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (31), 06-Окт-23, 14:52 
Если что-то лежит бесплатно - то просто используем его.
Это же не опенсорс где писанье своего велосипеда обязательно.
Ответить | Правка | Наверх | Cообщить модератору

75. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (145), 06-Окт-23, 14:59 
не поддерживай паразитов.
пользуйся хурдом!
Ответить | Правка | К родителю #68 | Наверх | Cообщить модератору

77. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (40), 06-Окт-23, 15:06 
я и не поддерживаю; хурд тут вообще не при чём!
Ответить | Правка | Наверх | Cообщить модератору

87. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (87), 06-Окт-23, 15:43 
> Вот покритикуешь Microsoft и гугл, они обидятся и не будут писать ядро линукса.
> Без корпораций ядро Linux было полностью непригодным для продакшена.
> Если что-то лежит бесплатно - то просто используем его.
> Это же не опенсорс где писанье своего велосипеда обязательно.

Да ладно, а как же свой велосипед под названием Windows? Корпорация так и не потянуло его для продакшена? Или "это другое, понимать надо" (с)?

Ответить | Правка | К родителю #57 | Наверх | Cообщить модератору

63. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Анонимусс (?), 06-Окт-23, 14:37 
И получился бы GNU Hurd.
Как, кстати, там он поживает? Уже готов к daily usage? Про прод даже молчу))
Ответить | Правка | К родителю #42 | Наверх | Cообщить модератору

67. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (40), 06-Окт-23, 14:44 
>>> Как, кстати, там он поживает? Уже готов к daily usage? <<<

Скажите за это спасибо тем самым корпарасам, которые взяли под крылышко линукс!

Ответить | Правка | Наверх | Cообщить модератору

71. "Открытие кода Rust-компилятора Ferrocene"  +2 +/
Сообщение от Аноним (44), 06-Окт-23, 14:52 
Опять Столлману в штаны насрали, да что ж такое!
Ответить | Правка | Наверх | Cообщить модератору

43. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (39), 06-Окт-23, 14:01 
Какие тебе фичи нужны в ядре от Micro$oft: Hyper-V, код поддержки WSL2? Лично мне, ни то, ни другое. Да и Ондроедом я тоже не пользуюсь от слова совсем.
Ответить | Правка | К родителю #36 | Наверх | Cообщить модератору

66. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (31), 06-Окт-23, 14:42 
ты купил себе айфон? это смело!
или ты по старинке, с дисковым телефоном ходишь?
Ответить | Правка | Наверх | Cообщить модератору

30. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (40), 06-Окт-23, 13:37 
>>> И знамя подхватили гугл и майкрософт <<<

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

Ответить | Правка | К родителю #20 | Наверх | Cообщить модератору

50. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (10), 06-Окт-23, 14:10 
Какая незадача. Вчера вечером правил свою программу. И не знал, что мной руководили названные вами голды и платинумы.
Ответить | Правка | К родителю #20 | Наверх | Cообщить модератору

112. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (1), 06-Окт-23, 18:25 
И эти компании платят денег на одну зарплату разработчика. По факту административные расходы. Нормальных разработчиков на эти деньги нанять нельзя.
Ответить | Правка | К родителю #20 | Наверх | Cообщить модератору

125. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (132), 06-Окт-23, 19:07 
> Собственно также, как и Мозилла отправила Раст на вольные хлеба:)

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

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

Ответить | Правка | К родителю #17 | Наверх | Cообщить модератору

185. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (90), 08-Окт-23, 00:50 
Ты там по ссылкам ходил? Как объяснишь такие факты:

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

105. "Открытие кода Rust-компилятора Ferrocene"  +3 +/
Сообщение от Аноним (105), 06-Окт-23, 18:11 
т.е. ты хочешь сказать что Rust никому  не нужен? Да ну нет! Бред же!
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

130. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (130), 06-Окт-23, 19:48 
Это тебе бабушка у подъезда в твоём Крыжополе рассказала или ты сам придумал?
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

165. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Golangdev (?), 07-Окт-23, 18:45 
Плюсую, тоже самое хотел написать

> проприетарного дистрибутива с Rust-компилятором для критически важных систем
> Код Ferrocene опубликован под лицензиями Apache 2.0 и MIT
> В качестве основы задействован rustc, штатный компилятор от проекта Rust, приведённый к соответствию требованиям программных окружений для автомобильных и промышленных систем (ISO 26262 и IEC 61508)

налицо все признаки невостребованности проекта aka васянофорка.

Кто в здравом уме будет доверять
> критически важных систем, требующих повышенной надёжности (Safety-Critical Systems), сбой в которых может угрожать жизни людей, нанести вред окружающей среде или привести к серьёзным повреждениям оборудования

какой-то мутной компании, которая по первому свистку про санкции возьмёт и отрубит свою систему.

Нет, никто из больших, типа РосАтом так не делает. Они делают по-другому.

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

2. "Открытие кода Rust-компилятора Ferrocene"  +4 +/
Сообщение от Аноним (2), 06-Окт-23, 12:29 
> проприетарного дистрибутива с Rust-компилятором для критически важных систем,
> Ferrocene как можно ближе к upstream (в идеале вообще без изменений)

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

Ответить | Правка | Наверх | Cообщить модератору

4. "Открытие кода Rust-компилятора Ferrocene"  +6 +/
Сообщение от Аноним (4), 06-Окт-23, 12:31 
Вполне благородная цель, достичь которой получается мало у кого. У этих вот не получается.
Ответить | Правка | Наверх | Cообщить модератору

6. "Открытие кода Rust-компилятора Ferrocene"  +4 +/
Сообщение от Аноним (1), 06-Окт-23, 12:37 
Ну тут конечно дело не в компании. Дело в том что язык раст не подходит для критически важных систем.
Ответить | Правка | Наверх | Cообщить модератору

9. "Открытие кода Rust-компилятора Ferrocene"  +9 +/
Сообщение от Аноним (9), 06-Окт-23, 12:44 
Да, я бы тоже для критически важных систем вместо раста взял язык с гигантским количеством UB. Еще желательно, чтобы в нем не было strsplit.
Ответить | Правка | Наверх | Cообщить модератору

32. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Совершенно другой аноним (?), 06-Окт-23, 13:43 
Если Вы про C, то да, в нём нет strsplit, зато есть strtok()/strtok_r(). Кроме того, можно воспользоваться strspn()/strcspn().
Ответить | Правка | Наверх | Cообщить модератору

35. "Открытие кода Rust-компилятора Ferrocene"  +5 +/
Сообщение от Анонин (?), 06-Окт-23, 13:51 
> strtok()

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

Ответить | Правка | Наверх | Cообщить модератору

59. Скрыто модератором  +3 +/
Сообщение от Аноним (-), 06-Окт-23, 14:31 
Ответить | Правка | Наверх | Cообщить модератору

88. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (87), 06-Окт-23, 15:45 
И за границы буфера не забудет выйти? Иначе какой же он тру сисшник без этого!
Ответить | Правка | К родителю #35 | Наверх | Cообщить модератору

114. "Открытие кода Rust-компилятора Ferrocene"  –1 +/
Сообщение от Аноним (1), 06-Окт-23, 18:26 
В твоём расте больше непонятной магии чем в любом другом языке. В критических системах такого быть не может.

Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору

148. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (145), 07-Окт-23, 08:51 
просто IQ надо иметь выше 70 и все будет понятно.
Ответить | Правка | Наверх | Cообщить модератору

11. "Открытие кода Rust-компилятора Ferrocene"  –6 +/
Сообщение от Аноним (11), 06-Окт-23, 12:49 
Всегда было любопытно, какой сорт маргарина в голове у тех, кто делает подобные комментарии, и у тех, кто их плюсует.
Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

13. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (31), 06-Окт-23, 12:54 
Троллинг just fun?
Тут сайт анонимов, можно писать почти все что угодно.
И никто не узнает какие позорные кода тебе самому приходилось писать))
Ответить | Правка | Наверх | Cообщить модератору

18. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (18), 06-Окт-23, 13:09 
Можно из года в год формировать мнение о чем либо у анонимов Пресли дуя свои цели.
Ответить | Правка | Наверх | Cообщить модератору

14. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (44), 06-Окт-23, 12:59 
Это называется троллинг тупостью. Добро пожаловать в интернет.
Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

19. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (18), 06-Окт-23, 13:12 
>Добро пожаловать в интернет.

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

Ответить | Правка | Наверх | Cообщить модератору

84. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (79), 06-Окт-23, 15:29 
Веганам для справки: в мозге холестерин.
Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

116. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (1), 06-Окт-23, 18:27 
В зеркало посмотрись. Ты не можешь принять очевидного.
Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

28. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от пох. (?), 06-Окт-23, 13:36 
Зочем вы так? Конечно же подходит - просто пока получилось только помигать светодиодиком, и то через сишные объектники - зато безопастно!

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

Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

49. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (44), 06-Окт-23, 14:09 
Какой-то ты поехавший. Кучи проектов, комьюнити инженеров, вливания бабла - это для тебя помигать светодиодиком? Ты тогда видимо занимаешься стуком по кнопкам?
Ответить | Правка | Наверх | Cообщить модератору

53. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от пох. (?), 06-Окт-23, 14:18 
Кучи - это да.

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

Ответить | Правка | Наверх | Cообщить модератору

74. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (44), 06-Окт-23, 14:57 
Воздуханство какое-то, родители тебя не воспитывали, в лесу рос? Тот сдох, с этим ничего не получается, те ничего не делают. Один ты сидишь на куче навоза и воняешь, что есть мочи. Молодец!
Ответить | Правка | Наверх | Cообщить модератору

98. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от пох. (?), 06-Окт-23, 17:02 
> Тот сдох, с этим ничего не получается, те ничего не делают.

А я чем виноват? Я их не убивал (мне визу не дают, а то б, конечно...)

Этим вот, у которых эскопета с кривым стволом - даже планировал задонейтить. К счастью, обо мне вовремя позаботились, чтоб глупостей не делал, и заблокировали гражданам неправильных стран неправильные карты.

Ответить | Правка | Наверх | Cообщить модератору

100. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Анонимм (??), 06-Окт-23, 17:40 
Возможно граждане просто сидели ровно и нифига не делали?
Ну так за действие или бездействие приходится отвечать - если ты просто смотршь как телевизор загорелся и уже начинают гореть шторы... то весьма вероятно что через окно вылезти не получится.
Раз сидели как "This is fine" - то 'в случае пожара -- горите!'
Ответить | Правка | Наверх | Cообщить модератору

101. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от пох. (?), 06-Окт-23, 17:44 
> Возможно граждане просто сидели ровно и нифига не делали?

А я в этом тоже виноват?

Кстати, у граждан с эскопетой каждый второй комит - "appease clippy". Может, в виду этой бурной деятельности (не говоря уже о героической борьбе с боров чекером) до сих пор не удается догнать сиплюсовый проект?

Ответить | Правка | Наверх | Cообщить модератору

152. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (31), 07-Окт-23, 09:41 
Просто открой книжку анекдотов, называется "'Конституция' и другие веселые рассказы"
Там, почти на первой же страничке, есть такое
  "Носителем суверенитета и единственным источником власти … является … народ.
  "Народ осуществляет свою власть непосредственно …"

Если народ положил на свои обязанности по 'осуществлению власти' и это привело к плохим последствиям, то пусть это народ и хлебает полной ложкой.

Ответить | Правка | Наверх | Cообщить модератору

102. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от пох. (?), 06-Окт-23, 17:47 
> Возможно граждане просто сидели ровно и нифига не делали?

А, или ты про граждан? Те которые сидели неровно - сидят теперь лет по пятнадцать.

Это ж был кого надо телевизор. Допереключаешься!

Ответить | Правка | К родителю #100 | Наверх | Cообщить модератору

149. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (145), 07-Окт-23, 08:55 
>А вот ресдох - почему-то сдох.

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

Ответить | Правка | К родителю #53 | Наверх | Cообщить модератору

69. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (31), 06-Окт-23, 14:50 
А если взять много светодиодиков, то получится монитор?
Если так считать - то ты прав (сам в шоке что с тобой соглашаюсь)

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

Ответить | Правка | К родителю #28 | Наверх | Cообщить модератору

76. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от пох. (?), 06-Окт-23, 14:59 
Повторяю - то что кто-то там в MS нашел себе хорошо оплачиваемую бесполезную работу - совершенно ничего не говорит о том что его поделка не отложена на полочку бесполезных достижений народного хозяйства.

Ответить | Правка | Наверх | Cообщить модератору

78. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (31), 06-Окт-23, 15:08 
Ты так уверенно говоришь, как будто в майкрософте работаешь)
Ответить | Правка | Наверх | Cообщить модератору

118. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (1), 06-Окт-23, 18:29 
Ты так говоришь как будто на расте уже что-то дельное смог написать.
Ответить | Правка | Наверх | Cообщить модератору

150. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (145), 07-Окт-23, 08:56 
ты так говориш, как будто уже что-то дельное смог написать.
Ответить | Правка | Наверх | Cообщить модератору

128. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от _ (??), 06-Окт-23, 19:21 
>"currently being ported to Rust"

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

Ответить | Правка | К родителю #69 | Наверх | Cообщить модератору

162. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Филя (?), 07-Окт-23, 15:48 
https://ru.wikipedia.org/wiki/Microsoft_Singularity

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

Ответить | Правка | К родителю #69 | Наверх | Cообщить модератору

164. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от пох. (?), 07-Окт-23, 17:28 
> https://ru.wikipedia.org/wiki/Microsoft_Singularity
> Из той же оперы. Потужились, слепили, потыкали палочкой -- не ползет. Еще

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

Ответить | Правка | Наверх | Cообщить модератору

8. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от 12yoexpert (ok), 06-Окт-23, 12:41 
мне кажется, только эти ценители и в состоянии
Ответить | Правка | К родителю #4 | Наверх | Cообщить модератору

33. Скрыто модератором  +/
Сообщение от Аноним (33), 06-Окт-23, 13:43 
Ответить | Правка | Наверх | Cообщить модератору

54. Скрыто модератором  –1 +/
Сообщение от пох. (?), 06-Окт-23, 14:19 
Ответить | Правка | Наверх | Cообщить модератору

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

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

Ответить | Правка | Наверх | Cообщить модератору

111. "Открытие кода Rust-компилятора Ferrocene"  +5 +/
Сообщение от Аноним (1), 06-Окт-23, 18:24 
О чем можно говорить с людьми которые до сих пор считают что у дропбокса бек на расте. У дропбокса бек на го, на расте какие-то левые тулзы, а гитхаб дропбокса на расте по большей части заброшен.
Ответить | Правка | Наверх | Cообщить модератору

137. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Вы забыли заполнить поле Name (?), 06-Окт-23, 23:32 
> у дропбокса бек на расте. У дропбокса бек на го, на расте какие-то левые тулзы

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

Ответить | Правка | Наверх | Cообщить модератору

158. Скрыто модератором  –5 +/
Сообщение от Аноним (-), 07-Окт-23, 12:33 
Ответить | Правка | Наверх | Cообщить модератору

131. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (33), 06-Окт-23, 19:56 
Всё, наигрались?
Ответить | Правка | Наверх | Cообщить модератору

135. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Vnezapno (?), 06-Окт-23, 21:29 
А , чё им ещё делать , билдить и писать комментарии это разные вещи. В первом варианте надо прикладывать усилия и потом получать библиотеки , во втором случае надо разговаривать о высоком , о чем то типа важном что бы казаться прокачанным скиловиком с набитыми шишками и набивать скор на каком нибудь сайте.
Ответить | Правка | Наверх | Cообщить модератору

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.me/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ообщить модератору

184. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (177), 08-Окт-23, 00:41 
>Ferrocene is the upstream Rust compiler, rustc, unmodified - thoroughly tested on targets that are not supported by upstream.

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

Ответить | Правка | Наверх | Cообщить модератору

188. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (153), 08-Окт-23, 01:33 
> Это же rustc вообще без изменений.

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

Ответить | Правка | Наверх | Cообщить модератору

204. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Прохожий (??), 10-Окт-23, 01:44 
Ты где этот текст нашёл?

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

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.

Ответить | Правка | К родителю #184 | Наверх | Cообщить модератору

216. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (216), 13-Ноя-23, 08:42 
Ну и где тут изменения?
Ответить | Правка | Наверх | Cообщить модератору

218. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (218), 19-Ноя-23, 03:08 
Это вообще-то сами разработчики пишут, учись гуглить
https://ferrous-systems.com/blog/qualifying-rust-without-for.../
Ответить | Правка | К родителю #204 | Наверх | Cообщить модератору

190. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Медведь (ok), 08-Окт-23, 02:34 
Мне даже немного жаль растаманов, они смешные, напоминают жабберов эпохи ранней жаббы: пока в жаббе какая-то фича вроде лямбд была не реализована, они с пеной у рта доказывали всем, что эта самая фича никому нафиг не уперлась, что она, в сущности, вообще вредна, опасна и ломает концепцию святой жаббы. Но стоило этой фиче в жаббе пояиться, как они начинали радостно вопить об этом на всех углах, совать ее всем под нос как доказательство неизбывной крутости жаббы и т.д. и т.п.

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

Ответить | Правка | Наверх | Cообщить модератору

203. "Открытие кода Rust-компилятора Ferrocene"  –1 +/
Сообщение от Прохожий (??), 10-Окт-23, 01:37 
Куда более смешные Воины Супротив Раста. Они изо всех сил тужатся, где бы найти повод прицепиться хоть к чему-нибудь, иногда у них создаётся обманчивое впечатление, что вот, они наконец-то нашли самый главный изъян. Но потом реальность показывает, что они облажались. А поезд тем временем ушёл.
Ответить | Правка | Наверх | Cообщить модератору

212. "Открытие кода Rust-компилятора Ferrocene"  +1 +/
Сообщение от Аноним (198), 10-Окт-23, 13:06 
Какая бурная фантазия, однако.

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

Ответить | Правка | Наверх | Cообщить модератору

213. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (213), 10-Окт-23, 13:31 
Большинство из тех кто тут оставляет комментарии, к ж/д станции дойти уже (к сожалению) не могут.
Ответить | Правка | К родителю #203 | Наверх | Cообщить модератору

217. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (216), 13-Ноя-23, 08:44 
Этот поезд уходит в ГУЛАГ, туда не всем нужно.
Ответить | Правка | Наверх | Cообщить модератору

191. "Открытие кода Rust-компилятора Ferrocene"  +/
Сообщение от Аноним (191), 08-Окт-23, 04:21 
> Одной из целей разработки является... продвижению в основной состав rustc возможностей востребованных в критически важных системах и встраиваемых промышленных устройствах.

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

Ответить | Правка | Наверх | Cообщить модератору

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

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




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

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