1.1, Аноним (1), 19:34, 29/12/2023 [ответить] [﹢﹢﹢] [ · · · ]
| –29 +/– |
Очень радостно, что раст уже в ядре. Лет через 15 всё ядро уж точно будет переписано на это чудо техники!
| |
|
2.3, Аноним (-), 19:52, 29/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Версия ядра 1.0 вышла в 1994 году, те, будем считать, 30 лет.
Так что переписать (и дописать новое) за 15 - это будет отличный результат.
| |
|
|
4.7, Аноним (-), 19:59, 29/12/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
Не спасибо, ими разве что лефтпады править.
Более того, переписать просто в лоб не получится, скорее всего нужно будет менять код и взаимосвязи.
| |
4.15, Аноним (15), 20:41, 29/12/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
Особенно хорошо нейронки справляются со sql. Только не плачь, когда выпнут.
| |
4.16, Аноним (16), 20:41, 29/12/2023 [^] [^^] [^^^] [ответить]
| +3 +/– |
Нейронками можно и из Раста в Си конвертировать все нужное и тем самым избавится от лишних зависимостей.
| |
|
5.19, Анонин (?), 20:59, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Если конвертить из Раста в Си, то получишь все недостатки си, только на расте.
Куча unsafe, проблем с памятью и примитивность структур и кода.
И никакая нейронка тебе тут не поможет. Так лучше вообще не делать.
| |
|
6.29, Аноним (16), 21:33, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Нет конечно. Нейронки лучше всего программируют на том языке, для которого больше база в датасете, а это в первую очередь C и C++. Поэтому такой код получится еще лучше и безопаснее, чем на Расте. Она еще и пофиксит другие баги, не связанные с управлением памяти, от которых Раст вообще никак не защищает.
| |
|
7.30, Анонин (?), 21:38, 29/12/2023 [^] [^^] [^^^] [ответить]
| +2 +/– |
А что будет в датасете? Куча дырявого кода многолетней выдержки? Грязные хаки и срезание углов?
Вот обучишь на таком - оно тебе такое же и выпрограммирует.
| |
|
8.39, Аноним (39), 22:09, 29/12/2023 [^] [^^] [^^^] [ответить] | +/– | Это скорее к кодовой базе Раста относится, им же главное побыстрее и побольше, ч... текст свёрнут, показать | |
|
7.148, Аноним (148), 08:03, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Большая база в датасете формируется датасатанистом. Поэтому чего там будет больше ты знать не можешь.
А если просто тупо скормить гитхаб/гитлаб то больше там будет яваскрипта.
| |
|
|
|
|
|
2.10, Аноним (10), 20:15, 29/12/2023 [^] [^^] [^^^] [ответить]
| +3 +/– |
>Лет через 15 всё ядро уж точно будет переписано на это чудо техники!
Особенно учитывая, что переписывание на БезопасТном идёт намного медленнее, чем написание на Сишке. А на разработку ядра затрачено 32 года, то ...
| |
|
3.12, Аноним (12), 20:26, 29/12/2023 [^] [^^] [^^^] [ответить]
| –4 +/– |
> медленнее, чем написание на Сишке
Ты посчитал только написание или добавил "закладывание багов", поиск багов, тестирование, исправление и тд?
Если нет, то верю.
СИшка - это же пхп времен 70х.
Для тех кто не освоил ассемблер и фортран, но нужно быстро х-к-х-к и продакшн.
| |
|
4.22, Аноним (16), 21:05, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
А что, поиск багов, тестирование, исправление ошибок - это то, в чем программы на Rust не нуждаются?
| |
|
5.31, ИмяХ (ok), 21:41, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Нуждаются в гораздо меньшей степени, чем у сишных прог.
| |
|
6.36, Аноним (16), 21:57, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
"в гораздо меньшей" - это сколько именно, и откуда эти данные? А если сравнить не с Си, а например с программой Java, где вообще управлять памятью не нужно?
| |
|
7.43, Аноним (43), 22:27, 29/12/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
Микрософт насчитал что как минимум на 70%. Ссылки с отчётами легко гуглятся
| |
|
8.49, Витюшка (?), 22:43, 29/12/2023 [^] [^^] [^^^] [ответить] | +1 +/– | Это не правда, у тебя даже прочитать не получилось без ошибок А ты надеешься на... текст свёрнут, показать | |
8.52, Аноним (39), 22:46, 29/12/2023 [^] [^^] [^^^] [ответить] | +/– | Эти ссылки в основном из предвзятых источников Зато если копнуть глубже часто п... текст свёрнут, показать | |
|
7.129, Аноним (129), 01:36, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Как минимум, ошибки обращения к освобожденной памяти, или же ошибки не вызова free или де падения от обращения по нулевому указателю не нужно решать и дебажить как класс. Это регулярные ошибки или уязвимости.
| |
|
|
|
|
3.13, Советский инженер (ok), 20:28, 29/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
> А на разработку ядра затрачено 32 года
да, только ведь код добавлялся не линейно.
а платиновые спонсоры скажут "надо" и работа закипит
| |
|
4.25, Аноним (25), 21:15, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
> а платиновые спонсоры скажут "надо" и работа закипит
так уже сказали и Торвальдс разрешил, но сам он не увидел пользы от раста и энтузиазма нет
| |
|
|
2.17, Tron is Whistling (?), 20:51, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Они таки закопают ведро.
Лицензия на редхат в разрезе 5 лет не сильно дешевле лицензий на винду... винде правда кал костов добавляет, но если мы берём сервис, который на аутентификацию в самой ос не завязан - кала надо мало. Для переходного периода из коробки уже есть WSL.
| |
|
1.18, Аноним (16), 20:57, 29/12/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +18 +/– |
Глупо изучать новый сырой язык со сложным синтаксисом только ради защиты от небольшой части ошибок, связанных с неправильным управлением памятью. Проще воспользоватся инструментами вроде cppcheck или другими статическими анализаторами. Вот кстати большой список таких инструментов: https://github.com/analysis-tools-dev/static-analysis
| |
|
|
3.50, Аноним (129), 22:45, 29/12/2023 [^] [^^] [^^^] [ответить]
| +4 +/– |
Мне кажется это единственная причину батхерта в сторону раста, когда уже убито множество человекочасов на изучение C++, а тут набирает популярность прямой конкурент, который позволяет проще писать поддерживаемый производительный код с минимизацией выстрелов в ногу.
| |
|
4.59, Аноним (39), 22:51, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Негативное восприятие всего лишь потому что вместо С++ со его реальными недостатками пропагандисты Раста всем навязывают C++ номер два с таким же убогим синтаксисом, без ООП, зато с CoC и повесточкой.
| |
|
5.68, Аноним (129), 23:17, 29/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Мне кажется, про раст вы знаете чисто из комментариев на опеннете. Вместо ООП есть куда более удобные механизмы, синтаксис куда доканичнее и понятнее чем в плюсах, если сравнивать аналогичные конструкция.
| |
|
6.100, Аноним (100), 00:04, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Вот поэтому те кто с ООП на короткой ноге в Раст ни ногой, у тех все чего нет "нинужно". Попиши без ООП большой проект, особенно математический - захлебнешся в лапше.
| |
|
7.124, Аноним (129), 01:26, 30/12/2023 [^] [^^] [^^^] [ответить]
| +2 +/– |
Я писал на java и на python, давно когда-то на C++, но композиция и интерфейсы как в go или rust (особенно в rust, по сравнению с go) удобнее и лаконичнее, нежели ООП и прекрасно работают и в масштабных проектах.
Математические библиотеки прекрасно себя чувствует и пишутся на rust.
| |
7.175, DEF (?), 12:57, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
В математических проектах ООП ненужно вообще. Julia использует ФП и множественную диспетчеризацию, которая гораздо мощнее и лучше, чем ООП.
| |
|
|
|
4.62, Витюшка (?), 23:04, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Проблема в самом языке. Очень он неудачный получился. Не замена С++, а как правильно здесь сказали, С++2. Да, получше.
Да, чуток получше, чуток безопаснее. А гемора с ним намного больше.
Уже не один проект он него отказался, хотя явно там фанатики были. Тащили до конца, но не вышло.
А что он появился - для С++ это здорово. Это значит часть программистов ушла туда и начала снова и заново переписывать всё, от Hello World до очень серьезных вещей.
| |
|
5.66, Аноним (129), 23:15, 29/12/2023 [^] [^^] [^^^] [ответить]
| +2 +/– |
И что в нем прям очень неудачного? Мне кажется, одно лишь отсутствие нулевых указателей это эпик вин, не говоря о других удобных и полезных вещах.
| |
|
6.85, Аноним (85), 23:50, 29/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Чел, не ведись на троля. Если ты не в курсе, Витюшка - это знатный местный критик Раста, который не в зуб ногой ни в Расте, ни в C++. Он из темы в тему постит забористую дичь, причем повторяет одну и ту же чушь даже после того, как в предыдущей теме его ткнули носом в факты.
| |
|
7.98, Аноним (100), 00:01, 30/12/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
Витюшка пытался вкатится в программирование на Rust, задал тут невинный вопрос, так растоманы его вместо ответа обложили хренами с ног до головы. Достойно встретили новичка, что ни говори, вот у него теперь и аллергия на Rust.
| |
|
8.105, фнон (?), 00:08, 30/12/2023 [^] [^^] [^^^] [ответить] | +2 +/– | Неа, он пришел со словами ваш раст овно, а воот зиг и крабон огого На вопрос п... текст свёрнут, показать | |
|
|
6.117, Витюшка (?), 01:15, 30/12/2023 [^] [^^] [^^^] [ответить]
| –2 +/– |
Отсутствие нулевых указателей также есть и в Zig. Это большой win, как ты сказал.
Но в C++ это делается буквально парой строчек. Пользовательский тип, который инкапсулирует сырой указатель, пара переопределенных операторов, move конструкторы и готово. Проверяй в конструкторе что указатель не null.
| |
|
7.126, Аноним (129), 01:31, 30/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Это разные вещи - принципиально не выразимо или же можно сделать если очень захотеть и другие будут тоже правильно делать.
Rust не единственный язык, который отказался от null, но он самый популярный и развитый из онных
| |
|
|
5.102, фнон (?), 00:05, 30/12/2023 [^] [^^] [^^^] [ответить]
| +3 +/– |
Давай по новой, Витюшка, все фигня! (с)
Ты опять пришел позориться своими "знаниями" в области Раст?
В этот раз будешь заливать про зиг, свою уникальную задачу, когда "несколько потоков одновременно пользуют один кусок памяти" и прочие ламповые истории?
Или ты, сегодня, придумал что-то новое?
| |
|
6.128, Витюшка (?), 01:36, 30/12/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
Есть кое-что поинтереснее и посвежее.
Есть код мьютекса (спинлока). Естественно это суперкритичный к качеству и надёжности код. Естественно написан на Rust.
Докажи, пожалуйста, с помощью Rust (который безопасный по памяти и гонкам данных!) что этот код:
1. Действительно даёт mutual exclusion доступ к критической секции (т.е. работает корректно)
2. Является deadlock-free
3. Является starvation-free
А то у вас одни hello world только безопасные 😀 Надо на реальных примерах.
| |
|
|
|
9.163, Аноним (162), 11:37, 30/12/2023 [^] [^^] [^^^] [ответить] | +/– | Зачем мне в комментариях цитировать то что и так описано в книге, а чтобы грамот... текст свёрнут, показать | |
|
|
|
10.185, Витюшка (?), 14:09, 30/12/2023 [^] [^^] [^^^] [ответить] | –1 +/– | Многопоточное программирование сейчас абсолютно везде, даже в роутерах домашних,... большой текст свёрнут, показать | |
|
|
|
|
|
|
|
7.174, Аноним (1), 12:55, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Ну так уже 24 год на дворе, раст 5 лет назад был не тот, что сейчас. Мне бы хотелось линк сего года.
| |
|
8.180, Аноним (162), 13:20, 30/12/2023 [^] [^^] [^^^] [ответить] | +/– | Типичное когнитивное искажение, когда человек ищет по ключевым словам подтвержде... текст свёрнут, показать | |
|
|
|
|
|
|
2.23, Анонимусс (?), 21:09, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
> от небольшой
Ахаха! Серьезно??
Посмотри сколько дыреней из-за проблема с памятью! Просто открой CVE лист для любого большого си проекта и там сплошные use-after-free или запись за пределы буфера.
А статический анализ тебе поможет только в самых примитивных случаях.
Как хорошо, что решения, касающиеся ядра, принимают профи.
| |
|
3.56, Витюшка (?), 22:49, 29/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Серьёзно. Потому что С++ это не С. И Rust взял очень многое напрямую из C++. Например, модель памяти и move семантику (она немного другая в Rust, более слабая, но из С++).
Те в целом получается +- что на Rust, что на C++ одинаково.
| |
|
|
|
6.75, Аноним (129), 23:37, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Откройте багтрек любой крупной программы на С или С++, либо новости об очередных учзвимостях. В топе ошибок - ошибки работы с памятью. Также 100% уверен, что проекты на С или С++ ловили в проде падения, из-за обращений к нулевым указателям. Не только С и С++, но и все где есть null. Пока в принципе есть такая возможность стрелять в себе в ноги, это будут делать, даже самые топовые разработчики.
| |
|
|
|
|
|
|
12.250, Аноним (-), 21:51, 31/12/2023 [^] [^^] [^^^] [ответить] | +/– | Витюшка, ты опять не в состоянии в доку заглянуть и прочитать в каких случаях Ра... большой текст свёрнут, показать | |
|
|
|
|
14.249, Аноним (-), 21:43, 31/12/2023 [^] [^^] [^^^] [ответить] | +/– | Сразу видно спеца При линковке с любой либой из дыряшки ты можешь получить чуж... большой текст свёрнут, показать | |
|
|
|
|
|
|
|
|
6.83, Аноним (-), 23:49, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Опыт гугла подойдет?
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.
Большую часть нового кода пишут не на с++, а на расте
| |
|
7.90, Аноним (85), 23:54, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
РебятаБ не ведитесь на тролля. Он вам сейчас заведет свою старую шарманку о том, что в Расте нет безопасной работы с памятью, и вообще все его пользователи - некомпетентные дураки, не раскусившие заговор.
| |
|
8.99, Анонин (?), 00:03, 30/12/2023 [^] [^^] [^^^] [ответить] | +/– | Подождите, это же тот зиганутый, который в двух темах рассказывал про то какой р... текст свёрнут, показать | |
|
|
|
|
4.72, Анонимусс (?), 23:30, 29/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
>> для любого большого си проекта
> Потому что С++ это не С.
Прям Капитан Очевидность пожаловал. И? При чем тут с++?
В ядре его нету. И не будет.
| |
|
5.104, Аноним (100), 00:08, 30/12/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
Будет Rust в ядре - будет и С++. Иначе будет неинклюзивно, а это нарушение CoC.md
| |
|
|
|
2.35, Аноним (85), 21:51, 29/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
> Глупо изучать новый сырой язык со сложным синтаксисом только ради защиты от небольшой части ошибок, связанных с неправильным управлением памятью
Господи, в каждой новости о Rust начинается один и тот же цирк, снова и снова... Вам не надоело еще?
| |
|
|
4.51, Аноним (129), 22:46, 29/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Вы про use after free и разыменовывание нулевого указателя?)
| |
|
|
6.81, Аноним (100), 23:45, 29/12/2023 [^] [^^] [^^^] [ответить]
| +3 +/– |
А могли бы просто проверить статическим анализато... постой, да они же так и сделали, ахахаха!
| |
6.116, Аноним (129), 01:11, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Если за пару десятилетий люди так и не научились писать без таких ошибок, значит никогда не научатся и это by design своцство языка.
| |
|
7.151, Аноним (147), 08:12, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Если за пару десятилетий люди так и не научились писать без таких ошибок, то им и Раст не поможет, только запрет на профдеятельность.
| |
|
8.169, Аноним (162), 11:58, 30/12/2023 [^] [^^] [^^^] [ответить] | +/– | Значит закрываем программирование, потому что такие ошибки были и периодически п... текст свёрнут, показать | |
|
|
|
|
|
3.187, Аноним (187), 14:17, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Ща закон примут и все мигом начнут писать без ошибок. А пока всё "AS IS", никакие безопасТные языки от тотальной безоТвеТсТвенносТи в профессии не помогут.
| |
|
|
3.243, Аноним (243), 17:58, 31/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Просто никто про эти инструменты еще не знает. Ни GOOGLE, ни kernel.org, ни MICROSOFT. Если им сообщить, то ошибки в их проектах перестанут появляться.
| |
|
|
1.21, Аноним (25), 21:04, 29/12/2023 [ответить] [﹢﹢﹢] [ · · · ]
| –1 +/– |
> При работе с голыми указателями ("*const T" и "*mut T") могут потребоваться операции добавления смещения к указателю.
лет через 10 до С дорастёт по удобству работы с памятью
| |
|
2.24, Анонин (?), 21:10, 29/12/2023 [^] [^^] [^^^] [ответить]
| +2 +/– |
Удобство работы с памятью в си - это "куда хочу, туда и пишу".
Проблема что очень часто пишут мимо))
| |
|
3.26, Аноним (25), 21:20, 29/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
> Проблема что очень часто пишут мимо
гипервизоры перехватят если что, можно ведь и прямо дёртуть не тот бит и спалить чего или стереть однократно программируемую память и окирпичить проц - никакие расты не помогут от отсутсвия закладок или ошибок в железе или просто отсутствии инфы
| |
|
4.53, Аноним (129), 22:48, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Опыт дебага утечек памяти, или used after free или разуменовывание нулевого указателя вспоминается как страшный сон, брр..
| |
|
5.61, Анонин (?), 22:57, 29/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Ну, от утечек памяти раст не защищает и не гарантирует их отсутствие. Прямо в доке так написано.
А вообще не знаю языка, который бы гарантировал их отсутствие. Даже хаскель периодически течет.
Возможно что-то с формальной верификацией, но это очень специфические вещи.
| |
|
6.118, Аноним (129), 01:15, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Да, я больше про использование памяти после освобождения, либо же забыть освободить память и получить утечку. Это прям регулярная проблема в софте на С и С++. Языки со сборкой мусора или моделью как в rust доказывают, что такая проблема реальная и что она достаточно большая, чтобы ее решали люди и другие люди с удовольствием пользовались.
| |
|
|
|
|
2.27, Аноним (16), 21:23, 29/12/2023 [^] [^^] [^^^] [ответить]
| +2 +/– |
В стандарте С17 будут подвижки с безопасностью, а пока для критичных проектов есть MISRA, например. В последние годы подняли такой шум с ней, что можно подумать остальные языки программирования будут сидеть ничего не делая. В С++ сейчас безопасность памяти это одна из основных задач над которой трудятся.
| |
|
3.28, Аноним (12), 21:31, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
> В стандарте С17 будут подвижки с безопасностью
Напомните, какой сейчас год?)
Сколько лет уходит, чтобы стандарт попал в ядро?
В каком году в ядре начали использовать С11 вместо уже окаменевшего C99?
> критичных проектов
Есть Ада Спарк.
Мисра тоже неплоха, но запрет на динамические аллокации сильно сужает применимость.
| |
|
4.32, Аноним (16), 21:41, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
В ядре начали использовать С11 в 2012 году, полную поддержку обеспечили конечно позже, учитывая размеры проекта не вижу тут ничего ненормального. SPARK конечно хорошо для своих задач, повзволяет формально верифицировать ПО. Удивлен что приложения для блокчейна пишут не на нем, а на разгильдяйском Solidity.
| |
|
5.34, Аноним (12), 21:49, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Ядро перешло на с11 в 2022 году. Попробуем оценить в каком перейдут на c17, если сейчас практически 2024. Я думаю где-то 2029-2030.
> Удивлен что приложения для блокчейна пишут не на нем,
Думаю потому что слишком дорого.
А блокчейн много на чем пишут, в том числе и на расте.
| |
|
6.41, Аноним (39), 22:19, 29/12/2023 [^] [^^] [^^^] [ответить]
| +2 +/– |
Так это окончательно объявили. А если проблемы с управлением памятью настолько реальны, как нас убеждают, то внедрение механизмов безопасности могут форсировать и скорее всего форсируют. Даже самые отъявленые фанаты Раста признают, что переписать ядро на Расте просто нереально, ни к 2030, ни к 2050. А блокчейн много где и на С++ пишут, немало видел на Java, бывало и на Котлине, там зоопарк огого.
| |
|
7.44, Аноним (12), 22:29, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Так все ядро никто даже и не собирается переписывать. Как раз самые отъявленные фанаты это понимают)
Но переписать самые проблемные части, начать писать новый функционал, начать писать драйвера, чтобы одна паршивая овца не роняла всю систему - это вполне реальное развитие событий.
| |
|
8.48, Аноним (39), 22:41, 29/12/2023 [^] [^^] [^^^] [ответить] | +/– | Ну так эту проблему в целом довольно надуманную и решает введение нового станд... текст свёрнут, показать | |
|
9.58, Аноним (12), 22:51, 29/12/2023 [^] [^^] [^^^] [ответить] | +/– | Проблема не надуманная Как ни откроешь новость про CVE в ядре - то там почти вс... текст свёрнут, показать | |
|
|
|
12.84, Аноним (100), 23:49, 29/12/2023 [^] [^^] [^^^] [ответить] | +/– | Лол, да ты только потому знаешь об этих багах что их как раз выявили и пофиксили... текст свёрнут, показать | |
|
|
|
|
|
7.130, Аноним (129), 01:43, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Проблемы с управлением памятью есть, это подтверждает наличие языков со сборкой мусора, которые появились очень давно. Не было бы проблемы с управлением памятью, никто бы не создавал такие языки и они бы не были популярными.
| |
|
|
|
4.188, Аноним (188), 14:36, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
>В каком году в ядре начали использовать С11 вместо уже окаменевшего C99?
Такого события не было - C11 начали использовать вместо окаменевшего C89.
| |
|
5.216, Аноним (10), 18:09, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
>вместо окаменевшего C89
for (int i=0; .... вроде бы, уже очень давно можно было писать.
| |
|
|
3.37, Аноним (25), 21:59, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
> есть MISRA, например
она платная для начала. Намного хуже что в gcc практически невозможно включить все варнинги и санитайзеры внятным способом и для проверки мисра-комплиант надо ещё внешний чекер. В платных компиляторах наверно лучше с этим но я ими не пользуюсь.
| |
|
4.42, Аноним (39), 22:23, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Платный стандарт, а он и для С внезапно платный (чистовик), и ГОСТы на практике и много еще чего.
PVS-Studio вроде предлагал бесплатную лицензию на один год для проектов с открытым исходным кодом. Наверняка есть и другие пути для некоммерческого проекта, а коммерческие пусть платят.
| |
|
5.54, Аноним (25), 22:48, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
> Платный стандарт, а он и для С внезапно платный (чистовик)
поддержка различных стандартов С и С++ в gcc есть а мисры я там не наблюдаю
> PVS-Studio вроде предлагал бесплатную лицензию
это внешний анализатор, так можно и Frama-C ещё вспомнить, только много кто этим пользуется ? Rust удобен тем что весь анализ кода в одном открытом бесплатном компиляторе.
| |
|
6.73, Аноним (39), 23:31, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Ну так внешнего анализатора и достаточно чтобы получить грубо говоря 90% преимуществ Раста и еще выловить баги которые и Раст никак не помогает предотвратить. И главное для этого не нужно менять свой основной язык, что для многих означает потерю работы.
Уже есть коммерческие решения для MISRA, свободные как обычно будут с задержкой, в GCC процесс идет. Пока что можно пользоватся бесплатной версией PVS-Studio и аддоном MISRA для CppCheck. Глупо считать что Раст предлагает в этом что-то уникальное или новое.
| |
|
7.96, фнон (?), 00:00, 30/12/2023 [^] [^^] [^^^] [ответить] | +/– | Интересная цифра А можно, хотя бы примерно, методику ее расчета Пока похоже на... большой текст свёрнут, показать | |
|
8.111, Аноним (100), 00:17, 30/12/2023 [^] [^^] [^^^] [ответить] | +/– | Ты сначала посмотри на количество вакансий для разработчиков на Rust, а потом ра... текст свёрнут, показать | |
|
7.109, Аноним (25), 00:14, 30/12/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
> Уже есть коммерческие решения для MISRA
соблюдение правил мисры не даёт никаких гарантий а гигантское ядро по ним написать шансов ноль
> Глупо считать что Раст предлагает в этом что-то уникальное или новое
он даёт гарантии и это по умолчанию - достаточно просто собрать прожект, назови если такой неглупый аналог для С. С тем же пивасом вспотеешь парсить логи и всё равно найдёшь только незначительную часть ошибок.
| |
|
8.112, Аноним (100), 00:23, 30/12/2023 [^] [^^] [^^^] [ответить] | +1 +/– | Раст дает гарантии только по ограниченному классу ошибок, остальные лови ручками... текст свёрнут, показать | |
|
|
|
|
|
|
|
1.46, Аноним (39), 22:36, 29/12/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +3 +/– |
Не очень понятно, зачем нужен недописаный Hermit, когда есть уже готовые стабильные проекты IncludeOS, Nanos, наконец Unikraft.
| |
|
2.197, fyjy (?), 16:59, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Потому что опенсорс - это про NIH, велосипедостроение и 'фигня какая-то, я точно лучше сделаю'.
Так всегда было, независимо от языков программирования.
| |
|
|
4.278, Аноним (278), 21:03, 05/01/2024 [^] [^^] [^^^] [ответить] | +/– | Смотря откуда взглянуть Если с позиции Васяна - то да, плодишь себе стотыщпицот... большой текст свёрнут, показать | |
|
|
2.283, Пряник (?), 10:16, 09/01/2024 [^] [^^] [^^^] [ответить]
| +/– |
Конкуренция-с. Как было с VHS, дискетами, дисками, хардами, интерфейсами...
| |
|
1.70, Аноним (70), 23:20, 29/12/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +4 +/– |
Оказывается, здесь столько системных программистов, которых так заботит безопасность обращения к памяти на нулевом уровне ядра! Куда же делись прикладные программисты, которым ехать, а не шашечки?
| |
|
2.80, Аноним (80), 23:45, 29/12/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
Прикладники ничего не знают про эти "вещи в себе". Вот например:
> всю необходимую функциональность, не привязываясь к ядру ОС и системным библиотекам
А как это чудо взаимодействует с железом?
Как отправляет пакеты в сеть?
Как записывает на диск?
Как рисует на мониторе?
Чует моё сердце, что создали очередной "виртуально-абстрактный гипервизор в контейнере" не имеющий никакого прикладного применения и рады до ушей.
| |
|
3.135, Витюшка (?), 01:58, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Операционная система и есть библиотека. А исполняться оно должно в виртуальной машине на виртуальном процессоре, считай аналог голого железа. А не в контейнере.
| |
|
2.82, Анонин (?), 23:45, 29/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
> которым ехать, а не шашечки
Это те, которым говняк-говняк и в прод? Да куча их, посмотри выше по ветке))
| |
2.91, Аноним (91), 23:56, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Почему-то под ехать ваша братия всю дорогу понимает недоязычки с нулевой гибкостью, "нюансы" которых нужно специально "изучать" (вместо изучения теории категорий, например), чтобы программа работала корректно.
| |
2.120, Аноним (129), 01:20, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Я тут. Помимо безопасной работы с памятью без сборщика мусора, там есть еще много удобных zero-cost абстракций и нет проблем с нулевыми указателями, которые регулярно всплыывют и на c++, и в go и в питоне и в jvm языках и в других. Также модель, по которой происходит работа с памятью прекрасно работает и с другими ресурсами, как параллельность или же забыть освободить какой-то mutex.
| |
|
3.137, Витюшка (?), 02:09, 30/12/2023 [^] [^^] [^^^] [ответить]
| –2 +/– |
Отлично! Я тебя нашёл. Да что там освобождение мьютекса!
Давай хотя бы сначала попробуем написать мьютекс безопасный на Rust!
Есть код мьютекса (спинлока). Естественно это суперкритичный к качеству и надёжности код. Естественно написан на Rust.
Докажи, пожалуйста, с помощью Rust (который безопасный по памяти и гонкам данных!) что этот код:
1. Действительно даёт mutual exclusion доступ к критической секции (т.е. работает корректно)
2. Является deadlock-free
3. Является starvation-free
| |
|
4.160, Аноним (12), 11:27, 30/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Напиши такой мьютекс на "безопасном" зиге. Он же лучше и безопаснее раста, правда ведь?)
Давай, ты же такой крутой погромист. Ну и нас повеселишь заодно.
| |
|
|
6.202, fyjy (?), 17:11, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
> Так я и написал
Так я тоже написал! Супер мьютекс на раст, но код я показать не могу - он секретный по заказу марсиан.
Может ты свой покажешь)?
А то балаболить и фантазировать все умеют
| |
|
|
4.167, фнон (?), 11:55, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Пук в лужу конечно знатный, но как троллинг унылый.
Ты лучше скажи так:
"Вот пример deadlock-free и starvation-free мьютекса, написанный на языке N, для которого это все доказано! Он используется в проекте М и дает ему непревзойденную надежность.
Сможете так же на Раст сделать? "
А то пока это теоретическое балабольство, зато на умную книжку сослался (ты ее вообще читал?)
| |
4.176, Аноним (162), 13:00, 30/12/2023 [^] [^^] [^^^] [ответить] | +/– | Я так понимаю, все преимущества, такие как безопасность работы с памятью, zero c... большой текст свёрнут, показать | |
|
5.206, Витюшка (?), 17:18, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Ясно, как обычно. Когда дело доходит до конкретного вопроса или просьбы написать 20 строк кода... программисты на Раст либо съезжают с темы, либо начинают разглагольствовать про "сводите к одному вопросу".
А написать 20 строк безопасного кода на Раст не могут. В принципе это всё что нужно знать про Раст, его безопасность и программистов его проповедующих.
Готов написать на Zig, ты на Раст. Я доказываю корректность кода на листочке, потому что по-другому не умею и не знаю как, ты доказываешь корректность (20 строк кода!) с помощью гарантий Раст - borrow checker, владение, типы... в общем извращайся как хочешь. Но с помощью самого компилятора.
По рукам? Или как всегда...
| |
|
|
7.218, Витюшка (?), 19:48, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Наконец-то первый программист на Rust, осиливший 20 строк кода. Уважаю 💪
Сейчас до компьютера дойду.
Будем писать очень простой, но корректный, мьютекс для двух статичных потоков - алгоритм Питерсона (Peterson lock).
Доказательство корректности моего кода - практически напрямую следует из доказательства в книге The Art Multiprocessing programming.
Я буду ждать доказательства на Rust на borrow checker.
То что ты сможешь написать 20 строк кода я не сомневаюсь.
| |
7.239, OpenEcho (?), 02:47, 31/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
> А давай!
> Кидай сюда свой зигокод, а я кину на раст.
А вы мужики молодцы! (без прикола)
К шоу готов: 🍿🍿🍿
| |
|
|
|
|
|
|
|
14.268, Аноним (-), 01:35, 02/01/2024 [^] [^^] [^^^] [ответить] | +/– | Т е ты слился Я не особо удивлен Я тебе предоставил чужой рабочий код на Раст,... большой текст свёрнут, показать | |
|
|
|
|
12.264, Аноним (-), 23:26, 01/01/2024 [^] [^^] [^^^] [ответить] | +/– | Не любую А ту ошибку, отсутствие которой не гарантируется safe подмножеством Н... большой текст свёрнут, показать | |
|
|
14.267, Аноним (-), 01:21, 02/01/2024 [^] [^^] [^^^] [ответить] | +/– | Ты вообще за дискуссией следишь Ты спросил про Си Вот ты сам придумал что они ... большой текст свёрнут, показать | |
|
|
|
|
|
|
|
|
|
|
|
|
2.232, _ (??), 23:13, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
>Куда же делись прикладные программисты, которым ехать, а не шашечки?
Прикладные уже давно не пишут на С.
На С++ не так давно - но тоже редкость.
На расте писать они не будут тоже, это уже видно.
Иди ко ты в топик где обсуждают Java, JS\TS, Python и прочую жесть.
| |
|
3.285, wyry (?), 05:07, 11/01/2024 [^] [^^] [^^^] [ответить]
| +/– |
Штааа? xD. Всего лишь почти все ПО по производству 3D графики написано на C++. В Blender есть и более низкоуровневый Сишный код. Unreal Engine 5 (давно не пишут xD...) написан на C++. Почти все видеоредакторы написаны на C++. Почти весь САПР - это C++. MATLAB - это C (чистый) + Java морда. Или для вас "прикладное ПО" - это для секретарей и кассиров? Так и там, особенно при отказе от винды можно запросто увидеть C++, помимо Java.
| |
|
|
1.74, Аноним (74), 23:36, 29/12/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +5 +/– |
Какой же мерзкий синтаксис. Пока что самый адекватный синтаксис у конпиляемых "системных" языков - это Ada.
| |
|
2.87, Аноним (91), 23:52, 29/12/2023 [^] [^^] [^^^] [ответить]
| –3 +/– |
(Мысли вслух) Где же вас таких обучают, в каком ПТУ? Почему вам синтаксис дороже семантики?
| |
|
3.92, Аноним (100), 23:56, 29/12/2023 [^] [^^] [^^^] [ответить]
| +4 +/– |
А почему нужно обязательно налажать или в одном, или в другом? Почему бы и то, и другое не сделать нормально?
| |
|
4.95, Аноним (91), 23:59, 29/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Потому что "нормально" не бывает. Синтаксис это на 90% вкусовщина. Это как выбирать компьютер по цвету системного блока. Блондиночный критерий. Синтаксис можно легко переделать (и языки с гибкой семантикой дают для этого лёгкую методу), а семантику без переписывания самого языка не переделать при всём желании.
| |
|
5.101, Аноним (74), 00:05, 30/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
> Синтаксис это на 90% вкусовщина.
Всё что нужно знать о современных "IT специалистах" 👆
| |
|
6.221, JB (??), 20:43, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Мне кажется, вы поспешили обозвать его специалистом.
| |
|
5.107, Аноним (74), 00:12, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
> Это как выбирать компьютер по цвету системного блока.
Кстати, именно так и нужно выбирать. Лично для меня, тактильные и визуальные ощущения от устройства, гораздо важнее, чем подкапотное железо. Да и многим людям тоже, не зря у Apple столько ярых поклонников.
| |
5.173, Аноним (-), 12:38, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Кто не понял, поясню синтаксис - это грубо говоря набор "Literal" или "слов". Чем их количество меньше и сами слова интуитивно понятны, тем читабельность лучше. А семантика должна придавать набору ключевых слов и имён переменных общий логический смысл. И этот общий смысл слов необязательно может быть быстро понят программистом, который переходит на другой язык программирования.
>Синтаксис это на 90% вкусовщина.
Согласен. Но давайте вглянем на Раст глазами чистосишника. Раст обладает развитым синтаксисом, что само по себе подразумевает мощный семантический аппарат. И всё это нагромождение "Literal" воспринимается как "наркоманский синтаксис". Если Раст учит человек никогда не программировавший, то восприятие "наркоманского синтаксиса" не будет.
| |
|
6.275, Янис (?), 20:06, 03/01/2024 [^] [^^] [^^^] [ответить]
| +/– |
Каким еще таким развитым синтаксисом обладает растишка?! У чистого Си все куда яснее.
| |
|
5.277, Аноним (278), 20:54, 05/01/2024 [^] [^^] [^^^] [ответить]
| +/– |
> Синтаксис это на 90% вкусовщина
ДАЛЕКО НЕ. Именно в силу синтаксиса ЛИСП (или какой-нть Брэйнфак с Перлом) канули в лету, а ПОЧТИ похожий на Си Паскакаль не выдержал битвы и... тоже забыт большинством.
Синтаксис - это не следование капризам очередного з@дp0та (как ты себе представляешь), это выверяемый годами удобный способ представления программы, ибо их не только пишут, но и ЧИТАЮТ.
| |
|
|
|
2.88, Аноним (100), 23:53, 29/12/2023 [^] [^^] [^^^] [ответить]
| +5 +/– |
Я что-то после новостей про Паскаль по нему заностальгировал. Конечно, по нынешним меркам он многословный и фигурные скобки привычнее, но все же насколько по-человечески выглядит код! И да, Ада очень близка к нему, к тому же по-настоящему безопасна.
| |
|
3.103, Аноним (74), 00:08, 30/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Ada, в отличии от паскаля, может в многопоточность и асинхронность. Хотя, вроде, в fpc что-то такое есть, но оно очень сырое и не_стандартизированное.
| |
|
4.220, _ (??), 19:51, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
fpc - сам себе стандарт. В стандартном Pascal даже классов нет.
И кстати он (fpc) - неплох. К нему даже Lazarus сделали :)
| |
|
|
2.121, Аноним (129), 01:22, 30/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
А что конкретно не так с ним? Как такие же абстракции более лаконично и понятно описывать?
Обычно, это пишут только те, кто не разобрался в языке и не писал на нем, а знает только из новостей и комментариев про то какой же ужасный синтаксис.
| |
|
3.149, Аноним (147), 08:05, 30/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Ага, программист должен иметь минимум три года опыта разработки на Rust чтобы оценивать качество его синтаксиса.
| |
|
4.154, Аноним (223), 10:26, 30/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
Не обязательно три. Только когда начнёшь осознавать концепции и почему так сделано. Если хочется больше сахара - можно намазать макросов. Тут просто многие синтаксические вещи сделаны по-другому. И практика показывает, что плюсы начинают пытаться это повторять потому что так удобнее (типа явного self)
| |
|
5.203, C00l_ni66a (ok), 17:13, 30/12/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
>Если хочется больше сахара - можно намазать макросов.
У растовиков и без "сахара" - сплошной коричневый слой макросов по проектам всегда размазан. Плата за отрицательную выразительность.
| |
|
4.177, Аноним (162), 13:01, 30/12/2023 [^] [^^] [^^^] [ответить]
| +2 +/– |
Достаточно осилить rustbook, который большинство критиков синтаксиса даже не открывали дальле первой странички, чтобы большинство вопросов к синтаксису отпало
| |
|
|
2.284, Пряник (?), 10:26, 09/01/2024 [^] [^^] [^^^] [ответить]
| +/– |
Синтаксис намного удобнее и понятнее, чем в С/С++, а больше и не нужно. Хотя немного более многословный. Преобразование через as_, макросы без прострела ноги (когда узнал про косяки макросов в Си, это фейспалм, обязательно всё в скобки, сразу вспомнил баш с кавычками).
| |
|
1.152, Аноним (147), 08:22, 30/12/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +1 +/– |
Больше всего радует, что на волне всего этого хайпа вокруг memory safety наконец-то начали шевелится разработчики C и C++. Глядишь, наконец-то ограничат возможность прострелить себе ногу хотя бы в дефолтном окружении.
| |
|
2.153, An (??), 09:32, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
А что за "шевеления"? Особенно в контексте C интересно.
| |
|
|
4.161, фнон (?), 11:34, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Коммитет обсудит это лет 3-5,
потом добавят в стандарт,
через 10-15 лет попадет в ядро
| |
|
5.179, Аноним (10), 13:17, 30/12/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
>Или сделать на уровне GNU C Extensions.
На уровне GNU Extensions можно много чего добавить. Например, MISRA можно было бы, -fmisra. Сразу все требования, понимаю, трудновато реализовать, но можно постепенно добавлять.
| |
|
|
|
|
1.170, Аноним (-), 12:09, 30/12/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +2 +/– |
>Применение "-C codegen-units=1" при сборке Android позволило снизить размер инструментария на 5.5% и увеличить его производительность на 1.8%, при этом время сборки самого инструментария увеличилось почти в два раза.
Размер меньше, а время сборки медленей.
>были применены оптимизации при помощи утилиты BOLT, которые позволили довести прирост скорости сборки до 24.7%, но размер инструментария при этом вырос на 10.9%.
Размер чуть больше, а время сборки быстрее.
Хм ... не, я лучше посижу на чистой сишке.
| |
|
2.186, fyjy (?), 14:16, 30/12/2023 [^] [^^] [^^^] [ответить]
| +/– |
Звучит логично.
Или программа использует меньше памяти, или работает быстрее.
Обычная задачка на оптимизацию алгоритмов.
Было бы интересно услышать "гуру чистой сишки", как реализовать одновременно "быстрее и меньше памяти"
| |
|
|
4.251, Аноним (-), 21:55, 31/12/2023 [^] [^^] [^^^] [ответить]
| –2 +/– |
А потом долго и судорожно ищешь куда бы поставить барьер, чтобы порядок выполнения был таким как ты написал, а не как захотелось компилятору.
| |
|
3.280, Аноним (280), 23:37, 08/01/2024 [^] [^^] [^^^] [ответить]
| +/– |
А тем временем российские физики написали эмулятор 34 кубитного квантового компьютера именно на Rust... "Гуру" тем временем в чатиках важными холиварами были заняты
| |
|
4.281, Аноним (-), 00:31, 09/01/2024 [^] [^^] [^^^] [ответить]
| +/– |
> А тем временем российские физики написали эмулятор 34 кубитного квантового компьютера именно
> на Rust... "Гуру" тем временем в чатиках важными холиварами были заняты
Он так же работает как аппарат на луне, робот федор и модуль наука?
Или даже лучше?
| |
|
|
2.226, Аноним (226), 21:56, 30/12/2023 [^] [^^] [^^^] [ответить]
| –2 +/– |
>были применены оптимизации при помощи утилиты BOLT
И тут же рядом фанатики Раста пишут, что у них все утилиты в одном компиляторе в отличии от ненавистной им Сишки. Сравнивать они естественно будут с output ванильного компилятора Си, без сторонних оптимизаций.
| |
|
|