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

"Грег Кроа-Хартман рассказал о том, как Rust может помочь в борьбе с ошибками в ядре Linux"	+/–
Сообщение от opennews (?), 28-Май-26, 11:07
Грег Кроа-Хартман (Greg Kroah-Hartman), отвечающий за поддержку стабильной и "staging" веток ядра Linux, и занимающий пост мэйнтейнера в 16 подсистемах ядра, выступил с докладом на конференции Rust Week 2026, в котором рассказал, как язык Rust может помочь в предотвращении появления в ядре уязвимостей, возникающих из-за типичных ошибок разработчиков на языке Си при работе с памятью, блокировками, обработкой ошибок и работой с незаслуживающими доверия данными. В качестве основного преимущества Rust называется возможность выявлять подобные ошибки на этапе сборки, а не рецензирования кода людьми.  При этом, Rust не рассматривается как  панацея, способная избавить от всех проблем, и никто не собирается переписывать ядро на Rust - ожидается постепенное внедрение Rust через его использования для новых драйверов и подсистем... Подробнее: https://www.opennet.ru/opennews/art.shtml?num=65549
Ответить | Правка | Cообщить модератору

Сообщения

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

1. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+80 +/–
Сообщение от Массоны Рептилоиды (?), 28-Май-26, 11:07
Да что он себе позволяет? Он вообще опеннет читает? Тут эксперты доходчиво бы объяснили что он не прав
Ответить | Правка | Наверх | Cообщить модератору

	40. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+7 +/–
	Сообщение от Аноним (40), 28-Май-26, 12:07
	А почему он должен быть прав? Это утвердило Министерство Правды?
	Ответить | Правка | Наверх | Cообщить модератору

	56. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–2 +/–
	Сообщение от 12yoexpert (ok), 28-Май-26, 12:37
	разумеется: забашляли минобороны теперь всех насильно загонят в стойло ржавого проприетарного llvm-вендорлока, и все будут сидеть смотреть рекламу под линуксом, подписки оплачивать и всё такое это - основная цель, а всё остальное, в том числе переусложнение всего и вся для выбрасывания независимых разработчиков из процесса, - мишура
	Ответить | Правка | Наверх | Cообщить модератору

	62. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (-), 28-Май-26, 12:44
	А как же rustc_codegen_gcc?
	Ответить | Правка | Наверх | Cообщить модератору

	70. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от 12yoexpert (ok), 28-Май-26, 12:49
	приходи, когда этим можно будет собрать всё то же, что llvm например, firefox
	Ответить | Правка | Наверх | Cообщить модератору

	91. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+10 +/–
	Сообщение от Аноним (91), 28-Май-26, 13:08
	> загонят в стойло ржавого проприетарного llvm-вендорлока * Их проклятый llvm-only вендорлок. * Наша GCC-only свобода. Смотри не перепутай!
	Ответить | Правка | К родителю #56 | Наверх | Cообщить модератору

	149. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (149), 28-Май-26, 14:17
	>теперь всех насильно загонят в стойло ржавого проприетарного llvm-вендорлока Ну а вы решили героически затерпеть, и не делаете абсолютно ничего. Ни порта растового кода на си, чтобы можно было в случае чего прозрачно отказаться от раста, ни альтернативного компилятора, ни чего либо ещё.
	Ответить | Правка | К родителю #56 | Наверх | Cообщить модератору

	305. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от нах. (?), 29-Май-26, 09:16
	ну ты-то уже понаделал портов растового кода и десять альтернативных компиляторов написал? задачка-то ведь плевая, любой анани..м с опеннета справится. Еще пожалуй быстренько построй на заднем дворе марсианскую ракету (и лети на ней к е..не матери), я уверен, ты сможешь.
	Ответить | Правка | Наверх | Cообщить модератору

	326. Скрыто модератором	–1 +/–
	Сообщение от gaskldj (?), 29-Май-26, 12:42
	но ты-то уже понаделал, да ?
	Ответить | Правка | Наверх | Cообщить модератору

	339. Скрыто модератором	+/–
	Сообщение от Аноним (339), 29-Май-26, 14:35
	>>> Ну а вы решили героически затерпеть, и не делаете абсолютно ничего. ... >> я: Наивный думает что такое растоманы делают за даром - а, не за донаты от авторов и лобистов Rust > А у авторов Rust что, денег миллиарды чтобы раздавать донаты направо и налево? У некоммерческой организации не может быть столько Сделай свой компилятор нового или любого популярнго языка даже с какиминибудь фишками, т.б.таким кугутским синтаксисом, т.б.выложи его раздавая даром, -  и посмотрим как к тебе прийдут успех как "некоммерчесой организации", если ты не будешь брать "донаты" и зарплатой вкладчиков от zog/спецслужб/корпов/прчнезависимыхвирмейкеров - за встраивание дыр и вирусятины.
	Ответить | Правка | К родителю #149 | Наверх | Cообщить модератору

	175. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (175), 28-Май-26, 15:28
	ну так сиди на 5.10, в чем проблема то? На твой век хватит.
	Ответить | Правка | К родителю #56 | Наверх | Cообщить модератору

	293. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (293), 29-Май-26, 02:46
	>сидеть смотреть рекламу под линуксом это про flutter методичка
	Ответить | Правка | К родителю #56 | Наверх | Cообщить модератору

	50. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от pic (??), 28-Май-26, 12:30
	Вода камень точит.
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	68. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+16 +/–
	Сообщение от freehck (ok), 28-Май-26, 12:48
	> Тут эксперты доходчиво бы объяснили что он не прав Как уже неоднократно объяснялось, хейт на самом деле вызыван не столько Rust-ом, сколько его сообществом и, во многом, пришлыми сюда апологетами оного. Сам Rust вообще-то неплохой язык. Но вот крикуны, кои популяризируют свой инструмент через унижение старого и рабочего, эти бесконечные инициативы по переписыванию существующего стабильного кода (в основном бесперспективные, если только цель не смена лицензии) — всё это вызывает у людей закономерное раздражение. И хотя вроде бы все эти анонимные тролли — никто, и было бы разумно просто игнорировать их, тем не менее каждый из нас иногда бывает, что устанет, и нет-нет, да и поведётся на эти толстые вбросы.
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	88. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–7 +/–
	Сообщение от Анонон (?), 28-Май-26, 13:04
	> Как уже неоднократно объяснялось, хейт на самом деле вызыван не столько Rust-ом, сколько его сообществом и, во многом, пришлыми сюда апологетами оного. Надеюсь ты это со своего макбука написал)? > Сам Rust вообще-то неплохой язык. Судя по новостям - да. > Но вот крикуны, кои популяризируют свой инструмент через унижение старого и рабочего, Насколко оно старое и "рабочее" можно почитать в новостях. Сколько там Dirty Fag'ов и Copy Fuck'ов нашли? Кажется в последний раз была седьмая. Ну или заглянуть в рассылку lists.openwall.net/linux-cve-announce/ За май нашли уже 1017 CVE. Отличное качество! > эти бесконечные инициативы по переписыванию существующего стабильного кода (в основном бесперспективные, если только цель не смена лицензии) Тем не менее код переписывается и старый отправляется на помойку. Открою тебе тайну, далеко не все форки (по сути "переписывание как хочет новый автор") тоже долго живут. > всё это вызывает у людей закономерное раздражение О, началось нытье снежинок. Выпей, что ли, валерьянового рафа. > И хотя вроде бы все эти анонимные тролли — никто, и было бы разумно просто игнорировать их, тем не менее каждый из нас иногда бывает, что устанет, и нет-нет, да и поведётся на эти толстые вбросы. Типа как сейчас)?
	Ответить | Правка | Наверх | Cообщить модератору

	104. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+3 +/–
	Сообщение от bOOster (ok), 28-Май-26, 13:29
	нуну. Смешно. Только переписанный rust код и отправляется на помойку, так как никому по факту не нужен.
	Ответить | Правка | Наверх | Cообщить модератору

	107. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Анонон (?), 28-Май-26, 13:32
	> нуну. Смешно. А тебя андроид, или как полагается радужным, айфончиг? В андроиде миллионы строк раст-кода работают уже годами. > Только переписанный rust код и отправляется на помойку, так как никому по факту не нужен. Какой шикарный копиум.
	Ответить | Правка | Наверх | Cообщить модератору

	114. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от bOOster (ok), 28-Май-26, 13:38
	Да я и не сомневался, поэтому Андроед становиться все монструознее и тормознутее. Реальный показатель применения rust. Даже на Java все было легковеснее..
	Ответить | Правка | Наверх | Cообщить модератору

	287. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–2 +/–
	Сообщение от Аноним (91), 28-Май-26, 23:58
	>> только переписанный rust код и отправляется на помойку, так как никому по факту не нужен. >> А тебя андроид, или [...] айфончиг? > Да я и не сомневался, поэтому Андроед становиться все монструознее и тормознутее. Но Андроид ты таки не выкинул, не так ли? И продолжаешь лицемерно уплетать растовый софт, попутно воюя против Раста в опеннетных комментариях.
	Ответить | Правка | Наверх | Cообщить модератору

	299. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от bOOster (ok), 29-Май-26, 07:34
	>>> только переписанный rust код и отправляется на помойку, так как никому по факту не нужен. >>> А тебя андроид, или [...] айфончиг? >> Да я и не сомневался, поэтому Андроед становиться все монструознее и тормознутее. > Но Андроид ты таки не выкинул, не так ли? И продолжаешь лицемерно > уплетать растовый софт, попутно воюя против Раста в опеннетных комментариях. Ну отсутсвие мозгов - это исключительная особенность растовых оголтелых. Я пользую, асболютно не лицемерно, софт в машинных кодах. А в чем он был в исходниках - для меня разницы не имеет. Но читать исходники или писать на rust - это удел мазохистов, и я слава богу к ним не отношусь и другим не советую.
	Ответить | Правка | Наверх | Cообщить модератору

	300. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от Прохожий (??), 29-Май-26, 07:56
	>писать на rust - это удел мазохистов, и я слава богу к ним не отношусь Это только потому, что ты не понимаешь, что есть такое сколь-либо сложное ПО, и почему Rust на самом деле очень хорошо подходит для него в отличие от других, кажущихся более простыми, языков программирования.
	Ответить | Правка | Наверх | Cообщить модератору

	341. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (339), 29-Май-26, 15:29
	Всегда всем подходило - и нате! И никогда такого(очередного "ноу-хау" в кавычках) не было - и вот опять!
	Ответить | Правка | Наверх | Cообщить модератору

	133. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+6 +/–
	Сообщение от Лениво_логиниться (?), 28-Май-26, 13:56
	Ну, запрос, как в Ubuntu заменить обратно кореутилс, переписанные на Расте, на обычные - весьма популярен и востребован. Что не удивительно.
	Ответить | Правка | К родителю #104 | Наверх | Cообщить модератору

	142. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (142), 28-Май-26, 14:08
	Ну пока отправился на помойку только Zig, который C в новом фантике.
	Ответить | Правка | К родителю #104 | Наверх | Cообщить модератору

	173. Скрыто модератором	+/–
	Сообщение от Аноним (173), 28-Май-26, 15:23
	> freehck: В общем, просто поверьте мне: синтаксис — это штука не то, что не важная, а даже не второстепенная. Не поверю! Даже знаю что, ровно наоборот. Более даже мышление программиста в теме програмировании немного но, всё же напрямую зависит от языка программирвоания. Как и от просто употребляемого языка, или м.б.наоборот язык и выбор языка - от мышления, а скорей взаимо влияют. Программирвать же на Rust и т.б.Ocaml и т.д. - просто вырезать кусок мозга себе / другим. Не удивлюсь даже если эта диверсия является и твоей повесточкой.
	Ответить | Правка | Наверх | Cообщить модератору

	189. Скрыто модератором	+/–
	Сообщение от freehck (ok), 28-Май-26, 16:00
	Понял. Вы смешиваете в одну большую кучу синтаксис, семантику и парадигму. Уточните понятийный аппарат и сформулируйте свою мысль точнее.
	Ответить | Правка | Наверх | Cообщить модератору

	200. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (173), 28-Май-26, 16:36
	> Понял. Вы смешиваете в одну большую кучу синтаксис, семантику и парадигму. Уточните понятийный аппарат и сформулируйте свою мысль точнее. Если поняли зачем вам уточнять ещё требуете?... Т.б.одно от другого фактически плохо отделимо, в реальности же - никогда. Хоть и можно постараться сделать, но на практике - такого не заметил, ибо нету смысла в таком клоне - только в каком то из аспектов. А, если беря же шире, не клоново: получаем из Си++ - например Java. Даже из Java - например C#. И т.д.
	Ответить | Правка | К родителю #142 | Наверх | Cообщить модератору

	235. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от freehck (ok), 28-Май-26, 18:10
	>> Понял. Вы смешиваете в одну большую кучу синтаксис, семантику и парадигму. Уточните понятийный аппарат и сформулируйте свою мысль точнее. > Если поняли зачем вам уточнять ещё требуете?... Не требую. Я просто намекаю, что взаимное понимание и разговор вряд ли возможны, покуда Вы не раберётесь, что означают используемые Вами слова. > Т.б.одно от другого фактически плохо отделимо, в реальности же - никогда. И именно из-за отсутствия понимания слов Вы сейчас делаете на удивление возмутительные заявления, такие как цитируемое мною выше.
	Ответить | Правка | Наверх | Cообщить модератору

	245. Скрыто модератором	+/–
	Сообщение от Аноним (173), 28-Май-26, 18:48
	> freehck: Я просто намекаю, что взаимное понимание и разговор вряд ли возможны, покуда Вы не раберётесь, что означают используемые Вами слова Врите, троль, больше. Нет, "взаимное понимание и разговор вряд ли возможны, покуда Вы" будете вместо аргументации - переводить разговор на личности... Присыпая всё своей откровенно дешовой софистикой буквоедской. Ещё и на сайте с заведомо большинством анонимами - ответ анонимам хамски же запретив... только тит видно - явно чтобы другие не могли опровергать любые толстые вбросы.
	Ответить | Правка | К родителю #200 | Наверх | Cообщить модератору

	292. Скрыто модератором	+/–
	Сообщение от freehck (ok), 29-Май-26, 02:00
	Ребята, я тащусь. Вы мне тут пишите, что я тролль, что я высокомерен, и тд и тп. Но это же здравый смысл: если использовать слова в неправильных значениях, то люди вас не поймут. Что может быть очевидней? Ты, вместо того, чтобы обижаться, иди да книжку открой. Ну ладно книжку, хоть бы поисковик. Найди значения слов "синтаксис", "семантика" и "парадигма". Прочитай, запомни, и впредь употребляй корректно. Это уже будет хорошее начало. А вообще плевать. Чесслово плевать. )
	Ответить | Правка | Наверх | Cообщить модератору

	335. Скрыто модератором	+/–
	Сообщение от Аноним (339), 29-Май-26, 14:22
	> Ребята, я тащусь. Вы мне тут пишите, что я тролль, .... Но это же здравый смысл: ... Хуцпа, т.к это у тебя как раз 100% троллинг переводом темы на личности, причём многократно + игнор собеседника
	Ответить | Правка | К родителю #200 | Наверх | Cообщить модератору

	158. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (173), 28-Май-26, 14:37
	> freeck: Сам Rust вообще-то неплохой язык. Ложь. Дизайн синтаксиса языка - отвратительный. Максимально - чтобы быть не походим на Си, дабы начав плеваться из-за неидеальностей или желая ускорения вместо доп.тормозов и инода мега-тормозов, пользователю т.б.начавшему программирование с него - было максимально проблемно на Си переходить.
	Ответить | Правка | К родителю #104 | Наверх | Cообщить модератору

	169. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–2 +/–
	Сообщение от freehck (ok), 28-Май-26, 15:06
	> Дизайн синтаксиса языка - отвратительный. Красиво звучит, но по факту читается как "непривычно". Я вот за годы изучил несколько десятков ЯП, равно как написал несколько своих DSL. Это были языки разных семейств, диалекты Lisp, SML, C, итд; языки с разным порядком вычисления; без объектных моделей и с оными; а где с оными, так те были ещё и каждая со своими особенностями: где-то классовые, где-то экземплярные, и все с разными подходами к решению проблем наследования, которые всегда следуют за ООП-парадигмой; императивные и функциональные; с перегрузками, без перегрузок, с параметрическим полиморфизмом, с расширениями на основе тайпклассов; с различными спектрами сущностей первого порядка... В общем, просто поверьте мне: синтаксис — это штука не то, что не важная, а даже не второстепенная.
	Ответить | Правка | Наверх | Cообщить модератору

	302. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Прохожий (??), 29-Май-26, 08:36
	>синтаксис — это штука не то, что не важная, а даже не второстепенная Важная, конечно, если мы говорим о людях, как конечных потребителях этого синтаксиса. Чем проще синтаксис, тем меньше когнитивная нагрузка на читателя. А значит, освободившиеся ресурсы можно направить на решение какой-то другой проблемы. Ведь незря тот же Питон используют для написания прототипов. Подумайте на досуге, почему так. Я не к тому, что у Rust плохой синтаксис (лично мне он ок). Я к тому, что вы сильно заблуждаетесь. Мало того, взрывной рост популярности LLM говорит примерно о том же самом. Потому что LLM по сути часто является просто переводчиком с человеческого на язык программирования. Конечно, я несколько преувеличиваю. Но всё же.
	Ответить | Правка | Наверх | Cообщить модератору

	334. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от freehck (ok), 29-Май-26, 13:49
	>>синтаксис — это штука не то, что не важная, а даже не второстепенная > Важная, конечно, если мы говорим о людях, как конечных потребителях этого синтаксиса. > Чем проще синтаксис, тем меньше когнитивная нагрузка на читателя. При написании программы мы не синтаксисом мыслим. Мы берём язык, загружаем в мозг поддерживаемые им парадигмы. Затем мы прорабатываем алгоритм и структуры данных базовыми методами: для функционального кода мы мысленно представляем себе AST, для императивного — мыслим последовательностями сменяемых состояний и связями между ними. После этого мы записываем сформулированный алгоритм при помощи синтаксиса языка, строго следя за соблюдением семантики. И это — универсально для любого языка. Разница между языками — она в первую очередь в парадигмах, не в синтаксисе. Проблемы возникают обыкновенно тогда, когда разработчик привык думать в парадигмах, которые язык не поддерживает в силу разных причин. И это вопрос лишь привычки и опыта: как только человек набрался опыта с конкретным языком, он легко переключает мышление на его парадигмы, и никакой дополнительной когнитивной нагрузки язык более не генерирует. > Ведь незря тот же Питон используют для написания прототипов. Подумайте на досуге, почему так. Прототипы чаще всего пишут на питоне потому, что во время боя лучшее оружие — это то, которое в руках прямо сейчас. А он чаще всего оказывается "в руках", потому что на нём зачастую обучение в ВУЗах построено. А вот если есть возможность выбирать, ну то бишь если мы произведём мысленный эксперимент, представив себе разработчика, который является экспертом во всех языках — то на самом деле это далеко не лучший выбор языка для прототипирования. Прототипировать на диалектах Lisp получается куда быстрее и лучше, поскольку Lisp по природе своей является динамическим и позволяет доопределять синтаксис и самантику в рантайме, стирая грань между пользователем и расширителем языка. И если взять его диалект, который имеет большую библиотечную базу, ну тот же Racket, например, то скорость создания прототипа мгновенно улетает в космос. Я, кстати, подробно разбирал тут на опеннете вопросы популярности языков программирования, и в частности писал много про собственно Python. Так что если интересно глубже погрузиться... Вот тред целиком: https://www.opennet.ru/openforum/vsluhforumID3/132030.html#117 Самое важное конкретно про Python: https://www.opennet.ru/openforum/vsluhforumID3/132030.html#194 Самое важное про то, как языки становятся массовыми: https://www.opennet.ru/openforum/vsluhforumID3/132030.html#195 (кстати, Прохожий, это ведь  наша с тобой часть треда, смотри-ка) Ах да. Ещё на тему прототипирования, кстати, есть хорошая статья за авторством Пола Грэма, называется "Beating the Averages". Почитать можно тут: https://paulgraham.com/avg.html === Вот предыдущему комментатору, что про синтаксис написал и вообще начал этот тред, как выяснилось, не понятна разница между синтаксисом, семантикой и парадигмой. Вполне очевидно, что ему доставляет хлопот наличие или недостаток какой-то конкретной парадигмы, но он не соизволил разобраться, какой именно: ему достаточно тезиса "просто язык плохой", а в чём именно проблема — толком сформулировать не может и не хочет. Ну, что поделать. Так что тред этот надо завершать, по идее.
	Ответить | Правка | Наверх | Cообщить модератору

	340. Скрыто модератором	+/–
	Сообщение от Аноним (339), 29-Май-26, 15:14
	> freehck: Вот предыдущему комментатору, что про синтаксис написал и вообще начал этот тред, как выяснилось ... Во я смотрю вас прорвало на калловентиляцию... извращенец лингвистический и хуцпаграфоман: язык программирования вам тебе - не язык разговорный! Тут везде синтаксис и семантика - исторически именуются совместно. Ни у кого что то в исходниках компиляторе - не видел никакого "Семантического анализатора". Алло! И т.б. они оба - вообще очень условные, и особенно же - семантика... Лучший пример этому - слово "case" в Сях и Ко vs в Delphi и Ко - применяющееся даже в разных конструкциях т.е. с разным смыслом, словно обоих авторы языков метались - куда же его правильней притулить и так и не договорившись у каждого он свой. А, где вы графоманисто видите некий смысл слов "for" или "while" - в качестве оператора цикла?! А, у "class" корректность смысла слова - соответствуюему оператору?!  Или ладно "object" в том же Dеlphi - как будто даже целочисленные типы не для объектов...  И т.д. и т.п. Про великий же смысл уникальных идентификтров в Rust - я лучше промолчу вовсе. Ещё и парадигмы, мной даже не поминаемые выше, приплёл тролляра - до кучи...
	Ответить | Правка | К родителю #302 | Наверх | Cообщить модератору

	327. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от gaskldj (?), 29-Май-26, 12:43
	вон выше уже предлагали переписывать его обратно на Си
	Ответить | Правка | К родителю #104 | Наверх | Cообщить модератору

	259. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от анондирован (?), 28-Май-26, 19:41
	C один из самых популярных языков программирования вообще-то :D в отличие от Rust (который как г***о в проруби болтается (вверх-вниз в TIOBE) на уровне погрешности измерения)
	Ответить | Правка | К родителю #88 | Наверх | Cообщить модератору

2. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
Сообщение от Аноним (2), 28-Май-26, 11:08
Ненужно. Уже есть Мифос для проверок.
Ответить | Правка | Наверх | Cообщить модератору

	20. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+6 +/–
	Сообщение от Аноним (20), 28-Май-26, 11:33
	>  Ненужно. К счастью это не вы решаете) > Уже есть Мифос для проверок. И ты будешь каждый раз жечь токены вместо проверок на этапе компиляции. Да ты просто идеальный менеджер!
	Ответить | Правка | Наверх | Cообщить модератору

	29. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+4 +/–
	Сообщение от Аноним (29), 28-Май-26, 11:45
	Ненужно. Уже есть CHERI (аппаратная течнология контроля указателей и участков памяти). Готовится соответствующее расширение Y для RISC-V.
	Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

	33. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от Аноним (20), 28-Май-26, 11:52
	> Ненужно. Уже есть CHERI (аппаратная течнология контроля указателей и участков памяти). Тонны железа которые были закуплены до внедрения технологии: "Ну да, ну да, пошли мы н̶а̶ф̶и̶г̶ на свалку". Вы случайно не менеждер по продажам интела или амд? > Готовится соответствующее расширение Y для RISC-V. От когда будут, тогда и поговорим. Особенно буду смеяться если в зоопарке рисков оно будет не обязательное.
	Ответить | Правка | Наверх | Cообщить модератору

	172. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (173), 28-Май-26, 15:13
	> если в зоопарке рисков оно будет не обязательное Ну посмейся - т.к.уверен что, не только в зоопарке их а, вообще в этой модели ЦП. Ибо всё ПО - не поддерживает же, априори. Да и зачем тебе, в например калькулятре такая аппартная проверка! Радоваться раздуванию размера бинарника? А, в играх и подобных проектах где нужна максимальная производительность(а, время доступа к памяти то - x4..., при максимально простой реализации но и менее идеальной, а судя по выше описанию будет сложней и куда дороже) - нужны доп.тормоза / увеличение системных требований?... Тут максимум приемлемо - в отдельном debug исполнимом файле, тода уж сразу и с DEBUG - что и так не мешает делеть программно первое, причём на любой архитектуре. И то - ленятся заморачиваться, т.к.много доп.гемора и просадок. Правда потом получаем что, даже в том же как помню Unreal N или HL2 движках - даже просто попробуй отличи аппаратные или криво-написанных видеодраверов ошибки - от програмных ошибок памяти, которые сами ещё очень долго правили(вят). Другое дело в самой ОС. Впрчем смотря ккое  ПО тоже. Но, всё же отсутсвие такого(и не только такого) в ЦП семейства от Intel, типа под предлогом упрощения логики, хуцпа и даже диверсия. Как и это же и даже баги в компиляторах от MS. Впрочем и в GCC "вечно исправляющегося" но, никогда полностью (я не понимаю к моно такой шит использовать для ядра/ОС!). Кстати как то читал что они было вводили программую проверку но, за тем из-за никому не нужности и забршенности в итоге - выпилили. :(
	Ответить | Правка | Наверх | Cообщить модератору

	34. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+2 +/–
	Сообщение от q (ok), 28-Май-26, 11:55
	"Уже есть" или "готовится расширение"? И как при помощи него выявлять на этапе компиляции, а не в рантайме?
	Ответить | Правка | К родителю #29 | Наверх | Cообщить модератору

	38. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (29), 28-Май-26, 12:04
	По-моему должно быть понятно, что если аппаратно, то это для этапа исполнения, а не для этапа компиляции.
	Ответить | Правка | Наверх | Cообщить модератору

	41. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от q (ok), 28-Май-26, 12:09
	Ты ответил на вопрос: "а это в рантайме или во время компиляции?" Какой вопрос задал я: "как эта хренотень сравнится с компайл-тайм-проверками раста?"
	Ответить | Правка | Наверх | Cообщить модератору

	44. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (29), 28-Май-26, 12:26
	Достаточно ясно ответил. Прикалываешься или действительно тупишь?
	Ответить | Правка | Наверх | Cообщить модератору

	52. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от Аноним (52), 28-Май-26, 12:31
	> Достаточно ясно ответил. Прикалываешься или действительно тупишь? Да какие тут приколы((( Местные растохейтеры зачастую с интеллектом на уровне тумбочки. Так что приходится разговаривать как с ребенком.
	Ответить | Правка | Наверх | Cообщить модератору

	69. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от q (ok), 28-Май-26, 12:48
	Давай на пальцах объясню: раст проверяет в компайл-тайме -- разработчик гарантированно узнает об ошибке, потому что иначе он тупо не получит бинарь. Твоя неготовая хрень проверяет лишь в рантайме: узнает ли об ошибке разраб, зависит исключительно от того, потратит ли пользователь время на регистрацию в багтрекере, заведение бага и так далее. Но это в лучшем случае. В обычном же, пользователь выйдет в подъезд и позвонит по номеру в объявлении "Антон, починка компьютеров, переустановка винды, сделаю как для себя, качественно". Понял? Еще раз: твоя хреновина не гарантирует, что разраб узнает об ошибке. А раст гарантирует.
	Ответить | Правка | К родителю #44 | Наверх | Cообщить модератору

	89. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (29), 28-Май-26, 13:04
	Так я нигде и не утверждал, что это каким-то магическим образом сообщит разработчику. Оно лишь поможет предотвратить эксплуатацию проблемы. А разработчик таки будет вынужден заняться поиском, когда посыпятся жалобы "твоя прога падает". Даже без багрепортов.
	Ответить | Правка | Наверх | Cообщить модератору

	96. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от q (ok), 28-Май-26, 13:17
	Твое решение: разраб получает "твоя прога падает". Реальность: разраб жмет кнопочку Resolve -> Works for me. Мое решение: разраб получает репорт от компилятора, в какой именно строке ошибка. Реальность: разраб тут же исправляет, ибо иначе даже CI/CD не пройдет. Думаю, тебе уже очевидно безусловное превосходство раста и наибредовейшесть твоего еще неготового (!) решения.
	Ответить | Правка | Наверх | Cообщить модератору

	98. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Анонон (?), 28-Май-26, 13:18
	> А разработчик таки будет вынужден заняться поиском, После того как оно уйдет к юзерам и начнет им делать плохие вещи? Отличный план Уолтер, просто гениальный, если я правильно понял (с) > когда посыпятся жалобы "твоя прога  падает". Даже без багрепортов. А как разработчик об этом узнает без багрепорта? Напомню что в СПО полно параноиков, которые отключают или даже вырезают отправку отчетов о крешах.
	Ответить | Правка | К родителю #89 | Наверх | Cообщить модератору

	157. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (29), 28-Май-26, 14:36
	Если постоянно падает, начнут банально жаловаться со всех сторон. Да хоть на личное мыло разработчика.
	Ответить | Правка | Наверх | Cообщить модератору

	160. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (160), 28-Май-26, 14:45
	> Если постоянно падает, начнут банально жаловаться со всех сторон. Да хоть на личное мыло разработчика. А если падает только в полнолуние? Или не падает, но позволяет поднять привилегии до рута? Вариантов может быть много.
	Ответить | Правка | Наверх | Cообщить модератору

	328. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от gaskldj (?), 29-Май-26, 12:48
	вместо того, чтобы отловить в компайл-тайме :фейспалм:
	Ответить | Правка | К родителю #157 | Наверх | Cообщить модератору

	295. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (295), 29-Май-26, 06:55
	Кто такой Уолтер?
	Ответить | Правка | К родителю #98 | Наверх | Cообщить модератору

	329. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от gaskldj (?), 29-Май-26, 12:51
	Walter Sobchak The Big Lеbowski фильм
	Ответить | Правка | Наверх | Cообщить модератору

	100. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (91), 28-Май-26, 13:21
	> Так я нигде и не утверждал, что это каким-то магическим образом сообщит разработчику. Оно лишь поможет предотвратить эксплуатацию проблемы. Ну, то есть, проблему оно не решает. И более того: требует накладных расходов в рантайме.
	Ответить | Правка | К родителю #89 | Наверх | Cообщить модератору

	155. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от Аноним (29), 28-Май-26, 14:33
	Решает самую главную проблему - предотвращение эксплойтации.
	Ответить | Правка | Наверх | Cообщить модератору

	167. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (91), 28-Май-26, 15:01
	> Решает самую главную проблему - предотвращение эксплойтации. Эксплоитация - это как раз последствие проблемы. Совсем у вас с логикой плохо, я смотрю.
	Ответить | Правка | Наверх | Cообщить модератору

	181. Скрыто модератором	+/–
	Сообщение от Аноним (173), 28-Май-26, 15:47
	А, если спросить у большинства отечественных-zog из бракоделов, даже таких мега-коммерчески успешных как GSC - то и обнаружение с исправлением багов - вообще самая последняя проблема. Впрочем, у них всех и т.б.этих, как и у Valve и прочих, да и MS с Linux сборщиками: багоделание - средство подсаживания пользователей на свои вечные патчи в online drm, т.о.какая безбажность языка?! когда они баги не правят - как они и им ни обнаруживают те! А, иначе же это уже будут расходы на доп.вставку новых багов. /мимопрообозревалзаглюкал
	Ответить | Правка | Наверх | Cообщить модератору

	102. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (102), 28-Май-26, 13:23
	И сколько потребуется железа чтобы на каждый коммит прогнать все пути кода? Каждый if в коде - это х2 к путям функции/метода.
	Ответить | Правка | К родителю #38 | Наверх | Cообщить модератору

	186. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (173), 28-Май-26, 15:54
	В железе не всё так печально, если с умом конечно подходить к делу. Тут да, как повезёт
	Ответить | Правка | Наверх | Cообщить модератору

	232. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (232), 28-Май-26, 17:37
	А многим нужно не только, чтобы эксплуатация уязвимости не сработала (и всё обвалилось), а чтобы забагованное до прода не дошло. Многим нужно чтобы прод не падал как можно дольше. Есть такое понятие как аптайм и всякие там девятки.
	Ответить | Правка | К родителю #38 | Наверх | Cообщить модератору

	243. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (243), 28-Май-26, 18:39
	> Многим нужно чтобы прод не падал как можно дольше. Есть такое понятие как аптайм и всякие там девятки. Это решается не идеальностью кода, а избыточностью подсистем. В достаточно большой системе _всегда_ что-то лежит, сыплет ошибками, тормозит или вот-вот выйдет из строя. Какой бы твой код ни был идеальный, ресурсу подшипника кулера CPU это никак не поможет. Если ваши девятки определяются качеством кода, то чинить надо сам процесс разработки.
	Ответить | Правка | Наверх | Cообщить модератору

	303. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Прохожий (??), 29-Май-26, 08:48
	>Это решается не идеальностью кода, а избыточностью подсистем. Идеальность кода оказывает значительное влияние на стоимость эксплуатации. Вот у вас есть ненадёжный код, для него надо купить три железки. А есть - надёжный, для него и двух хватит при прочих равных.
	Ответить | Правка | Наверх | Cообщить модератору

	331. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от gaskldj (?), 29-Май-26, 12:54
	Пришел слон и сел на одну из двух.
	Ответить | Правка | Наверх | Cообщить модератору

	37. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним1234 (?), 28-Май-26, 12:02
	То есть в составе CI\CD надо будет запускать код на этом?
	Ответить | Правка | К родителю #29 | Наверх | Cообщить модератору

	39. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (29), 28-Май-26, 12:07
	По желанию трудящихся. Можете CI/CD поручить нейрослопику.
	Ответить | Правка | Наверх | Cообщить модератору

	333. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Пыщь (?), 29-Май-26, 13:01
	Представил картинку. VAX смотрит на эти "современные" технологии из глубин времён презрительно с недоумением: "уже" на горшок сами ходить научились, ещё многое впердях..
	Ответить | Правка | К родителю #29 | Наверх | Cообщить модератору

	125. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от runoverheads (ok), 28-Май-26, 13:51
	есть гарантия что ИИ точно найдёт все ошибки работы с памятью? или от промта к промту будут разные, или часть он не увидел, ну весь код в контекст не влез, сорян?
	Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

	187. Скрыто модератором	+/–
	Сообщение от Аноним (173), 28-Май-26, 15:58
	И близко нет, ведь и  у самого автора нет. А, этот в отличие от ИИ - знает свои как автора задумки, что далеко не всегда тривиально вычитывается; впрочем, они сами по себе могут быть бажны и это самый неприятный случай, после багов и недоговорок в ОС API и прч.внутренностях.
	Ответить | Правка | Наверх | Cообщить модератору

3. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+4 +/–
Сообщение от aname (ok), 28-Май-26, 11:12
> для примера за вчерашний день было опубликовано 277 отчётов об уязвимостях в ядре Надёжное, безопасное ведро, не то, что эти ваши другие ОС. Тысячи глаз®™© таки сходили к офтальмологу, чтоли? > По словам Грега, большинство ошибок в ядре вызваны подобными мелочами Т.е. если бы ещё, параллельно, пилили анализатор кода, а может бы и готовые какие взяли, то не надо было бы тащить отдельную ненужность в ведро. Stable development is nonsense!
Ответить | Правка | Наверх | Cообщить модератору

	9. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (9), 28-Май-26, 11:18
	https://rust-lang.org/ru/
	Ответить | Правка | Наверх | Cообщить модератору

	10. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от небесный ученый (?), 28-Май-26, 11:19
	тысячеглазый скайнет тебя устроит ?
	Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

	16. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от aname (ok), 28-Май-26, 11:27
	Оно хотя бы смотрит. И, как видно, даже такой скайнет, на который сподобились кожаные, оказался эффективней "тысячи глаз"®™© Уж во всяком случае, оно реально что- то находит и репортит. Да, такой скайнет меня устраивает сильно больше, чем… Даже такое дополнение, в виде скайнета сильно лучше, чем без него, и неописуемо лучше лишних нинужностей.
	Ответить | Правка | Наверх | Cообщить модератору

	51. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (51), 28-Май-26, 12:30
	Я тебе маленький секрет открою. Смотреть и репортить туда могут исключительно работники корпораций, которые внесли $$ в их фонд. ИИ тут не исключение. Если бы пришёл левый васян со своим нейрослопом, то его бы патчи давно бы выкинули, а аккаунт забанили.
	Ответить | Правка | Наверх | Cообщить модератору

	71. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от aname (ok), 28-Май-26, 12:50
	> Я тебе маленький секрет открою. Смотреть и репортить туда могут исключительно работники > корпораций, которые внесли $$ в их фонд. ИИ тут не исключение. > Если бы пришёл левый васян со своим нейрослопом, то его бы > патчи давно бы выкинули, а аккаунт забанили. Какой опенсурс и свободу от корпораций построили, такой и имеете
	Ответить | Правка | Наверх | Cообщить модератору

	190. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (173), 28-Май-26, 16:19
	Так они построили от одной только корпорации... MS. На деньги других :(   Но, ведь - такова жизнь, ты же вот не захотел задарма работать вместо них... Фактически же "опенсурс построили" - сами корпорации. Но, куда хуже что и хвалёный GPL -  позволяющий не открывать локально используемое(и что там ещё умолчанно - отличный же вопрос, да и неумолчанно - юридической терминологией же с кучей ньансов и уже юридических недоговорок) - например: у себя Linux ядро давно пропатченное полностью, другим - вечно глючное и дырявое. Мало?...
	Ответить | Правка | Наверх | Cообщить модератору

	214. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от aname (ok), 28-Май-26, 17:06
	> ты же вот не захотел задарма работать вместо них... Пруфы будут?
	Ответить | Правка | Наверх | Cообщить модератору

	246. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от Аноним (173), 28-Май-26, 19:01
	1) С каких это пор, о анониме, с аж ником aname, срущему в opensource - предположить о его отношении к opensource - преступление!   2) ok, допустим анон не врун, пусть хотя бы в этом, и я ошибся про этого аж анона конечно же всему миру известного как и его деятельность: Что то не вижу как это хоть что то изменяет в сказанном прочем всём.
	Ответить | Правка | Наверх | Cообщить модератору

	338. Скрыто модератором	+/–
	Сообщение от Аноним (338), 29-Май-26, 14:26
	Ну, круто).
	Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

4. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–2 +/–
Сообщение от Аноним (4), 28-Май-26, 11:14
Никак не поможет - сейчас уже ИИ всё это делает. Rust is obsolete.
Ответить | Правка | Наверх | Cообщить модератору

	8. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+6 +/–
	Сообщение от Аноним (8), 28-Май-26, 11:17
	дааа, сейчас уже ИИ делает все ошибки сам... вот выверять за ним эти портянки - то ещё приключение
	Ответить | Правка | Наверх | Cообщить модератору

	143. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (142), 28-Май-26, 14:09
	Ну в rust хотя бы часть ошибок не нужно выверять.
	Ответить | Правка | Наверх | Cообщить модератору

	203. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+2 +/–
	Сообщение от Аноним (40), 28-Май-26, 16:39
	> в rust хотя бы часть ошибок не нужно выверять Именно так! В uutils ошибки и не выверяли - сотни ошибок, дающие рута! Это, наверно, фичи!
	Ответить | Правка | Наверх | Cообщить модератору

	210. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–2 +/–
	Сообщение от Аноним (210), 28-Май-26, 16:49
	> Именно так! В uutils ошибки и не выверяли - сотни ошибок, дающие рута! Все сотни дают рута? Ничосе! Как определить что дырявый сишник врет? Он просто открывает рот)
	Ответить | Правка | Наверх | Cообщить модератору

	219. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (219), 28-Май-26, 17:18
	обоснований конечно не будет, и 113 ошибок это другое, ага
	Ответить | Правка | Наверх | Cообщить модератору

	297. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–2 +/–
	Сообщение от Sm0ke85 (ok), 29-Май-26, 07:25
	>Как определить что дырявый сишник врет? Ты с логикой точно дружишь??? Дырявый программист на Си - это вариант, а дырявый язык на котором ~90% всего работает - это не вариант... нэ???
	Ответить | Правка | К родителю #210 | Наверх | Cообщить модератору

6. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+2 +/–
Сообщение от Аноним (8), 28-Май-26, 11:16
Может помочь... а может не помочь... я почему-то про уязвимости в решениях на хрусте слышу чаще чем в голагне, хотя инструменты на голагне используются вот прям сильно больше
Ответить | Правка | Наверх | Cообщить модератору

	212. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (212), 28-Май-26, 17:00
	Дам подсказку: Rust - системный язык программирования, а Go нет. У Go безопасность обеспечивается через runtime, соответственно уязвимости на нем могут быть только вследствие логических ошибок (либо косяков компилятора), а это уже на порядок более редкий тип ошибок, чем ошибки работы с памятью. У Rust нет runtime, его безопасность обеспечивается на уровне системы типов. Но на самом деле невозможно изобрести безопасную систему типов для системного языка на полном множестве всех возможных програм, потому что это равносильно решению halting problem. Поэтому Rust ввел ограничение на подможество программ которые можно написать на safe подмножестве языка, для которого можно гарантированно статически доказать безопасность управления памятью. Однако не каждая программа из этого подмножества оптимальна. Потому существует unsafe, который позволяет в рамках отдельного блока кода отключить некоторые из safe-ограничений (по большей части разрешает разыменовать сырой указатель и получить ссылку с произвольным лайфтаймом, плюс набор некоторых мелочей, но НЕ отключает никаких других проверок раста). Вот вы и видите громкие кейсы, когда в каком-то глубоко системном unsafe коде на расте нашли какие-то косяки, ну и плюс ряд кейсов, когда уязвимости произошли из-за логических ошибок, потому что любая новость про уязвимости на расте - это шок и скандал, а публика такое любит. На реальной же статистике даже логических уязвимостей в коде на go гораздо больше, просто о них не трубят отовсюду, т.к. в этом нет перчинки и скандала, но мне периодически приходится с ними сталкиваться из-за анализатора уязвимостей, при этом в моем растовом стеке они обнаруживаются крайне редко (на моей памяти один раз было, а вот с гошными уязвимостями приходилось разбираться часто: CVE-2024-24790, CVE-2025-68121, CVE-2026-33186...). Если хотите посмотреть на данные на больших числах, а не развлекать себя шоком, скандалами и расследованиями анекдотических случаев уязвимостей кода на расте, то вот отчет гугла, как Rust работает на больших числах: https://blog.google/security/rust-in-android-move-fast-fix-t.../
	Ответить | Правка | Наверх | Cообщить модератору

	244. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от _hide_ (ok), 28-Май-26, 18:45
	>>> У Rust нет runtime Вот это да!!!!
	Ответить | Правка | Наверх | Cообщить модератору

	247. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (212), 28-Май-26, 19:01
	Человек написал "почему-то", как будто не понимает чего-то, или делает вид, что не понимает (хотя на самом деле скорее всего ради подколки делает вид, что не понимает, но не осознает, что и правда не понимает). Вот я объяснил в деталях, возможно, местами избыточных. Просто часто замечаю тут, что люди рассуждают здесь про уязвимости, unsafe и прочее, не делая различий ни между языками, ни между классами уязвимостей, а уж представление об unsafe у местной публики зачастую где-то около "За Константина и жену его Конституцию!".
	Ответить | Правка | Наверх | Cообщить модератору

	265. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (-), 28-Май-26, 20:01
	>> У Rust нет runtime > Вот это да!!!! Найдёшь - приходи, посмеёмся.
	Ответить | Правка | К родителю #244 | Наверх | Cообщить модератору

	353. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (339), 29-Май-26, 20:25
	Не смеши так
	Ответить | Правка | Наверх | Cообщить модератору

11. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+3 +/–
Сообщение от Аноним (11), 28-Май-26, 11:22
Если бы переписували на СИ с нуля, то большинство этих ошибок из доклада также бы нашлось.
Ответить | Правка | Наверх | Cообщить модератору

	97. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (97), 28-Май-26, 13:18
	Конееечно, а сейчас ты как возьмёшь, да как докажешь свои слова...
	Ответить | Правка | Наверх | Cообщить модератору

	220. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (219), 28-Май-26, 17:19
	а ты докажешь обратное?
	Ответить | Правка | Наверх | Cообщить модератору

	284. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (97), 28-Май-26, 22:55
	А я утверждал? Бремя доказательства лежит на утверждающем.
	Ответить | Правка | Наверх | Cообщить модератору

	224. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (212), 28-Май-26, 17:23
	Этих может бы уже не было. Зато каждой на смену пришел бы десяток новых. Хорошо настоявшийся код на C и плюсах не случайно стараются лишний раз не трогать и не дышать на него.
	Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

	332. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от gaskldj (?), 29-Май-26, 13:00
	ага, лет по 15-18. А потом опа
	Ответить | Правка | Наверх | Cообщить модератору

13. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+3 +/–
Сообщение от Аноним (13), 28-Май-26, 11:24
Тем временем uutils такие: подержи моё пиво.
Ответить | Правка | Наверх | Cообщить модератору

	15. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+9 +/–
	Сообщение от Аноним (13), 28-Май-26, 11:25
	^ честно говоря, вся эта возня с Rust выглядит как попытка корпов отвзяаться от GPL кода и закрыть К.Е.М. сорсы через пермессисивки.
	Ответить | Правка | Наверх | Cообщить модератору

	18. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (18), 28-Май-26, 11:29
	ядре нет не gpl кода и не будет, Раст тут ничего не поменяет. На уровне ядра и системных утилит gpl выгоден кормам не меньше чем всем нам.
	Ответить | Правка | Наверх | Cообщить модератору

	111. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от bOOster (ok), 28-Май-26, 13:33
	Не в бровь а в глаз.
	Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору

	215. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним10084 и 1008465039 (?), 28-Май-26, 17:12
	И правильно, пермиссив лучше для бизнеса, что я одобряю
	Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору

	222. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (219), 28-Май-26, 17:21
	бамбулаб? ...нееет, это другое
	Ответить | Правка | Наверх | Cообщить модератору

	251. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (97), 28-Май-26, 19:24
	Я вот тоже одобряю, чтобы у твоего провайдера интернета стояла ОС под "пермиссивной" лицензией (ну код у неё уже закрыт, пермиссив же!), и ты платил за интернет разв 10 больше. Зато для бизнеса лучше. :)
	Ответить | Правка | К родителю #215 | Наверх | Cообщить модератору

	268. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним10084 и 1008465039 (?), 28-Май-26, 20:14
	Вот ты ищешь только подвохи, как можно сделать хуже, а я - как лучше. Мы разные
	Ответить | Правка | Наверх | Cообщить модератору

	285. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (97), 28-Май-26, 22:56
	А причём тут мы? Под пермиссив будут переписывать другие, и интернет будут нам предоставлять другие.
	Ответить | Правка | Наверх | Cообщить модератору

	320. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним10084 и 1008465039 (?), 29-Май-26, 12:02
	Мы тоже можем пользоваться пермиссивом для своих целей.
	Ответить | Правка | Наверх | Cообщить модератору

	54. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от Аноним (91), 28-Май-26, 12:33
	> Тем временем uutils такие: подержи моё пиво. А что, в uutils были "типичные ошибки разработчиков на языке Си при работе с памятью, блокировками, обработкой ошибок" уровня "разименовал null", "use-after-free", "double-free", "вылез за пределы буфера"? Или персонажи вроде тебя, которые продолжают всплывать тут с этим uutils при каждом упоминании Rust, вообще не различают ошибки работы с памятью/асинхронщиной и логические ошибки? Вопрос риторический, если что.
	Ответить | Правка | К родителю #13 | Наверх | Cообщить модератору

	87. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+2 +/–
	Сообщение от Аноним (87), 28-Май-26, 13:03
	Root в дырявых uutils получить проще простого было и без этих ошибок.
	Ответить | Правка | Наверх | Cообщить модератору

	94. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+3 +/–
	Сообщение от Аноним (91), 28-Май-26, 13:16
	А с этими было бы еще проще простого. Но в целом, я твою мысль понял: логические ошибки в других языках - подтверждение того, что нужно героически продолжать наступать на одни и те же сишочные грабли.
	Ответить | Правка | Наверх | Cообщить модератору

	132. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от Аноним (87), 28-Май-26, 13:56
	Нет, не понял. Мысль в том, что в Rust, на удивление, делают много логических ошибок.
	Ответить | Правка | Наверх | Cообщить модератору

	168. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (91), 28-Май-26, 15:03
	> Нет, не понял. Мысль в том, что в Rust, на удивление, делают много логических ошибок. Больше, чем в других языках? И даже больше, чем в С при всех прочих равных?
	Ответить | Правка | Наверх | Cообщить модератору

	213. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от Аноним (173), 28-Май-26, 17:00
	Cудя только по "логике" таких только в этой одной ветви - да.   И без выше мной написанного влияния языка - на мышление.
	Ответить | Правка | Наверх | Cообщить модератору

	266. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (266), 28-Май-26, 20:08
	Конечно делают. Где Раст похож на Idris, чтобы там зависимые типы были? А они нужны, чтобы сделать логически некорректное состояние невыразимым синтаксически. Раст это те же плюсы, где наиболее популярные best practises зашили в семантику языка, чтобы это проверял компилятор, а не кучка нарциссов спорила на ревью. А раз императивная суть осталась нетронутой, возможностей накосячить все ещё вагон и маленькая тележка.
	Ответить | Правка | К родителю #132 | Наверх | Cообщить модератору

	117. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (40), 28-Май-26, 13:39
	> А что, в uutils были "типичные ошибки разработчиков Да, были типичные ошибки "забыл проверить параметры", "не сделал сброс привилегий", "не знал о существовании экранирующих символов", что дало возможность получения рута.
	Ответить | Правка | К родителю #54 | Наверх | Cообщить модератору

	131. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (91), 28-Май-26, 13:55
	> Да, были типичные ошибки "забыл проверить параметры", "не сделал сброс привилегий", "не знал о существовании экранирующих символов", что дало возможность получения рута. Ну так я об этом и говорю. Были именно логические ошибки, которые делаются на любом языке. А сишочных не было. Но, по моему, ты хотел меня опровергнуть, не так ли?
	Ответить | Правка | Наверх | Cообщить модератору

	204. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (40), 28-Май-26, 16:41
	Ты только что подтвердил, что достаточно одной раст-ошибки, которую 100% сделают, чтобы система прорутовалась.
	Ответить | Правка | Наверх | Cообщить модератору

	218. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (91), 28-Май-26, 17:15
	> Ты только что подтвердил, что достаточно одной раст-ошибки, которую 100% сделают А что такое "раст-ошибка"? Вот про "С-ошибки" все знают - это сугубо сишочные buffer overflow, use-after-free, double-free и т.п. А ты продолжаешь нелепые попытки выдать логические ошибки как нечто, свойственное только Расту - лишь бы съехать с темы дырявости С.
	Ответить | Правка | Наверх | Cообщить модератору

	250. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (40), 28-Май-26, 19:24
	> А сишочных не было. А знаете, почему сишочных не было? Потому что все ошибки были на расте!
	Ответить | Правка | К родителю #131 | Наверх | Cообщить модератору

	254. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (97), 28-Май-26, 19:27
	> Или персонажи вроде тебя, которые продолжают всплывать тут с этим uutils при каждом упоминании Rust Неприятненькая ситуация была правда. Не такой уж раст и silver bullet, как о нём говорили фанатики. :)
	Ответить | Правка | К родителю #54 | Наверх | Cообщить модератору

	258. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (91), 28-Май-26, 19:40
	> Неприятненькая ситуация была правда. Не такой уж раст и silver bullet, как о нём говорили фанатики. :) Песни про siver bullet слышны только от воинов против Раста. Прием называться "соломенное чучело" - сам чушь приплел, и сам же ее обличил. На местную аудиторию действует безотказно.
	Ответить | Правка | Наверх | Cообщить модератору

	294. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (97), 29-Май-26, 03:24
	Да ну? Заходим на Reddit, Phoronix, Twitter (X) или ещё куда-то. Ищем положительную новость о расте. Видим кучу восторженных комментариев о том, что "раст такой нивираятный, я бы на нём женился". Делаем вывод, что фанаты раста - фанатики. И да, если я тут "приплёл", то почему о других языках подобного не слышно? Даже гошники и джаваскриптеры на порядок тише.
	Ответить | Правка | Наверх | Cообщить модератору

	275. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (275), 28-Май-26, 21:18
	Получается, виноват не язык, а программисты? Да как так-то! Может тогда и нет смысла судорожно переписывать на rust, а начать наконец бить по пальцам программистов и заодно дизайнеров?
	Ответить | Правка | К родителю #54 | Наверх | Cообщить модератору

14. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+3 +/–
Сообщение от Аноним (14), 28-Май-26, 11:25
то то тут недавно публиковали зиллион ошибок в раст модулёчках. а так -- да, раст это безопасно, раст это скрепно, раст это броня
Ответить | Правка | Наверх | Cообщить модератору

	23. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (23), 28-Май-26, 11:35
	>При этом, Rust не рассматривается как панацея, способная избавить от всех проблем
	Ответить | Правка | Наверх | Cообщить модератору

	66. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+2 +/–
	Сообщение от 12yoexpert (ok), 28-Май-26, 12:46
	"rust - это всего лишь инструмент" (с) продавцы llm-скама
	Ответить | Правка | Наверх | Cообщить модератору

	151. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от Аноним (-), 28-Май-26, 14:22
	> "rust - это всего лишь инструмент, на него не смотрите. продолжайте строчить на Си, а мы будем проверять вашу дрыстню." (с) продавцы llm-скама Исправил.
	Ответить | Правка | Наверх | Cообщить модератору

	99. Скрыто модератором	+1 +/–
	Сообщение от Аноним (97), 28-Май-26, 13:19
	Странно, а растоманы как раз заявляют обратное.
	Ответить | Правка | К родителю #23 | Наверх | Cообщить модератору

	182. Скрыто модератором	–1 +/–
	Сообщение от Аноним (-), 28-Май-26, 15:47
	Можете подтвердить свои слова хотя бы одним доказательством? Нет? И не сможете. Так заявляют только воители‑против‑раста, перевирая слова о том, что Rust защищает от ошибок с памятью (которые составляют большинство от всех ошибок) и гонок данных. Но вы продолжайте врать, а я буду продолжать исправлять вашу ложь.
	Ответить | Правка | Наверх | Cообщить модератору

17. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
Сообщение от Аноним (17), 28-Май-26, 11:28
Хороший человек который более 20 лет разрабатывает ядро в огромном количестве подсистем и знает все его недостатки. Он правильно указал, что в переписках разработчикам приходится обсуждать вещи как разыменование указателей и т.д Время потраченное на которые можно было бы потратить разработку действительно важных вещей. За Rust будущее. Как минимум USB drivers стек его внедрять необходимо. Насколько знаю, там огромный бардак и куча проблем с безопасностью.
Ответить | Правка | Наверх | Cообщить модератору

	21. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+3 +/–
	Сообщение от aname (ok), 28-Май-26, 11:34
	Ну, т.е. Кроа-Хартман глазами видит, что происходит жесть, и вместо того, чтоб, при помощи I'M FINNISH (HIM) внести в стандарты разработки использование хоть каких- то анализаторов кода, а ещё лучше, создать инициативу по разработке свободного анализатора кода, и не пускать код без проверки на анализаторе (благо, код- то, внезапно, открытый), они КАЖДЫЙ РАЗ ОБСУЖДАЮТ ОДНО И ТОЖЕ. Ну, выглядит как правильно и хорошо настроеные процессы разработки. ЭТАЛОН!
	Ответить | Правка | Наверх | Cообщить модератору

	24. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+3 +/–
	Сообщение от Аноним (51), 28-Май-26, 11:35
	Ему некогда, он осваивает бабки.
	Ответить | Правка | Наверх | Cообщить модератору

	26. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от aname (ok), 28-Май-26, 11:38
	Так на анализатор можно было бы собрать тоже нормально. Типа: вооооот какая у нас база профессионалов, со взором горящим, а ещё это база бесплатных тестеров. Вот мы сейчас как запилим, не хуже проприетарных! Там бы очередь выстроилась.
	Ответить | Правка | Наверх | Cообщить модератору

	43. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (51), 28-Май-26, 12:19
	Я тебя маленький секрет открою. Бабки им выделили под "безопасный" язык. На анализиторы никто их не выделял.
	Ответить | Правка | Наверх | Cообщить модератору

	63. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от aname (ok), 28-Май-26, 12:44
	> Я тебя маленький секрет открою. Бабки им выделили под "безопасный" язык. На > анализиторы никто их не выделял. Похоже на то
	Ответить | Правка | Наверх | Cообщить модератору

	48. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (52), 28-Май-26, 12:28
	> Так на анализатор можно было бы собрать тоже нормально. Так анализаторы УЖЕ есть. Даже опенсорсные. > Типа: вооооот какая у нас база профессионалов, со взором горящим, А если приглядеться, то какие-то Dirty Fagʼи)) Ты серьезно думаешь, что бесконечный поток CVE/RCE в ядре это от большого профессионализма? > Там бы очередь выстроилась. Хаха, но пока патчи отправляют почтой (хорошо хоть не голубиной), CI/CD - какие-то инопланетные технологии, а Торвальдс бухтит в рассылке "почему в основную ветку попал не компилирующийся код". А в остальном прекрасная маркиза, всё хорошо, всё хорошо, всё хорошо! (с)
	Ответить | Правка | К родителю #26 | Наверх | Cообщить модератору

	53. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (51), 28-Май-26, 12:32
	>Хаха, но пока патчи отправляют почтой Патчи туда отправить тот ещё квест. И не факт, что его вообще кто-то будет читать и проверять. Разве что какой-нибудь условный интел пригрозит урезать финансирование.
	Ответить | Правка | Наверх | Cообщить модератору

	25. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (23), 28-Май-26, 11:37
	Форкай линух и сделай в нём обязательную проверку анализаторами кода, а ещё лучше, создай инициативу по разработке свободного анализатора кода
	Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

	27. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от aname (ok), 28-Май-26, 11:39
	Сразу как только форкну Кроа-Хартмана, с возможностью дебага последнего.
	Ответить | Правка | Наверх | Cообщить модератору

	78. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (29), 28-Май-26, 12:56
	Великий пальцепоказывающих мог бы ещё лет 10 - 15 назад внедрить требования MISRA при разработке ядра. И корпорасы бы его не стали нагибать на внедрение Rust.
	Ответить | Правка | К родителю #25 | Наверх | Cообщить модератору

	81. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Анонон (?), 28-Май-26, 12:58
	Не мог. Разрабы ядра не смогли бы на мисре написать ядро. Потому что мисра - это кастрированный СИ.
	Ответить | Правка | Наверх | Cообщить модератору

	92. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (29), 28-Май-26, 13:12
	Странно, софт для авионики пишут. Безопасность - она и предполагает ограничение полёта фантазии программистов.
	Ответить | Правка | Наверх | Cообщить модератору

	106. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (91), 28-Май-26, 13:31
	>> мисра - это кастрированный СИ. > Безопасность - она и предполагает ограничение полёта фантазии программистов. Нет, MISRA - она не об "ограничении фантазии", а о том, чтобы не наступить на грабли, везде заботливо заложенные дедами еще в 70-х. Естественно, никакой речи о "безопасности" быть не может, если в самом языке все by design спроектировано для компрометации этой самой безопасности.
	Ответить | Правка | Наверх | Cообщить модератору

	248. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+2 +/–
	Сообщение от Аноним (243), 28-Май-26, 19:09
	> Странно, софт для авионики пишут. Потому что он примитивный как доска и ограничен ровно одной примитивной хардварной платформой, с единственным юзером, который "логинится" в неё подключением кабеля в разъём. Сложность производства "авионики" (а так же, "медоборудования", "атомных реакторов", и всех остальных вещей, о кторых так любят говорить с придыханием люди далёкие от разработки) не в том, что там какой-то нужен волшебный код, а совсем в другом месте, где она соприкасается с объективной реальностью и физикой обслуживаемого процесса. А код там должен быть простой и корректный, и вот для этого и нужны MISRA, стандарты, и прочая бюрократия.
	Ответить | Правка | К родителю #92 | Наверх | Cообщить модератору

	30. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Ну (?), 28-Май-26, 11:45
	> и вместо того, чтоб, при помощи I'M FINNISH (HIM) внести в стандарты разработки использование хоть каких- то анализаторов кода ну так внесли внизапна, rustc > Ну, выглядит как правильно ну так и выглядит, ну-ну-ну.
	Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

	31. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от aname (ok), 28-Май-26, 11:48
	Ну? Ну- ну- ну. Непонятно, зачем тянуть ниНУжное в ядро, когда есть анализаторы кода.
	Ответить | Правка | Наверх | Cообщить модератору

	46. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (91), 28-Май-26, 12:27
	> Непонятно, зачем тянуть ниНУжное в ядро, когда есть анализаторы кода. Затем, что анализаторы кода есть и регулярно запускаются - но не вывозят.
	Ответить | Правка | Наверх | Cообщить модератору

	60. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от aname (ok), 28-Май-26, 12:42
	>> Непонятно, зачем тянуть ниНУжное в ядро, когда есть анализаторы кода. > Затем, что анализаторы кода есть и регулярно запускаются - но не вывозят. Совершенствовать надо. А то тут вывозят, тут не вывозят.
	Ответить | Правка | Наверх | Cообщить модератору

	86. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (91), 28-Май-26, 13:01
	> Совершенствовать надо. Приступай! А адекватным проще взять уже готовый инструмент.
	Ответить | Правка | Наверх | Cообщить модератору

	108. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от aname (ok), 28-Май-26, 13:32
	Как только ты покажешь, чем уже имеющиеся инструменты неадекватны. Давай там, аналитику, баги, вот это вот всё.
	Ответить | Правка | Наверх | Cообщить модератору

	116. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (91), 28-Май-26, 13:39
	> Совершенствовать надо. > Как только ты покажешь, чем уже имеющиеся инструменты неадекватны. Ты там определись уже, надо или не надо. > Давай там, аналитику, баги, вот это вот всё. Более 50 лет бесконечных, типично сишочных вулнов тебе ни на что не намекают? Кстати, по поводу аналитики: Гугл с Майкрсофтом несколько лет назад публиковали статистику, что более 70% вулнов приходятся на ошибки работы с памятью. Но здешние матерые воины против Раста прекрасно знают, что это все вранье и вообще сговор.
	Ответить | Правка | Наверх | Cообщить модератору

	122. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от aname (ok), 28-Май-26, 13:48
	>> Совершенствовать надо. >> Как только ты покажешь, чем уже имеющиеся инструменты неадекватны. > Ты там определись уже, надо или не надо. >> Давай там, аналитику, баги, вот это вот всё. > Более 50 лет бесконечных, типично сишочных вулнов тебе ни на что не > намекают? > Кстати, по поводу аналитики: Гугл с Майкрсофтом несколько лет назад публиковали статистику, > что более 70% вулнов приходятся на ошибки работы с памятью. Но > здешние матерые воины против Раста прекрасно знают, что это все вранье > и вообще сговор. Намекают на то, что если не выработать и придерживаться методик безопасного программирования, то на выходе получается uutils, и проблема не в языке. Но некоторые эксперты опеннета вырастили в своей голове представление о безопасном языке, который точно всем поможет (особенно в unsafe, ага), и наступит коммунизм. А нормальные продолжают таких тыкать мордой в их uutils и прочие модули ядра, которые llm-ка проанализировала и выдала диагноз. Но воины против Си и прочих языков не видят реальности, потому, что если реальность не совпадает с её представлением в их голове, тем хуже для реальности.
	Ответить | Правка | Наверх | Cообщить модератору

	141. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (91), 28-Май-26, 14:07
	>> что более 70% вулнов приходятся на ошибки работы с памятью. > Намекают на то, что если не выработать и придерживаться методик безопасного программирования, то на выходе получается uutils, и проблема не в языке. Нет, ошибки при работе с памятью и их статистика прямым текстом тебе говорят, что если даже самые компетентные кодеры со статическими анализаторами наперевес на шестом десятке лет так и не научились писать недырявый код на этом недоязыке - значит, дело именно в языке. > Но некоторые эксперты опеннета вырастили в своей голове представление о безопасном языке, который точно всем поможет С ошибками работы с памятью - действительно поможет. Или ты можешь что-то содержательное сказать в качестве контраргумента? > А нормальные продолжают таких тыкать мордой в их uutils Не, нормальные как раз в курсе, что в uutils не было тех самых ошибок работы с памятью. А ненормальные вроде тебя продолжают всплывать с этим uutils при каждом упоминании Раста. > Но воины против Си и прочих языков Хм, каких еще "прочие" ты пытаешься приплести? > не видят реальности, потому, что если реальность не совпадает с её представлением в их голове, тем хуже для реальности. Реальность - это вот уже более, чем полвека непрекращающийся поток вулнов из-за одних и тех же ошибок.
	Ответить | Правка | Наверх | Cообщить модератору

	152. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от aname (ok), 28-Май-26, 14:29
	>>> что более 70% вулнов приходятся на ошибки работы с памятью. >> Намекают на то, что если не выработать и придерживаться методик безопасного программирования, то на выходе получается uutils, и проблема не в языке. > Нет, ошибки при работе с памятью и их статистика прямым текстом тебе > говорят, что если даже самые компетентные кодеры со статическими анализаторами наперевес > на шестом десятке лет так и не научились писать недырявый код > на этом недоязыке - значит, дело именно в языке. Там какие- то кодеры seL4 написали. На каком языке, не подскажешь? >> Но некоторые эксперты опеннета вырастили в своей голове представление о безопасном языке, который точно всем поможет > С ошибками работы с памятью - действительно поможет. Или ты можешь что-то > содержательное сказать в качестве контраргумента? unsafe. Достаточно? >> А нормальные продолжают таких тыкать мордой в их uutils > Не, нормальные как раз в курсе, что в uutils не было тех > самых ошибок работы с памятью. А ненормальные вроде тебя продолжают всплывать > с этим uutils при каждом упоминании Раста. Потому, что безопасный язык, все дела, а он оно как вышло- то. Ну ничего, не расстраивайся, как только у llm-ки закончатся кейсы для тренировок, а вы, в очередной раз с её помощью пофиксите свои безопасные вулны, можно будет опять постулировать невыносимую победу раста над всеми. >> Но воины против Си и прочих языков > Хм, каких еще "прочие" ты пытаешься приплести? Языков, как раз таки, хватает, но священный- только единственный. >> не видят реальности, потому, что если реальность не совпадает с её представлением в их голове, тем хуже для реальности. > Реальность - это вот уже более, чем полвека непрекращающийся поток вулнов из-за > одних и тех же ошибок. Язык тут причём? Для вас, тех, кто не способен писать нормально, сделали даже отдельный язык. Как ходунки для детей, потому, что плоды "шашечки или ехать", а вы из себя илитарность строите, как у вас всё безопасно. А потом случается проверка uutils llm-кой. Хорошо, хоть не регэкспами элитку зачмырили, а то это было б совсем смешно. Но вы эти "ходунки" вознесли на хоругвы и бегаете с идеями глобальной революции. А по- факту, не кровати надо переставлять. И есть же, главное, и примеры безопасного кода, и описаны подходы его создания, но, видимо, никак. Нужны целые языки, а то так и не научатся- подумали дяди в корпорациях, и правильно, что характерно ж, подумали. Скоро новый язык сделают, который будет ещё сильнее требовать, чтоб не только с памятью ошибок не было, но и каких- то других. И совместимых с llm-ками, чтоб и баги выискивать проще было, да и кожаных заменять надо, а то они себя возомнили программистами, и llm-ки от них плохое подхватывают.
	Ответить | Правка | Наверх | Cообщить модератору

	177. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (91), 28-Май-26, 15:29
	> Там какие- то кодеры seL4 написали. На каком языке, не подскажешь? На более чем 500000 строках Isabelle/HOL для 10000 строк дыряшки. >> С ошибками работы с памятью - действительно поможет. Или ты можешь что-то >> содержательное сказать в качестве контраргумента? > unsafe. Достаточно? unsafe в Расте нужно явно включать, чтобы обойти проверки. А C по умолчанию unsafe - весь, целиком. И чтобы сделать его safe - вон, как в seL4, нужно всего лишь на каждую строчку сишочки написать 50 срок формальной верификации. >> Не, нормальные как раз в курсе, что в uutils не было тех >> самых ошибок работы с памятью. А ненормальные вроде тебя продолжают всплывать >> с этим uutils при каждом упоминании Раста. > Потому, что безопасный язык, все дела, а он оно как вышло- то. Что вышло-то? Полное отсутствие типично сишочных дыр? >> Но воины против Си и прочих языков > Хм, каких еще "прочие" ты пытаешься приплести? Ты не ответил на вопрос. >> Реальность - это вот уже более, чем полвека непрекращающийся поток вулнов из-за >> одних и тех же ошибок. > Язык тут причём? Я тебе уже написал, при чем: "если даже самые компетентные кодеры со статическими анализаторами наперевес на шестом десятке лет так и не научились писать недырявый код на этом недоязыке - значит, дело именно в языке." > А потом случается проверка uutils llm-кой. Да, и ни одной типикал-С дырени при этой проверке не обнаруживается! Что, тем не менее, не мешает альтернативно одаренным вновь и вновь приводит uutils в качестве контраргумента. > Для вас, тех, кто не способен писать нормально, сделали даже отдельный язык. А где те, кто пишет на сишочке нормально? Почему их так и не появилось за более чем 50 лет существования языка? > И есть же, главное, и примеры безопасного кода, и описаны подходы его создания, но, видимо, никак. Да, никак: сишочные вулны как текли рекой, так и текут. Вот такой "безопасны код". Или под безопасностью ты имел в виду seL4, где каждая строчка С обмазана 50 строками Isabelle?
	Ответить | Правка | Наверх | Cообщить модератору

	42. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от Аноним (42), 28-Май-26, 12:16
	Анализаторы кода это не серебряная пуля. Вообще всё не серебряная пуля, кроме самой серебряной пули... но не суть. Вон проводили аудит LLVM. opennet.ru/opennews/art.shtml?num=60707 Реально сложный проект, который обмазан автотестами, санитайзерами, фаззингом "С 1.1 до 2.4 млн строк кода увеличен охват кодовой базы, вовлечённой в fuzzing-тестирование. Также был расширен используемый для fuzzing-тестирования инструментарий, а число применяемых для проверки fuzzing-движков увеличено с 12 до 15" И что? А все равно "удалось выявить 12 новых проблем, из которых 8 были вызваны ошибками, приводящими к повреждению памяти. 6 выявленных уязвимостей приводили к переполнению буфера, 2 к обращению к уже освобождённой памяти, 3 - к разыменованию нулевых уязазателей и 1 к чтению из области вне выделенного буфера" Какой вывод можно сделать? Хоть обмажся анализаторами-санитайзерами, дырявые все равно найдут как сделать ошибку в памяти.
	Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

	58. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от aname (ok), 28-Май-26, 12:40
	>[оверквотинг удален] >> вызваны ошибками, приводящими к повреждению памяти. 6 выявленных уязвимостей приводили >> к переполнению буфера, 2 к обращению к уже освобождённой памяти, 3 >> - к разыменованию нулевых уязазателей и 1 к чтению из области >> вне выделенного буфера" >> >> Какой вывод можно сделать? >> Хоть обмажся анализаторами-санитайзерами, дырявые все равно найдут как сделать ошибку >> в памяти. > С 1.1 до 2.4 млн строк кода увеличен охват кодовой базы > удалось выявить 12 новых проблем Удалось выявить. Это примерно, в общем и целом то, чем занимаются инструменты, для чего предназначены подобного рода. Цикл "Выявить- исправить" Верно. Но 12 проблем и 277 только за один день, а мейтейнит он это ведро уже херову гору лет, да ещё и каждый божий раз указывать в переписке на одно и тоже. Это номер раз, второе: когда говорят про дырявых, не совсем понятно о ком речь, а то uutils мы уже видели. И это не самый сложный проект, до llvm, поди, далековато будет. А ещё мы все видели прекрасный вход в ведро какого- то безопасного языка, где нашли дыру. Б- Безопасность! Номер три: средства анализирования в некоем безопасном языке кто делал? Инопланетяне? Нет? Ничто не мешает завезти и в любой другой, было бы желание. Такие средства позволили бы решить хорошее количество проблем, но… эта погоня за серебрянной пулей в виде %randomname% языка, который вот точно- точно, вот прямо сейчас всё. > Какой вывод можно сделать? Если мыть руки перед едой, а еду правильно готовить- не получишь расстройства желудка. Если не совать пальцы в розетку- не получишь удар током. Если обезьяне не давать в руки гранату- будешь здоровее. Если формализовать требования к коду, то получишь то, что получишь. Если пользоваться инструментами для выявления проблем с безопасностью кода- эти проблемы с безопасностью кода можно исправить. Можно сколько угодно кукарекать про безопасные языки (с unsafe, ага), и про дырявые, но если человек- фанатик, ему поможет только лоботомия. seL4 написан ни разу не на "безопасТном языке" и чёт как- то не слышно этих вскукареков про дырявость. Не суйте пальцы в розетку, пользуйтесь презервативами, проверяйте код и будет нормально. Так понятно?
	Ответить | Правка | Наверх | Cообщить модератору

	74. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (74), 28-Май-26, 12:54
	> Удалось выявить. Это примерно, в общем и целом то, чем занимаются инструменты, для чего предназначены подобного рода. Цикл "Выявить- исправить" А сколько не удалось? > Верно. Но 12 проблем и 277 только за один день, а мейтейнит он это ведро уже херову гору лет, да ещё и каждый божий раз указывать в переписке на одно и тоже. Да, это так, но кодовая база, команда и то "сколько лет в llvm есть такие проверки" решают. > когда говорят про дырявых, не совсем понятно о ком речь, а то uutils мы уже видели. "277 только за один день" - вот тебе и ответ) Покажи сколько в uutils было типичных ошибок памяти? > Ничто не мешает завезти и в любой другой, было бы желание. Мозги и желание. Дырявые сишники из ядра не хотят использовать. Заставить ты их не можешь. > Если мыть руки перед едой, а еду правильно готовить- не получишь расстройства желудка. Т.е все таки применять кастрюлю, а не сральное ведро? (Зато оно ПЕРЕНОСИМО: можно еще с него кормить скотину, замешивать цемент...) > Если не совать пальцы в розетку- не получишь удар током. А провода надо изолировать? > Если обезьяне не давать в руки гранату- будешь здоровее. Но почему-то у СИшников СИ не отбирают 🤷, хотя ты сам написал "277 только за один день". > Если формализовать требования к коду, то получишь то, что получишь. Ну ты загнул... там же лебедь-рак и щука, а может даже несколько. > Если пользоваться инструментами для выявления проблем с безопасностью кода- эти проблемы с безопасностью кода можно исправить. Проблему лучше предотвратить, а не лечить последствия. > seL4 написан ни разу не на "безопасТном языке" и чёт как- то не слышно этих вскукареков про дырявость. Это отличный пример как можно сделать код от дырявых - надежным. Для 8,700 строк C и 600 строк ассемблера пришлось написать 200,000 строк Isabelle script. В итоге - написание abstract заняло примерно 4 человеко-месяца - два человеко-года ушло на весь Haskell прототип (design, documentation, coding, testing) - на executable spec потратили всего лишь 2 человеко-месяца - начальная трансляция в С заняла 3 недели, а полная C implementation - 2 человеко-месяца - общие затраты на seL4-specific proof 11 человеко-лет Посчитаешь сколько нужно затрат хотя бы для 100к самых критически важных функция ядра? А на всё ядро? > Не суйте пальцы в розетку, пользуйтесь презервативами, проверяйте код и будет нормально. > Так понятно? Ну, т.е делайте хорошо, не делайте плохо, в машине тормоза не нужны, просто не разгоняйтесь. То что провода под напряжением валяются без изоляции - просто не наступайте.
	Ответить | Правка | Наверх | Cообщить модератору

	139. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от aname (ok), 28-Май-26, 14:02
	>[оверквотинг удален] > - общие затраты на seL4-specific proof 11 человеко-лет > Посчитаешь сколько нужно затрат хотя бы для 100к самых критически важных функция > ядра? > А на всё ядро? >> Не суйте пальцы в розетку, пользуйтесь презервативами, проверяйте код и будет нормально. >> Так понятно? > Ну, т.е делайте хорошо, не делайте плохо, в машине тормоза не нужны, > просто не разгоняйтесь. > То что провода под напряжением валяются без изоляции - просто не наступайте. > А сколько не удалось? Так расскажи. > Покажи сколько в uutils было типичных ошибок памяти? Остальные ошибки не ошибки, надо понимать. Ну типа- это ошибки- кого надо ошибки. Ошибки не ошибки, ага. > Дырявые сишники из ядра не хотят использовать. Это не проблема языка. > Но почему-то у СИшников СИ не отбирают 🤷, хотя ты сам написал Свою работу язык выполняет. Поиск и исправление говнокода не является задачей языка. "Дай дураку стеклянный…"- это вот как раз про это. Если ты не понимаешь простого- это тоже не проблема языка. > Проблему лучше предотвратить, а не лечить последствия. Почему в uutils не предотвратили? Опять в штаны безопасности кто- то насрал? > Это отличный пример как можно сделать код от дырявых - надежным. Претензии к языку какие? Или уже недостаточно дырявый? Или, оказывается, дело не в языке и мантра про дырявый уже не работает? А что так? > Посчитаешь сколько нужно затрат хотя бы для 100к самых критически важных функция > ядра? К языку претензии какие? Вы уже показали мастеркласс, начиная с реализации с тандартной библиотеке TCP/IP. И это было только начало. Или эксперт опеннета, неожиданно для себя открыл, что такое действительно безопасный код и как он создаётся? И оказалось, как всегда и было, что проблема- то не в языке. Не отчаивайся, ты тоже напишешь безопасный и безглючный код, если, конечно, будешь делать в эту сторону шаги. > в машине тормоза не нужны, просто не разгоняйтесь. Вот он, рафинированный образ мышления любителя безопасного языка > То что провода под напряжением валяются без изоляции - просто не наступайте. Да, есть вещи, которым учат в школе. Не все усваивают, для таких потом приходится писать в инструкции, что, мол, нельзя сушить кошек в микроволновке. Безопасность- это сложно, дорого, монолитно и часто ограничевающе возможности. Но вы до конца будете трогать оголённые провода. Таков путь.
	Ответить | Правка | Наверх | Cообщить модератору

	159. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (160), 28-Май-26, 14:44
	>> Покажи сколько в uutils было типичных ошибок памяти? > Остальные ошибки не ошибки, надо понимать. Ну типа- это ошибки- кого надо ошибки. Ошибки не ошибки, ага. А.. т.е если у нас есть ошибки логики, которые мы еще не умеем предотвращать, то к ним обязательно нужно досыпать ошибок по памяти. Ошибок же мало не бывает) >> Дырявые сишники из ядра не хотят использовать. > Это не проблема языка. Это проблема языка. Например кривой стандарт, в котором кроме кучи UBшек, его можно не весь реализовыватью > Свою работу язык выполняет. Поиск и исправление говнокода не является задачей языка. "Технические отверстия для RCE" входят в понятие "выполняет работу"? > "Дай дураку стеклянный…"- это вот как раз про это. Если ты не понимаешь простого- это тоже не проблема языка. Не-не-не. Ты как раз даешь дуракам стеклянный буй, и просишь забивать им гвозди. Когда они предсказуемо выходят за пределы буя и разбивают себе лоб, ты говоришь "это не буёвая проблема, вы просто его не правильно применяете". По какой-то причине электрики используют инструмент в изоляции, врачи носят перчатки, а повара моют руки. > Почему в uutils не предотвратили? Опять в штаны безопасности кто- то насрал? Потому что в них были проблемы на которые не даются гарантии. > Претензии к языку какие? Или уже недостаточно дырявый? Или, оказывается, дело не в языке и мантра про дырявый уже не работает? А что так? Дело в 100+ UB, только в С99. Дело в убогой обработке ошибок "давайте uint функцию сделаем unt, и будем кидать наверх -1, так как наш кусок кала не умеет в Result". Дело в кривых enum где ты можешь сравнить апельсины с крокодилами и всем пофиг. И так далее. Плохой инструмент из прошлого тысячелетия. >> Посчитаешь сколько нужно затрат хотя бы для 100к самых критически важных функция ядра? > К языку претензии какие? Выше перечислил) >> в машине тормоза не нужны, просто не разгоняйтесь. > Вот он, рафинированный образ мышления любителя безопасного языка Неа, это один из аргументов дырявых "СИшка быстрая, а вот ваш ...." >> То что провода под напряжением валяются без изоляции - просто не наступайте. > Да, есть вещи, которым учат в школе. Не все усваивают, для таких потом приходится писать в инструкции, что, мол, нельзя сушить кошек в микроволновке. Судя по всему дырявые школу не заканчивали. Иначе откуда 1000+ CVE за один месяц. > Безопасность- это сложно, дорого, монолитно и часто ограничевающе возможности. Типа боровчекера, который не позволит скомпилировать овнокод? > Но вы до конца будете трогать оголённые провода. Таков путь. Я как раз за то, чтобы всем рабочим выдать перчатки)
	Ответить | Правка | Наверх | Cообщить модератору

	79. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (91), 28-Май-26, 12:57
	> когда говорят про дырявых, не совсем понятно о ком речь, а то uutils мы уже видели. Ни черта "вы" не видели, потому что вулны в uutils были не из-за проблем работы с памятью, а из-за логики. > средства анализирования в некоем безопасном языке кто делал? [...] Ничто не мешает завезти и в любой другой Ну, вообще-то мешает. Как минимум - отсутствие в этих "любых других" языках аннотаций лайфтаймов, которую ты обязан писать на каждый чих. Хотя, наверное, ты, как и другие воины против Раста, видевшие этот раст только краем глаза на картинках, вообще не понимаешь, о чем я тебе только что сказал. > seL4 написан ни разу не на "безопасТном языке" и чёт как- то не слышно этих вскукареков про дырявость. АХАХА! Действительно, почему? Наверное потому, что он обмазан формальной верификацией? И именее, чем 10000 (десять тысяч, Карл!) строк этого seL4 потребовали более 20 человеко-лет труда, с написанием 50 строк кода формальных пруфо на одну строчку дыряшки.
	Ответить | Правка | К родителю #58 | Наверх | Cообщить модератору

	145. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от aname (ok), 28-Май-26, 14:11
	>> когда говорят про дырявых, не совсем понятно о ком речь, а то uutils мы уже видели. > Ни черта "вы" не видели, потому что вулны в uutils были не > из-за проблем работы с памятью, а из-за логики. Вулны не вулны, ага. >> средства анализирования в некоем безопасном языке кто делал? [...] Ничто не мешает завезти и в любой другой > Ну, вообще-то мешает. Как минимум - отсутствие в этих "любых других" языках > аннотаций лайфтаймов, которую ты обязан писать на каждый чих. Средства анализирования созданы для того, чтоб указывать на проблемы. Когда до тебя дойдёт такая простая мысль, возможно, наступит просветление. > Хотя, наверное, ты, как и другие воины против Раста, видевшие этот раст > только краем глаза на картинках, вообще не понимаешь, о чем я > тебе только что сказал. Будто это что- то меняет. >> seL4 написан ни разу не на "безопасТном языке" и чёт как- то не слышно этих вскукареков про дырявость. > АХАХА! Действительно, почему? Наверное потому, что он обмазан формальной верификацией? > И именее, чем 10000 (десять тысяч, Карл!) строк этого seL4 потребовали > более 20 человеко-лет труда, с написанием 50 строк кода формальных пруфо > на одну строчку дыряшки. Код seL4 перестал быть безопасным или что? Или мы должны взять в пример uutils и? Я понимаю, что любители языка с маркетинговой безопасностью, открывая для себя примеры реально безопасного кода, ожидают увидеть там свой любимый язык, и реальность делает им больно до состояния ухода из психики в защиту, но именно такова реальность, что безопасный код делается через верификацию до реализации. Впрочем, это не мои проблемы.
	Ответить | Правка | Наверх | Cообщить модератору

	45. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (91), 28-Май-26, 12:26
	> внести в стандарты разработки использование хоть каких- то анализаторов кода, а ещё лучше, создать инициативу по разработке свободного анализатора кода, и не пускать код без проверки на анализаторе Чел, проснись, у них все там обмазано статическими анализаторами. Плюс еще и у тьмы сторонних организаций, контрибъютящих в ядро (типа того же Гугла), они крутятся на постоянке. https://www.kernel.org/doc/html/v6.1/dev-tools/testing-overv... > Ну, выглядит как правильно и хорошо настроеные процессы разработки. ЭТАЛОН! Выглядит как типичная опеннетная диванная экспертиза. ЭТАЛОН!
	Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

	65. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–2 +/–
	Сообщение от aname (ok), 28-Май-26, 12:46
	>> внести в стандарты разработки использование хоть каких- то анализаторов кода, а ещё лучше, создать инициативу по разработке свободного анализатора кода, и не пускать код без проверки на анализаторе > Чел, проснись, у них все там обмазано статическими анализаторами. Плюс еще и > у тьмы сторонних организаций, контрибъютящих в ядро (типа того же Гугла), > они крутятся на постоянке. > https://www.kernel.org/doc/html/v6.1/dev-tools/testing-overv... >> Ну, выглядит как правильно и хорошо настроеные процессы разработки. ЭТАЛОН! > Выглядит как типичная опеннетная диванная экспертиза. ЭТАЛОН! Так надо не безопасТные языки (эффективность которых мы уже видели, uutils вообще ЭТАЛОН показал), а средства проверки совершенствовать. Вы опять кровати двигаете. Эффект прогрнозируемый
	Ответить | Правка | Наверх | Cообщить модератору

	82. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от Аноним (91), 28-Май-26, 12:59
	> эффективность которых мы уже видели, uutils вообще ЭТАЛОН показал Действительно, показал. Ведь из всех уязвимостей uutils не было ни одной типичной сишечной ошибки работы с памятью. Вот это поворот, да?
	Ответить | Правка | Наверх | Cообщить модератору

	110. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от aname (ok), 28-Май-26, 13:33
	С таким показом, лучше б бездельники занялись нормальной работой
	Ответить | Правка | Наверх | Cообщить модератору

	123. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (91), 28-Май-26, 13:49
	> С таким показом, лучше б бездельники занялись нормальной работой ...например, такой, как попытки в очередной раз не вылезти за буфер, не сделать use-after-free, ни double-free, ни разыменование нуля 👍
	Ответить | Правка | Наверх | Cообщить модератору

	148. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от aname (ok), 28-Май-26, 14:13
	>> С таким показом, лучше б бездельники занялись нормальной работой > ...например, такой, как попытки в очередной раз не вылезти за буфер, не > сделать use-after-free, ни double-free, ни разыменование нуля 👍 Ну, для начала можно написать спецификацию к коду, ТЗ нормальное. Ах, да, о чём это я, достаточно свято уверовать в безопасность. Горка и Морка прям одобряют. Ваш uutils вышел таким, какой он есть потому, что вы верите слабо. Надо больше веровать.
	Ответить | Правка | Наверх | Cообщить модератору

	171. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (91), 28-Май-26, 15:09
	>> не вылезти за буфер, не сделать use-after-free, ни double-free, ни разыменование нуля 👍 > для начала можно написать спецификацию к коду, ТЗ нормальное. Ах, да, о чём это я, достаточно свято уверовать в безопасность. Ах, так вот, как лечатся выходы за пределы буферов! Нужно просто в ТЗ написать: "не выходите за пределы буферов".
	Ответить | Правка | Наверх | Cообщить модератору

	174. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от aname (ok), 28-Май-26, 15:24
	>>> не вылезти за буфер, не сделать use-after-free, ни double-free, ни разыменование нуля 👍 >> для начала можно написать спецификацию к коду, ТЗ нормальное. Ах, да, о чём это я, достаточно свято уверовать в безопасность. > Ах, так вот, как лечатся выходы за пределы буферов! Нужно просто в > ТЗ написать: "не выходите за пределы буферов". Как писать нормальный код, стоит поучиться у людей, который его создают. Например, у создателей seL4. Но любителям писать на безопасных языках, стоит начать с таких вещей, а то переписывая coreutils навалить вулнов в безопасные штаны- это искусство
	Ответить | Правка | Наверх | Cообщить модератору

	179. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (91), 28-Май-26, 15:38
	>>> Ах, так вот, как лечатся выходы за пределы буферов! Нужно просто в ТЗ написать: "не выходите за пределы буферов". > Как писать нормальный код, стоит поучиться у людей, который его создают. Стоп, так а что, ТЗ уже не помогает? > Как писать нормальный код, стоит поучиться у [...] создателей seL4. Ну да: нужно всего лишь каждую строку С обмазать 50 строками Isabelle, как это сделали seL4. Всего-то делов!
	Ответить | Правка | Наверх | Cообщить модератору

	183. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от aname (ok), 28-Май-26, 15:49
	>>>> Ах, так вот, как лечатся выходы за пределы буферов! Нужно просто в ТЗ написать: "не выходите за пределы буферов". >> Как писать нормальный код, стоит поучиться у людей, который его создают. > Стоп, так а что, ТЗ уже не помогает? Почему вам не помогает ТЗ? >> Как писать нормальный код, стоит поучиться у [...] создателей seL4. > Ну да: нужно всего лишь каждую строку С обмазать 50 строками Isabelle, > как это сделали seL4. Всего-то делов! Ну если надо, то надо.
	Ответить | Правка | Наверх | Cообщить модератору

	103. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+2 +/–
	Сообщение от Аноним (91), 28-Май-26, 13:27
	> Ну, т.е. Кроа-Хартман глазами видит, что происходит жесть, и вместо того, чтоб, при помощи I'M FINNISH (HIM) внести в стандарты разработки использование Именно! Кроа-Хартман за годы насмотрелся жести, и с поддержкой Линуса (который, напомню, пропихивает Раст в обход обнаглевших вахтеров) вводит в стандарты разработки использование адекватного языка, а не дырявого крэпа из 70-х!
	Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

	49. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от нах. (?), 28-Май-26, 12:29
	лолшта?! Ты можешь быть сможешь показать ЧТО он в ведре наразрабатывал за эти 20 лет? А я тебе покажу откуда готовилось нападение: _ровно_НИ_--Я! Он ни на каком инструменте не играет, он Руководитель, как Вы! (вроде бы вот ДО - в 99м-2000м он что-то там писал в usb subsystem, но поскольку гита еще не было, это крайне нудно и долго проверять, не ограничилось ли и там исключительно README. Говоришь, г-нецо код-то? Ну вооот...) на деле чувак как кодер знаменит исключительно - дерьмовым udev (user code, не ядро) вместо многократно отвергнутой линуксом с его же и других подпевал подачи нормальной реализации devfs. Т.е. поделкой которая могла бы быть и вовсе написана на баш скриптах. Он всю жизнь был шакалом табаки, подлизывающим великому Б-жеству с Пальцем. Тем и добился своего положения, когда деньги от разных фондов платятся, кодить не надо, и можно пакостить окружающим. Зато теперь он рассказывает этим окружающим как они должны правильно кланяться и что к его ногам подавать. Прекрасная карьера, обзавидуешься!
	Ответить | Правка | К родителю #17 | Наверх | Cообщить модератору

	55. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от Аноним (-), 28-Май-26, 12:36
	Ох как тебя порвало. Ну если похонахи визжат - то значит чувак всё правильно делает. Может ты свои коммиты в ядро покажешь?
	Ответить | Правка | Наверх | Cообщить модератору

	57. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (91), 28-Май-26, 12:40
	> Может ты свои коммиты в ядро покажешь? Этот только в опеннетные комментарии коммитит. 😂
	Ответить | Правка | Наверх | Cообщить модератору

	90. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от freehck (ok), 28-Май-26, 13:05
	> Ты можешь быть сможешь показать ЧТО он в ведре наразрабатывал за эти 20 лет? > А я тебе покажу откуда готовилось нападение: _ровно_НИ_--Я! Он ни на каком инструменте не играет, он Руководитель, как Вы! Он вообще-то топ-ревьювер. Это работает так: он код оценивает, и если всё окей — подписывает и пропускает; а если не окей — он пишет, что именно не так, и другие разработчики его доделывают. Так что вполне естественно, что кода за его личным авторством — не вагоны. Но важность его работы недооценивать не стоит.
	Ответить | Правка | К родителю #49 | Наверх | Cообщить модератору

	176. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (-), 28-Май-26, 15:28
	Ты не понимаешь! Он ТОП ревьювер, вон сколько уязвимостей наапрувил в ядро. Работает человек не покладая рук.
	Ответить | Правка | К родителю #49 | Наверх | Cообщить модератору

	208. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от нах. (?), 28-Май-26, 16:45
	блин, да я как раз понимаю, но почему ОН А НЕ Я?! Я ничуть не хуже умею посылать на... - весь опеннет сможет подтвердить. Выберите уже меня! (я даже продолжу политику мелко пакостить разработчикам ZoL - поверьте, если бы вы знали что они понатворили, вы бы тоже поддержали) Дедушка старый, он уже достаточно денег rhbm заработал, дорогу талантливой молодежи!
	Ответить | Правка | Наверх | Cообщить модератору

	337. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от freehck (ok), 29-Май-26, 14:26
	> Ты не понимаешь! Он ТОП ревьювер, вон сколько уязвимостей наапрувил в ядро. Работает человек не покладая рук. Да, да. Охранник грабителя не лучше, потому что не всех грабителей смог остановить. =)
	Ответить | Правка | К родителю #176 | Наверх | Cообщить модератору

72. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
Сообщение от Соль земли2 (?), 28-Май-26, 12:51
> ошибок разработчиков на языке Си при работе с памятью, блокировками, обработкой ошибок и работой с незаслуживающими доверия данными При этом > Rust не рассматривается как панацея То есть хочу, но не хочу. Какое-то когнитивное искажение.
Ответить | Правка | Наверх | Cообщить модератору

	77. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним10084 и 1008465039 (?), 28-Май-26, 12:55
	А в чем искажение? Наоборот как раз максимально трезвый взгляд - божественный Rust убирает большой пласт ошибок, но не делает код безошибочным во всех смыслах. Всё верно
	Ответить | Правка | Наверх | Cообщить модератору

	226. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (219), 28-Май-26, 17:26
	а имеет смысл выковыривать из избы гвозди чтобы заменить их более надежными? нет так постройте новую избу, напишите новое ядро в чем проблема то, ну а раз уж вы будете строить новую избу, так может и микроядро уже, только вот чета никто не осилил
	Ответить | Правка | Наверх | Cообщить модератору

	234. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от нах. (?), 28-Май-26, 18:06
	> так постройте новую избу, напишите новое ядро в чем проблема то, ну да хрен его знает - почему ресдох сдох. Сами не можем понять! > а раз уж вы будете строить новую избу, так может и > микроядро уже, только вот чета никто не осилил Тех микроядер осилили мильен с тыщами. Вот собрать поверх работающую ос - ни у кого почему-то опять не получилось. Место чтоль проклято?!
	Ответить | Правка | Наверх | Cообщить модератору

	242. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним10084 и 1008465039 (?), 28-Май-26, 18:34
	Новую избу никто не строит, вернее строит, но это про тех, кто пишет новое ядро полностью на Расте. Тут ничего такого нет - ядро Линукса никто не переписывает с нуля на Расте "просто чтобы было". Это про то, что в начале использовали только простые инструменты, а сейчас добавились к ним новые современные. Раньше был только молоток, а сейчас появились шуруповерта и прочее, условного. Так что аналогия не туда
	Ответить | Правка | К родителю #226 | Наверх | Cообщить модератору

	249. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (243), 28-Май-26, 19:19
	Из избы может и не имеет. Но код не изба. Сегодня один написали, завтра требования бизнеса изменились, написали другой. Послезавтра поддержку новых платформ добавили, а старых -- выкинули. Какие уж тут гвозди?
	Ответить | Правка | К родителю #226 | Наверх | Cообщить модератору

76. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
Сообщение от Аноним (87), 28-Май-26, 12:55
>Грег считает, что подобные возможности Rust недопустили бы появления 60% ошибок, выявляемых в ядре, а выполняемые компилятором проверки избавили бы сопровождающих от траты времени на обсуждение с авторами корректности обработки ошибок И привели бы к другим 60% ошибок, пока пытаешься удовлетворить требования компмлятора, только уже не таких очевидных.
Ответить | Правка | Наверх | Cообщить модератору

	85. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним10084 и 1008465039 (?), 28-Май-26, 13:00
	Поэтому лучше пусть ядро порождает CVEшки на очевидных ошибках в Си))) чем на неочевидных в божественном Rust
	Ответить | Правка | Наверх | Cообщить модератору

	162. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (142), 28-Май-26, 14:48
	Приведи пример хотя бы одной ошибки, которую можно посадить, соблюдая требования компилятора к корректной работе с памятью и многопоточке.
	Ответить | Правка | К родителю #76 | Наверх | Cообщить модератору

83. Скрыто модератором	+/–
Сообщение от Аноним10084 и 1008465039 (?), 28-Май-26, 12:59
Потешно смотреть, как часть опеннетовской аудитории всё что придумывает, любые аргументы, лишь бы противиться божественному Rust'у. И анализаторы кода всё уже делают, и ИИ уязвимости всё равно найдут (при том, что в соседних топиках ИИ ругают, впрочем бездумную кодогенерацию с помощью ИИ я и сам не особо люблю), и компилятор слишком требовательный. Хотя в сущности что плохого в дополнительных гарантиях божественного Rust?
Ответить | Правка | Наверх | Cообщить модератору

	95. Скрыто модератором	+/–
	Сообщение от Celcion (ok), 28-Май-26, 13:17
	> Хотя в сущности что плохого в дополнительных гарантиях божественного Rust? Плохого тут то, что попытка решения одних проблем путём создания других, которые не сказать, чтобы сильно лучше (та же портируемость кода, например, ведь у раста с поддержкой разных архитектур и платформ, мягко говоря, похуже, чем у Си) - это подход весьма глупый и любой, кто его пропагандирует - либо недалёкий, либо делает это по каким-то корыстным причинам.
	Ответить | Правка | Наверх | Cообщить модератору

	101. Скрыто модератором	+/–
	Сообщение от Аноним10084 и 1008465039 (?), 28-Май-26, 13:22
	Портируемость - дело наживное, нужно будет - добавят больше платформ. Все самые основные есть
	Ответить | Правка | Наверх | Cообщить модератору

	229. Скрыто модератором	+/–
	Сообщение от Celcion (ok), 28-Май-26, 17:31
	> Портируемость - дело наживное, нужно будет - добавят больше платформ. Все самые основные есть Так в этом и проблема, что нужны не "основные", а ВСЕ. Потому и часть операционок даже и не рассматривает возможность использования раста для системных компонентов, потому что раст не поддерживает какие-то из платформ, для которых эти операционки существуют. А раз не используют они - то и зависимые от них проекты не будут. Скажем, те же разработчики OpenBSD, которые пишут широкоупотребимые сервисы. Тот же OpenSSH. Казалось бы, с учётом распространённости OpenSSH - он должен быть чуть ли не в числе первых кандидатов на переписывание на расте, но - упс, а привязка к расту сломает сборку OpenBSD для части платформ, а значит - мимо кассы.
	Ответить | Правка | Наверх | Cообщить модератору

	240. Скрыто модератором	+/–
	Сообщение от Аноним10084 и 1008465039 (?), 28-Май-26, 18:32
	Ну это OpenBSD обрекли себя на поддержку кучи платформ, если у них есть ресурсы - пожалуйста. А Линукс тут причем? Кому надо - ну пользуйтесь старыми ядрами, зачем вам обязательно самое распоследнее ядро? Когда я защищал 486 процессор в ядре, на меня все накинулись, что "надо выкидывать старьё и вообще сиди на старом ядре"
	Ответить | Правка | Наверх | Cообщить модератору

	105. Скрыто модератором	+1 +/–
	Сообщение от Анонон (?), 28-Май-26, 13:30
	> Плохого тут то, что попытка решения одних проблем путём создания других, которые не сказать, чтобы сильно лучше Ну-с, посмотрим насколько они "не сильно лучше". > та же портируемость кода, например, ведь у раста с поддержкой разных архитектур и платформ, мягко говоря, похуже, чем у Си Во-первых портируемость СИ это очень классный миф. Про то что "Диды написав код единожды, могут запустить его на всех поддерживаемых платформах. В реальности даже смена компилятора может привести к генерации кода, который работает по другому. (По причине убогости недостандарта, который не обязывает реализовывать всё описанное в нем и содержит кучу UB). Во-вторых, а каких платформ тебе не хватает? Ссылочка для того чтобы ты мог ознакомиться с Tier 3 dev-doc.rust-lang.org/beta/rustc/platform-support.html Оцени, пожалуйста, степень трагедии от одного до "трагедия, ужасная трагедия" если кто-то не сможет собрать программу под Motorola 680x0, 16-bit MSP430, powerpc64-unknown-freebsd или 64-bit Haiku > это подход весьма глупый Выкидывание некроплатформ? Это не глупый подход. Точно так же можно жаловаться что бенз А76 почти не найти, а овес для лошади и место где ее припарковать - так вообще. Если тянуть старье вечно - то развитие остановится. > и любой, кто его пропагандирует - либо недалёкий, либо делает это по каким-то корыстным  причинам. Скорее второе. Людям жаль тратить свое время на бесполезную фигню. Зачем делать поддержку Windows XP или NetBSD 32-bit powerpc ? Вот какой смысл?
	Ответить | Правка | К родителю #95 | Наверх | Cообщить модератору

	217. Скрыто модератором	+/–
	Сообщение от Celcion (ok), 28-Май-26, 17:13
	> Про то что "Диды написав код единожды, могут запустить его на всех поддерживаемых платформах. Не про это речь. > В реальности даже смена компилятора может привести к генерации кода, который работает по другому. Однако не отменяет в целом возможность собрать под определённую платформу. > Во-вторых, а каких платформ тебе не хватает? Там зачастую проблема в том, что прожорливость компиляторя не даёт собрать даже 32-битный код, потому что памяти тупо не хватает. Опять же, если раст предлагается как замена С++ - очевидно, что он должен быть применим в тех же сценариях, иначе какая он тогда замена? Опять же, не забываем про всякого рода микроконтроллеры и прочее специфическое железо. Или там защита памяти не нужна? > Выкидывание некроплатформ? Это не глупый подход. Глупый. Потому что оборудование в промышленности - это не айфон, чтобы его каждый год менять, иначе пасаны не поймут и подруга не даст. Там железо и софт зачастую берутся на многие десятилетия. И если предлагаемая замена языка потребует не только много сотен нефти на переписывание уже использующихся решений, но ещё и на замену оборудования - то все разговоры про "некроплатформы" будут в пользу бедных. Почитай почему до сих пор существует IBM Z. > Точно так же можно жаловаться что бенз А76 почти не найти Ты путаешь причину со следствием. Его нет ровно потому, что он больше никем не используется. Ты же предлагаешь "заменить" один из самых широкоиспользуемых языков. Это всё равно, что просто выкинуть с заправок весь бензин и наливать там только дизель, а тем, кто приходит жаловаться - предлагать поменять машину, или двигатель на дизельный, потому что нефиг ездить на "некробензине". > Если тянуть старье вечно - то развитие остановится. То, что раст является развитием - это подмена понятий. Он решает лишь определённый спектр проблем, принося при этом проблемы собственные. Например, то, что он пока ещё нестабилен (сам стандарт). Либо то, что сам по себе компилятор раста написан на расте и собран компилятором, исходники которого не факт, что соответствуют тем, что открыты, а значит не может считаться полностью доверенным. Про подобную проблему ещё лет 40 назад Кен Томпсон писал в своей заметке "Reflections on Trusting Trust". И очень наглядно показал - почему это именно ПРОБЛЕМА. > Зачем делать поддержку Windows XP или NetBSD 32-bit powerpc ? > Вот какой смысл? Наверное, потому, что оно ещё где-то используется по тем, или иным причинам. То, что с высоты своего локалхоста тебе такая потребность неочевидна - не значит, что она вовсе не существует.
	Ответить | Правка | Наверх | Cообщить модератору

	261. Скрыто модератором	+/–
	Сообщение от Аноним (261), 28-Май-26, 19:49
	>> В реальности даже смена компилятора может привести к генерации кода, который работает по другому. > Однако не отменяет в целом возможность собрать под определённую платформу. В "целом" это значит "код может работать по другому") > Там зачастую проблема в том, что прожорливость компиляторя не даёт собрать даже 32-битный код, потому что памяти тупо не хватает. Что мешает собирать 32-битный код, на нормальной билд машине? > Опять же, если раст предлагается как замена С++ - очевидно, что он должен быть применим в тех же сценариях, иначе какая он тогда замена? C++ весьма многогранный. Вы про ОС, микроконтроллеры, пользовательский софт или про игровые движки? Для каких-то сфер раст может быть не настолько хорош. > Опять же, не забываем про всякого рода микроконтроллеры и прочее специфическое железо. > Или там защита памяти не нужна? Конечно нужна. Вон вольво уже делает эксперименты. Гугл пишет bare metal прошивки. >> Выкидывание некроплатформ? Это не глупый подход. > Глупый. Потому что оборудование в промышленности - это не айфон, чтобы его каждый год менять Тем не менее даже такие покупают новое оборудование. > Почитай почему до сих пор существует IBM Z. Вам не попадался этот патч или новость про него?) lore.kernel.org/rust-for-linux/20260512105920.2426293-1-japo@linux.ibm.com/ Вкратце - добавление IBM s390. Причем Jan Polensky <japo@linux.ibm.com> работает в IBM. Как думаете почему он это делает? Некроплатформы это не которые старые. Это - которые мертвые. Там где нет юзеров, денег и перспектив. ИБМ решила, что раст перспективный - появилось предложение для поддержки. > Ты путаешь причину со следствием. Его нет ровно потому, что он больше никем не используется. А СИшка сильно отличается? > Ты же предлагаешь "заменить" один из самых широкоиспользуемых языков. "один из самых широкоиспользуемых" в узких кругах. Уже прошли времена когда почти все писали на сишке. Прикладной софт? С++, C#, даже Swift. Веб? JS/TS, Go. Ну и вездесущий электрон. Смарфоны? Swift/Kotlin. Игры? С++ по большей части + скрипты типа Луа. Прототипирование и ИИшка? Питон. Сириоус бузинес? Джава. Что осталось? СИ это почти мертвый язык который держится только за счет несколько громадных проектов. Даме микроконтроллеры уже пишут на плюсах или, прости бог-машина, всяких микропитонах >> Если тянуть старье вечно - то развитие остановится. > То, что раст является развитием - это подмена понятий. Да, он является развитием. Он собрав в себе довольно большой объем нововедений. Которые уже оценили корпрации типа гугл, амазон и мелкомягкие. > Он решает лишь определённый спектр проблем, принося при этом проблемы собственные. Вопрос в балансе. Как в анекдоте: "мне не надо бежать быстрее медведя, мне надо бежать быстрее тебя". > Например, то, что он пока ещё нестабилен (сам стандарт). И? Стандарт СИ есть, а компилятора который реализовывал бы весь страндарт - нет. Впрочем это не мешает гуглу писать миллионы строк кода на расте, которые работают на сотнях миллионов андроид девайсах. Или клаудфларе, которая через себя чуть ли не 20% мироваого трафика пропускает. > Либо то, что сам по себе компилятор раста написан на расте и собран компилятором, исходники которого не факт, что соответствуют тем, что открыты, а значит не может  считаться полностью доверенным. Слово "не факт" говорит о вашей неуверненности. Кстати GCC бустстрапить с С на С++ весьма геморно. На сайте просто предлагают скачать зипованный архив. > Про подобную проблему ещё лет 40 назад Кен Томпсон писал в своей заметке "Reflections on Trusting Trust". И очень наглядно показал - почему это именно ПРОБЛЕМА. В ядре 10 лет жил бекдор от АНБ. Вам помог супер надежный компилятор)? Готовы вы рискнуть Trusting Trust чтобы получить гарантированные CVE в СИ? > Наверное, потому, что оно ещё где-то используется по тем, или иным причинам. "оно ещё где-то используется" - СПО это не бар "до последнего клиента". Вам нужна поддержка? Вы ее организуйте. 286, 386 и так далее дропнули, по причине "никто не захотел с ними копаться". > То, что с высоты своего локалхоста тебе такая потребность неочевидна - не значит, что она вовсе не существует. Не, как раз с высоты "нелокалхоста" я понимаю, что зоопарк систем это боль и лишние расходы.
	Ответить | Правка | Наверх | Cообщить модератору

	291. Скрыто модератором	+/–
	Сообщение от Celcion (ok), 29-Май-26, 00:58
	> Что мешает собирать 32-битный код, на нормальной билд машине? Так память не физическая заканчивается, а адресное пространство. > Для каких-то сфер раст может быть не настолько хорош. Пока единственная сфера, для которой он хорош - это попил айтишных бюджетов. И там он показал себя действительно лучше всех прочих. Вопрос лишь в том - является ли это тем, что действительно можно назвать достижением. > Некроплатформы это не которые старые. Это - которые мертвые. Там где нет юзеров, денег и перспектив. В современном мире очень легко объявить что-то мёртвой платформой просто потому что кому-то этого очень захотелось, невзирая на существующую пользовательскую базу. Натужные попытки убийства X11 последние пару лет с проталкиванием без мыла Wayland - отличный пример. > Уже прошли времена когда почти все писали на сишке. Большинство системного софта - всё еще на C и C++. Или действительно нужно напомнить на чём ядро того же Линукса написано (не считая вклеенные на соплях растовые вставки)? > всяких микропитонах Кстати, а на чём написан микропитон, не напомнишь? > И? Стандарт СИ есть, а компилятора который реализовывал бы весь страндарт - нет. Ну так ведь растовские сектанты преподносят раст как решение всех проблем, а получается, что явные проблемы со своим языком они оправдывают тем, что в Си с этим не лучше. Как-то жиденько, не находишь? > Слово "не факт" говорит о вашей неуверненности. А как можно быть уверенным в том, что в поставляемом бинарном компиляторе нет закладок? Никак. Я не зря упоминал статью Кена Томпсона. Почитай на досуге. Очень отврезвляющее чтиво. > В ядре 10 лет жил бекдор от АНБ. Вам помог супер надежный компилятор)? Не особо понимаю это сравнение тёплого с мягким. Бэкдор на уровне исходников распознать куда как проще, чем внедрённый бинарный код, вставляемый при сборке. Повторяю, почитай приведённую статью, потому что без контекста эти рассуждения не имеют смысла.
	Ответить | Правка | Наверх | Cообщить модератору

	306. Скрыто модератором	+/–
	Сообщение от Аноним (-), 29-Май-26, 09:21
	> Так память не физическая заканчивается, а адресное пространство. Ок, аргумент принимается. А теперь подумаем "сколько у нас 32 битного софта осталось". > Пока единственная сфера, для которой он хорош - это попил айтишных бюджетов. Громкое заявление не подтвержденное вообще ничем. > В современном мире очень легко объявить что-то мёртвой платформой просто потому что  кому-то этого очень захотелось, невзирая на существующую пользовательскую базу. Пользовательская база? Это хорошо. А что эти пользователиделают, чтобы их платформа не стала "некро"? > Натужные попытки убийства X11 последние пару лет с проталкиванием без мыла Wayland - отличный пример. Да, просто офигенный. Пока фанатики копролитных иксов 10+ лет ныли, баги за них исправляла шапка. Когда шапке надоело, то нытье выгло на новый уровень. ЧСХ какой-то код Х-нутые начали писать аж в 2025, и то руками каких-то фриков. Вывод: если нифига не делать, то твой софт отправляется на помойку. ИБМ почему-то сделало патчи для подержки s390. > Большинство системного софта - всё еще на C и C++. Или действительно нужно напомнить на чём ядро того же Линукса написано (не считая вклеенные на соплях растовые вставки)? Так я и написал "держится только за счет несколько громадных проектов". > Ну так ведь растовские сектанты преподносят раст как решение всех проблем, а получается, что явные проблемы со своим языком они оправдывают тем, что в Си с этим не лучше. Как-то жиденько, не находишь? Не, жиденько это наяривать на "ВЕЛИКИЙ СТАНДАРТ" (произностить с придыханием) и требовать его как необходимое условие. А если копнуть, то "недо-стандарт" содержит кучу UB (такое УГ в стиле "мы не знаем как сложитиь два инта") и вообще не обязателен к исполнению (в отличии например от АДА). > А как можно быть уверенным в том, что в поставляемом бинарном компиляторе нет закладок? Никак. Я не зря упоминал статью Кена Томпсона. Почитай на досуге. Очень отврезвляющее чтиво. Как вы может быть уверены, что на сайте GCC в бинарнике нет закладок? Или просто в коде? >> В ядре 10 лет жил бекдор от АНБ. Вам помог супер надежный компилятор)? > Не особо понимаю это сравнение тёплого с мягким. Бэкдор на уровне исходников распознать куда как проще, 10 лет. Чо там тыща глаз? > Повторяю, почитай приведённую статью, потому что без контекста эти рассуждения не имеют смысла. Я читал статью. Она действительно имеет смысл. Вот только вероятность получить CVE в ядре просто из-за типичной СИ дpыстни гораздо выше чем получить патченый компилятор. Куча народу качает GCC или LLVM в виде сборки, так как доверяет их создателям. Это примерно как рассуждать "зачем нам ставить двери в дом, у нас пока нет противометеоритной защиты".
	Ответить | Правка | Наверх | Cообщить модератору

	313. Скрыто модератором	+/–
	Сообщение от Celcion (ok), 29-Май-26, 10:56
	> А теперь подумаем "сколько у нас 32 битного софта осталось". Сколько его осталось лично у тебя - хз, а вот в мире его осталось просто дофига, равно как и 32-битных систем. И многие из них будут с нами ещё долгие десятилетия. > Громкое заявление не подтвержденное вообще ничем. Имеющий глаза - да увидит. > А что эти пользователиделают, чтобы их платформа не стала "некро"? А что вообще пользователь должен делать, кроме как, собственно, ПОЛЬЗОВАТЬСЯ? > Пока фанатики копролитных иксов 10+ лет ныли, баги за них исправляла шапка. Ты уверен, что вообще в курсе того, о чём говоришь? В частности, что шапка как раз НЕ принимала патчи, потому что настойчиво пыталась убить иксы в угоду продвигаемого ими Wayland. И когда этих патчей накопилось уже приличное количество, а одного из самых активных их написателей просто забанили, чтобы не мешался, сделав из него для верности очередного "литерали-хитлера", появился форк x11libre. > ЧСХ какой-то код Х-нутые начали писать аж в 2025, и то руками каких-то фриков. Ну, ясно, надо жевать ровно ту жвачку, которую большие богатые дяди жевать сказали. Большим и богатым дядям надо верить. Кого они фриком назвали - тот и фрик. То, что назвали устаревшим - то устаревшее. Своей головой думать не надо. > Так я и написал "держится только за счет несколько громадных проектов". То есть, по факту используется практически везде, но никому не нужен. Л - логика. > Как вы может быть уверены, что на сайте GCC в бинарнике нет закладок? Или просто в коде? Неужели ты и правда не понимаешь, что вот эти чудесные сравнения уж точно не в пользу твоего раста? > 10 лет. Чо там тыща глаз? Видимо, ты и правда не понимаешь. Ну и ладно. > Вот только вероятность получить CVE в ядре просто из-за типичной СИ дpыстни гораздо выше чем получить патченый компилятор. То есть, недоверенный компилятор у нас теперь лучше, потому что закрывает всего один класс уязвимостей, причём даже там, где вектор атаки на эти уязвимости может и вовсе отсутствовать. Логично, да.
	Ответить | Правка | Наверх | Cообщить модератору

	318. Скрыто модератором	+/–
	Сообщение от Аноним (318), 29-Май-26, 11:50
	> Сколько его осталось лично у тебя - хз, а вот в мире его осталось просто дофига, равно как и 32-битных систем. И многие из них будут с нами ещё долгие десятилетия. Ага, и для них будет обязателен новый софт на расте?)) Сказки из серии "надо срочно установить последнее ядро на 286й комп который управляет станком на много миллионов." >> Громкое заявление не подтвержденное вообще ничем. > Имеющий глаза - да увидит. И еще одно) > А что вообще пользователь должен делать, кроме как, собственно, ПОЛЬЗОВАТЬСЯ? Если проприетарь то может попросить создателя софта поддержать старую платформу, мотивируя того деньгами. А вот СПО - это другое дело - тут никто никому не должен. Вам нужно продолжение поддержки? Пишите код. Не умеете? Найдите того, кто умеет. Убедите его (иделология, деньги, бартер). > Ты уверен, что вообще в курсе того, о чём говоришь? Ага. > В частности, что шапка как раз НЕ принимала патчи, потому что настойчиво пыталась убить иксы в угоду продвигаемого ими Wayland. Это их полное право - мейнтенер не обязан принимать все-все патчи. А что делали пользователи все эти годы? Но при этом судя по фиксам в Х11 - работа по поддержке продолжалась. > И когда этих патчей накопилось уже приличное количество, а одного из самых активных их написателей просто забанили, чтобы не мешался, сделав из него для верности очередного "литерали-хитлера", появился форк x11libre. Т.е терпели больше десяти лет, а когда шизика который перекладывал код туда-сюда, а потом пошел cpaть на шапку, выкинули из проекта, то создали мертворожденный x11libre. >> ЧСХ какой-то код Х-нутые начали писать аж в 2025, и то руками каких-то фриков. > Ну, ясно, надо жевать ровно ту жвачку, которую большие богатые дяди жевать сказали. Большим и богатым дядям надо верить. Ты про терпил которые ждали до 2025го? > Кого они фриком назвали - тот и фрик. То, что назвали устаревшим - то устаревшее. Чел в рассылке ядра нес чушню про "новую гуманоидную расу". Если тебе этого мало, то ок. Для тебе такие не фрики. > Своей головой думать не надо. Если бы думали, то сделали бы форк в 2010м. >> Так я и написал "держится только за счет несколько громадных проектов". > То есть, по факту используется практически везде, но никому не нужен. Л - логика. Да, как и кобол. Древний мертвый язык, который просто слишком дорого выкинуть. > Неужели ты и правда не понимаешь, что вот эти чудесные сравнения уж точно не в пользу твоего раста? Неужели ты не понимаешь что все эти пугалки "злобный хакер  ̶н̶а̶с̶р̶а̶л̶ ̶в̶ ̶с̶о̶л̶о̶н̶к̶у̶ добавил бекдор в коньпилятор" разбиваются об тысячи СИшных CVE в ядре? >> 10 лет. Чо там тыща глаз? > Видимо, ты и правда не понимаешь. Ну и ладно. Ладно что? Что тысяча глаз в очередной раз обделалась? > То есть, недоверенный компилятор у нас теперь лучше, потому что закрывает всего один класс уязвимостей, причём даже там, где вектор атаки на эти уязвимости может и вовсе отсутствовать. Логично, да. А GCC скачанный с сайта GCC достоверный? Ты когда качаешь дистрибутив, то там он пробустрапленный? Или "вы не понимаете это другое". Логично да))
	Ответить | Правка | Наверх | Cообщить модератору

	348. Скрыто модератором	+/–
	Сообщение от Celcion (ok), 29-Май-26, 18:29
	> Ага, и для них будет обязателен новый софт на расте?)) А каким образом будет решаться вопрос сборки новых ядер линукса, после того, когда туда понавайбкодят новых раста? Они (новые версии ядра) ведь вполне могут быть нужны и по вполне объективным причинам, вроде требований ПО. > И еще одно) Если ты не способен сложить буквально два (раздуваем истерию вокруг дыр, вызванных небезопасной работой с памятью) и два (надо срочно всё переписать на БЕЗОПАСНОМ языке, только денег дайте, да побольше) - то что тут поделаешь. > Не умеете? Найдите того, кто умеет. Убедите его (иделология, деньги, бартер). Так ведь находят. А потом выясняется, что они "литерали-хитлеры", их срочно надо отменять, потому что мешают большим дядям пропихивать свои решения как безальтернативные. > Ага. Судя по тексту - всё твоё понимание сводится лишь к пересказу вливаемого тебе мнения корпоратов. > Это их полное право - мейнтенер не обязан принимать все-все патчи. Так, погоди, тут ты уже сам себе противоречишь - патчи делались, развитие со стороны сообщество было, его просто искуственно тормозили. Ты уж определись. > то создали мертворожденный x11libre. Настолько мертворожденный, что меньше чем за полгода расползся по большинству свободных от корпоративного ига дистров и стал там дефолтным X11, попутно ещё и чуток увеличив долю иксов на линуксовых десктопах, которая теперь снова выше 50%. Совсем мертворожденное, вообще никому не надо, ага. > Чел в рассылке ядра нес чушню про "новую гуманоидную расу". Если тебе этого мало, то ок. Для тебе такие не фрики. Разумеется, ведь не мужиков же переодевшихся в женское платье фриками считать. С этими-то, конечно, всё в порядке. > разбиваются об тысячи СИшных CVE в ядре? Ты просто усиленно пытаешься подменить один тезис другим и делаешь вид, как будто сам этого не понимаешь. С этим даже как-то спорить уныло, если честно. > А GCC скачанный с сайта GCC достоверный? Учитывая то, что это "древний язык" и генерируемый им код уже давно изучен вдоль и поперёк, обнаружить любые такие модификации не составит никаких проблем. А вот с языком, который ещё даже толком не стабилизирован и много чего делает на этапе сборки - другая история. > Логично да)) Ты просто либо правда не понимаешь различность уровней доверенности в данном случае, либо хз. Для C/C++ возможность размотать всю цепочку сборки - есть и в случае необходимости создания доверенной платформы возможен такой аудит, а для раста он невозможен даже в теории. Как ещё тебе это объяснить - уже и не знаю.
	Ответить | Правка | Наверх | Cообщить модератору

	349. Скрыто модератором	+/–
	Сообщение от Аноним (349), 29-Май-26, 19:09
	>> Ага, и для них будет обязателен новый софт на расте?)) > А каким образом будет решаться вопрос сборки новых ядер линукса, после того, когда туда понавайбкодят новых раста? А если навайбкодят СИшки?)) Вы слышали про civil infrastructure platform? И SLTS? Я бы удивился, если нет. Так вот ядро 4.4 еще поддерживается) > Если ты не способен сложить буквально два (раздуваем истерию вокруг дыр, вызванных  небезопасной работой с памятью) Неужели это все истерия, а не реальные дыри? Какой ужас! Попахивает заговором!! > и два (надо срочно всё переписать на БЕЗОПАСНОМ языке, только денег дайте, да побольше) Разве в ядре раст-программисты получают больше денег? Или они трудятся на тех же условиях, что и другие разработчики? Неужели СИшники работают "за спасибо"? > то что тут поделаешь. С теориями заговора - это к Энрико и подобным) >> Не умеете? Найдите того, кто умеет. Убедите его (иделология, деньги, бартер). > Так ведь находят. А потом выясняется, что они "литерали-хитлеры", их срочно надо отменять, потому что мешают большим дядям пропихивать свои решения как безальтернативные. В смысле? У вас не может быть своей ветки и патчей, которые хот литерали-хитлер пишет? Ну так не говорите, что вы любитель австрийской живописи и всё. > Судя по тексту - всё твоё понимание сводится лишь к пересказу вливаемого тебе мнения корпоратов. Судя по тексту - всё твоё понимание сводится лишь к пересказу вливаемого тебе мнения борцунов за Щво6одьку. Хотя лучше бы они код писали. > Так, погоди, тут ты уже сам себе противоречишь - патчи делались, развитие  со стороны сообщество было, его просто искуственно тормозили. Ты уж определись. Никакого противоречия. Сообщество™ пилило что-то (про качество пока не будем), но не хотело отвечать за проект. Оно не создало свой форк, до 2025 года. > Настолько мертворожденный, что меньше чем за полгода расползся по большинству свободных от корпоративного ига дистров и стал там дефолтным X11, Вы про маргинальные поделки? Так это логично. И отлично! Теперь есть загончик для подобных, куда можно их отправлять. > попутно ещё и чуток увеличив долю иксов на линуксовых десктопах, которая теперь снова выше 50%. Совсем мертворожденное, вообще никому не надо, ага. Ссылочку бы на "выше 50%". > Разумеется, ведь не мужиков же переодевшихся в женское платье фриками считать. С этими-то, конечно, всё в порядке. Э? А почему нет? Я вам не запрещаю. > Ты просто усиленно пытаешься подменить один тезис другим и делаешь вид, как будто сам этого не понимаешь. То что вам кажется подмена тезиса, не значит что она есть. > Учитывая то, что это "древний язык" и генерируемый им код уже давно изучен вдоль и поперёк, обнаружить любые такие модификации не составит никаких проблем. А вот с языком, который ещё даже толком не стабилизирован и много чего делает на этапе сборки - другая история. Ух какие маневры! Вы просто мастер увиливаний. Спрошу еще раз "является ли GCC скачанный с сайта на 100% достоверным" в терминах статьи, которую мы обсуждаем. > Ты просто либо правда не понимаешь различность уровней доверенности в данном случае,  либо хз. Ну так поясните. Вы качаете убунту, дебиан или даже какой-то васянодистр. В нем есть GCC. Он доверенный или нет? > Для C/C++ возможность размотать всю цепочку сборки - есть и в случае необходимости создания доверенной платформы возможен такой аудит, Для C/C++ есть возможность повторить все шаги заново. > а для раста он невозможен даже в теории. Почему? Что мешает сделать? Есть даже mrustc который написан на С++ (это должно у вас вызывать доверие). Есть GCC compiler backend для rustc. > Как ещё тебе это объяснить - уже и не знаю. Вы просто не умеете объяснять)
	Ответить | Правка | Наверх | Cообщить модератору

	354. Скрыто модератором	+/–
	Сообщение от Celcion (ok), 29-Май-26, 22:38
	> А если навайбкодят СИшки?)) А что тогда изменится в плане портируемости? >> Если ты не способен сложить буквально два (раздуваем истерию вокруг дыр, вызванных  небезопасной работой с памятью) > Неужели это все истерия, а не реальные дыри? Какой ужас! Попахивает заговором!! Конечно, истерия. Потому что дыры были и раньше. И дальше будут. И на Си и на расте, потому что дыры - они не только с памятью связаны. И попытка создать вокруг лишь одного класса уязвимостей шумиху - это именно истерия, предполагаемый смысл которой я уже выше озвучил. > Разве в ядре раст-программисты получают больше денег? Когда стоит задача массово что-то переписать - кто получает больше денег: кто сопровождает легаси, или переписывает на какой-то другой язык? > С теориями заговора - это к Энрико и подобным) Здесь нет никаких заговоров. Обычный попил айтишных бюджетов. Я на такие внезапные "переписывания" уже много где насмотрелся и слишком хорошо знаю как это работает. > В смысле? У вас не может быть своей ветки и патчей, которые хот литерали-хитлер пишет? А какой в этом смысл? Ни один дистрибутив не будет это использовать. А значит и пользователей не будет. > Судя по тексту - всё твоё понимание сводится лишь к пересказу вливаемого тебе мнения борцунов за Щво6одьку. Благодаря ровно этим борцунам у тебя в принципе есть о чём сейчас говорить. Но помнить про это, конечно же, не надо. Лишнее это. > Хотя лучше бы они код писали. Они и писали. Но большим дядям он оказался не нужен. > Оно не создало свой форк, до 2025 года. Форки, претендующие на большее, чем забытый реп на гитхабе с парой коммитов, не создаются по велению левой пятки. Их делают лишь тогда, когда по-другому уже не получается. И когда ситуация окончательно зашла в тупик - форк и появился. > Вы про маргинальные поделки? Так это логично. Ага, Арч ведь маргинальная поделка. Правда, потом и туда пришли люди со светлыми лицами, пояснили всем, что x11libre пишет литералли-хитлер и надо срочно его убирать, а то мало ли что. > И отлично! Теперь есть загончик для подобных, куда можно их отправлять. Да я понимаю, что ты из тех, кому лучше быть на поводке, чем позволить себе отбиться от стаи. Не поймут ведь. Своим перестанут считать. Ты не переживай. Я на твою верность хозяину не посягаю. > Ух какие маневры! Вы просто мастер увиливаний. > Спрошу еще раз "является ли GCC скачанный с сайта на 100% достоверным" в терминах статьи, которую мы обсуждаем. Учитывая, что это ты пытаешься сейчас подменить один тезис (компилятор раста - недоверенный) другим (компилятор Си тоже недоверенный, если его скачать с сайта, а значит это как-то меняет факт, что компилятор раста недоверенный), не тебе говорить про увиливания. > Есть даже mrustc который написан на С++ (это должно у вас вызывать доверие). "In-progress alternative rust compiler. Capable of building a fully-working copy of rustc, but *not suitable for everyday use*" Действительно, вызывает доверие.
	Ответить | Правка | Наверх | Cообщить модератору

93. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
Сообщение от Аноним (93), 28-Май-26, 13:13
Хорошо это или плохо, но сейчас Rust это самое адекватное решение, по сравнению с C и C++ для будущих системных программистов! Языки, которые сплошь и рядом пропитаны UB должны быть помечены deprecated by design для новых проектов.
Ответить | Правка | Наверх | Cообщить модератору

	124. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (124), 28-Май-26, 13:51
	Давайте перечислим проблемы с Rust'ом: 1. В ядре нужно низкоуровневое программирование, чтобы можно было в данных точно расположить каждый байтик и битик. В Rust'е это можно делать, но ужасно неудобно (а значит и ошибкоопасно) и только в unsafe-режиме. (Напомню, данные в структурах в Rust'е располагаются не так как в C) 2. Rust формально является свободным ПО, однако на практике сделать разветвление от него (fork) невозможно, так как Rust - торговая марка, и лицензия на Rust требует в разветвлетнии убрать любое упоминание Rust'а во всех файлах исходного текста компилятора, стандартного фреймворка, документации, cargo и других инструментов, а сделать это, скажем так, даже группа из нескольких человек за приемлемое время не сможет. 3. Привязка языка и компилятора к системе сборки и менеджеру пакетов (cargo) - это неприемлемо для нормального языка программирования.
	Ответить | Правка | Наверх | Cообщить модератору

	236. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (-), 28-Май-26, 18:13
	Вброс толстый и глупый: > 1. В ядре нужно низкоуровневое программирование, чтобы можно было в данных точно расположить каждый байтик и битик. В Rust'е это можно делать, но ужасно неудобно (а значит и ошибкоопасно) и только в unsafe-режиме. (Напомню, данные в структурах в Rust'е располагаются не так как в C) Ложь. Даже в Си такое перестали практиковать, ибо непереносимо. Если хочется совместимости с Си - #[repr(C)]. Надо собрать побайтово - берете слайс на буфер и собираете, никакого unsafe. Если вам не нравится, что надо использовать to_le_bytes/to_ne_bytes, - напишите вспомогательные функции или используйте готовый крейт. > 2. Rust формально является свободным ПО, однако на практике сделать разветвление от него (fork) невозможно, так как Rust - торговая марка, и лицензия на Rust требует в разветвлетнии убрать любое упоминание Rust'а во всех файлах исходного текста компилятора, стандартного фреймворка, документации, cargo и других инструментов, а сделать это, скажем так, даже группа из нескольких человек за приемлемое время не сможет. Ложь. Запрет касается только внешнего позиционирования, брендинга и рекламы. Внутри исходного кода упоминать язык Rust можно сколько угодно. Даже существуют проекты, в названиях которых есть слово "Rust". А если надо заменить одно слово на другое, вместо вашей "группы из нескольких человек" можно взять обычный sed - он справиться за считанные секунды. > 3. Привязка языка и компилятора к системе сборки и менеджеру пакетов (cargo) - это неприемлемо для нормального языка программирования. Ложь. Язык Rust и компилятор rustc привязаны к cargo не больше, чем си к make. https://opennet.ru/59481-cmake > Возможна сборка проектов на различных языках программирования, включая C, C++, Fortran, Java и Rust. .
	Ответить | Правка | Наверх | Cообщить модератору

	257. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (257), 28-Май-26, 19:37
	>Внутри исходного кода упоминать язык Rust можно сколько угодно. Нельзя. Это чужая торговая марка.
	Ответить | Правка | Наверх | Cообщить модератору

	279. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (-), 28-Май-26, 22:07
	> Нельзя. Ложь. И подтверждение тому - rustworkx, PyTrust, RustDB, RustFS и другие проекты, никак не связанные с Rust Foundation. > Это чужая торговая марка. Да, и не более того.
	Ответить | Правка | Наверх | Cообщить модератору

	267. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (261), 28-Май-26, 20:09
	> Давайте перечислим проблемы с Rust'ом: Сначала перечислите ваш опыт в программировании) > 1. В ядре нужно низкоуровневое программирование, чтобы можно было в данных точно расположить каждый байтик и битик. А зачем? Чтобы потом ошибиться на битик и подарить злоумышленники рут доступ? > В Rust'е это можно делать, но ужасно неудобно (а значит и ошибкоопасно) и только в unsafe-режиме. (Напомню, данные в структурах в Rust'е располагаются не так как в C) В СИ весь код unsafe. > 2. Rust формально является свободным ПО, однако на практике сделать разветвление от него (fork) невозможно, так как Rust - торговая марка, Linux кстати тоже. linuxfoundation.org/legal/trademark-usage или это другое? > и лицензия на Rust требует в разветвлетнии убрать любое упоминание Rust'а во всех файлах исходного текста компилятора, стандартного фреймворка, документации, cargo и других инструментов, Цитату из лицензии в студию. > а сделать это, скажем так, даже группа из нескольких человек за приемлемое время не сможет. Речь про умстенно отсталых которые не осилили текстовый поиск с заменой? Ну... ок. > 3. Привязка языка и компилятора к системе сборки и менеджеру пакетов (cargo) - это неприемлемо для нормального языка программирования. Но язык не привязан ни к карго, ни к системе пакетов. Вы просто хейтер, который даже не удосужился прочитать документацию.
	Ответить | Правка | К родителю #124 | Наверх | Cообщить модератору

	269. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от warlock (??), 28-Май-26, 20:35
	> В Rust'е это можно делать, но ужасно неудобно Написать атрибут `#[repr(C)]` ужасно неудобно? И при чём тут "unsafe режим"?
	Ответить | Правка | К родителю #124 | Наверх | Cообщить модератору

	130. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от Аноним (130), 28-Май-26, 13:54
	> сплошь и рядом пропитаны UB должны быть помечены deprecated by design для новых проектов. Раст с его ансейвом помечать или это другое? Он как раз пропитан им, причем не явно, пока не посмотришь всю цепочку возможных вызовов не узнаешь есть ли ансейв внутри или нет.
	Ответить | Правка | К родителю #93 | Наверх | Cообщить модератору

	163. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (142), 28-Май-26, 14:55
	> Он как раз пропитан им, причем не явно Нет, не пропитан - unsafe там изолирован в самых низкоуровневых местах, в чём собственно его и смысл. > пока не посмотришь всю цепочку возможных вызовов не узнаешь есть ли ансейв внутри или нет. Это мне тоже не нравится. То ли дело в C - смотришь и точно знаешь что он там есть.
	Ответить | Правка | Наверх | Cообщить модератору

	199. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (199), 28-Май-26, 16:34
	> ... смотришь и точно знаешь что он там есть А это плохо?
	Ответить | Правка | Наверх | Cообщить модератору

	207. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (40), 28-Май-26, 16:44
	> unsafe там изолирован Дак растерманы в других местах катастрофические ошибки делают.
	Ответить | Правка | К родителю #163 | Наверх | Cообщить модератору

127. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
Сообщение от Аноним (130), 28-Май-26, 13:51
>Грег считает, что подобные возможности Rust недопустили бы появления 60% ошибок, выявляемых в ядре, а выполняемые компилятором проверки избавили бы сопровождающих от траты времени на обсуждение с авторами корректности обработки ошибок и обоснованности выставления блокировок в нужном месте. Ну будут обсуждать обоснованность ансейв отключения этих блокировок, чтоб все не тормозило. Заменят эти 60% ошибок другими ошибками.
Ответить | Правка | Наверх | Cообщить модератору

136. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
Сообщение от Аноним (136), 28-Май-26, 14:00
> упомянута ошибка в подсистеме Bluetooth, остававшаяся незамеченной 15 лет ага, не с проста удаляя пакет bluez-gnome удалялся весь гном :)
Ответить | Правка | Наверх | Cообщить модератору

147. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+3 +/–
Сообщение от Аноним (149), 28-Май-26, 14:13
Очередной приступ болтовни. >как язык Rust может помочь в предотвращении появления в ядре уязвимостей >и никто не собирается переписывать ядро на Rust Где вы собираетесь эти ошибки предотвращать - в полутора процентах нового кода? Кто будет разбираться с текущим кодом, содержащим ошибки вроде Copy Fail?
Ответить | Правка | Наверх | Cообщить модератору

	166. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от Аноним (142), 28-Май-26, 15:00
	> Где вы собираетесь эти ошибки предотвращать - в полутора процентах нового кода? А как надо, плодить ошибки и в новом коде? > Кто будет разбираться с текущим кодом, содержащим ошибки вроде Copy Fail? А что, наличие нового кода на расте помешает латать дыры в сишном легаси?
	Ответить | Правка | Наверх | Cообщить модератору

	198. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от Аноним (40), 28-Май-26, 16:33
	> помешает Да. Отвлечение и так скудных ресурсов на внедрение того, что сейчас не требуется.
	Ответить | Правка | Наверх | Cообщить модератору

	238. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (91), 28-Май-26, 18:20
	>> помешает > Да. Отвлечение и так скудных ресурсов на внедрение того, что сейчас не требуется. Какое "отвлечение ресурсов", если речь идет о НОВОМ коде? Специально же сказано "никто не собирается переписывать ядро на Rust: ожидается постепенное внедрение Rust через его использования для новых драйверов и подсистем".
	Ответить | Правка | Наверх | Cообщить модератору

	274. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от slavanap (?), 28-Май-26, 21:09
	Я тоже могу поделиться к вам в квартиру, и ничем не мешать. Вотъ у меня инструмент для гарантий безопасности есть.
	Ответить | Правка | Наверх | Cообщить модератору

	237. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (91), 28-Май-26, 18:16
	> Где вы собираетесь эти ошибки предотвращать - в полутора процентах нового кода? В новом коде, да. Например, в Андроиде количество нового кода на Раст потеснило оное на C++. Для Linux это тоже дело времени. https://www.opennet.ru/opennews/art.shtml?num=64251
	Ответить | Правка | К родителю #147 | Наверх | Cообщить модератору

156. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
Сообщение от жявамэн (ok), 28-Май-26, 14:35
>ошибка в подсистеме Bluetooth, остававшаяся незамеченной 15 лет Тео как всегда был прав
Ответить | Правка | Наверх | Cообщить модератору

165. Скрыто модератором	–2 +/–
Сообщение от Нета Куся (?), 28-Май-26, 14:58
https://habr.com/ru/companies/ruvds/articles/1037992/ Занавес
Ответить | Правка | Наверх | Cообщить модератору

191. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
Сообщение от Bob (??), 28-Май-26, 16:21
>Rust может помочь в предотвращении появления в ядре уязвимостей, возникающих из-за типичных ошибок разработчиков на языке Си при работе с памятью, блокировками, обработкой ошибок и работой с не заслуживающими доверия данными Публичная "порка" за косяки и реальный профотбор тимлидом (а не хрюшами) за фактические знания - решают. А вот нехватку джунов и недомидлов решит своя "ИИ" - ручная обученная кодо заполняшка)
Ответить | Правка | Наверх | Cообщить модератору

	231. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (219), 28-Май-26, 17:33
	2000 лет, не помогало, а тут вдруг херак и поможет
	Ответить | Правка | Наверх | Cообщить модератору

	252. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (243), 28-Май-26, 19:25
	> Публичная "порка" за косяки Является эффективным способом убить на корню любой прогресс и избавиться от всех, кроме людей без самоуважения. > реальный профотбор тимлидом (а не хрюшами) за фактические знания - решают. Так и есть _всегда_. HR не принимает решение о найме, это делает нанимающий менеджер (и уж точно не тимлид). HR это культурный фильтр, отсеивающий тех, кто не научился вести себя как человек. Впрочем, я по поркам вижу, почему у тебя могло сложиться неправильное мнение о функции HR.
	Ответить | Правка | К родителю #191 | Наверх | Cообщить модератору

	281. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (173), 28-Май-26, 22:49
	Я хоть не уверен про публичную порку (для начала тогда уж лучше не публично) но, даже у меня несколько вопросов возникло: > Является эффективным способом убить на корню любой прогресс Расскажите это проштрафившимся учёным и работая изобретая в ГУЛАГах... И в т.ч.и косвенно изобретавшим там, для выживания - как вон видел в ДФ: ноу-хау печь повышенной тепло-отдачи, каким то физиком, без которой они там массово дохли ежедневно; причём, из всякого подручного хлама доступного обычному арестанту ~лесорубу. > и избавиться от всех, кроме людей без самоуважения. IMHO тут подтасовка - "самомнения, даже самовозвеличивания"... Ну, как раз такие, как показала практика в тех же тюрьмах - очень быстро дохли из-за этого [от охраны] или же максимально скурвились перед гопотой, быстро забывая про величие своего ума и вообще человеческое достоинство. Даже если не рассматривать настолько крайний случай - что то, не видно взаимосвязи "самомнения, даже самовозвеличивания" и "прогресса"...
	Ответить | Правка | Наверх | Cообщить модератору

195. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+4 +/–
Сообщение от Аноним (40), 28-Май-26, 16:28
> Грег Кроа-Хартман Сколько десятилетий он у руля? Кто же это допустил такого развала инфраструктуры ядра?
Ответить | Правка | Наверх | Cообщить модератору

	205. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (210), 28-Май-26, 16:42
	> Сколько десятилетий он у руля? Кто же это допустил такого развала инфраструктуры ядра? Чтобы что-то развалить, нужно чтобы оно было хотя бы слегка целое. А у нас ведро было дырявым всю свою историю. И вообще разве ядро не Сообщество™ пишет? Разве он может не выплатить премию за плохой код или уволить?
	Ответить | Правка | Наверх | Cообщить модератору

	209. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от нах. (?), 28-Май-26, 16:47
	> Разве он может не выплатить премию за плохой код или уволить? он вообще-то может выплатить премию за хороший. Но не хочет, самому мало.
	Ответить | Правка | Наверх | Cообщить модератору

	253. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (243), 28-Май-26, 19:27
	> он вообще-то может выплатить премию за хороший Разве что из своего кармана. Грег не занимается принятием финансовых решений. > Но не хочет, самому мало. Ему и не платят столько, чтобы много было. Но ты можешь учредить нахпремию за похкодинг. Скажи куда номинантов присылать, я бы бюстика номинировал.
	Ответить | Правка | Наверх | Cообщить модератору

	273. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от нах. (?), 28-Май-26, 20:52
	> Разве что из своего кармана. ну мог бы и из своего, в конце-концов ему хоть и не по миллиону в месяц платят, но по слухам - не бедствует вот совсем. Но вообще-то конечно у него есть влияние на фаундейшн. > Но ты можешь учредить нахпремию за похкодинг. так я ее уже себе выплатил. (номинант разумеется был один... а, впрочем, нет. я ж пытался тем дятлам заплатить... впрочем, им от тинькова немало перепало и так)
	Ответить | Правка | Наверх | Cообщить модератору

	283. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (173), 28-Май-26, 22:54
	> ему хоть и не по миллиону в месяц платят, Я бы на твоём месте на этом не настаивал... И вообще даже не унижал его, каким то миллионом.
	Ответить | Правка | Наверх | Cообщить модератору

255. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
Сообщение от Аноним (257), 28-Май-26, 19:29
"выявления уязвимостей воспринимается как какое-то безумие (для примера за вчерашний день было опубликовано 277 отчётов об уязвимостях в ядре)." Короче, всё бесполезно, Linux бесконтрольно разросся, и трещит под своей тяжестью. Проект надо закрывать. И открывать новый проект по разработке ОС, но на новом языке. C - слишком ненадёжный, C++ - слишком сложный, Rust - вообще для прикладного программирования, Zig - плохой синтаксис. Нужен новый язык системного программирования. Предлагаю его по свойствам делать на основе Modula-2, а по синтаксису - на основе C или PL/M.
Ответить | Правка | Наверх | Cообщить модератору

	270. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (270), 28-Май-26, 20:38
	> Предлагаю его по свойствам делать на основе Modula-2, а по синтаксису - на основе C или PL/M. Я согласен. Можешь приступать. Только не надо делать поверх llvm или gcc. Не надо этих лишних депендансов. Надо свой кодогенератор иметь.
	Ответить | Правка | Наверх | Cообщить модератору

	286. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (173), 28-Май-26, 23:02
	> Надо... Зачем перекладываешь на других - как сделаешь, хотя бы как в техх халтурку, сообщи - я тебе ещё 100-500 оптимизаций подкину. Синтаксис же это куда меньше проблема, тут скорей вопрос субъективности запросов проблема... и ещё больше - востребованности.
	Ответить | Правка | Наверх | Cообщить модератору

	316. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от ilnarildarovuchgmail.com (?), 29-Май-26, 11:38
	Не, надо на LLVM. Сразу появятся куча платформ
	Ответить | Правка | К родителю #270 | Наверх | Cообщить модератору

	336. Скрыто модератором	+/–
	Сообщение от Аноним (339), 29-Май-26, 14:23
	За чей счёт банкет - может за лично ваш?!...
	Ответить | Правка | Наверх | Cообщить модератору

	282. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (97), 28-Май-26, 22:53
	SPARK уже существует много лет. Синтаксис простой, надёжность одна из самых высоких, но писать на нём сложно.
	Ответить | Правка | К родителю #255 | Наверх | Cообщить модератору

	324. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Сладкая булочка (?), 29-Май-26, 12:27
	> SPARK уже существует много лет. Для Си уже давно есть ACSL в рамках проекта frama-c с более широкими возможностями (разрешает адресную арифметику), но только да также сложно и текущие разрабы ядра не будут на таком писать.
	Ответить | Правка | Наверх | Cообщить модератору

	289. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Markx (?), 29-Май-26, 00:12
	Что сложного в C++? ООП? Шаблоны?
	Ответить | Правка | К родителю #255 | Наверх | Cообщить модератору

	325. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Сладкая булочка (?), 29-Май-26, 12:28
	Много неочевидных правил, раздутый стандарт.
	Ответить | Правка | Наверх | Cообщить модератору

	311. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (311), 29-Май-26, 10:44
	Про язык D ты скорее всего не слышал? :)
	Ответить | Правка | К родителю #255 | Наверх | Cообщить модератору

	345. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (339), 29-Май-26, 16:50
	Это который очередной клон Java?...
	Ответить | Правка | Наверх | Cообщить модератору

	344. Скрыто модератором	+/–
	Сообщение от Аноним (339), 29-Май-26, 16:48
	> Linux бесконтрольно разросся, и трещит под своей тяжестью. Добавь ещё WINE и прочее что там для ядра ОС нужно? Например, та или иная защита. CUPS? [~Linuxilator] > Проект надо закрывать. Ну ну... вперёд. Кому это тут высрал? > И открывать новый проект по разработке ОС, но на новом языке. Go в СВО/АТО - приземляться с Луны. К тому же, дело не только и не столько в языке, на который(я так понимаю т.б.речь про "безопасный") - кто собственно будет переводить ядро? кто далее поддерживать и т.развивать или хотя бы синхронизировать с оригиналом? кто захочет вообще переводит на новый - не популярный и т.б.массово непроверенный временем язык? а, куда шире в дизайне ядра и т.д.
	Ответить | Правка | К родителю #255 | Наверх | Cообщить модератору

288. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+3 +/–
Сообщение от Markx (?), 29-Май-26, 00:10
Боже мой, да кому интересно что фрик вещает со своей IBM/RedHat-овской колокольни, они уже допомагались настолько что у экс-линуксоидов неприязнь к линуксу в разы сильнее чем к винде
Ответить | Правка | Наверх | Cообщить модератору

	310. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (311), 29-Май-26, 10:43
	За сустемДы уже пора бить ногами! Поганый блоатшпион внедрён почти везде.
	Ответить | Правка | Наверх | Cообщить модератору

	346. Скрыто модератором	+/–
	Сообщение от Аноним (339), 29-Май-26, 16:58
	Так "бьют" что, только такое [тут] и пиарят в статьях
	Ответить | Правка | Наверх | Cообщить модератору

	347. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от жявамэн (ok), 29-Май-26, 18:04
	лет 10 как свалил на макось кроме гадливости этот funnish sheet у меня больше ничего не вызывает желаю смерти пингвинуксу уже давно пусть лучше сбд развивают какой или илюмос
	Ответить | Правка | К родителю #288 | Наверх | Cообщить модератору

296. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
Сообщение от Sm0ke85 (ok), 29-Май-26, 07:22
>уязвимостей, возникающих из-за типичных ошибок разработчиков на языке Си при работе с памятью То бишь нереально "Типичные ошибки отлавливать", нужен раст обязательно...? Оо > При этом Rust не рассматривается как панацея, способная избавить от всех проблем То бишь шило на мыло поменять решили, чтобы что...? Оо >В первом случае разработчик выполнил разыменование указателя без проверки, а во втором забыл снять блокировку в коде обработки ошибок. Это разве проблемы языка, а не Организации работы??? Оо >внедрение поддержки Rust уже оказало благотворное влияние и на Си-код в ядре благодаря приведению в порядок Си-кода и интерфейсов А раньше религия не позволяла "приведению в порядок Си-кода и интерфейсов"?? Оо >Благодаря системе типов, гарантирующей соблюдение заданных правил, и применению систем непрерывной интеграции, проверяющих код на этапе сборки, при рецензировании изменений на Rust сопровождающие могут сосредоточиться на проверке логики работы, а не отслеживании манипуляций с ресурсами. Применение Rust также позволяет более внимательно относиться к данным, поступающим от оборудования или из внешних систем. Ну или просто то что раньше надо было на уровне "ума" и комментариев делать, теперь надо в коде постоянно прописывать... Это фиаско братан... >Последнее время команда, отвечающая за безопасность в ядре, публикует каждый день примерно 13 отчётов об уязвимостях, что на фоне прошлой динамики выявления уязвимостей воспринимается как какое-то безумие Раст выявил уязвимости или таки занялись проверкой кода...? Что раньше мешало, религия? >По мнению Грега, использование Rust является одним из реальных способов добиться снижения числа ошибок в ядре По факту, при внедрении раст вдруг число ошибок наоборот Выросло, об этом было сказано тобой выше, Грег... Доверили имбецилу порулить, он в тренды верит, а в реальность глядеть не умеет... У него Си виновен в том, что до этого решили по-халявить всем скопом... Уверен, что ему слюнявчик до сих пор необходим и памперсы, т.к. без костылей уж точно жить не вариант... ахахаах)))
Ответить | Правка | Наверх | Cообщить модератору

	304. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (-), 29-Май-26, 09:08
	> То бишь нереально "Типичные ошибки отлавливать", нужен раст обязательно...? Оо За май в ядре нашли 1000+ CVE. Ошибки надо не отлавливать, а предотвращать. > То бишь шило на мыло поменять решили, чтобы что...? Оо Чтобы избавиться от одного из самых распространенных класса проблем. >>В первом случае разработчик выполнил разыменование указателя без проверки, а во втором забыл снять блокировку в коде обработки ошибок. > Это разве проблемы языка, а не Организации работы??? Оо А как ты организуешь работу, чтобы не делать типичные сишные ошибки? Будешь бить палкой тех кто делает use-after-free / double-free? Это можно решить только автоматикой, но сторонние анализаторы не дают нужный результат. > А раньше религия не позволяла "приведению в порядок Си-кода и интерфейсов"?? Оо Возможно диды оказывали копротивление "30 лет так писали, зачем исправлять" > Ну или просто то что раньше надо было на уровне "ума" и комментариев делать, Так делали. Но все равно овнокод выходит) > теперь надо в коде постоянно прописывать... Это фиаско братан... Ага, лучше оно будет прописано в коде, чем в "уме" какого-то чувака, который сегодня есть, а завтра под автобус попал. > Раст выявил уязвимости или таки занялись проверкой кода...? Что раньше мешало, религия? Раньше не было ИИ, который найдет все заботливо разбросанные кучки от дидов. Это просто показывает насколько все было плохо, но этого не замечали. > По факту, при внедрении раст вдруг число ошибок наоборот Выросло, об этом было сказано тобой выше, Грег... Ошибок в раст коде? Или просто заглянули под диван, а там... > Доверили имбецилу порулить, он в тренды верит, а в реальность глядеть не умеет... Какое ценное мнение от васяна) > У него Си виновен в том, что до этого решили по-халявить всем скопом... СИ не виновен в том, что дефектный бай дизайн. Возможно где-то есть Настоящий СИшник™, который не делает таких глупых ошибок, но пока в мире такие не были найдены. > Уверен, что ему слюнявчик до сих пор необходим и памперсы, т.к. без костылей уж точно жить не вариант... ахахаах))) Конечно ахахаах! Лучше пускать слюние, гадить в штаны и ползать, как делают СИ разработчики.
	Ответить | Правка | Наверх | Cообщить модератору

	308. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Sm0ke85 (ok), 29-Май-26, 10:30
	>За май в ядре нашли 1000+ CVE. Чего раньше не находили, а раст стали внедрять и полезло...? >Ошибки надо не отлавливать, а предотвращать. Ты ж понимаешь что врядли адекватную статистику можно набрать по параметру "предотвращенные ошибки растом", т.к. ошибки делает не язык, а программист... >Чтобы избавиться от одного из самых распространенных класса проблем. Решений этому горка целая, зачем раст...? >А как ты организуешь работу, чтобы не делать типичные сишные ошибки? Программистов не по объявлению набирать надо, код смотреть, тесты проводить (можно даже это дело автоматизировать)... А сейчас с растом программисту глаза закрыли и сказали "ну ты верь нам, мы там все норм сделаем за тебя" >Это можно решить только автоматикой, но сторонние анализаторы не дают нужный результат. Как будто раст что-то даст, ровно так же начнут unsafe писать, чтобы шустрее работало...))) Проблема в программисте... >Возможно диды оказывали копротивление "30 лет так писали, зачем исправлять" чушь >Так делали. >Но все равно овнокод выходит) чушь >Ага, лучше оно будет прописано в коде, чем в "уме" какого-то чувака, который сегодня есть, а завтра под автобус попал. чушь опять же, все закончится unsafe'ом >Раньше не было ИИ, который найдет все заботливо разбросанные кучки от дидов. >Это просто показывает насколько все было плохо, но этого не замечали. А вот раст+ии - это заявка на коммерческую реализацию овнокода за деньги... Короче, да, это корпоратам выгодно... >Какое ценное мнение от васяна) Пф, ща б твое мнение что-то весило, иди формальную логику хоть почитай и вчитай в бред сивой кобылы по имени Грег... >СИ не виновен в том, что дефектный бай дизайн. Дизайн вполне соответствует времени, но раз все меняется, то можно было переписать/поправить своевременно, а не вот эти все жалобы >Лучше пускать слюние, гадить в штаны и ползать, как делают СИ разработчики. Пфф, читай формальную логику, смешно спорить пытаешься, т.к. ты ж сам выше определился, что раст - это костыль, который призван спасать, а инвалид изначальный - не конкурент для здорового...
	Ответить | Правка | Наверх | Cообщить модератору

	321. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (321), 29-Май-26, 12:15
	> Чего раньше не находили, а раст стали внедрять и полезло...? Полезло где? В расткоде? Или в СИшном? У тебя явно проблемы с логикой - классическая ошибка "post hoc ergo propter hoc". То что ошибки начали находить после внедрения раста, не значит что он причина. > врядли адекватную статистику можно набрать по параметру "предотвращенные ошибки растом", т.к. ошибки делает не язык, а программист... Зато можно сравнить сколько найдено ошибок по памяти в расткоде и в сишном. >>Чтобы избавиться от одного из самых распространенных класса проблем. > Решений этому горка целая, зачем раст...? А они работают? То что есть куча плохо рабочих решений это классно, но толку.. > Программистов не по объявлению набирать надо, код смотреть, тесты проводить (можно даже  это дело автоматизировать)... Это ты в проприетаре так можешь сделать. А Сообщество™ за то, чтобы  ̶л̶ю̶б̶а̶я̶ ̶к̶у̶х̶а̶р̶а̶р̶к̶а̶ даже анестезиолог мог патчить ядро. Прибавь сюда запредельное ЧСВ и самоуверенность и поймешь что тесты эти "лудшие прогаммисты писать не хотят". > А сейчас с растом программисту глаза закрыли и сказали "ну ты верь нам, мы там все норм сделаем за тебя" На правда. Компилятор отлично показывает где ошибка. Это как сделать статический анализатор обязательным для того чтобы собрать проект, или тесты - чтобы отправить PR. > Как будто раст что-то даст, ровно так же начнут unsafe писать, чтобы шустрее работало...))) Проблема в программисте... Тут ты уже фантазируешь. > чушь опять же, все закончится unsafe'ом Да, согласен, что твои фантазии это просто чушь. > А вот раст+ии - это заявка на коммерческую реализацию овнокода за деньги... > Короче, да, это корпоратам выгодно... Пф... а кто писал код до? Не корпораты? А кто находит тысячи ошибок? Не ИИ ли? >>СИ не виновен в том, что дефектный бай дизайн. > Дизайн вполне соответствует времени, Не правда. В 1972 году уже есть и использовались годами такие языки как Фортран, APL, Лисп, Simula. За пару лет до появляется FORTH, Паскаль и Smalltalk (в тот же год). Т.е было разнообразие подходов, от императивных до функциональных. Стандарт придумали вообще спустя годы, напихав UBек. > но раз все меняется, то можно было переписать/поправить своевременно, а не вот эти все жалобы А как же "совместимость" - велика священная корова? А как же "работает - не трогай" и "и так сойдет"? В каком году в СИ добавили keywords true/false? > Пфф, читай формальную логику, смешно спорить пытаешься, т.к. ты ж сам выше определился, что раст - это костыль, Раст такой же костыль, как перчатки у врача. Или резиновые сапоги у электрика. Вы же не кричите "ремни безопасности - для инвалидов, надо просто аккуратно водить и не попадать в аварии"? Или таки кричите?) > который призван спасать, а инвалид изначальный - не конкурент для здорового... Ага. Умственный инвалид не догадается, что лезть мокрыми руками в оголенные провода это глупо. Но СИшники предпочитаю десятки лет ставать на одни и те же грабли получая по лбу типичными ошибками.
	Ответить | Правка | Наверх | Cообщить модератору

	342. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Sm0ke85 (ok), 29-Май-26, 16:15
	>Полезло где? В расткоде? Или в СИшном? А разница есть разве в данном контексте? >У тебя явно проблемы с логикой - классическая ошибка "post hoc ergo propter hoc". >То что ошибки начали находить после внедрения раста, не значит что он причина. И у кого из нас проблемы с логикой??? Ты читать умеешь не только буквы? Претензия была - а что до внедрения раста такое количество уязвимостей не видно было...? >Зато можно сравнить сколько найдено ошибок по памяти в расткоде и в сишном. Да много чего можно посравнивать - была бы польза от этого... И что? >А они работают? >То что есть куча плохо рабочих решений это классно, но толку.. А раст по-твоему - это великое спасение....??? ахах Вот удалят unsafe, тогда и будешь говорить, а пока не удалили - раст склонен ровно также к уб, просто для этого надо чуток подождать, когда "программисты" отупеют чутка поболее... >Это ты в проприетаре так можешь сделать. >А Сообщество™ за то, чтобы  ̶л̶ю̶б̶а̶я̶ ̶к̶у̶х̶а̶р̶а̶р̶к̶а̶ даже анестезиолог мог патчить ядро. >Прибавь сюда запредельное ЧСВ и самоуверенность и поймешь что тесты эти "лудшие прогаммисты писать не хотят". Как раз все наоборот... >Тут ты уже фантазируешь. ерунду пишешь, язык сам код не пишет... >Да, согласен, что твои фантазии это просто чушь. Опять ты чушь сморозил... >Пф... а кто писал код до? Не корпораты? Нет не корпораты, они просто взяли удачное творение общественности и начали его использовать со всеми вытекающими >А кто находит тысячи ошибок? Не ИИ ли? Нет не ИИ, т.к. этот нейрослопный мусор потом людям приходится разгребать и давать оценку состоятельности "проблемы" >Не правда. В 1972 году уже есть и использовались годами такие языки как Фортран, APL, >Лисп, Simula. За пару лет до появляется FORTH, Паскаль и Smalltalk (в тот же год). >Т.е было разнообразие подходов, от императивных до функциональных. >Стандарт придумали вообще спустя годы, напихав UBек. Это твои личные заблуждения >А как же "совместимость" - велика священная корова? >А как же "работает - не трогай" и "и так сойдет"? И? Поправить ну никак не возможно? Религия мешает? >В каком году в СИ добавили keywords true/false? Это по факту бесполезная абстракция... >Раст такой же костыль, как перчатки у врача. Или резиновые сапоги у электрика. >Вы же не кричите "ремни безопасности - для инвалидов, надо просто аккуратно водить и не попадать в аварии"? >Или таки кричите?) Это и близко не релевантная аналогия, тут надо рассматривать именно что подгузник и слюнявчик (т.к. по факту само по себе использование раста не спасает жизни и ничего не дает, еще раз повторю есть unsafe и есть организация работы)... >Ага. >Умственный инвалид не догадается, что лезть мокрыми руками в оголенные провода это глупо. >Но СИшники предпочитаю десятки лет ставать на одни и те же грабли получая по лбу типичными ошибками. Опять бредни пишешь, все проще - нужно просто правильно организовать процессы и не нанимать "мимопроходило" (раст еще более к этому всему уязвим, если что, т.к. будут надеяться на "автоматику"...)
	Ответить | Правка | Наверх | Cообщить модератору

	351. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (351), 29-Май-26, 19:21
	> А разница есть разве в данном контексте? Конечно. > И у кого из нас проблемы с логикой??? Ты читать умеешь не только буквы? Претензия была - а что до внедрения раста такое количество уязвимостей не видно было...? А.. т.е если их "не видно" - то все ок? Отличная логика! > надо чуток подождать, когда "программисты" отупеют чутка поболее... Станут тупее чем диды которые наделали тысячи СИшных ошибок? Сомневаюсь. > ерунду пишешь, язык сам код не пишет... Конечно. Но если дать плотнику каменный топор, то табуретка получится соответствующая. > Нет не корпораты, они просто взяли удачное творение общественности и начали его использовать со всеми вытекающими И сколько там кода общественности осталось с 200х годов? Уже лет 10 корпы пишут под 90% кода. > Нет не ИИ, т.к. этот нейрослопный мусор потом людям приходится разгребать и давать оценку состоятельности "проблемы" Если бы это был мусор, то столько проблем не оказалось реальными. Которые тысячиглаз проглядели. > И? Поправить ну никак не возможно? Религия мешает? Да. Сишная религия в "стандарт", "обратную совместимость" и так далее. > Это по факту бесполезная абстракция... Не, это исправление макросного позора. >>Раст такой же костыль, как перчатки у врача. Или резиновые сапоги у электрика. > Это и близко не релевантная аналогия По мнению человека который не хочет чтобы "уязвимостей не видно было")) > Опять бредни пишешь, все проще - нужно просто правильно организовать процессы и  не нанимать "мимопроходило" Ага. Мы пришли к Настоящиму СИшнику™. Т.е все программисты которые делали глупейшие ошибки, начиная от создателей языка (юникс4), до программистов ядра, Х11, сотен утилит... они просто были "мимопроходилами" и не умели организовывать процессы. Логично, чо!
	Ответить | Правка | Наверх | Cообщить модератору

	352. Скрыто модератором	+/–
	Сообщение от Аноним (339), 29-Май-26, 19:43
	> Т.е все программисты которые делали глупейшие ошибки, начиная от создателей языка (юникс4), до программистов ядра, Х11, сотен утилит... они просто были "мимопроходилами" и не умели организовывать процессы. Зачем обижаешь профессиональных 666-троянопейсателей начиная с Б-га Т.! Было бы на Rust: и там всё что надо - было бы... Ну и вот пусть их все исправили в ядре - думаешь в дистрах от сатанистов же  разных в мире и единомышленных, [под]zog-спецслужб и просто [под]zog-мафий: нет других дыр? Да ты же даже качаешь образ и затем Обновления [OS], включая и сертификаты/подписи - хоть они сами по себе дыра же писалось уже не раз: через их же провайдерсикие серверы... Запускаешь на 666(см.штрихкод на них)-оборудовании, где даже в realtime тебе всё что нужно пропатчат только благодаря SMM и т.б. Intel ME&Co, а [ныне] даже если у тебя не будет всего предыдуще указанного - уже и ИИ моделям найдущими уязвимости даже в тобой лично написанной ОС и архитектуре [удалённо].
	Ответить | Правка | Наверх | Cообщить модератору

309. Скрыто модератором	+1 +/–
Сообщение от Аноним (311), 29-Май-26, 10:41
Этот клоун Hartman не рассказал, КТО будет писать код на Рже? Как показала практика, за ГОДЫ существования Ржи появилось буквально единицы проектов, которые пишут "как хобби". Индустрии Ржы нет, поддержка этой ржавой идеи Гуглом - сугубо опциональная, так кому и зачем на ЭТОМ писать?? Ну и самое главное - неужели этот дилетант думает, что на Си/С++ нельзя выявить ВСЕ ТЕ ЖЕ САМЫЕ ошибки?! Давно уже существуют анализаторы для всех подобных проблем. Причём анализаторы НЕ МЕШАЮТ писать код - их ОПЦИОНАЛЬНО можно запустить на любой стадии разработки. ЗАЧЕМ прогеру во время написания кода ещё и канаёпиться с костылями Раста??
Ответить | Правка | Наверх | Cообщить модератору

315. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
Сообщение от Олег (??), 29-Май-26, 11:16
Погодите, если раст приблизится к плпулярности Си и на нём начнут писать все кому не лень, то ошибок в этих программах будет достаточно. Думаю, даже больше, чем на Си, ввиду усложнённого синтаксиса. Т.к. сейчас мы имеем фанатов, пишущих код на раст (и то с ошибками), а потом это будут нефанаты, которые будут не готовы тратить столько времени на познание его ньюансов. И тогда пойдёт очередной виток разочарования(ещё спадёт эффект новизны), когда будут искать что-то простое. Возможно Си тогда вернётся. Т.к. Си+хороший стат.анализатор (возможно на базе нейронки) будет лучше, чем раст.
Ответить | Правка | Наверх | Cообщить модератору

	343. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Markx (?), 29-Май-26, 16:44
	Это для них слишком сложно, они перепишут все на раст и забьют(уверуют) на безопасность, а любая уязвимость найденная будет расценена как вражеская пропаганда и вообще вы все врёти
	Ответить | Правка | Наверх | Cообщить модератору

317. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
Сообщение от Assador (ok), 29-Май-26, 11:48
Ага! Вот откуда ноги растут у нынешнего хайпа по поиску уязвимостей в ядре! :))
Ответить | Правка | Наверх | Cообщить модератору

319. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
Сообщение от Сладкая булочка (?), 29-Май-26, 12:01
> В качестве примера ошибок в ядре, которые удалось бы избежать при использовании Rust, упомянута ошибка в подсистеме Bluetooth, остававшаяся незамеченной 15 лет, и проблема в гипервизоре Xen. В первом случае разработчик выполнил разыменование указателя без проверки, а во втором забыл снять блокировку в коде обработки ошибок. По словам Грега, большинство ошибок в ядре вызваны подобными мелочами, которые со временем накапливаются и всплывают как уязвимости. Много вопросов. * Ревью не было? Хорошей практикой является как минимум 2 ревьювера или больше. * За 15 лет больше никто код не смотрел? * Статические анализатор не применяли? Пробовали разные или сидите со своим coverity? Тестирование было? На лицо инфраструктурные проблемы в первую очередь.
Ответить | Правка | Наверх | Cообщить модератору

	322. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (321), 29-Май-26, 12:21
	> * Ревью не было? Хорошей практикой является как минимум 2 ревьювера или больше. Скорее всего было. Но людям свойственно ошибаться. > * За 15 лет больше никто код не смотрел? А зачем, если он не менялся? Это же код на СИ! "Один раз написал - работает всегда" (по словам сишников) > * Статические анализатор не применяли? Пробовали разные или сидите со своим coverity? В ядре? Когда в последний раз торвальс решил сделать "варининги = ошибки" то ядро тупо не собралось по причине нагромождения костылей ради "оптимизаций". Сколько там будет false-positive срабатываний? > Тестирование было? Судя по комментам, что-то тестировали. > На лицо инфраструктурные проблемы в первую очередь. Скорее идеологические. Ты не можешь заставить программистов писать тесты или прогонять стат.анализаторы. Так как это не твои сотрудники (большинство коммитеров ядра), ты не платишь им зарплату, ты не можешь их уволить (и не хочешь, так как кто тогда будет писать код).
	Ответить | Правка | Наверх | Cообщить модератору

	350. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (339), 29-Май-26, 19:21
	> Это же код на СИ! "Один раз написал - работает всегда" (по словам сишников) Врёшь
	Ответить | Правка | Наверх | Cообщить модератору

323. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
Сообщение от Сладкая булочка (?), 29-Май-26, 12:24
> Более того, внедрение поддержки Rust уже оказало благотворное влияние и на Си-код в ядре благодаря приведению в порядок Си-кода и интерфейсов, а также заимствованию некоторых приёмов разработки (например, были реализованы блокировки с ограниченной областью видимости). Ну это же не так. Scope-based Cleanup Helpers (https://www.kernel.org/doc/html/v6.13/core-api/cleanup.html) основаны на gcc расширении от 2003 гоа. И перешли они только после перехода на с11 в 2022 году в Linux 5.18. https://lwn.net/Articles/934679/ - где тут хотя бы слово про раст?
Ответить | Правка | Наверх | Cообщить модератору

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

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