Гален Хант (Galen Hunt), управляющий директор Microsoft Azure Sphere и бывший руководитель группы по развитию операционных систем в подразделении Microsoft Research, представил исследовательский проект по созданию инструментов, комбинирующих AI с традиционными алгоритмами, для автоматизированного переписывания крупнейших кодовых баз Microsoft на языке Rust. Целью проекта заявлено полное исключение языков C и C++ из кодовых баз Microsoft до 2030 года. В качестве миссии упоминается устранение технического долга в масштабных проектах. Отмечается, что разрабатываемая инфраструктура для обработки кода ориентирована на возможность одному инженеру за месяц переводить миллион строк кода. Проект развивается в подразделении Microsoft CoreAI...Подробнее: https://www.opennet.dev/opennews/art.shtml?num=64479
Учитывая, как чатботы пишут на расте… Ну, успехов им в самозакапывании, пользователи уже в восторге.
https://code.visualstudio.com
А причём тут чатботы? Нормальные люди сами код пишут.
При том, что в новости написано
Баклан, это не значит, что они через чат бота код будут писать. Это значит, что они обучат сетку на своем коде и будут скармливать ей код модулями и частями. А человек будет апрувить мерж реквесты грубо говоря.
> Баклан, это не значит, что они через чат бота код будут писать....
> одному инженеру за месяц переводить миллион строк кода. Проект
> развивается в подразделении Microsoft CoreAI.Как еще вы миллион строк сможете скормить инженеру как не ботами? Походу лобовая реализация анекдота про "могу 1000 знаков в минуту, правда такая фигня получается!" :)
Нейросетки в паре с индусами... может майкам завершить цикл оптимизации и уволить R&D совсем. Оставить пяток топов, те при помощи AI и такой-то матери смогут сменить дефолтную обоину и отребрендить систему для продажи. А новые фичи и прочий девелоп - да нафиг, представляете сколько денег можно сэкономить если выпереть 70 000 сотрудников на мороз?!
> Учитывая, как чатботы пишут на расте… Ну, успехов им в самозакапывании, пользователи уже в восторге.ИМХО, разницы будет никакой. Все последние их релизы что-то ломают,
в новостях то и дело проскакивает - "не ставьте Update XYZ, а то у вас все накроется медным тазом".Так что, мне кажется и переписывание brainfuck им хуже не сделает.
Молодцы. Переход на раст - единственный способ не остаться на обочине истории. Линукс как всегда будет сильно отставать, а Мак как был конченым во всём, что они делают - так и останется. Потому что иначе Апл не умеет.
Какой обочине? Какой истории? Что за инфантильный лепет. Это сделано для того, чтобы соответствовать требованиям АНБ в плане безопасного кода, для участия в госзакупках. Также они вложили баснословные бабки в так называемый ИИ, который не оправдывает свой хайп, вот руководство и мечется в надежде хоть как-то оправдать затраты.
> Это сделано для того, чтобы соответствовать требованиям АНБ в плане безопасного кода,Это сделано для того, что бы перейти на инструмент следующего поколения и сократить количество ошибок и боли при разработке.
Решение перейти на раст они приняли задолго до того, как начали поступать оф рекомендации, когда раст уже держал первое место в мире по желаемому и любимому ЯП несколько лет.
> Также они вложили баснословные бабки в так называемый ИИ, который не оправдывает свой хайп
Откуда ты знаешь, чего он оправдывает а чего нет? Очевидно же что ты не пользуешься топовыми моделями для агентной разработки. Причём, антиИИчники все такие - выдают свои фантазии за реальность, сами ничего не понимая и не имея опыта.
> Это сделано для того, что бы перейти на инструмент следующего поколения и сократить количество ошибок и боли при разработкеЧел, кому ты это рассказываешь? 95% местных экспертов никакого отношения к разработке не имеют, а боль у них вызывает лишь сама попытка понять синтаксис Раста. 😂
тоже не понимаю зачем этим "95%" писать такой "поток сознания", чтобы что, какой смысл для читателей опеннета?ну MS частная компания, раст-не раст, раз делают, значит для чего-то им надо
мне было бы интересно если в комментах реальные разработчики чего то продуктового как в MS, написали как у них
Вот Вы своей тутумкой подумайте: зачем роботу писать код на человеческом языке? Это непродуктивно и вызывает ошибки.
Роботу удобнее ассемблер или байт-код.
Решение мелкомягких это маленький шаг на пути самоустранения кожанных мешков.
>зачем роботу писать код на человеческом языке? Это непродуктивно и вызывает ошибки.Роботу удобнее ассемблер или байт-код.
Не очевидно. "Робот", то есть LLM — вероятностный генератор текстов. Результат его работы в виде текста на языке высокого уровня ещё поддаётся какой-то проверке. Если же генерировать прямо машинный код, то проверить корректность будет намного труднее.
> Это сделано для того, чтобы соответствовать требованиям АНБ в плане безопасного кодаПхахаха! АНБ юзают Винду, да еще и переживают за ее безопасный код? Где Винда и где безопасность, лол. 🤣
> Что за инфантильный лепет.
Во-во, новые перлы от местных экспертов в информационной безопасности. Ты еще скажи, что АНБ самолично будут проводить аудиты этого дырявого by design решета для домозозяек. 🤣
Хватит чушь нести. В АНБ юзают SELinux, который практически для них и был разработан.
Ты никогда не слышал как авианосцы из строя выходили?
>АНБ юзают Винду, да еще и переживаютВинда и есть проект АНБ. ОС/2 под нее не просто так слили, нужна была мутная вода.
>Линукс как всегда будет сильно отставатьТак же как линукс сейчас отстает от виндовс в таких направлениях как: Севера, мобильные устройства, сетевые устройства, встраиваемая техника, супер компьютеры.
Эх жалко этот линукс, все отстает и отстает.
ну, там чисто ядро и чуть софта)
Слишком толсто. Попробуйте потоньше.
Линукс тоже сильно завяжется на раст (начало положено) и также останется топовым серверным решением.
Это способ отодвинуть от кормушки госзаказов конкурентов.Протолкнуть безумное требование и только самим его выполнить.
Эта шарманка повторяется из раза в раз.
Потому у них и самолеты проектируемые такие отстойные.
Думаю использование 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 от бекенда С++, почему Си шарп и компиляторы виндовса, почти вся цепочка на С++? для начала если корпорации надо что-то там переписать, пускай сначала перепишет, а потом говорит о безопасности, а то они вкладываются в развитие С++, Раст буквально использует кодовую базу С/С++, а вместо того, чтобы если им кажется не безопасно, они продолжают использование С/С++, но начинают говорить, что окружающие не должны этими инструментами пользоваться, и выражаться это будет тем, что упадёт качество разработки и новому разработчику скажут пиши на Раст, не изменив всю вообще кодовую свою базу в том числе и Раста на раста полноценно включая бекенд
Чем больше верят твоему вранью конкупенты, тем успешней твоя корпорация. Раст прямо идеальный вариант слить большинство соперников -- весь код дороже и дольше в разработке.
это почти тоже самое, что под ZX-Spectrum программировать из под Винды на ПК - ну нормально получается, даже лучше, чем у профи в 80х годах на самом Спектируме...
на это еще так можно посмотреть, получается индустрия ждёт тех сигм, Ритчи и Томпсона, но они не появляются прям сейчас, поэтому пока всё так и идёт, придут Ритчи и Томпсон и всё сделают элегантно, но есть вероятность что не или да, как то так еще можно взглянуть
По-твоему та фигнюшка на расте, которая транслирует rust в llvm-ir это и есть компилятор? Компилятор тут все же плюсовый - этот тот, который llvm-ir компилирует в ассемблер.
Рад за раста, но бекенд у раста LLVM который весь написан на плюсах, в винде так же требует Visual studio. Реализация раста в gccrs на C++
Для винды есть два тулчейна - на msvc и на gnu https://rust-lang.github.io/rustup/installation/windows.html. Поэтому вижуалстудия не обязательна.
> Проект Microsoft по использованию AI для перевода кодовой базы с C/C++ на RustНе для переписывания, а для перевода. Смотри не перепутай.
Если речь о комбинировании вместе с традиционным, то это вполне осуществимо. Вопрос только в объёме кода переводимого таким образом и какая нагрузка будет на человека, кто этим будет заниматься. Статический язык с расширенными compile-time проверками вроде Rust не даст писать откровенный бред хотя бы в структурах. И для существующего кода наверняка есть не мало разного рода тестов. Если организовать итерации генерация кода - компиляция/прогон тестов, то может на выходе что-то и получится.
Тут вопрос не в качестве итогового кода, его наверняка тоже будут как-то пытаться контролировать. Вопрос скорее в экономической целесообразности - если окажется лучше некой критической точки, то процесс в любом случае запустят. Предполагаю тех долг там не в реализации "чего-то", а какие-то нештатные ситуации, которые проявляются в "високосный год под полной луной". Воспроизвести сложно, а "исправление" не факт что не приведёт к каким-то другим проблемам чаще/больше. Из-за этого и боятся просто так лезть в уже "обкатанные" части. Видимо надеются, что Rust им тут поможет. Посмотрим, время покажет...
Недавно один AI проект компилировал в исполняемые файлы (.exe под Windows) и работает быстрее просто Python вроде. А если на Rust написать то ещё быстрее будет. Только:>> Целью проекта заявлено полное исключение языков C и C++ из кодовых баз Microsoft до 2030 года. В качестве миссии упоминается устранение технического долга в масштабных проектах. Отмечается, что разрабатываемая инфраструктура для обработки кода ориентирована на возможность одному инженеру за месяц переводить миллион строк кода.
Врать не надо про реальные цели. Сколько проектов уже было когда заявлялись цели типа "не обращайте на нас внимание", а потом (для кого-то внезапно) оказывалось что цели то совсем другие. И ИИ написанный на RUST оптимизированный под какое-либо железо сможет не только указанное сделать. Вообще-то ИИ на rust уже существуют и я использую в работе только для других целей. С другой стороны Майкрософт фактически сказала что больше для меня работы не будет, ну и ладно. Куда потом деться интроверту?
Для такой амбициозной цели необходимо сначала стандартизировать Rust ABI и предоставить альтернативу Windows API с его поддержкой. В противном случае, когда в системе всё динамическое связывание останется исключительно через unsafe extern "C", от UB избавиться всё равно не получится.
ну теперь точно винде капец
> бывший руководитель группы по развитию операционных систем в подразделении Microsoft Research,Это тот чувак который уже захватил мир с своим Singularity и .net? :))
> представил исследовательский проект
...по убиению софтварных проектов, ибо кто это потом сможет поддерживать? Врядли сишники которые это писали станут макаться в AI-generated Rust. А индусов хоть кнутуй, хоть не кнутуй, все равно получишь... GUI.
Технический долг устранять путем переписывания когда на Rust при помощи AI звучит весело.
Звучит даже не просто как выстрел из дробовика в ногу, а как целенаправленное засовывание этой ноги под пресс.
С другой стороны мне всегда казалось что синтаксис раста сделан для того чтобы на нем писала AI а не люди, люди нужны чтобы научить AI. Видимо так и выходит.
Я переписывал недавно либу с плюсов на раст с помощью коптлота. Копилот неплохо понимает подобный класс задач и в целом с основной работой справился - ушло две недели. Естественно все под внимательным надзором.Проблемой являются биндинги. К примеру апи на питоне я "переписываю" к этой либе уже месяц.
Обернуть всё в unsafe много ума не надо.
Poets of the Fall - Carnival of RustОни что-то знали...
Я одного не понимаю. Раст - это радикально всё другое. Мир такого не любит. Мир любит плавные движения. Почему в с/с++ плавно не добавить безопасность? Например, добавить на уровне компилятора ошибку при использовании голых указателей. Добавить тип типа mem_t, который будет нести в себе под капотом указатель и размер. И т.д.
Тут другое у Майков есть собственный самими сделанный компилятор и Си и Си++, но они хотят перейти на язык, который пилят васяны. Это ор выше гор.
Да это можно сделать на уровне линтеров. Но в 1х, мало кто захочет работать в наручниках (растеров сильно меньше чем с/с++), а во 2х, начальники любят тренды и баззворды, "безопастный код", "эйай" и т.д. и т.п.
Какой-то менеджер решил выпендриться. Жаль этого добряка.