The OpenNET Project / Index page

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



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

"Выпуск языка программирования Rust 1.75 и unikernel Hermit 0.6.7"  +/
Сообщение от opennews (??), 29-Дек-23, 19:34 
Опубликован релиз языка программирования общего назначения Rust 1.75, основанного проектом Mozilla, но ныне развиваемого под покровительством независимой некоммерческой организации Rust Foundation. Язык сфокусирован на безопасной работе с памятью и предоставляет средства для достижения высокого параллелизма выполнения заданий, при этом обходясь без использования сборщика мусора и runtime (runtime сводится к базовой инициализации и сопровождению стандартной библиотеки)...

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

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

Оглавление

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


1. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –29 +/
Сообщение от Аноним (1), 29-Дек-23, 19:34 
Очень радостно, что раст уже в ядре. Лет через 15 всё ядро уж точно будет переписано на это чудо техники!
Ответить | Правка | Наверх | Cообщить модератору

3. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (-), 29-Дек-23, 19:52 
Версия ядра 1.0 вышла в 1994 году, те, будем считать, 30 лет.
Так что переписать (и дописать новое) за 15 - это будет отличный результат.
Ответить | Правка | Наверх | Cообщить модератору

5. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –2 +/
Сообщение от Тот_ещё_аноним (ok), 29-Дек-23, 19:57 
Переписывать быстрее и нейронки вполне помогают
Ответить | Правка | Наверх | Cообщить модератору

7. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –1 +/
Сообщение от Аноним (-), 29-Дек-23, 19:59 
Не спасибо, ими разве что лефтпады править.

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

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

15. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –1 +/
Сообщение от Аноним (15), 29-Дек-23, 20:41 
Особенно хорошо нейронки справляются со sql. Только не плачь, когда выпнут.
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

16. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +3 +/
Сообщение от Аноним (16), 29-Дек-23, 20:41 
Нейронками можно и из Раста в Си конвертировать все нужное и тем самым избавится от лишних зависимостей.
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

19. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Анонин (?), 29-Дек-23, 20:59 
Если конвертить из Раста в Си, то получишь все недостатки си, только на расте.
Куча unsafe, проблем с памятью и примитивность структур и кода.
И никакая нейронка тебе тут не поможет. Так лучше вообще не делать.
Ответить | Правка | Наверх | Cообщить модератору

29. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (16), 29-Дек-23, 21:33 
Нет конечно. Нейронки лучше всего программируют на том языке, для которого больше база в датасете, а это в первую очередь C и C++. Поэтому такой код получится еще лучше и безопаснее, чем на Расте. Она еще и пофиксит другие баги, не связанные с управлением памяти, от которых Раст вообще никак не защищает.
Ответить | Правка | Наверх | Cообщить модератору

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

39. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (39), 29-Дек-23, 22:09 
Это скорее к кодовой базе Раста относится, им же главное побыстрее и побольше, часто пользуются трансляторами из Си, представляю какая там лапша.
Ответить | Правка | Наверх | Cообщить модератору

148. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (148), 30-Дек-23, 08:03 
Большая база в датасете формируется датасатанистом. Поэтому чего там будет больше ты знать не можешь.
А если просто тупо скормить гитхаб/гитлаб то больше там будет яваскрипта.
Ответить | Правка | К родителю #29 | Наверх | Cообщить модератору

10. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +3 +/
Сообщение от Аноним (10), 29-Дек-23, 20:15 
>Лет через 15 всё ядро уж точно будет переписано на это чудо техники!

Особенно учитывая, что переписывание на БезопасТном идёт намного медленнее, чем написание на Сишке. А на разработку ядра затрачено 32 года, то ...

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

12. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –4 +/
Сообщение от Аноним (12), 29-Дек-23, 20:26 
> медленнее, чем написание на Сишке

Ты посчитал только написание или добавил "закладывание багов", поиск багов, тестирование, исправление и тд?
Если нет, то верю.
СИшка - это же пхп времен 70х.
Для тех кто не освоил ассемблер и фортран, но нужно быстро х-к-х-к и продакшн.

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

22. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (16), 29-Дек-23, 21:05 
А что, поиск багов, тестирование, исправление ошибок - это то, в чем программы на Rust не нуждаются?
Ответить | Правка | Наверх | Cообщить модератору

31. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от ИмяХ (ok), 29-Дек-23, 21:41 
Нуждаются в гораздо меньшей степени, чем у сишных прог.
Ответить | Правка | Наверх | Cообщить модератору

36. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (16), 29-Дек-23, 21:57 
"в гораздо меньшей" - это сколько именно, и откуда эти данные? А если сравнить не с Си, а например с программой Java, где вообще управлять памятью не нужно?
Ответить | Правка | Наверх | Cообщить модератору

43. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –1 +/
Сообщение от Аноним (43), 29-Дек-23, 22:27 
Микрософт насчитал что как минимум на 70%. Ссылки с отчётами легко гуглятся
Ответить | Правка | Наверх | Cообщить модератору

49. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Витюшка (?), 29-Дек-23, 22:43 
Это не правда, у тебя даже прочитать не получилось без ошибок. А ты надеешься на Rust 🤨😀

Там не говорилось что нужно меньше дебажить, тестировать и ловить ошибки. Там говорилось что 70% CVE фиксятся с помощью Rust, они в основном связаны с выходом за границы массива и т.п.

Надеюсь разницу между ошибкой и уязвимостью объяснять не нужно.

С++ и Zig тоже устраняют эти классы ошибок. А Zig и поболее чем, процентов 90-95%.

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

223. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (223), 30-Дек-23, 21:06 
cve по сути критические ошибки. те это только усиливает мою мысль. если конпелятор находит больше ошибок за тебя, то и соотвественно дебажить и тестировать тоже меньше. простая логика.

>С++ и Zig тоже устраняют эти классы ошибок

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

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

52. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (39), 29-Дек-23, 22:46 
Эти ссылки в основном из предвзятых источников. Зато если копнуть глубже часто попадаются статьи, в которых описывается негативный опыт использования Раста и уход с него на другие языки.
Ответить | Правка | К родителю #43 | Наверх | Cообщить модератору

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

143. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Вы забыли заполнить поле Name (?), 30-Дек-23, 04:23 
> описывается негативный опыт использования Раста и уход с него на другие языки.

Не ради тролинга можно ссылки на статьи?

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

157. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 30-Дек-23, 11:15 
https://way-cooler.org/blog/2019/04/29/rewriting-way-cooler-...

Пока искал эту статью наткнулся на https://github.com/codic12/worm. Был написан на Rust, переписан на Nim.

Помню такие примеры, но где именно попадались и про что там не вспомню.

Вот ещё https://news.ycombinator.com/item?id=21967668

> I used to do this in Rust but I switched to zig for maintainability and readability over Rust

Конечно это вообще прям хобби проект. Но ценность не в этом.

А в том что у них была полная свобода в выборе языка, они любили и выбирали Rust, потом вынужденно, но добровольно, отказывались.

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

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

Но как частный случай может быть доказательством чего либо?

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

192. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от C00l_ni66a (ok), 30-Дек-23, 16:51 
Да, также как и нередко встречаются те, кто использует санитайзеры и прочие анализаторы при написании на безопастном. Зачем, если "всемогущий компилятор" даёт "гарантии"? Вопрос риторический.
Ответить | Правка | К родителю #52 | Наверх | Cообщить модератору

213. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 30-Дек-23, 18:02 
Это слишком сложные вопросы для. Разве они понимают что такое компилятор, что он в принципе может и нет?

Для них это такая магический чёрный ящик, который делает "хорошо и безопасно" каким-то образом.

Каким разбираться не обязательно 😀

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

217. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (-), 30-Дек-23, 18:38 
> Это слишком сложные вопросы для. Разве они понимают что такое компилятор, что
> он в принципе может и нет?

А эти 'Они' с тобой сейчас в одной комнате?
Как ты можешь знать, что они понимают, что нет?

> Для них это такая магический чёрный ящик, который делает "хорошо и безопасно" каким-то образом.

Не исключаю, что если они, как и ты, не читали документацию, то для них это 'магия и черный ящик'

> Каким разбираться не обязательно 😀

Ну ты не разбираешься, доку не читаешь, зато с умным видом рассуждаешь)
Хорошо что ты на зиг пишешь, мне хоть за колегу не стыдно :)


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

129. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (129), 30-Дек-23, 01:36 
Как минимум, ошибки обращения к освобожденной памяти, или же ошибки не вызова free или де падения от обращения по нулевому указателю не нужно решать и дебажить как класс. Это регулярные ошибки или уязвимости.
Ответить | Правка | К родителю #36 | Наверх | Cообщить модератору

147. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (147), 30-Дек-23, 07:45 
Замечательно. Только существует множество инструментов для C и C++ которые помогают устранить этот класс ошибок и без Раста.
Ответить | Правка | Наверх | Cообщить модератору

178. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Прохожий (??), 30-Дек-23, 13:09 
Замечательно. Только этими инструментами или не пользуются (они ведь опциональны), или они находят далеко не все классы таких ошибок.
Ответить | Правка | Наверх | Cообщить модератору

182. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Витюшка (?), 30-Дек-23, 13:54 
А что, Rust находит все классы ошибок? Я вот выше и ниже задавал вопрос про мьютексы.

Ответь на него, пожалуйста. Напиши так, чтобы в Rust ошибки многопоточного программирования не проявлялись.

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

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

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

191. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от C00l_ni66a (ok), 30-Дек-23, 16:47 
>ошибки не вызова free

Не туда воюешь, "Preventing memory leaks entirely is not one of Rust’s guarantees, meaning memory leaks are memory safe in Rust".

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

13. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Советский инженер (ok), 29-Дек-23, 20:28 
> А на разработку ядра затрачено 32 года

да, только ведь код добавлялся не линейно.

а платиновые спонсоры скажут "надо" и работа закипит

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

25. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (25), 29-Дек-23, 21:15 
> а платиновые спонсоры скажут "надо" и работа закипит

так уже сказали и Торвальдс разрешил, но сам он не увидел пользы от раста и энтузиазма нет

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

138. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –1 +/
Сообщение от Аноним (10), 30-Дек-23, 02:12 
Ага, 9 женщин родят ребёнка через месяц.
Ответить | Правка | К родителю #13 | Наверх | Cообщить модератору

150. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +3 +/
Сообщение от Аноним (148), 30-Дек-23, 08:09 
Ага, ведь ядро это 1 большой файл на С 😂
Ответить | Правка | Наверх | Cообщить модератору

17. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Tron is Whistling (?), 29-Дек-23, 20:51 
Они таки закопают ведро.
Лицензия на редхат в разрезе 5 лет не сильно дешевле лицензий на винду... винде правда кал костов добавляет, но если мы берём сервис, который на аутентификацию в самой ос не завязан - кала надо мало. Для переходного периода из коробки уже есть WSL.
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

77. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от commiethebeastie (ok), 29-Дек-23, 23:37 
А смысл сравнивать стоимость рхел и венды?
Ответить | Правка | Наверх | Cообщить модератору

235. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (235), 31-Дек-23, 00:01 
Жаль, что времени этого не будет? )
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

2. Скрыто модератором  –1 +/
Сообщение от Аноним (-), 29-Дек-23, 19:48 
Ответить | Правка | Наверх | Cообщить модератору

4. Скрыто модератором  +2 +/
Сообщение от name (??), 29-Дек-23, 19:53 
Ответить | Правка | Наверх | Cообщить модератору

14. Скрыто модератором  +/
Сообщение от Советский инженер (ok), 29-Дек-23, 20:30 
Ответить | Правка | Наверх | Cообщить модератору

6. Скрыто модератором  –1 +/
Сообщение от Тот_ещё_аноним (ok), 29-Дек-23, 19:59 
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

8. Скрыто модератором  +/
Сообщение от Аноним (-), 29-Дек-23, 20:04 
Ответить | Правка | Наверх | Cообщить модератору

11. Скрыто модератором  +1 +/
Сообщение от Аноним (10), 29-Дек-23, 20:18 
Ответить | Правка | Наверх | Cообщить модератору

18. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +18 +/
Сообщение от Аноним (16), 29-Дек-23, 20:57 
Глупо изучать новый сырой язык со сложным синтаксисом только ради защиты от небольшой части ошибок, связанных с неправильным управлением памятью. Проще воспользоватся инструментами вроде cppcheck или другими статическими анализаторами. Вот кстати большой список таких инструментов: https://github.com/analysis-tools-dev/static-analysis
Ответить | Правка | Наверх | Cообщить модератору

20. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +3 +/
Сообщение от Аноним (20), 29-Дек-23, 21:00 
Хоть один адекватный человек на сайте.
Ответить | Правка | Наверх | Cообщить модератору

50. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +4 +/
Сообщение от Аноним (129), 29-Дек-23, 22:45 
Мне кажется это единственная причину батхерта в сторону раста, когда уже убито множество человекочасов на изучение C++, а тут набирает популярность прямой конкурент, который позволяет проще писать поддерживаемый производительный код с минимизацией выстрелов в ногу.
Ответить | Правка | Наверх | Cообщить модератору

59. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (39), 29-Дек-23, 22:51 
Негативное восприятие всего лишь потому что вместо С++ со его реальными недостатками пропагандисты Раста всем навязывают C++ номер два с таким же убогим синтаксисом, без ООП, зато с CoC и повесточкой.
Ответить | Правка | Наверх | Cообщить модератору

68. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (129), 29-Дек-23, 23:17 
Мне кажется, про раст вы знаете чисто из комментариев на опеннете. Вместо ООП есть куда более удобные механизмы, синтаксис куда доканичнее и понятнее чем в плюсах, если сравнивать аналогичные конструкция.
Ответить | Правка | Наверх | Cообщить модератору

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

124. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +2 +/
Сообщение от Аноним (129), 30-Дек-23, 01:26 
Я писал на java  и на python, давно когда-то на C++, но композиция и интерфейсы как в go или rust (особенно в rust, по сравнению с go) удобнее и лаконичнее, нежели ООП и прекрасно работают и в масштабных проектах.

Математические библиотеки прекрасно себя чувствует и пишутся на rust.

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

196. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от C00l_ni66a (ok), 30-Дек-23, 16:59 
>Я писал на java  и на python, давно когда-то на C++

Я писал секретный проект CIA на расте в 200kk LOC, переписал на него целиком ядро winglows (тоже секретный проект, так что сурсов не будет) и "композиция и интерфейсы" там менее "удобны и лаконичны", чем в NASM.

Математические библиотеки на расте - анъюзабл булщыт.

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

175. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от DEF (?), 30-Дек-23, 12:57 
В математических проектах ООП ненужно вообще. Julia использует ФП и множественную диспетчеризацию, которая гораздо мощнее и лучше, чем ООП.
Ответить | Правка | К родителю #100 | Наверх | Cообщить модератору

141. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +3 +/
Сообщение от Аноним (10), 30-Дек-23, 02:25 
Вы отождествляете ООП и синтаксис конкретной реализации (C++)?
Ответить | Правка | К родителю #68 | Наверх | Cообщить модератору

62. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 29-Дек-23, 23:04 
Проблема в самом языке. Очень он неудачный получился. Не замена С++, а как правильно здесь сказали, С++2. Да, получше.

Да, чуток получше, чуток безопаснее. А гемора с ним намного больше.

Уже не один проект он него отказался, хотя явно там фанатики были. Тащили до конца, но не вышло.

А что он появился - для С++ это здорово. Это значит часть программистов ушла туда и начала снова и заново переписывать всё, от Hello World до очень серьезных вещей.

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

66. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +2 +/
Сообщение от Аноним (129), 29-Дек-23, 23:15 
И что в нем прям очень неудачного? Мне кажется, одно лишь отсутствие нулевых указателей это эпик вин, не говоря о других удобных и полезных вещах.
Ответить | Правка | Наверх | Cообщить модератору

85. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (85), 29-Дек-23, 23:50 
Чел, не ведись на троля. Если ты не в курсе, Витюшка - это знатный местный критик Раста, который не в зуб ногой ни в Расте, ни в C++. Он из темы в тему постит забористую дичь, причем повторяет одну и ту же чушь даже после того, как в предыдущей теме его ткнули носом в факты.
Ответить | Правка | Наверх | Cообщить модератору

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

105. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +2 +/
Сообщение от фнон (?), 30-Дек-23, 00:08 
Неа, он пришел со словами ваш раст овно, а воот зиг и крабон огого!
На вопрос "почему? что  тебя не получилось?", начал рассказывать чушь, которую можно развеять просто открыв документацию.

> Достойно встретили новичка, что ни говори, вот у него теперь и аллергия на Rust.

Минус конкурент)?
С чего ты решил, что я хороший и добрый человек)?

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

122. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –3 +/
Сообщение от Витюшка (?), 30-Дек-23, 01:24 
Да ты не переживай, ты мне не конкурент.

Про Carbon я вообще ничего не говорил. Это как Rust, да получше, но не настолько чтобы на него переписывать код, если это не Hello World. Ну у Google денег много, они могут баловаться.

А там где я что-то в документации недоглядел. Так я признаю. Какой же я тролль. Принципиально это сути, конечно, не меняет.

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

171. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Анонин (?), 30-Дек-23, 12:17 
> А там где я что-то в документации недоглядел.
> Принципиально это сути, конечно, не меняет.

Ахахаха! Но вообще ты прав, в твоем случае это принципиально ничего не меняет))

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

117. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –2 +/
Сообщение от Витюшка (?), 30-Дек-23, 01:15 
Отсутствие нулевых указателей также есть и в Zig. Это большой win, как ты сказал.

Но в C++ это делается буквально парой строчек. Пользовательский тип, который инкапсулирует сырой указатель, пара переопределенных операторов, move конструкторы и готово. Проверяй в конструкторе что указатель не null.

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

126. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (129), 30-Дек-23, 01:31 
Это разные вещи - принципиально не выразимо или же можно сделать если очень захотеть и другие будут тоже правильно делать.

Rust не единственный язык, который отказался от null, но он самый популярный и развитый из онных

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

139. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –1 +/
Сообщение от Витюшка (?), 30-Дек-23, 02:17 
А потом говорят что это я Rust не знаю?

Вы сами то его знаете, программисты на Rust?

Всё там прекрасно принципиально выразимо. И никаких гарантий что какой-то кривожоп не понапишет race conditions которые десятками лет отлавливать будешь потом.

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

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

183. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 30-Дек-23, 13:58 
Нет, это замечательно. Эта ошибка которая должна быть исправлена в новом языке. Я только это приветствую. Речь то не об этом была.

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

102. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +3 +/
Сообщение от фнон (?), 30-Дек-23, 00:05 
Давай по новой, Витюшка, все фигня! (с)

Ты опять пришел позориться своими "знаниями" в области Раст?
В этот раз будешь заливать про зиг, свою уникальную задачу, когда "несколько потоков одновременно пользуют один кусок памяти" и прочие ламповые истории?
Или ты, сегодня, придумал что-то новое?

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

128. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –1 +/
Сообщение от Витюшка (?), 30-Дек-23, 01:36 
Есть кое-что поинтереснее и посвежее.

Есть код мьютекса (спинлока). Естественно это суперкритичный к качеству и надёжности код. Естественно написан на Rust.

Докажи, пожалуйста, с помощью Rust (который безопасный по памяти и гонкам данных!) что этот код:
1. Действительно даёт mutual exclusion доступ к критической секции (т.е. работает корректно)
2. Является deadlock-free
3. Является starvation-free

А то у вас одни hello world только безопасные 😀 Надо на реальных примерах.

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

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

136. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Витюшка (?), 30-Дек-23, 02:07 
Это не ответ (и почему-то я на 100% уверен что там такого нет).

Но ты не сливайся так сразу. Ты сюда пиши)))

Я жду ответа от Rust гуру. Вы должны защитить поруганную честь и достоинство этого языка.

Всё таки упор на безопасность!

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

163. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (162), 30-Дек-23, 11:37 
Зачем мне в комментариях цитировать то что и так описано в книге, а чтобы грамотно по полочкам разложить, это минимум пост нужно писать, а не комментарий.
Ответить | Правка | Наверх | Cообщить модератору

207. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от C00l_ni66a (ok), 30-Дек-23, 17:19 
>Зачем мне в комментариях цитировать то что и так описано в книге

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

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

172. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Анонин (?), 30-Дек-23, 12:27 
Чувак, уж кому-кому, а тебе мы точно ничего не должны)) Нам про раст уже ничего доказывать не нужно.

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

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

146. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (146), 30-Дек-23, 06:34 
В гугл я тоже посылать умею. Слив защитан.
Ответить | Правка | К родителю #131 | Наверх | Cообщить модератору

156. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 30-Дек-23, 10:55 
Ответ - никак. Твой Rust ни черта этого не умеет.

В книге The Art of Multiprocessing Programming корректность доказывается с помощью построения логических теорем, с доказательством на листочке. По индукции или методом от противного. На листочке, ручками!

Это самые сложные, самые частые ошибки, самые опасные.

И где твой хвалёный Rust? Где твоя защита? Где твой borrow checker?

Если вы даже мьютекс не можете написать безопасный?

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

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

185. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –1 +/
Сообщение от Витюшка (?), 30-Дек-23, 14:09 
Многопоточное программирование сейчас абсолютно везде, даже в роутерах домашних, на мобилках, десктопах, лэптопах, серверах.

Это самый критичный код, потому что отловить его в тестах вообще невозможно. Заметить тоже - никто тебе никакой exception не кинет. Тихонько перезапишет память и всё.

А выходы за границы массивов и 90% что умеет Rust можно и в C++ сделать. В принципе это прям банальные вещи, их в runtime можно и нужно ловить.

Автор книги The Art of Multiprocessing programming - это основоположник lock free алгоритмов, гуру, эксперт мирового уровня.

И я не вижу как Rust хоть как-то решает проблему многопоточного программирования и особенно lock free алгоритмов.

И ещё ни один специалист здесь ни разу не смог ответить на мои вопросы.

В основном хиханьки да хаханьки в стиле "сам дурак" и "всё в Rust book написано"

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

144. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Вы забыли заполнить поле Name (?), 30-Дек-23, 04:29 
> Уже не один проект он него отказался, хотя явно там фанатики были. Тащили до конца, но не вышло.

Можно ссылки, что за проекты?

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

158. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 30-Дек-23, 11:19 
Я выше в соседней ветке подробно ответил.

https://way-cooler.org/blog/2019/04/29/rewriting-way-cooler-...

Помню больше, конечно, но найти не смогу.

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

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

180. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (162), 30-Дек-23, 13:20 
Типичное когнитивное искажение, когда человек ищет по ключевым словам подтверждения своих убеждений, а что с этим не соотносится- просто игнорирует
Ответить | Правка | Наверх | Cообщить модератору

23. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Анонимусс (?), 29-Дек-23, 21:09 
> от небольшой

Ахаха! Серьезно??
Посмотри сколько дыреней из-за проблема с памятью! Просто открой CVE лист для любого большого си проекта и там сплошные use-after-free или запись за пределы буфера.
А статический анализ тебе поможет только в самых примитивных случаях.
Как хорошо, что решения, касающиеся ядра, принимают профи.

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

56. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Витюшка (?), 29-Дек-23, 22:49 
Серьёзно. Потому что С++ это не С. И Rust взял очень многое напрямую из C++. Например, модель памяти и move семантику (она немного другая в Rust, более слабая, но из С++).

Те в целом получается +- что на Rust, что на C++ одинаково.

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

60. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (129), 29-Дек-23, 22:55 
Сразу видно человека, не писавшего на расте.
Ответить | Правка | Наверх | Cообщить модератору

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

75. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (129), 29-Дек-23, 23:37 
Откройте багтрек любой крупной программы на С или С++, либо новости об очередных учзвимостях. В топе ошибок - ошибки работы с памятью. Также 100% уверен, что проекты на С или С++ ловили в проде падения, из-за обращений к нулевым указателям. Не только С и С++, но и все где есть null. Пока в принципе есть такая возможность стрелять в себе в ноги, это будут делать, даже самые топовые разработчики.
Ответить | Правка | Наверх | Cообщить модератору

132. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 30-Дек-23, 01:48 
Я открыл крупный проект на Rust.

А что это у нас тут такое по тегу safety?

https://github.com/servo/servo/issues/25726
https://github.com/servo/servo/issues/19870

Что это тут у нас? 😨 Гонки данных???

https://github.com/servo/servo/issues/21186

Так Rust же не позволяет гонки данных в compile time???

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

134. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (129), 30-Дек-23, 01:55 
где там:
- использование памяти после free
- забыли освободить память
- паденич из-за обращения к null указателю

?

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

142. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 30-Дек-23, 02:29 
Use after free открытый с 2018 года
https://github.com/servo/servo/issues/21459
https://github.com/servo/servo/issues/27473
Ответить | Правка | Наверх | Cообщить модератору

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

181. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Советский инженер (ok), 30-Дек-23, 13:28 
>https://github.com/servo/servo/issues/21459

This testcase is crashing during the final GC when the JSContext is being destroyed.

И на чем же этот GC & JSContext написаны? не на С++ случайно?

очередной обчирон от витюши 🤷‍♂️

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

189. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (162), 30-Дек-23, 15:37 
Там по трейсу видно что корень проблемы идет в c++, над которой уже идет обвязка к rust
Ответить | Правка | Наверх | Cообщить модератору

194. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –2 +/
Сообщение от Витюшка (?), 30-Дек-23, 16:51 
То Раст безопасный, то теперь оказывается нет)))
А какая разница что там внизу вызывается? Я даже не хочу углубляться на набросы про С++.

Обвязка то должна быть безопасной? Ради этого же всё делалось?
Или вы не можете написать безопасную обвязку над "небезопасными" языками - те ради чего вообще создавался Раст?

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

230. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (230), 30-Дек-23, 23:09 
Ну так обвязка, несмотря на использование unsafe безопасна. Она запаниковала в рантайме, вместо того чтобы молчаливо обращаться к памяти, к которой не должна. В safe части языка такое не скомпилируется даже.
Ответить | Правка | Наверх | Cообщить модератору

250. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (-), 31-Дек-23, 21:51 
> То Раст безопасный, то теперь оказывается нет

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

> Или вы не можете написать безопасную обвязку над "небезопасными" языками

Безопасную обвязку к другим языкам (без GC) создать в принципе невозможно - потому никто не в состоянии проверить, что они там наовнокодили - даже сами авторы - и все держится на "мамой клянуcь" погромиста.

> ради чего вообще создавался Раст?

Чтобы все было написано на нем разумеется) Чтобы по максиму использовать safe code и safe либы (если ты не в курсе - существует #![forbid(unsafe_code), который позволяет вообще все либу писать только на safe подмножистве)


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

199. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от C00l_ni66a (ok), 30-Дек-23, 17:02 
То есть безопастный использует нибищапащные либы на клятi сикрестах???? Не может такого быть!

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

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

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

246. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от C00l_ni66a (ok), 31-Дек-23, 21:34 
> И в чем противоречие

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

> unsafe очень лимитированы, по сравнению со всей кодовой базой
> unsafe не отключает всех проверок.

И это всё никак не поможет, потому что легко может произойти что-то вроде этого: play[dot]rust-lang[dot]org/?version=stable&mode=debug&edition=2021&gist=9d167c7dd188c2995d550474fa28107e
Да-да, это протечка ансейф лямбды в сейф-контекст. И учитывая приматоподобную сущность разработчиков ржавого - нет никаких гарантий, что ~~данный баг~~ данная фича уникальна.

>В C++ в unsafe всё.

Твои баззворды и жонглирования терминами на меня не сработают. В крестах нет понятия "unsafe".

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

248. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (-), 31-Дек-23, 21:43 
> И никакие обмазки тут не помогут.

Работаешь с любой сторонней не-раст либой как с unsafe. Просто потому что ты не можешь знать что они там на кодили. Поэтому весь ffi идет unsafe.

> И это всё никак не поможет, потому что легко может произойти что-то вроде этого: play[dot]rust-lang[dot]org/?version=stable&mode=debug&edition=2021&gist=9d167c7dd188c2995d550474fa28107e

Ну так у тебя "бажина" локализована в unsafe секции

> Твои баззворды и жонглирования терминами на меня не сработают. В крестах нет понятия "unsafe".

Не, в крестах нет понятия safe)) Взял и попортил что угодно где угодно.


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

252. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –1 +/
Сообщение от C00l_ni66a (ok), 31-Дек-23, 21:59 
> Ну так у тебя "бажина" локализована в unsafe секции

У тебя краткосрочная память только три буквы вмещает? Используешь нибищапащную функцию в ансейф лямбде -> используешь ансейф лямбду в сейф контексте -> получаешь всё что угодно, но только не бищапащность. Разжевал простейшую двусвязную логическую цепь специально для растовиков, можешь поблагодарить.

> Не, в крестах нет понятия safe))

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

>Взял и попортил что угодно где угодно.

Также как в расте и вообще любом ЯПе. Если ЯП не позволяет выполнять команды программиста - это не ЯП, по определению.

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

249. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (-), 31-Дек-23, 21:43 
> В том, что бищапащность в безопастном мгновенно исчезает, как только ты линкуешься с либой, которая занимается хотя бы каким-то менеджментом памяти. И никакие обмазки тут не помогут.

Сразу видно спеца!
При линковке с любой либой из дыряшки ты можешь получить чужую память просто ошибке в парсинге строки в коде "не либы". Уязвимости вида "30 раз нажал энтер - получил рут" как раз показывает, что криворучки не могут нормлаьно писать ни в либе, ни в основной программе.
И вообще не нужно тянуть всякий мусор в свой проект)

> Да-да, это протечка ансейф лямбды в сейф-контекст. И учитывая приматоподобную сущность
> разработчиков ржавого - нет никаких гарантий, что ~~данный баг~~ данная фича уникальна.

Ого, и это рассказывает фанаты дярявости, которая пророждает 70% ошибок в крупных проектах.
Да по сравнению с этими приматами, амебы до сих пор не смогли буфер писать без переполнения.

> Твои баззворды и жонглирования терминами на меня не сработают. В крестах нет понятия "unsafe".

Зато есть понятие "какаю в чужую память"


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

253. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от C00l_ni66a (ok), 31-Дек-23, 22:02 
> При линковке с любой либой из дыряшки ты можешь получить чужую память
> просто ошибке в парсинге строки в коде "не либы".

Причём тут сишка?

> И вообще не нужно тянуть всякий мусор в свой проект)

Согласен, а растовики должны прекратить его пропагандировать.

> Ого, и это рассказывает фанаты дярявости

Пруфай, что тут есть какие-то фанаты дырявости кроме тебя.

> Зато есть понятие "какаю в чужую память"

Какие ещё у тебя есть отклонения?

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

255. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (-), 31-Дек-23, 23:01 
>> И вообще не нужно тянуть всякий мусор в свой проект)
> Согласен, а растовики должны прекратить его пропагандировать.

Хм... а кто это знамениты Григорий, чтобы все указывать?
Может он великий пограммист? Что-то я такого не слышал)  А может он сходит куда-нибудь?
Так что кушай что дали и молчи, умные дядьки разберутся что для современных яп хорошо, а что нет.

>> Ого, и это рассказывает фанаты дярявости
> Пруфай, что тут есть какие-то фанаты дырявости кроме тебя.

Пруф:
Дано: сишка и с++ дырявые (70% ошибок с памятью)
-> серьезные компании типа гугл и майкрософт заменяют их на раст
Фанаты этих языков -> фанаты дырявости

>> Зато есть понятие "какаю в чужую память"
> Какие ещё у тебя есть отклонения?

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


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

271. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от C00l_ni66a (ok), 03-Янв-24, 00:09 
>знамениты Григорий

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

>Так что кушай что дали и молчи

Это твоя прерогатива, как фанатика.

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

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

>Пруф:

Это не пруф, а твои маняфантазии. Пруфай, что:
1. ...из "70% ошибок с памятью" следует "сишка и с++ дырявые";
2. ..."серьезные компании типа майкрософт заменяют их". Раст делается выходцами из мразиллы, которой владеет гугл, поэтому в качестве примера он не подходит априори. Это всё равно, что написать "сишарпом пользуются такие крупные корпорации как майкрософт, значит это классный инструмент";
3. ...тут есть какие-то фанатики в принципе, кроме тебя.

>Не у меня слава богу все норм

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

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

254. Скрыто модератором  +/
Сообщение от anonymous (??), 31-Дек-23, 22:45 
Ответить | Правка | К родителю #75 | Наверх | Cообщить модератору

83. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (-), 29-Дек-23, 23:49 
Опыт гугла подойдет?
security.googleblog.com/2021/04/rust-in-android-platform.html
Расскахывают и про проблемы с/с++, и про сложности санитайзеров

Результат через год
security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html
Android 13 is the first Android release where a majority of new code added to the release is in a memory safe language.

Большую часть нового кода пишут не на с++, а на расте

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

90. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (85), 29-Дек-23, 23:54 
РебятаБ не ведитесь на тролля. Он вам сейчас заведет свою старую шарманку о том, что в Расте нет безопасной работы с памятью, и вообще все его пользователи - некомпетентные дураки, не раскусившие заговор.
Ответить | Правка | Наверх | Cообщить модератору

99. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Анонин (?), 30-Дек-23, 00:03 
Подождите, это же тот зиганутый, который в двух темах рассказывал про то какой раст ненадежный, а вот Зиг!..
Он еще смайликами почти каждое свое сообщение метил.
Ответить | Правка | Наверх | Cообщить модератору

133. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 30-Дек-23, 01:51 
Ты лучше ответь выше про гонки данных. Их же в Rust нет благодаря borrow checker, все ловятся в compile time.

И про мьютекс)

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

72. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Анонимусс (?), 29-Дек-23, 23:30 
>> для любого большого си проекта
> Потому что С++ это не С.

Прям Капитан Очевидность пожаловал. И? При чем тут с++?
В ядре его нету. И не будет.

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

104. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –1 +/
Сообщение от Аноним (100), 30-Дек-23, 00:08 
Будет Rust в ядре - будет и С++. Иначе будет неинклюзивно, а это нарушение CoC.md
Ответить | Правка | Наверх | Cообщить модератору

115. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Анонимусс (?), 30-Дек-23, 00:43 
Раст в ядре с версии 6.1. Сейчас версия 6.7-rc7.
Ну и где там С++?
Ответить | Правка | Наверх | Cообщить модератору

35. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (85), 29-Дек-23, 21:51 
> Глупо изучать новый сырой язык со сложным синтаксисом только ради защиты от небольшой части ошибок, связанных с неправильным управлением памятью

Господи, в каждой новости о Rust начинается один и тот же цирк, снова и снова... Вам не надоело еще?

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

38. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +3 +/
Сообщение от Анонимусс (?), 29-Дек-23, 22:08 
Конечно им не надоело! Они одни и те же ошибки повторяют уже лет 30-40.
Ответить | Правка | Наверх | Cообщить модератору

51. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (129), 29-Дек-23, 22:46 
Вы про use after free и разыменовывание нулевого указателя?)
Ответить | Правка | Наверх | Cообщить модератору

63. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Анонимусс (?), 29-Дек-23, 23:04 
А как же выход за пределы буфера?? Тут целое созвездие стандартных проблем.

Вот прям из последнего
https://www.opennet.ru/opennews/art.shtml?num=60326 - запись за пределы выделенного буфера (2 шт.)
https://www.opennet.ru/opennews/art.shtml?num=60338 - use-after-free, double-free
https://www.opennet.ru/opennews/art.shtml?num=60361 - Use after free

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

81. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +3 +/
Сообщение от Аноним (100), 29-Дек-23, 23:45 
А могли бы просто проверить статическим анализато... постой, да они же так и сделали, ахахаха!
Ответить | Правка | Наверх | Cообщить модератору

116. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (129), 30-Дек-23, 01:11 
Если за пару десятилетий люди так и не научились писать без таких ошибок, значит никогда не научатся и это by design своцство языка.
Ответить | Правка | К родителю #63 | Наверх | Cообщить модератору

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

169. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (162), 30-Дек-23, 11:58 
Значит закрываем программирование, потому что такие ошибки были и периодически появляются практически во всех крупных и средних проектах. И никто так и не научился за десятилетия не допускать ошибок в программировании.

Правда, в языках со сборщиком мусора или моделью как в rust таких проблем нет в принципе.

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

187. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (187), 30-Дек-23, 14:17 
Ща закон примут и все мигом начнут писать без ошибок. А пока всё "AS IS", никакие безопасТные языки от тотальной безоТвеТсТвенносТи в профессии не помогут.
Ответить | Правка | К родителю #35 | Наверх | Cообщить модератору

184. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (184), 30-Дек-23, 14:00 
> Проще воспользоватся инструментами вроде cppcheck или другими статическими анализаторами

Гугл утверждает что это (и не только это) слабо помогает их андоидовским (и не только) си/плюсовым проектам. А вот задействование раста взамен си/плюсов в новых системных компонентах помогает просто ошеломительно:

https://security.googleblog.com/2022/12/memory-safe-language...

В этом вопросе я больше гуглу поверю, чем тебе.

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

243. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (243), 31-Дек-23, 17:58 
Просто никто про эти инструменты еще не знает. Ни GOOGLE, ни kernel.org, ни MICROSOFT. Если им сообщить, то ошибки в их проектах перестанут появляться.
Ответить | Правка | Наверх | Cообщить модератору

21. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –1 +/
Сообщение от Аноним (25), 29-Дек-23, 21:04 
> При работе с голыми указателями ("*const T" и "*mut T") могут потребоваться операции добавления смещения к указателю.

лет через 10 до С дорастёт по удобству работы с памятью

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

24. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +2 +/
Сообщение от Анонин (?), 29-Дек-23, 21:10 
Удобство работы с памятью в си - это "куда хочу, туда и пишу".
Проблема что очень часто пишут мимо))
Ответить | Правка | Наверх | Cообщить модератору

26. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (25), 29-Дек-23, 21:20 
> Проблема что очень часто пишут мимо

гипервизоры перехватят если что, можно ведь и прямо дёртуть не тот бит и спалить чего или стереть однократно программируемую память и окирпичить проц - никакие расты не помогут от отсутсвия закладок или ошибок в железе или просто отсутствии инфы

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

53. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (129), 29-Дек-23, 22:48 
Опыт дебага утечек памяти, или used after free или разуменовывание нулевого указателя вспоминается как страшный сон, брр..
Ответить | Правка | Наверх | Cообщить модератору

61. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Анонин (?), 29-Дек-23, 22:57 
Ну, от утечек памяти раст не защищает и не гарантирует их отсутствие. Прямо в доке так написано.

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

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

118. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (129), 30-Дек-23, 01:15 
Да, я больше про использование памяти после освобождения,  либо же забыть освободить память и получить утечку. Это прям регулярная проблема в софте на С и С++. Языки со сборкой мусора или моделью как в rust доказывают, что такая проблема реальная и что она достаточно большая,  чтобы ее решали люди и другие люди с удовольствием пользовались.
Ответить | Правка | Наверх | Cообщить модератору

27. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +2 +/
Сообщение от Аноним (16), 29-Дек-23, 21:23 
В стандарте С17 будут подвижки с безопасностью, а пока для критичных проектов есть MISRA, например. В последние годы подняли такой шум с ней, что можно подумать остальные языки программирования будут сидеть ничего не делая. В С++ сейчас безопасность памяти это одна из основных задач над которой трудятся.
Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

28. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (12), 29-Дек-23, 21:31 
> В стандарте С17 будут подвижки с безопасностью

Напомните, какой сейчас год?)
Сколько лет уходит, чтобы стандарт попал в ядро?
В каком году в ядре начали использовать С11 вместо уже окаменевшего C99?

> критичных проектов

Есть Ада Спарк.
Мисра тоже неплоха, но запрет на динамические аллокации сильно сужает применимость.

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

32. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (16), 29-Дек-23, 21:41 
В ядре начали использовать С11 в 2012 году, полную поддержку обеспечили конечно позже, учитывая размеры проекта не вижу тут ничего ненормального. SPARK конечно хорошо для своих задач, повзволяет формально верифицировать ПО. Удивлен что приложения для блокчейна пишут не на нем, а на разгильдяйском Solidity.
Ответить | Правка | Наверх | Cообщить модератору

34. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (12), 29-Дек-23, 21:49 
Ядро перешло на с11 в 2022 году. Попробуем оценить в каком перейдут на c17, если сейчас практически 2024. Я думаю где-то 2029-2030.

> Удивлен что приложения для блокчейна пишут не на нем,

Думаю потому что слишком дорого.
А блокчейн много на чем пишут, в том числе и на расте.

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

41. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +2 +/
Сообщение от Аноним (39), 29-Дек-23, 22:19 
Так это окончательно объявили. А если проблемы с управлением памятью настолько реальны, как нас убеждают, то внедрение механизмов безопасности могут форсировать и скорее всего форсируют. Даже самые отъявленые фанаты Раста признают, что переписать ядро на Расте просто нереально, ни к 2030, ни к 2050. А блокчейн много где и на С++ пишут, немало видел на Java, бывало и на Котлине, там зоопарк огого.
Ответить | Правка | Наверх | Cообщить модератору

44. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (12), 29-Дек-23, 22:29 
Так все ядро никто даже и не собирается переписывать. Как раз самые отъявленные фанаты это понимают)
Но переписать самые проблемные части, начать писать новый функционал, начать писать драйвера, чтобы одна паршивая овца не роняла всю систему - это вполне реальное развитие событий.
Ответить | Правка | Наверх | Cообщить модератору

48. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (39), 29-Дек-23, 22:41 
Ну так эту проблему (в целом довольно надуманную) и решает введение нового стандарта и новых инструментов обнаружения утечек, и не нужно это странное двуязычие, или даже скорее мультиязычие, потому что за Растом в ядро наверняка последуют и другие языки.
Ответить | Правка | Наверх | Cообщить модератору

58. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (12), 29-Дек-23, 22:51 
Проблема не надуманная. Как ни откроешь новость про CVE в ядре - то там почти всегда проблемы с памятью. И намного реже с логикой.

> и решает введение нового стандарта

почему тогда его до сих пор нет?)

> и новых инструментов обнаружения утечек

и их тоже нет?

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

65. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (39), 29-Дек-23, 23:12 
Как нет, только что же обсуждали :) Какая избирательная память.
>инструментов обнаружения утечек

Ой сколько я могу их накидать :)

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

78. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (12), 29-Дек-23, 23:39 
Накидать ты то можешь, не сомневаюсь. А вот какие из них реально что-то гарантируют?

Вот целая куча дыреней в OpenSSL/LibreSSL https://www.opennet.ru/opennews/art.shtml?num=58622
- чтение из области вне границ буфера
- Use-after-free
- двойное освобождение памяти
- некорректное разыменование указателя
- разыменование указателя NULL (x2)
ну и еще одна логическая проблема, которая решается нормальными типами

При этом ворнинги включены, оба проекта обмазаны санитайзерами по самое немогу - и memory, и thread, и еще куча других
https://github.com/openssl/openssl/actions/runs/4124496105
Там даже фаззинг какой-то есть.

И что? Помогли тебе анализаторы? Как тогда они смогли собрать практически полное булщит-бинго?

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

84. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (100), 29-Дек-23, 23:49 
Лол, да ты только потому знаешь об этих багах что их как раз выявили и пофиксили с помощью тех самых анализаторов. Л - логика.
Ответить | Правка | Наверх | Cообщить модератору

89. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (12), 29-Дек-23, 23:54 
1. Пруфы в студию. Ну, что именно эти баги были найдены именно санитайзерами.
2. Как этот код попал в кодовую базу, если бы санитайзер просто не пропустил бы PR? (вопрос риторический)

ну и вопрос со звездочкой
3. Сколько лет эти дырени спокойненько жили в либах?

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

94. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Анонин (?), 29-Дек-23, 23:59 
Вот хороший пример https://www.opennet.ru/opennews/art.shtml?num=59906
"Уязвимости в библиотеках X.Org, две из которых присутствуют с 1988 года"
- выход за границы буфера
- исчерпание стека при обработке специально оформленных данных
- целочисленное переполнение приводящее к переполнению кучи
- чтение из областей вне границ выделенной памяти

Эти дыры старше половины посетителей опеннета))
Ой, как же их не замечали столько-то лет? Есть же так много прекрасно работающих инструментов для этого))

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

106. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (100), 30-Дек-23, 00:10 
Вот также будут и в 2050 находить ошибки в немногочисленных легаси проектах на Rust.
Ответить | Правка | К родителю #94 | Наверх | Cообщить модератору

110. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Анонин (?), 30-Дек-23, 00:16 
Будут находить именно use-after-free, buffer-overrun и тд?))
Ответить | Правка | К родителю #106 | Наверх | Cообщить модератору

114. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (100), 30-Дек-23, 00:40 
А что, баги в программах перечисленными категориями исчерпываются? ;)
Ответить | Правка | К родителю #110 | Наверх | Cообщить модератору

125. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Анонин (?), 30-Дек-23, 01:27 
Нет конечно. Но тут кто-то считал, что для CVE - 70% проблемы с памятью. И в это охотно верится.
И исключение - огромный плюс к безопасности. А баги в логике будут любых языках.
Ответить | Правка | К родителю #114 | Наверх | Cообщить модератору

130. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (129), 30-Дек-23, 01:43 
Проблемы с управлением памятью есть, это подтверждает наличие языков со сборкой мусора, которые появились очень давно. Не было бы проблемы с управлением памятью,  никто бы не создавал такие языки и они бы не были популярными.
Ответить | Правка | К родителю #41 | Наверх | Cообщить модератору

188. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (188), 30-Дек-23, 14:36 
>В каком году в ядре начали использовать С11 вместо уже окаменевшего C99?

Такого события не было - C11 начали использовать вместо окаменевшего C89.

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

216. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (10), 30-Дек-23, 18:09 
>вместо окаменевшего C89

for (int i=0; .... вроде бы, уже очень давно можно было писать.

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

37. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (25), 29-Дек-23, 21:59 
> есть MISRA, например

она платная для начала. Намного хуже что в gcc практически невозможно включить все варнинги и санитайзеры внятным способом и для проверки мисра-комплиант надо ещё внешний чекер. В платных компиляторах наверно лучше с этим но я ими не пользуюсь.

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

42. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (39), 29-Дек-23, 22:23 
Платный стандарт, а он и для С внезапно платный (чистовик), и ГОСТы на практике и много еще чего.
PVS-Studio вроде предлагал бесплатную лицензию на один год для проектов с открытым исходным кодом. Наверняка есть и другие пути для некоммерческого проекта, а коммерческие пусть платят.
Ответить | Правка | Наверх | Cообщить модератору

54. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (25), 29-Дек-23, 22:48 
> Платный стандарт, а он и для С внезапно платный (чистовик)

поддержка различных стандартов С и С++ в gcc есть а мисры я там не наблюдаю

> PVS-Studio вроде предлагал бесплатную лицензию

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

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

73. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (39), 29-Дек-23, 23:31 
Ну так внешнего анализатора и достаточно чтобы получить грубо говоря 90% преимуществ Раста и еще выловить баги которые и Раст никак не помогает предотвратить. И главное для этого не нужно менять свой основной язык, что для многих означает потерю работы.

Уже есть коммерческие решения для MISRA, свободные как обычно будут с задержкой, в GCC процесс идет. Пока что можно пользоватся бесплатной версией PVS-Studio и аддоном MISRA для CppCheck. Глупо считать что Раст предлагает в этом что-то уникальное или новое.

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

96. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от фнон (?), 30-Дек-23, 00:00 
> Ну так внешнего анализатора и достаточно чтобы получить грубо говоря 90% преимуществ Раста

Интересная цифра! А можно, хотя бы примерно, методику ее расчета? Пока похоже на "пальцем в небо".

> и еще выловить баги которые и Раст никак не помогает предотвратить.

А можно примеры?
Если ты о фаззинге - то для раст тоже есть внешние инструменты.

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

Вот скажу честно, мне плевать сколько бракоделов-неосиляторов пойдут работать дворниками.
Они за 30 лет не научились память чистить не больше одного раза и за буфер не выходить, так что совершенно не жалко.
Гугл за 2 месяца переучивает людей с Python, Java и Go, на Раст - без потери производительности.
Если эти "профи" не могут выучить новый язык, то они просто плохие программисты.
(То что они ʼне хотятʼ - в это я охотно поверю)

> Пока что можно пользоватся бесплатной версией PVS-Studio и аддоном MISRA для CppCheck. Глупо считать что Раст предлагает в этом что-то уникальное или новое.

Выше покащали пример, что куча санитайзеров работала... и не сработала.
И на минуточку это криптография!
opennet.ru/openforum/vsluhforumID3/132453.html#78

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

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

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

109. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –1 +/
Сообщение от Аноним (25), 30-Дек-23, 00:14 
> Уже есть коммерческие решения для MISRA

соблюдение правил мисры не даёт никаких гарантий а гигантское ядро по ним написать шансов ноль

> Глупо считать что Раст предлагает в этом что-то уникальное или новое

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

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

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

190. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (184), 30-Дек-23, 15:47 
только этот ограниченный класс составляет 70% ошибок, причем многие из них - критические, позволяющие хакнуть программу/систему. Можно сформулировать и так - подавляющее большинство ошибок, которые являются критическими и позволяют взломать систему и получить над ней контроль - как раз из этого самого "ограниченного класса ошибок".
Ответить | Правка | Наверх | Cообщить модератору

46. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +3 +/
Сообщение от Аноним (39), 29-Дек-23, 22:36 
Не очень понятно, зачем нужен недописаный Hermit, когда есть уже готовые стабильные проекты IncludeOS, Nanos, наконец Unikraft.
Ответить | Правка | Наверх | Cообщить модератору

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

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

278. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (278), 05-Янв-24, 21:03 
Смотря откуда взглянуть. Если с позиции Васяна - то да, плодишь себе стотыщпицотный нотепад и думаешь, что сейчас-то ты точно плюнул в вечность. А с позиции камьюнити это УЖАСНО - вместо выбора пакетов для инсталляции, надо погружаться в 3-часовую медитацию "зачем нужен пакет S, чем он отличается от Q, что такое Q-next и превосходит ли он S++". Мириады пакетов непонятной степени отлаженности, готовности в целом и конечно же категорически не нужное РАСПЫЛЕНИЕ СИЛ. Я бы рад помочь *одному* редактору, плагинов там понаписать, но как я его выберу? Этот умеет в синтаксис Perl, а вот этот мультитабный, а тот вообще в консоли работает! Ты теряешься в этом месиве DIY программ, потому что ни одна (нехорошая редиска) не скажет, что его пакет - г0внŏ. Хотя прекрасно знает, что там внутри чёрт ногу сломит. Таковы дилетанты FOSS - сс-ык-уны и посредственности, никто не научен брать на себя ответственность. А нет ответственности - НИКОГДА не будет нормальных фаворитов.
Ответить | Правка | Наверх | Cообщить модератору

283. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Пряник (?), 09-Янв-24, 10:16 
Конкуренция-с. Как было с VHS, дискетами, дисками, хардами, интерфейсами...
Ответить | Правка | К родителю #46 | Наверх | Cообщить модератору

70. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +4 +/
Сообщение от Аноним (70), 29-Дек-23, 23:20 
Оказывается, здесь столько системных программистов, которых так заботит безопасность обращения к памяти на нулевом уровне ядра! Куда же делись прикладные программисты, которым ехать, а не шашечки?
Ответить | Правка | Наверх | Cообщить модератору

80. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –1 +/
Сообщение от Аноним (80), 29-Дек-23, 23:45 
Прикладники ничего не знают про эти "вещи в себе". Вот например:

> всю необходимую функциональность, не привязываясь к ядру ОС и системным библиотекам

А как это чудо взаимодействует с железом?
Как отправляет пакеты в сеть?
Как записывает на диск?
Как рисует на мониторе?

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

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

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

82. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Анонин (?), 29-Дек-23, 23:45 
> которым ехать, а не шашечки

Это те, которым говняк-говняк и в прод? Да куча их, посмотри выше по ветке))

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

91. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (91), 29-Дек-23, 23:56 
Почему-то под ехать ваша братия всю дорогу понимает недоязычки с нулевой гибкостью, "нюансы" которых нужно специально "изучать" (вместо изучения теории категорий, например), чтобы программа работала корректно.
Ответить | Правка | К родителю #70 | Наверх | Cообщить модератору

120. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (129), 30-Дек-23, 01:20 
Я тут. Помимо безопасной работы с памятью без сборщика мусора, там есть еще много удобных zero-cost абстракций и нет проблем с нулевыми указателями, которые регулярно всплыывют и на c++, и в go и в питоне и в jvm языках и в других. Также модель, по которой происходит работа с памятью прекрасно работает и с другими ресурсами, как параллельность или же забыть освободить какой-то mutex.
Ответить | Правка | К родителю #70 | Наверх | Cообщить модератору

137. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –2 +/
Сообщение от Витюшка (?), 30-Дек-23, 02:09 
Отлично! Я тебя нашёл. Да что там освобождение мьютекса!

Давай хотя бы сначала попробуем написать мьютекс безопасный на Rust!

Есть код мьютекса (спинлока). Естественно это суперкритичный к качеству и надёжности код. Естественно написан на Rust.

Докажи, пожалуйста, с помощью Rust (который безопасный по памяти и гонкам данных!) что этот код:
1. Действительно даёт mutual exclusion доступ к критической секции (т.е. работает корректно)
2. Является deadlock-free
3. Является starvation-free

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

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

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

202. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от fyjy (?), 30-Дек-23, 17:11 
> Так я и написал

Так я тоже написал! Супер мьютекс на раст, но код я показать не могу - он секретный по заказу марсиан.
Может ты свой покажешь)?
А то балаболить и фантазировать все умеют

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

167. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от фнон (?), 30-Дек-23, 11:55 
Пук в лужу конечно знатный, но как троллинг унылый.

Ты лучше скажи так:
"Вот пример deadlock-free и starvation-free мьютекса, написанный на языке N, для которого это все доказано! Он используется в проекте М и дает ему непревзойденную надежность.
Сможете так же на Раст сделать? "

А то пока это теоретическое балабольство, зато на умную книжку сослался (ты ее вообще читал?)

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

198. Скрыто модератором  +/
Сообщение от Витюшка (?), 30-Дек-23, 17:01 
Ответить | Правка | Наверх | Cообщить модератору

205. Скрыто модератором  +/
Сообщение от Аноним (-), 30-Дек-23, 17:16 
Ответить | Правка | Наверх | Cообщить модератору

210. Скрыто модератором  +/
Сообщение от Витюшка (?), 30-Дек-23, 17:53 
Ответить | Правка | Наверх | Cообщить модератору

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

215. Скрыто модератором  +/
Сообщение от Аноним (12), 30-Дек-23, 18:02 
Ответить | Правка | К родителю #210 | Наверх | Cообщить модератору

176. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (162), 30-Дек-23, 13:00 
Я так понимаю, все преимущества, такие как безопасность работы с памятью, zero cost абстракции, отсутствие null по сравнению с С/С++ вы игнорируете и все сводите к одному вопросу? Который, по сравнению с теми же плюсами куда проще решается на rust.

С точки зрения использования абстракций, на прикладном уровне, тут rust переиспользует модель работы с памятью и следит на уровне компиляции, что если был взят, например lock, то он обязательно будет освобожден. В том же go периодически всплывают ошибки, что забыли прописать defer для лока и такое, естественно,  потом дебажится в рантайме.

Rust не священный грааль, но определенный класс проблем и ошибок там отлавливается на уровне компиляции, а не в рантайме.

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

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

206. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 30-Дек-23, 17:18 
Ясно, как обычно. Когда дело доходит до конкретного вопроса или просьбы написать 20 строк кода... программисты на Раст либо съезжают с темы, либо начинают разглагольствовать про "сводите к одному вопросу".

А написать 20 строк безопасного кода на Раст не могут. В принципе это всё что нужно знать про Раст, его безопасность и программистов его проповедующих.

Готов написать на Zig, ты на Раст. Я доказываю корректность кода на листочке, потому что по-другому не умею и не знаю как, ты доказываешь корректность (20 строк кода!) с помощью гарантий Раст - borrow checker, владение, типы... в общем извращайся как хочешь. Но с помощью самого компилятора.

По рукам? Или как всегда...

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

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

218. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 30-Дек-23, 19:48 
Наконец-то первый программист на Rust, осиливший 20 строк кода. Уважаю 💪

Сейчас до компьютера дойду.

Будем писать очень простой, но корректный, мьютекс для двух статичных потоков - алгоритм Питерсона (Peterson lock).

Доказательство корректности моего кода - практически напрямую следует из доказательства в книге The Art Multiprocessing programming.

Я буду ждать доказательства на Rust на borrow checker.

То что ты сможешь написать 20 строк кода я не сомневаюсь.

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

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

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


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

239. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от OpenEcho (?), 31-Дек-23, 02:47 
> А давай!
> Кидай сюда свой зигокод, а я кину на раст.

А вы мужики молодцы! (без прикола)
К шоу готов: 🍿🍿🍿

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

241. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 31-Дек-23, 10:29 
Мой вариант.
https://gist.github.com/likern/9df0d97b3551236b456716d95f282f83

Жду твоего :)

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

244. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (12), 31-Дек-23, 18:47 
> Мой вариант.
> https://gist.github.com/likern/9df0d97b3551236b456716d95f282f83

https://github.com/k-walter/rads/blob/main/src/sync/peterson.rs


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

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

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

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

259. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 01-Янв-24, 18:52 
А что я должен должен сказать по коду? Куча синтаксического шума и никаких гарантий корректности.

Так вот возвращаемся к моему основному вопросу. КАК Rust гарантирует корректность этого кода и почему?

Или умный программист ВРУЧНУЮ проверил все инварианты и написал корректный код на небезопасном языке Rust? Как он мог этого сделать и на любом другом, например.

В Zig минимум синтаксического шума, и только по делу. Моя версия,на неё равняться не стоит. Это черновик. Там volatile уйдет, потому что я написал некорректный код (volatile в Java и C++ имеет разную семантику, т.к. я volatile ни разу в жизни и не использовал, наверное, естественно этого не знал. Нужен atomic чистый).

Но я это знаю, что ошибка, знаю какая и как исправить. А как в этом поможет Rust?

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

262. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (-), 01-Янв-24, 22:51 
> А что я должен должен сказать по коду? Куча синтаксического шума и никаких гарантий корректности.

Что должен? Должен проверить код.
Что можешь? А ничего ты не можешь, ты же не умеешь в раст. Мог бы скачать репу и прогнать тесты.
Тесты оно проходит
test sync::peterson::tests::race_conditions ... ok
test sync::peterson::tests::sequential_works ... ok
test sync::peterson::tests::mutual_exclusion ... ok
test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 13.88s

> Так вот возвращаемся к моему основному вопросу. КАК Rust гарантирует корректность этого кода и почему?

Я тебе писал уже кучу раз в этой теме - ОТКРОЙ ДОКУ и прочитай что именно гарантирует раст.
Все что гарантируется, гарантируется автоматически.
Все что не гарантируется - доказываешь на бумажке, покрываешь тестами.

> Или умный программист ВРУЧНУЮ проверил все инварианты

и написал корректный код на безопасном языке Rust. Программист молодец!

> В Zig минимум синтаксического шума, и только по делу.

А откуда ты это знаешь, если на твой код равняться не стоит? Вдруг ты что-то забыл?
В раст тоже все по делу. Вот ты написал все в кучу внутри структуры PetersonMutex, тут разделил на отдельные имплементации, чтобы код был более читабельным (но только разумеется для того, кто понимает что там написано)

> Это черновик. ... я написал некорректный код ...

Черновик или нерабочий код? Если мы оба за точность терминологии, то это явно момент, который неплохо бы прояснить)))

> Но я это знаю, что ошибка, знаю какая и как исправить. А как в этом поможет Rust?

Как поможет раст исправить ошибку в Зиг коде? Даже не знаю что ответить...

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

265. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 01-Янв-24, 23:28 
В общем по существу ответить нечего.

Вывод спора простой. Большинство программистов на Rust ничего сложного написать не могут, даже попытаться. Кидают чужие имплементации.

И при этом рассказывают про безопасность. Обеспечить которую они не могут, да и даже не понимают как обеспечивать.

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

Вывод третий. Крутой программист и на Rust напишет хороший корректный код. Правда он его же и на С++ напишет, и на Zig.

> Что должен? Должен проверить код.

Что можешь? А ничего ты не можешь, ты же не умеешь в раст. Мог бы скачать репу и прогнать тесты.
Тесты оно проходит

Тесты написанные самим автором? Ну ты насмешил:)) Обидно что я код могу написать, а ты...или твой коллега нет?)

Ты как определил что я не могу в Rust коде разобраться?))) Сам придумал и поверил?)

> А откуда ты это знаешь, если на твой код равняться не стоит? Вдруг ты что-то забыл?

volatile убери и будет всё Ок.

> Вот ты написал все в кучу внутри структуры PetersonMutex

Ясно. Когда совсем нечего ответить начинают придираться к запятым 😄 Там не всё в кучу. Там отдельная единая имплементация.

А твои "интерфейс" это конечно ужасный говнокод. Но ты этого не знаешь. На каждый класс, наверное, пишешь интерфейсы и фабрики синглионов фабрик классов?) Да вы батенька...кодер.

Вот когда появится несколько имплементации (если, когда-нибудь...а скорее всего никогда ) то я просто в compile time проверю все функции и их сигнатуры у структуры - что есть методы lock и unlock 🔓 в структуре и всё.

> Как поможет раст исправить ошибку...

Увиливаешь. Никто не мешает использовать volatile в Rust коде и совершить такую же ошибку.

Только я знаю что ошибки могут быть и поэтому полез гуглить про volatile. А типичный программист на Rust, свято веря в безопасность, и проверки компилятора естественно никуда лезть и читать не будет. Нет warning? Значит безопасно. Компилятор всё проверил.

В итоге мой код будет лучше, качественнее, надёжнее, безопаснее чем у Rust фанатиков.

> Черновик или нерабочий код?

Рабочий я оставлю чтобы троллить на следующих новостях про Rust. Мне не к спеху поправить.

Знал что никто даже и 20 строк кода сам написать не сможет. Оказался прав 😀 Выложили бы своё - тут же поправил бы.

В общем картина Rust программистов очень печальная и удручающая

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

268. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (-), 02-Янв-24, 01:35 
> В общем по существу ответить нечего.

Т.е ты слился? Я не особо удивлен.

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

Я тебе предоставил чужой рабочий код на Раст, а ты мне какой-то свой багованый полуфабрикат на Zig. Представляешь, ты умудрился ошибиться в 50 строках кода! О какой квалификации вообще может идти речь...
Лучше бы нашел чужой рабочий вариант, посмотрели бы его.

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

Феерическое предположение, на уровне "если бы бабушка была дедушкой".
Да и с чего он вдруг налажает? Ты по своему опыту судишь?
Ну не все такие программеры как ты.

> Вывод третий. Крутой программист и на Rust напишет хороший корректный код. Правда он его же и на С++ напишет, и на Zig.

Причем тут с++? Там и смартпоинтеры и raii есть. Может ты с Си спутал?
Если да, то это ложное предположение. Как жаль, что таких программистов не нашлось для ядра. Хотя гугл меняет С и С++ в андроиде на раст, что показательно.

> На каждый класс, наверное, пишешь интерфейсы и фабрики синглионов фабрик классов

О, ты опять показываешь свое "прекрасное" знание раста - в нем нет классов.

> я просто в compile time проверю все функции и их сигнатуры у структуры - что есть методы lock и unlock

Да, это ооочень круто. Вот только мои "интерфейсы" проверяются в compiletime)))

> А типичный программист на Rust, свято веря в безопасность, и проверки компилятора естественно никуда лезть и читать не будет.

Ты опять делаешь бредовые выводы и обобщаешь...

> В итоге мой код будет лучше, качественнее, надёжнее

Ахаха, сам себя не похвалишь - никто не похвалит)))
Может будет, а может бы будешь #ыдлокодить на тайпскрипте, кто знает...
Но пока что ты уже обделался))

> Мне не к спеху поправить.

Поверь, уже его никто не ждет.

> В общем картина Rust программистов очень печальная и удручающая

Да, нам просто удручающе приходится общаться с такими как ты.

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

270. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 02-Янв-24, 02:26 
Ну у вас с логикой всё печально. Я говорю "давай напишем код" и проверим у кого больше гарантий.У меня, ручками или у Rust.

Выяснилось что сам ты написать на Rust ничего не можешь. Не то что безопасно, а вообще никак.

Так об этом и речь!

Парень, ты жиденько обделался. Rust тебе не помог, а сам ты не могёшь. Как и все в этой ветке защитники. У вас только на словах всё безопасно. На деле 0 строк кода 😀 Смешно ей богу.

"Лучше бы взял", а может тогда тебя сразу на помойку выкинуть и взять того парня который тот код и написал?) Он, уверен, и на С++ без ошибок напишет.

Вам предложили написать 20 строк кода но и с этим вы не справились.

А так да, есть крутые программисты, которые пишут на Rust. Только язык тут ни при чём. Они крутые и на чистом С и на С++. С небезопасный? Берешь С++ и всё.

А так на что вы способны? Отправлять JSONчики клиенту, а всю реальную работу кто-то завал бы написал? Многопоточку там безопасную. Так хватит JS или Go за глаза.

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

260. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 01-Янв-24, 19:05 
В этом и фишка, ни одного unsafe и язык является абсолютно небезопасным. И в этом коде можно сделать ошибку где угодно. Не только логическую.

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

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

Т.е. от Сишки Rust не сильно отличается.

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

Может, стоило сделать просто более безопасный С, с проверкой границ массивов (а не с ограничениями) в runtime и т.п.?

И вот Rust превращается.. превращается...в Zig :))

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

264. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (-), 01-Янв-24, 23:26 
> В этом и фишка, ни одного unsafe и язык является абсолютно небезопасным.
> И в этом коде можно сделать ошибку где угодно. Не только логическую.

Не любую. А ту ошибку, отсутствие которой не гарантируется safe подмножеством.
Ну, пожалуйста, ну открой доку и прочитай!
Я тебе даже ссылку скину
doc.rust-lang.org/nomicon/meet-safe-and-unsafe.html
doc.rust-lang.org/nomicon/races.html
Надоело повторять одно и тоже!

> И ловить ты её будешь несколько лет.

Неплохой наброс... Пруфов конечно не будет, да?

> Т.е. от Сишки Rust не сильно отличается.

Пхахаха. Сишка позволяет тебе сделать так:
    double *ptr = (double*)malloc(sizeof(double) * 10);
    double *ptr2 = ptr;
    free(ptr);
    free(ptr2);
И будет классический дыряшечный double-free.
А теперь повтори это в безопасном расте. Попробуй напр. в playground.

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

Конечно стоит. Потому что ты будет задумываться о реально сложных вещах, а рутину будет тебе подсказывать компилятор.

> Может, стоило сделать просто более безопасный С, с проверкой границ массивов (а не с ограничениями) в runtime и т.п.?

В runtime слишком дорого. Плюс там не только проверка границ массивов.

> И вот Rust превращается.. превращается...в Zig :))

Слава богу нет))
Потому что в твоем zig делаешь:
    const allocator = std.heap.page_allocator;
    var memory1 = try allocator.alloc(u8, 2);
    var memory2 = memory1;
    allocator.free(memory1);
    allocator.free(memory2);
И наслаждаться "Segmentation fault at address 0x7f55bb3e5000"
Та же сишка, только в профиль. И что, помог тебе твой Zig?

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

266. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 02-Янв-24, 00:37 
Ну и как же ты не в runtime отловишь выход за границы массива?

Очень хочу послушать гуру Раста, как они это делают в compile time.

Опять будете рассказывать что я там что-то не так прочитал? Товарищи, вы путаетесь в показаниях.

То вы говорите что то что Rust гарантирует... очень ограничено. А значит в compile time это не проверить (вроде это очевидно?)...а тут же на голубом глазу что runtime проверки якобы очень дороги 😀 Либо одно, либо другое.

Те в Rust просто забивают и никакие проверки не делают?

А про гарантии borrow checker Rust я прекрасно осведомлён и что он гарантирует знаю.

В моём Zig не вышла ещё версия 1.0.
И эта лишь детали имплементации, не успели ребята написать ещё эту фичу.

https://github.com/ziglang/zig/issues/6004

Очевидно что аллокатор будет уметь ловить практически все известные ошибки аллокации памяти.

Включая double free.

* Detect double free, and emit stack trace of:
//!    - Where it was first allocated
//!    - Where it was freed the first time
//!    - Where it was freed the second time

В принципе все эти ошибки можно и нужно детектировать. И Zig это и делает. Например double lock на мьютексе из своего потока. Аллокатор тоже много чего детектирует, но не всё ещё.

И если ты говоришь что для Rust это дорого и он всё это не детектирует - получается он менее безопасный.

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

267. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (-), 02-Янв-24, 01:21 
Ты вообще за дискуссией следишь? Ты спросил про Си
>>> Может, стоило сделать просто более безопасный С, с проверкой границ массивов
>> В runtime слишком дорого.
> Ну и как же ты не в runtime отловишь выход за границы массива?

Вот ты сам придумал? что они не в рантайм. А тебе ответили "почему не добавят".
Хватит уже приписывать мне то, что я не говорил.
В си нет слайсов и итераторов, которые в расте неплохо так нивелируют рантайм проверки.

> То вы говорите что то что Rust гарантирует... очень ограничено.

Нет, я такого не говорил. Это ты считаешь, что оно ограничено.
А я сказал, что раст покрывает конкретный сабсет, ошибки из которого очень распространены в системном и не только программировании и порождают море CVE.

> Либо одно, либо другое.
> Те в Rust просто забивают и никакие проверки не делают?

Это уже какая-то шизофрения...

> А про гарантии borrow checker Rust я прекрасно осведомлён и что он гарантирует знаю.

Ну-ну)) Ты еще в прошлой теме показал как прекрасно ты знаешь раст. И продолжаешь в этой)

> В моём Zig не вышла ещё версия 1.0.
> И эта лишь детали имплементации, не успели ребята написать ещё эту фичу.

Ахахаха! Такая крохотная деталь имплементации! Вот оно чё, Михалыч!

> https://github.com/ziglang/zig/issues/6004

Висит открытая с 2020 года.

> Очевидно что аллокатор будет уметь ловить практически все известные ошибки аллокации памяти.

Абсолютно неочевидно! Может к тому моменту они проедят донаты и забросять это поделие. Или сыграет bus-factor.
Сейчас есть просто факт - это не работает в "готовом для прода" Zig'е.

> В принципе все эти ошибки можно и нужно детектировать. И Zig это и делает.

Так делает или это еще не реализовано? Реализовано или "еще не всё"

> И если ты говоришь что для Rust это дорого и он всё это не детектирует - получается он менее безопасный.

Еще раз повторю - про раст я такого не сказал. Вопрос был про си, ответ был про си.

Меня восхищает твое умение додумывать вещи, которые собеседник не говорил, а потом героически их опровергать.

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

269. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Витюшка (?), 02-Янв-24, 02:11 
Про героическое додумывание - это лучше к зеркалу подойти. При чём тут вообще С?

С чистым С Rust никто никогда не сравнивал. А вы всё пытаетесь спуститься пониже...на С... чтобы более выигрышно смотреться.

Мы про С++ говорили, говорим и будет говорить. И про Zig.

Про интерфейсы или как ты там их назвал в Rust - речь была про то что всё это и гораздо больше делается в Zig.

Интерфейсы это очень ограниченный инструмент. Zig позволяет это. Zig позволяет гораааздо больше. Про это речь шла.

Что такое интерфейс? Просто набор сигнатур функций который необходимо реализовать, может параметризованный.

В Zig можно сделать любые проверки всего что может быть вычислено в compile time.

Например как сделать в Rust интерфейс - у которого все методы будут начинаться с названия "start"? Или никак, или через какой-то убогий синтаксис макросов. С помощью какого-то корявого синтаксиса.

В Zig это делается легко на обычном же Zig.

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

Однако это было не "5 лет назад", а в "стабильной production ready версии языка 1.64". Вот и вся безопасность.

Но что-то про Rust ты такого не говоришь

> Сейчас есть просто факт - это не работает в "готовом для прода" Zig'е

что это не готовая поделка 😀

Сравнивать стабильную версию языка с 64 релизами с языком 0.11, у которого уже это есть из коробки. Ну... такое, не делает чести Rust

Слайсы и итераторы это и есть runtime проверки. Но ты этого не знал. Ну что же, не удивительно.

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

232. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от _ (??), 30-Дек-23, 23:13 
>Куда же делись прикладные программисты, которым ехать, а не шашечки?

Прикладные уже давно не пишут на С.
На С++ не так давно - но тоже редкость.
На расте писать они не будут тоже, это уже видно.

Иди ко ты в топик где обсуждают Java, JS\TS, Python и прочую жесть.

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

285. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от wyry (?), 11-Янв-24, 05:07 
Штааа? xD. Всего лишь почти все ПО по производству 3D графики написано на C++. В Blender есть и более низкоуровневый Сишный код. Unreal Engine 5 (давно не пишут xD...) написан на C++. Почти все видеоредакторы написаны на C++. Почти весь САПР - это C++. MATLAB - это C (чистый) + Java морда. Или для вас "прикладное ПО" - это для секретарей и кассиров? Так и там, особенно при отказе от винды можно запросто увидеть C++, помимо Java.
Ответить | Правка | Наверх | Cообщить модератору

74. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +5 +/
Сообщение от Аноним (74), 29-Дек-23, 23:36 
Какой же мерзкий синтаксис. Пока что самый адекватный синтаксис у конпиляемых "системных" языков - это Ada.
Ответить | Правка | Наверх | Cообщить модератору

87. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –3 +/
Сообщение от Аноним (91), 29-Дек-23, 23:52 
(Мысли вслух) Где же вас таких обучают, в каком ПТУ? Почему вам синтаксис дороже семантики?
Ответить | Правка | Наверх | Cообщить модератору

92. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +4 +/
Сообщение от Аноним (100), 29-Дек-23, 23:56 
А почему нужно обязательно налажать или в одном, или в другом? Почему бы и то, и другое не сделать нормально?
Ответить | Правка | Наверх | Cообщить модератору

95. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (91), 29-Дек-23, 23:59 
Потому что "нормально" не бывает. Синтаксис это на 90% вкусовщина. Это как выбирать компьютер по цвету системного блока. Блондиночный критерий. Синтаксис можно легко переделать (и языки с гибкой семантикой дают для этого лёгкую методу), а семантику без переписывания самого языка не переделать при всём желании.
Ответить | Правка | Наверх | Cообщить модератору

101. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (74), 30-Дек-23, 00:05 
> Синтаксис это на 90% вкусовщина.

Всё что нужно знать о современных "IT специалистах" 👆

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

221. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от JB (??), 30-Дек-23, 20:43 
Мне кажется, вы поспешили обозвать его специалистом.
Ответить | Правка | Наверх | Cообщить модератору

107. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (74), 30-Дек-23, 00:12 
> Это как выбирать компьютер по цвету системного блока.

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

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

108. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (74), 30-Дек-23, 00:13 
П.с. если что, это был sarcasm ‼
Ответить | Правка | Наверх | Cообщить модератору

113. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (100), 30-Дек-23, 00:26 
Думал сарказм, а оказалось правдой. У растоманов так бывает.
Ответить | Правка | Наверх | Cообщить модератору

173. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (-), 30-Дек-23, 12:38 
Кто не понял, поясню синтаксис - это грубо говоря набор "Literal" или "слов". Чем их количество меньше и сами слова интуитивно понятны, тем читабельность лучше. А семантика должна придавать набору ключевых слов и имён переменных общий логический смысл. И этот общий смысл слов необязательно может быть быстро понят программистом, который переходит на другой язык программирования.

>Синтаксис это на 90% вкусовщина.

Согласен. Но давайте вглянем на Раст глазами чистосишника. Раст обладает развитым синтаксисом, что само по себе подразумевает мощный семантический аппарат. И всё это нагромождение "Literal" воспринимается как "наркоманский синтаксис". Если Раст учит человек никогда не программировавший, то восприятие "наркоманского синтаксиса" не будет.

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

275. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Янис (?), 03-Янв-24, 20:06 
Каким еще таким развитым синтаксисом обладает растишка?! У чистого Си все куда яснее.
Ответить | Правка | Наверх | Cообщить модератору

277. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (278), 05-Янв-24, 20:54 
> Синтаксис это на 90% вкусовщина

ДАЛЕКО НЕ. Именно в силу синтаксиса ЛИСП (или какой-нть Брэйнфак с Перлом) канули в лету, а ПОЧТИ похожий на Си Паскакаль не выдержал битвы и... тоже забыт большинством.

Синтаксис - это не следование капризам очередного з@дp0та (как ты себе представляешь), это выверяемый годами удобный способ представления программы, ибо их не только пишут, но и ЧИТАЮТ.

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

88. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +5 +/
Сообщение от Аноним (100), 29-Дек-23, 23:53 
Я что-то после новостей про Паскаль по нему заностальгировал. Конечно, по нынешним меркам он многословный и фигурные скобки привычнее, но все же насколько по-человечески выглядит код! И да, Ада очень близка к нему, к тому же по-настоящему безопасна.
Ответить | Правка | К родителю #74 | Наверх | Cообщить модератору

103. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (74), 30-Дек-23, 00:08 
Ada, в отличии от паскаля, может в многопоточность и асинхронность. Хотя, вроде, в fpc что-то такое есть, но оно очень сырое и не_стандартизированное.
Ответить | Правка | Наверх | Cообщить модератору

220. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от _ (??), 30-Дек-23, 19:51 
fpc - сам себе стандарт. В стандартном Pascal даже классов нет.

И кстати он (fpc) - неплох. К нему даже Lazarus сделали :)

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

121. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (129), 30-Дек-23, 01:22 
А что конкретно не так с ним? Как такие же абстракции более лаконично и понятно описывать?

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

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

149. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (147), 30-Дек-23, 08:05 
Ага, программист должен иметь минимум три года опыта разработки на Rust чтобы оценивать качество его синтаксиса.
Ответить | Правка | Наверх | Cообщить модератору

154. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (223), 30-Дек-23, 10:26 
Не обязательно три. Только когда начнёшь осознавать концепции и почему так сделано. Если хочется больше сахара - можно намазать макросов. Тут просто многие синтаксические вещи сделаны по-другому. И практика показывает, что плюсы начинают пытаться это повторять потому что так удобнее (типа явного self)
Ответить | Правка | Наверх | Cообщить модератору

203. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –1 +/
Сообщение от C00l_ni66a (ok), 30-Дек-23, 17:13 
>Если хочется больше сахара - можно намазать макросов.

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

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

177. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +2 +/
Сообщение от Аноним (162), 30-Дек-23, 13:01 
Достаточно осилить rustbook, который большинство критиков синтаксиса даже не открывали дальле первой странички, чтобы большинство вопросов к синтаксису отпало
Ответить | Правка | К родителю #149 | Наверх | Cообщить модератору

284. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Пряник (?), 09-Янв-24, 10:26 
Синтаксис намного удобнее и понятнее, чем в С/С++, а больше и не нужно. Хотя немного более многословный. Преобразование через as_, макросы без прострела ноги (когда узнал про косяки макросов в Си, это фейспалм, обязательно всё в скобки, сразу вспомнил баш с кавычками).
Ответить | Правка | К родителю #74 | Наверх | Cообщить модератору

152. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (147), 30-Дек-23, 08:22 
Больше всего радует, что на волне всего этого хайпа вокруг memory safety наконец-то начали шевелится разработчики C и C++. Глядишь, наконец-то ограничат возможность прострелить себе ногу хотя бы в дефолтном окружении.
Ответить | Правка | Наверх | Cообщить модератору

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

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

161. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от фнон (?), 30-Дек-23, 11:34 
Коммитет обсудит это лет 3-5,
потом добавят в стандарт,
через 10-15 лет попадет в ядро
Ответить | Правка | Наверх | Cообщить модератору

166. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Анонин (?), 30-Дек-23, 11:46 
Этот proposal маринутеся еще с 2020 года (https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2542.pdf)
В конце 2021 вышла вторая его версия https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2895.htm

И если бы его таки добавали, то в C23... в который он уже не попал))) И в следующий тоже.
Так что пока нет никаких предпосылок к его принятию.

Вообще на уровне ядра могли бы свой самописный defer сделать. Или сделать на уровне GNU C Extensions.

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

179. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (10), 30-Дек-23, 13:17 
>Или сделать на уровне GNU C Extensions.

На уровне GNU Extensions можно много чего добавить. Например, MISRA можно было бы, -fmisra. Сразу все требования, понимаю, трудновато реализовать, но можно постепенно добавлять.

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

222. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (25), 30-Дек-23, 21:05 
> на уровне ядра могли бы свой самописный defer сделать

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

https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux...

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

170. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +2 +/
Сообщение от Аноним (-), 30-Дек-23, 12:09 
>Применение "-C codegen-units=1" при сборке Android позволило снизить размер инструментария на 5.5% и увеличить его производительность на 1.8%, при этом время сборки самого инструментария увеличилось почти в два раза.

Размер меньше, а время сборки медленей.

>были применены оптимизации при помощи утилиты BOLT, которые позволили довести прирост скорости сборки до 24.7%, но размер инструментария при этом вырос на 10.9%.

Размер чуть больше, а время сборки быстрее.

Хм ... не, я лучше посижу на чистой сишке.

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

186. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от fyjy (?), 30-Дек-23, 14:16 
Звучит логично.
Или программа использует меньше памяти, или работает быстрее.
Обычная задачка на оптимизацию алгоритмов.

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

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

242. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (242), 31-Дек-23, 15:45 
скомпилировать с -O3
Ответить | Правка | Наверх | Cообщить модератору

251. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –2 +/
Сообщение от Аноним (-), 31-Дек-23, 21:55 
А потом долго и судорожно ищешь куда бы поставить барьер, чтобы порядок выполнения был таким как ты написал, а не как захотелось компилятору.
Ответить | Правка | Наверх | Cообщить модератору

273. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (273), 03-Янв-24, 01:55 
Ну если тебе квалификации не хватает, тогда компилируй с -O2
Ответить | Правка | Наверх | Cообщить модератору

280. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (280), 08-Янв-24, 23:37 
А тем временем российские физики написали эмулятор 34 кубитного квантового компьютера именно на Rust... "Гуру" тем временем в чатиках важными холиварами были заняты
Ответить | Правка | К родителю #186 | Наверх | Cообщить модератору

281. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (-), 09-Янв-24, 00:31 
> А тем временем российские физики написали эмулятор 34 кубитного квантового компьютера именно
> на Rust... "Гуру" тем временем в чатиках важными холиварами были заняты

Он так же работает как аппарат на луне, робот федор и модуль наука?
Или даже лучше?

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

226. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –2 +/
Сообщение от Аноним (226), 30-Дек-23, 21:56 
>были применены оптимизации при помощи утилиты BOLT

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

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

282. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Пряник (?), 09-Янв-24, 10:10 
Генераторы бы... с ними параллелизм в hello world будет по феншую.
Ответить | Правка | Наверх | Cообщить модератору

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

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




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

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