Гален Хант (Galen Hunt), управляющий директор Microsoft Azure Sphere и бывший руководитель группы по развитию операционных систем в подразделении Microsoft Research, представил исследовательский проект по созданию инструментов, комбинирующих AI с традиционными алгоритмами, для автоматизированного переписывания крупнейших кодовых баз Microsoft на языке Rust. Целью проекта заявлено полное исключение языков C и C++ из кодовых баз Microsoft до 2030 года. В качестве миссии упоминается устранение технического долга в масштабных проектах. Отмечается, что разрабатываемая инфраструктура для обработки кода ориентирована на возможность одному инженеру за месяц переводить миллион строк кода. Проект развивается в подразделении Microsoft CoreAI...Подробнее: https://www.opennet.ru/opennews/art.shtml?num=64479
Учитывая, как чатботы пишут на расте… Ну, успехов им в самозакапывании, пользователи уже в восторге.
https://code.visualstudio.com
А причём тут чатботы? Нормальные люди сами код пишут.
При том, что в новости написано
Молодцы. Переход на раст - единственный способ не остаться на обочине истории. Линукс как всегда будет сильно отставать, а Мак как был конченым во всём, что они делают - так и останется. Потому что иначе Апл не умеет.
Какой обочине? Какой истории? Что за инфантильный лепет. Это сделано для того, чтобы соответствовать требованиям АНБ в плане безопасного кода, для участия в госзакупках. Также они вложили баснословные бабки в так называемый ИИ, который не оправдывает свой хайп, вот руководство и мечется в надежде хоть как-то оправдать затраты.
> Это сделано для того, чтобы соответствовать требованиям АНБ в плане безопасного кода,Это сделано для того, что бы перейти на инструмент следующего поколения и сократить количество ошибок и боли при разработке.
Решение перейти на раст они приняли задолго до того, как начали поступать оф рекомендации, когда раст уже держал первое место в мире по желаемому и любимому ЯП несколько лет.
> Также они вложили баснословные бабки в так называемый ИИ, который не оправдывает свой хайп
Откуда ты знаешь, чего он оправдывает а чего нет? Очевидно же что ты не пользуешься топовыми моделями для агентной разработки. Причём, антиИИчники все такие - выдают свои фантазии за реальность, сами ничего не понимая и не имея опыта.
раст уже держал первое место в мире по желаемому и любимомудрочь и прон
> Это сделано для того, что бы перейти на инструмент следующего поколения и сократить количество ошибок и боли при разработкеЧел, кому ты это рассказываешь? 95% местных экспертов никакого отношения к разработке не имеют, а боль у них вызывает лишь сама попытка понять синтаксис Раста. 😂
тоже не понимаю зачем этим "95%" писать такой "поток сознания", чтобы что, какой смысл для читателей опеннета?ну MS частная компания, раст-не раст, раз делают, значит для чего-то им надо
мне было бы интересно если в комментах реальные разработчики чего то продуктового как в MS, написали как у них
Вот Вы своей тутумкой подумайте: зачем роботу писать код на человеческом языке? Это непродуктивно и вызывает ошибки.
Роботу удобнее ассемблер или байт-код.
Решение мелкомягких это маленький шаг на пути самоустранения кожанных мешков.
> Это сделано для того, чтобы соответствовать требованиям АНБ в плане безопасного кодаПхахаха! АНБ юзают Винду, да еще и переживают за ее безопасный код? Где Винда и где безопасность, лол. 🤣
> Что за инфантильный лепет.
Во-во, новые перлы от местных экспертов в информационной безопасности. Ты еще скажи, что АНБ самолично будут проводить аудиты этого дырявого by design решета для домозозяек. 🤣
Хватит чушь нести. В АНБ юзают SELinux, который практически для них и был разработан.
Ты никогда не слышал как авианосцы из строя выходили?
>Линукс как всегда будет сильно отставатьТак же как линукс сейчас отстает от виндовс в таких направлениях как: Севера, мобильные устройства, сетевые устройства, встраиваемая техника, супер компьютеры.
Эх жалко этот линукс, все отстает и отстает.
ну, там чисто ядро и чуть софта)
Слишком толсто. Попробуйте потоньше.
Линукс тоже сильно завяжется на раст (начало положено) и также останется топовым серверным решением.
Это способ отодвинуть от кормушки госзаказов конкурентов.Протолкнуть безумное требование и только самим его выполнить.
Эта шарманка повторяется из раза в раз.
Потому у них и самолеты проектируемые такие отстойные.
Думаю использование AI в подобных проектах-хорошая мысль. Этот опыт, даже при неудачном раскладе, даст Microsoft большое преимущество перед другими компаниями.
это замена джунов для толковых инженеров, вся работа - механическая. так и описано в новости)
Толковые инженеры вряд ли захотят разгребать пириписьканный ИИ гуанокод. Надеюсь, что в Штатах все еще есть для них какая-то более инженерная работа. Электриком там в DC, или водителем погрузчика на складе амазон, чтоб далеко от faang не отходить. Правда, за образование придется заплатить снова.Целесобразным представляется привлечь к этому делу негров.
Амбициозно и правильно. Microsoft наконец-то решила взяться за технический долг системным, а не точечным способом. Переписывание миллионов строк C/C++ на Rust с помощью гибридного AI-инструмента — это единственный реалистичный путь для компании такого масштаба. Цель до 2030 года выглядит агрессивно, но если они действительно дадут инженеру возможность "конвертировать" миллион строк в месяц, шансы есть. Это не просто смена языка — это фундаментальное повышение безопасности и надёжности ядра их продуктов. Жду, когда подобные инструменты станут доступны и для внешних разработчиков.
Ты абсолютно прав! Если будут еще какие-либо вопросы, то не стесняйся спрашивать!
Твой зоркий глаз заметил логическую ошибку в блоке unsafe! Сейчас мы переделаем твой код!
индусы будут проверять ИИ или ИИ индусов.
ИИ - это пузырь. Пойдёт на спад и снова хлынут на вторичный рынок железки после ии-ферм как когда-то после майнинговых.
Ну, это, конечно, амбициозно! Хант, видимо, решил, что пора серьезно взяться за старый код Microsoft. Я, честно говоря, в это немного
не верю в один месяц на миллион строк – это как-то очень оптимистично. Но идея с использованием AI и Rust для переписывания таких
огромных кодовых баз, чтобы избавить компанию от технического долга, вполне логична. Сложно представить, что они реально смогут так
быстро это сделать, но, возможно, в итоге они смогут значительно ускорить процесс и сократить количество ошибок. Интересно, как CoreAI
будет все это реализовывать. Будем посмотреть, что из этого получится.
Участвуя в проекте Microsoft, выражаю сомнение относительно его целей и достижимости. Поскольку языки C и C++ остаются
основными в разработке приложений на платформе Windows, устранение их из кодовых баз Microsoft по мотивам «устранения
технического долга» может быть просто необходимым элементом в процессе реорганизации компании. С другой стороны,
замена языков вызывает ряд проблем, которые могут оказать существенное влияние на результаты разработки. В частности,
согласно статье, потребуется переписывать и перенастраивать более миллиона строк кода. Это может привести к
значительному снижению производительности программного обеспечения и увеличению сложности его поддержки в будущем.
Кроме того, процесс разработки на языке Rust может быть непомерно медленным по сравнению со старыми языками C и C++.
Относительно использования AI, оно представляет собой простой инструмент для автоматизации определённых видов задач
разработки, а не принципиальной решения проблемы.
в винде на C# пишут всё, что не низкоуровнево-системное. Люблю дотнетик
О, нейросети в комменты подъехали. Ну ты бы хоть подредачил текст, а то уши за версту торчат.
Это, вероятно, была "постирония". Текст очевидно сгенерен ИИ, который сам же и пишет: являясь участником проекта мелкомягких (ИИ же будет код переписывать), грит, выражаю сомнения относительно этого проекта...
Ну пока выглядит не как проект, а как анонс очередного эффективного менеджера о том, что он хочет.
Масштабно. С потенцывалом наконец прибить Мелкософт))Meowshallah!
Ахаха)) Ну удачи) Теперь понятно, откуда ветер дует. Чего только не придумают, чтобы это байду внедрить, а оно всё никак… Теперь растовчан ожидает копание в сгенерированном ИИ обфусцированном говнокоде долгими зимними вечерами)
Вопросы, которые у меня есть к Rust:
Как включить реле с номером usb_x_n на проводе USB?
Как выставить положение серводвигателя в положение x_value, и прочесть обратную связь положения x_value?
Как прочесть контактный сенсор usb_x_on, и как прочесть значение сенсора usb_x_value?
В МОПС Линукс 5.1 это делалось на бейсике, набрасывая код на тетрадке с коричневыми кружками от кофейной кружки, и работало.
Так же, как на С.
Нравится бейсик, делайте на бейсике. Раст вообще не про это. Хочется стильно-молодёжно манипулировать байтиками? Используйте Zig или C3
В новость не верю, это пиар виндовс или паста, пока не перепишут всю базу с последующей полной поддержкой продукта виндовс без с с++, и звучит это безумно по зависимости считаю с и с++ там самое место, просто можно предположить что падает качество разработчиков
Смачный кликбейтный заголовок новости, выглядит как жирный троллинг :) Прожигание диванов гарантируется!
Но во первых, это исследовательский проект
Во вторых какой именно код они собираются переводить?
И в третьих, как они собираются делать этот перевод - методы разработки на C и тем более C++ сильно отличаются - на Rust скорее инженерно более правильно было бы разработать новый код, с другими архитектурными приемами, а это совсем другая задача, учитывая что ИИ дает много ошибок, галлюцинаций и т п.
Потом тестирование этого переписанного кода - это тоже на Rust?
Тестирование, проверка на производительность, утечки, соответствие ТЗ, снова разработка, тестирование - цикл разработки автор новости себе представляет?
Книжька есть такая Инженерия программного обеспечения, всем рекомендую пачитать.
Ключевыми словами должны быть "управляющий директор", "бывший руководитель группы" (т.е. не разработчик, по гитхабу видно), "исследовательский проект", "по созданию инструментов" (т.е. не переписывание, а написание кодогенераторов, которые перепишут). Результат уже отсюда можно прозреть.
Целью проекта заявлено полное исключение языков C и C++ из кодовых баз Microsoft до 2030 года.вот что является ключевыми словами. А не твои поиски между строчек.
(ну а что управляющий директор ажуры вообще не является тем чуваком которому можно что-то трогать за ее пределаами, и не ему такие решения дозволено принимать - это вот да, за скобками. Но в самой ажуре что-нибудь испортить у него вполне получится. Смотри, смотри - аж целый ДИРЕКТОР взялся за код! Точно взлетит! Ну или хотя бы всплывет...)
С учётом вот начала третьего абзаца, да, уже всплыло :)
Хоть бы ошибки в вычислениях формул и в справке Excel исправили. Лет 25 уже прошло, а воз всё там же.
Это безопастные ошибки! Они от переписывания на безопастных йезычках станут еще безопастнее!А вот исправить их продравшись через бредогенеренные километры закорючек - теперь уже ни один Кумар не сможет.
Не достаточно мощных слов, боюсь что денег получится освоить. Надо еще 10ток подтянуть. Опять же где блокчейн, как то все про него бедного забыли.
> Опять же где блокчейн, как то все про него бедного забыли.Здесь всё ОК - каждый новый пузырь затмевает предыдущий. Следующий - квантовые вычисления.
Одним заголовком новости рассказали весь анекдот про переписывание на расте.
А зачем тогда rust? Пусть AI сразу создаёт машинный код.
Тогда теряется весь смысл. А смысл - переписать C/C++ на Rust. "Пришивание подворотничка к воротничку" (с) ДМБ
Rust обещает избавить нас от грехов C++, но сам компилятор Rust (rustc) и его бэкенд (LLVM) — это гигантские нагромождения кода на C++. С точки зрения строгой логики, если в компиляторе C++ (которым собирали LLVM) есть ошибка или закладка, то безопасность Rust-кода становится иллюзией.
Есть знаменитая лекция Кена Томпсона «Reflections on Trusting Trust». Суть её в том, что вы не можете доверять коду, который вы не создали полностью сами (включая компилятор и железо). Пока компилятор Rust зависит от библиотек C++, написанных на тех же «небезопасных» принципах, мы действительно имеем дело с парадоксом: мы строим крепость из высокотехнологичного бетона, но мешаем этот бетон в ржавой бетономешалке, которая подсыпает в него песок.
Всё ясно. Надо переписать LLVM на Rust. Ну или хотя бы на Ocaml.
си шарп написан на С++
Rust создавался на OCaml, но сегодня компилятор написан на самом Rust
почему зависимости лезут от FFI от бекенда С++, почему Си шарп и компиляторы виндовса, почти вся цепочка на С++? для начала если корпорации надо что-то там переписать, пускай сначала перепишет, а потом говорит о безопасности, а то они вкладываются в развитие С++, Раст буквально использует кодовую базу С/С++, а вместо того, чтобы если им кажется не безопасно, они продолжают использование С/С++, но начинают говорить, что окружающие не должны этими инструментами пользоваться, и выражаться это будет тем, что упадёт качество разработки и новому разработчику скажут пиши на Раст, не изменив всю вообще кодовую свою базу в том числе и Раста на раста полноценно включая бекенд
> Проект Microsoft по использованию AI для перевода кодовой базы с C/C++ на RustНе для переписывания, а для перевода. Смотри не перепутай.
Если речь о комбинировании вместе с традиционным, то это вполне осуществимо. Вопрос только в объёме кода переводимого таким образом и какая нагрузка будет на человека, кто этим будет заниматься. Статический язык с расширенными compile-time проверками вроде Rust не даст писать откровенный бред хотя бы в структурах. И для существующего кода наверняка есть не мало разного рода тестов. Если организовать итерации генерация кода - компиляция/прогон тестов, то может на выходе что-то и получится.
Тут вопрос не в качестве итогового кода, его наверняка тоже будут как-то пытаться контролировать. Вопрос скорее в экономической целесообразности - если окажется лучше некой критической точки, то процесс в любом случае запустят. Предполагаю тех долг там не в реализации "чего-то", а какие-то нештатные ситуации, которые проявляются в "високосный год под полной луной". Воспроизвести сложно, а "исправление" не факт что не приведёт к каким-то другим проблемам чаще/больше. Из-за этого и боятся просто так лезть в уже "обкатанные" части. Видимо надеются, что Rust им тут поможет. Посмотрим, время покажет...
Недавно один AI проект компилировал в исполняемые файлы (.exe под Windows) и работает быстрее просто Python вроде. А если на Rust написать то ещё быстрее будет. Только:>> Целью проекта заявлено полное исключение языков C и C++ из кодовых баз Microsoft до 2030 года. В качестве миссии упоминается устранение технического долга в масштабных проектах. Отмечается, что разрабатываемая инфраструктура для обработки кода ориентирована на возможность одному инженеру за месяц переводить миллион строк кода.
Врать не надо про реальные цели. Сколько проектов уже было когда заявлялись цели типа "не обращайте на нас внимание", а потом (для кого-то внезапно) оказывалось что цели то совсем другие. И ИИ написанный на RUST оптимизированный под какое-либо железо сможет не только указанное сделать. Вообще-то ИИ на rust уже существуют и я использую в работе только для других целей. С другой стороны Майкрософт фактически сказала что больше для меня работы не будет, ну и ладно. Куда потом деться интроверту?