Гален Хант (Galen Hunt), управляющий директор Microsoft Azure Sphere и бывший руководитель группы по развитию операционных систем в подразделении Microsoft Research, представил исследовательский проект по созданию инструментов, комбинирующих AI с традиционными алгоритмами, для автоматизированного переписывания крупнейших кодовых баз Microsoft на языке Rust. Целью проекта заявлено полное исключение языков C и C++ из кодовых баз Microsoft до 2030 года. В качестве миссии упоминается устранение технического долга в масштабных проектах. Отмечается, что разрабатываемая инфраструктура для обработки кода ориентирована на возможность одному инженеру за месяц переводить миллион строк кода. Проект развивается в подразделении Microsoft CoreAI...Подробнее: https://www.opennet.me/opennews/art.shtml?num=64479
Учитывая, как чатботы пишут на расте… Ну, успехов им в самозакапывании, пользователи уже в восторге.
https://code.visualstudio.com
именно о подобном "качестве" и речь
Мне кажется если нужно просто переписать существующий код, с помощью ai быстрее чем без.
Основная сложность думаю это переучить всех ситников на раст.а это уже другой масштаб.
Rust посредственный язык который ничем не лучше чем C++. bykozy Rust is a disappointmentRust не предназначен для программ использующих разделяемое состояние в многопоточной среде в принципе. Так что флаг в руки и барабан на шею микрософтовцам в переписывании.
"В частности, графический интерфейс пользователя (GUI) использует изменяемое общее состояние. Поэтому мы не видим крупных проектов с GUI на Rust. Zed IDE всё ещё находится в бета-версии уже много лет — я почти чувствую боль разработчиков, пробирающихся сквозь джунгли проверки заимствований, чтобы понять, что их логика полна ошибок, и им ещё предстоит реализовать десятки других функций. Большие базы данных, масштабируемые сервисы с сохранением состояния, операционные системы, хотя бы значимые модули для Linux? Это ещё предстоит увидеть."
>bykozy Rust is a disappointmentНа Hacker News хорошо так прошлись по этому выс-ру. И автор там присутствовал, и сказать ему в ответ на критику часто было нечего, потому что он толком не знает ни Rust, ни C++, как выяснилось в процессе обсуждения. В итоге автор практически слился, заявив, что статья была шуткой.
>Rust не предназначен для программ использующих разделяемое состояние в многопоточной среде в принципе.Чушь собачья. Никто не запрещает использовать разделяемое состояние в многопоточной среде на Rust. За примерами и ходить далеко не надо. Вот вам примеры многопользовательских СУБД: SurrealDB, TiKV.
>Поэтому мы не видим крупных проектов с GUI на Rust. Zed IDE
Тихо сам с собою я веду беседу...
Для Rust существуют несколько GUI фреймворков. Выбирай на любой вкус. И приложения есть, хотя пока не настолько популярные, как уже имеющиеся.>операционные системы
Redox (любительский проект), часть Андроида, Винды. Да уже и для Линукс процес пошёл.
С тем, что "быстрее", никто не спорит
Июльский эксперимент группы METR показал, что AI-помощники не ускоряют, а замедляют решение поставленных задач, при том, что субъективно участники считали, что AI ускорил их работу.
А причём тут чатботы? Нормальные люди сами код пишут.
При том, что в новости написано
ага, так пишут, что второй месяц после апдейтов у винды крешится эксплорер.ехе при старте и ни в какую работать не хочет.
да пипец что и думать. по идеи, десятка проще и надежнее, но что там началось после октября... то ли спецом валят, то ли даже страшно в каком состоянии 11
ну хоть онлайн полное восстановление сделали, вроде теперь все работает, лишний раз ковырять и ставить галочки показать то, выключить это - не буду. Винду в серьез уже не воспринимаю, шлак полный.
Ты полное восстановление как часто делаешь? Раз в неделю? Тогда согласен, что лучше раз в полгода переустановить Убунту.
> Ты полное восстановление как часто делаешь? Раз в неделю?да я случайно наткнулся на эту опцию :) запустил, скачалась целая винда как апдейт, и установилась как апдейт, в результате - последнее обновление и проблема устранена, настройки системы и программы с данными на месте, хотя всякие dism /online /cleanup-image /restorehealth не помогали.
> Тогда согласен, что лучше раз в полгода переустановить Убунту.
неее, линух надо использовать в линухе яля в виртуалках, ибо хрень полная ваш линух на десктопе.
ты просто пользоваться компьютерами не умеешь. эникейщик, иными словами. привык к определённому софту и интерфейсу и всё, несёшь чушь про "линукс для виртуалок". я уже 10 лет на линуксе как на основной декстопной системе, *отлично себя чувствую*. это скорее винда ваша для виртуалок, раз в пару лет запустить под виртуалбоксом, чтобы какую-то хрень на древнем говнософте открыть, экспортировать для работы в нормальном софте и забыть как страшный сон.
А чё там? У меня обе ОС обновляются и работают.
ну как всегда таск менеджер отвалился, крешится, перезапуск эксплорер.ехе не помогает. крешдампы смотреть в лом, удаляешь обновление и все норм, это после сентябрьского кажись случилось.
Но что-то заголовок новости говорит о другом: "по использованию AI".
> Но что-то заголовок новости говорит о другом: "по использованию AI".Да. Это мелкомягкие, у них всегда всё через одно место.
То ли дело РедХат или Убунту. Или ваш избранный Василий. То есть, Избранный. Chosen One. Простите, понесло :D
>Да. Это мелкомягкие, у них всегда всё через одно место.Это говорит о том, что как минимум, цели мелкомягких не соответствуют ожиданиям пользователей. А пользователям о целях знать не обязательно (и даже вредно).
AI - это не чат боты. Речь скорее всего идет о специализированной сетке/трансляторе.
Не, не взлетит. Технология тут одна -- генеративные сети. Для начала, нужно научить бота писать на расте. А поскольку интеллекта у него не больше, чем у табуретки, единственный способ это сделать -- написать каких-нибудь программ на расте (а не как сейчас) и побольше, чтобы он мог из них копировать паттерны. Потом нужно придумать способ объяснить ему, что переписывание в лоб (большинство программ, на которых он обучался) -- это весьма дурная затея. В общем, классическим попилом бюджетов с имитацией активности пахнет.
Почитай что-нибудь про экспертные системы и транспайлеры. Еще раз AI - это не боты. Боты - это частный случай AI. В таких случаях и на таких масштабах чаще всего используют кумулятивные подходы, никто не говорит, что будет использована ТОЛЬКО генеративная сеть для ВСЕГО кода. Никто не говорит, что будет сидеть программер с открытым окном ChatGPT. Это обывательское представление неспециалистов. Зачем распространять неграмотность?
Я вроде ничего и не говорил о том, что они будут использовать ботов. Я говорил о том, что они будут использовать генеративные сети, и чатбот -- это просто интерфейс к языковой модели, демонстрирующий их полнейшую неприменимость на практике. Чем больше у модели информации по теме наворовано, тем лучше она справляется. Чем меньше, тем больше бреда она выдаёт. Это же относится и к кодогенерации, как только речь заходит не о примитивной трансляции (а трансляция редко применима на практике).
Никакого программера сидящего с открытым окном ChatGPT, просто скрипт отправляющий файлы по одному с запросом переписать на Rust с сохранением совместимости по ABI. Конечно в разные времена термин AI использовали с разными нейросетевыми технологиями. Сейчас же AI называют генеративные LLM, так как людям кажется, что это действительно интеллект, ведь они решают интеллектуальные задачи. Новость же писал не специалист по ИИ, а какой-то гуманитарий.
А эти "нормальные люди" сейчас с тобой в одной комнате? Потому что в m$ одни индусы которым теперь директивно постановили пользовать и насаждать "ai". Нормальными из никак не назвать судя по тому что они делали и делают с w11
У мелкомяхких всегда всё было через одно место. Это нормально для них.
> Учитывая, как чатботы пишут на расте… Ну, успехов им в самозакапывании, пользователи уже в восторге.ИМХО, разницы будет никакой. Все последние их релизы что-то ломают,
в новостях то и дело проскакивает - "не ставьте Update XYZ, а то у вас все накроется медным тазом".Так что, мне кажется и переписывание brainfuck им хуже не сделает.
да недавно это обсуждали - вылавливание багов это нормальный процесс разработки на сях хддд
почему только на расте? они в целом через раз
три-два-разы 321 :D
Не писать, а переписать. По факту, делают транспилятор из С на раст.
Исходники наверняка хорошо покрыты тестами, значит косяки транспиляции можно будет улавливать и соответсвенно улучшать сам подход. В общем, я вижу позитив.С другой стороны, там такая каша в алгоритмах, что переписывание не сильно поможет. То же спагетти, но из других макарон.
так почему это хорошее покрытие не позволяет формировать стабильные не глюкавые релизы?там в коде шляпа полная и чем новее код, тем он говеннее
так и есть. основа, NT, когда ещё заложена была? в лучшем случае там ядро от семёрки, над которым новые_современные_модные спецы работают, а то и из хрюши вообще. вот и результат
О, это точно.
11 винда, начиная точно с 24h2, они там на низком уровне в winapi позаменяли movups на movaps, и это привело к сбоям во всяком шлаке, типа коде защиты Themida, который, как оказалось, стек не равнял под 16 байт.
Это ладно, косяк говна, т.е. Themid'ы., но вот они сломали работу RaiseException - эта функция теперь полагается на rbp, и первым действием пихает туда rsp, а раньше там был аккуратный код, который не полагался на rbp и сохранял значение этого регистра до момента сохранения состояния процессора в память, чтоб в обработчики передавать. Т.е. раньше в обработчик приходил rbp из программы, на момент вызова эксепшена, а теперь обработчик там увидит rbp с адресом стека, который туда новый код запихивает. Это, кстати, тоже ломает работу Themida, лол, т.к. там есть способ подмены jmp на хреноверть с RaiseException, и обработчик Themid'ы брал из сохранённого rbp адрес относительного которого Themida до своих данных обращается и рассчитывает jmp.
Какая внезапная ересь будет с кодом на Расте - можно только догадываться.
Winapi уже во времена nt был просто оберткой над ntdll. Можно внятнее сформулировать мысль: когда и что именно, по-вашему сломали?!
Может Ваша речь об этом https://en.wikipedia.org/wiki/X86_calling_conventions
?
Поржал про тесты. Windows 11 самая глючная из Windows.
Учитывая, как люди переписывают из си на раст…
так решили проблему уже - бот этим займётся хДДД
Ага, хочу посмотреть как бот будет с __asm__ вставками всякими справляться.
Молодцы. Переход на раст - единственный способ не остаться на обочине истории. Линукс как всегда будет сильно отставать, а Мак как был конченым во всём, что они делают - так и останется. Потому что иначе Апл не умеет.
Какой обочине? Какой истории? Что за инфантильный лепет. Это сделано для того, чтобы соответствовать требованиям АНБ в плане безопасного кода, для участия в госзакупках. Также они вложили баснословные бабки в так называемый ИИ, который не оправдывает свой хайп, вот руководство и мечется в надежде хоть как-то оправдать затраты.
> Это сделано для того, чтобы соответствовать требованиям АНБ в плане безопасного кода,Это сделано для того, что бы перейти на инструмент следующего поколения и сократить количество ошибок и боли при разработке.
Решение перейти на раст они приняли задолго до того, как начали поступать оф рекомендации, когда раст уже держал первое место в мире по желаемому и любимому ЯП несколько лет.
> Также они вложили баснословные бабки в так называемый ИИ, который не оправдывает свой хайп
Откуда ты знаешь, чего он оправдывает а чего нет? Очевидно же что ты не пользуешься топовыми моделями для агентной разработки. Причём, антиИИчники все такие - выдают свои фантазии за реальность, сами ничего не понимая и не имея опыта.
> Это сделано для того, что бы перейти на инструмент следующего поколения и сократить количество ошибок и боли при разработкеЧел, кому ты это рассказываешь? 95% местных экспертов никакого отношения к разработке не имеют, а боль у них вызывает лишь сама попытка понять синтаксис Раста. 😂
тоже не понимаю зачем этим "95%" писать такой "поток сознания", чтобы что, какой смысл для читателей опеннета?ну MS частная компания, раст-не раст, раз делают, значит для чего-то им надо
мне было бы интересно если в комментах реальные разработчики чего то продуктового как в MS, написали как у них
Вот Вы своей тутумкой подумайте: зачем роботу писать код на человеческом языке? Это непродуктивно и вызывает ошибки.
Роботу удобнее ассемблер или байт-код.
Решение мелкомягких это маленький шаг на пути самоустранения кожанных мешков.
>зачем роботу писать код на человеческом языке? Это непродуктивно и вызывает ошибки.Роботу удобнее ассемблер или байт-код.
Не очевидно. "Робот", то есть LLM — вероятностный генератор текстов. Результат его работы в виде текста на языке высокого уровня ещё поддаётся какой-то проверке. Если же генерировать прямо машинный код, то проверить корректность будет намного труднее.
> Это сделано для того, чтобы соответствовать требованиям АНБ в плане безопасного кодаПхахаха! АНБ юзают Винду, да еще и переживают за ее безопасный код? Где Винда и где безопасность, лол. 🤣
> Что за инфантильный лепет.
Во-во, новые перлы от местных экспертов в информационной безопасности. Ты еще скажи, что АНБ самолично будут проводить аудиты этого дырявого by design решета для домозозяек. 🤣
Хватит чушь нести. В АНБ юзают SELinux, который практически для них и был разработан.
Ты никогда не слышал как авианосцы из строя выходили?
>АНБ юзают Винду, да еще и переживаютВинда и есть проект АНБ. ОС/2 под нее не просто так слили, нужна была мутная вода.
>Линукс как всегда будет сильно отставатьТак же как линукс сейчас отстает от виндовс в таких направлениях как: Севера, мобильные устройства, сетевые устройства, встраиваемая техника, супер компьютеры.
Эх жалко этот линукс, все отстает и отстает.
ну, там чисто ядро и чуть софта)
Слишком толсто. Попробуйте потоньше.
Линукс тоже сильно завяжется на раст (начало положено) и также останется топовым серверным решением.
Это способ отодвинуть от кормушки госзаказов конкурентов.Протолкнуть безумное требование и только самим его выполнить.
Эта шарманка повторяется из раза в раз.
Потому у них и самолеты проектируемые такие отстойные.
Думаю использование AI в подобных проектах-хорошая мысль. Этот опыт, даже при неудачном раскладе, даст Microsoft большое преимущество перед другими компаниями.
это замена джунов для толковых инженеров, вся работа - механическая. так и описано в новости)
Толковые инженеры вряд ли захотят разгребать пириписьканный ИИ гуанокод. Надеюсь, что в Штатах все еще есть для них какая-то более инженерная работа. Электриком там в DC, или водителем погрузчика на складе амазон, чтоб далеко от faang не отходить. Правда, за образование придется заплатить снова.Целесобразным представляется привлечь к этому делу негров.
> Толковые инженеры вряд ли захотят разгребать пириписьканный ИИ гуанокод.Ровно до тех пор, пока кушать не захочется.
Из какой дыры мира ты пишешь? В норм странах есть норм социалка, от голода не помрёшь.
>В норм странах есть норм социалка, от голода не помрёшь.Перевожу с соевого: в норм странах работающие платят за неработающих. Понятно, что нормальным это считают только неработающие.
> Понятно, что нормальным это считают только неработающие, а также работающие, понимающие, что в любой момент могут стать неработающими по независящим от них причинам.Починил. При таком раскладе неработающему будет хватать только на еду и медицину. Все путешествия за границу, все развлечения, все хобби - удел работающих.
а номер в гостинице 4 или 5 звёзд ?
> Ровно до тех пор, пока кушать не захочется.так электрикам хватает на кушац. ИИ д-лов к электроустановкам подпускать - такое себе...
(как раз Амазон может в красках описать историю с шибкоумнымДГУ)
Инженер сам код не пишет никогда - это работа для ПТУшника. Но сейчас их активно заменяют LLM, что может только радовать. Ибо LLM не имеет неоправданно высокого самомнения, характерного для кодеров, а просто пишет то что ему скажут и как ему скажут.
мб потому что инженер и программист это несколько разное ?
это примерно как сравнивать биолога и хирурга. Вроде бы сходство в чём-то есть, но едва ли многие бы захотели лечь под нож того, кто всю жизнь лишь изучал бабочек южной америки
Ты для начала поищи определение кто такой инженер... Подсказка - это очень и очень широкое понятие.
Но внезапно я с тобой согласен - программист это не инженер. Как например слесарь, сантехник, водитель и т.д. Программирование это навык, которому учат в ПТУ, он не подразумевает наличия высшего образования.
Инженер он ведь Созидатель,
Негоже Инженеру писать код, его задача повиливать и филосовстовать, он творец,
а писать код это работа ПТУшника, кассирши в мире IT).
>> это замена джунов для толковых инженеров, вся работа - механическая. так и описано в новости)А то что западные компании нанимают людей одного поколения это не замена джунов (на маркетологов)? И то что эффективные менеджеры этому подражают, разве нет? Что за обесценивание работы джунов? Помню я после университета себя в компании как рыба в воде чувствовал и побольше многих сеньйоров работающих не по специальности знал в техническом плане. Может кому-то образование ничего не дало, но изучение разнообразной научно-технической информации на самом деле дает некоторые знания, как кому-то не хотелось бы унизить программистов. Мне лично было легко начинать, да и сейчас не особо то и тяжело в техническом плане, характер разве-что, вот это проблема. Вообще если ИИ умеет много в техническом плане и закрывает технические проблемы, то вот для работодателя будет на первое место уже другие характеристики работника занимать.
> это замена джунов для толковых инженеровНет, это замена кое-чего еще, но чего - вам не скажу, буду наблюдать.
ага, научили бы ещё свой ИИ проверять за своим ИИ, и тогда всё получится
Это Опеннетовский бот ИИ или кто-то другой играется?)
Амбициозно и правильно. Microsoft наконец-то решила взяться за технический долг системным, а не точечным способом. Переписывание миллионов строк C/C++ на Rust с помощью гибридного AI-инструмента — это единственный реалистичный путь для компании такого масштаба. Цель до 2030 года выглядит агрессивно, но если они действительно дадут инженеру возможность "конвертировать" миллион строк в месяц, шансы есть. Это не просто смена языка — это фундаментальное повышение безопасности и надёжности ядра их продуктов. Жду, когда подобные инструменты станут доступны и для внешних разработчиков.
Ты абсолютно прав! Если будут еще какие-либо вопросы, то не стесняйся спрашивать!
Твой зоркий глаз заметил логическую ошибку в блоке unsafe! Сейчас мы переделаем твой код!
ИИ - это пузырь. Пойдёт на спад и снова хлынут на вторичный рынок железки после ии-ферм как когда-то после майнинговых.
Это правда? Не знал.
Нагенеренная фейковая с*рань останется и будет расти.
"Пузырь" - это финансовый термин. К технологиям он отношения не имеет. Тут обсуждаются технологии, а не финансовая система.
Майнинг тоже был пузырем и э, внезапно, он тоже был технологией а не финансами. И что?
И прекрасно занимает свою нишу.
И куда ты эти железки засунешь?
Всем по 128gb б/у DDR5!
Туда же куда и старые зионы и обмайненные видеокарты.
Ну, это, конечно, амбициозно! Хант, видимо, решил, что пора серьезно взяться за старый код Microsoft. Я, честно говоря, в это немного
не верю в один месяц на миллион строк – это как-то очень оптимистично. Но идея с использованием AI и Rust для переписывания таких
огромных кодовых баз, чтобы избавить компанию от технического долга, вполне логична. Сложно представить, что они реально смогут так
быстро это сделать, но, возможно, в итоге они смогут значительно ускорить процесс и сократить количество ошибок. Интересно, как CoreAI
будет все это реализовывать. Будем посмотреть, что из этого получится.
Участвуя в проекте Microsoft, выражаю сомнение относительно его целей и достижимости. Поскольку языки C и C++ остаются
основными в разработке приложений на платформе Windows, устранение их из кодовых баз Microsoft по мотивам «устранения
технического долга» может быть просто необходимым элементом в процессе реорганизации компании. С другой стороны,
замена языков вызывает ряд проблем, которые могут оказать существенное влияние на результаты разработки. В частности,
согласно статье, потребуется переписывать и перенастраивать более миллиона строк кода. Это может привести к
значительному снижению производительности программного обеспечения и увеличению сложности его поддержки в будущем.
Кроме того, процесс разработки на языке Rust может быть непомерно медленным по сравнению со старыми языками C и C++.
Относительно использования AI, оно представляет собой простой инструмент для автоматизации определённых видов задач
разработки, а не принципиальной решения проблемы.
в винде на C# пишут всё, что не низкоуровнево-системное. Люблю дотнетик
О, нейросети в комменты подъехали. Ну ты бы хоть подредачил текст, а то уши за версту торчат.
Это, вероятно, была "постирония". Текст очевидно сгенерен ИИ, который сам же и пишет: являясь участником проекта мелкомягких (ИИ же будет код переписывать), грит, выражаю сомнения относительно этого проекта...
> О, нейросети в комменты подъехали. Ну ты бы хоть подредачил текст, а то уши
> за версту торчат.Ух ты, майкрософт выпустил в интернет ботов топящих за винду? Идея так то шикарная. А мы их постепенно переучим, показал что Linux круче. Они и доложат маркетингу - что, мол, сворачивайте уже винду нафиг, пингвин ваше все. Акционеры посмотрят на структуру профитов да и ACKнут этот курс действий :)
Ну пока выглядит не как проект, а как анонс очередного эффективного менеджера о том, что он хочет.
ничего другого и не видим, особо))
Масштабно. С потенцывалом наконец прибить Мелкософт))Meowshallah!
Ахаха)) Ну удачи) Теперь понятно, откуда ветер дует. Чего только не придумают, чтобы это байду внедрить, а оно всё никак… Теперь растовчан ожидает копание в сгенерированном ИИ обфусцированном говнокоде долгими зимними вечерами)
Вопросы, которые у меня есть к Rust:
Как включить реле с номером usb_x_n на проводе USB?
Как выставить положение серводвигателя в положение x_value, и прочесть обратную связь положения x_value?
Как прочесть контактный сенсор usb_x_on, и как прочесть значение сенсора usb_x_value?
В МОПС Линукс 5.1 это делалось на бейсике, набрасывая код на тетрадке с коричневыми кружками от кофейной кружки, и работало.
Так же, как на С.
Нравится бейсик, делайте на бейсике. Раст вообще не про это. Хочется стильно-молодёжно манипулировать байтиками? Используйте Zig или C3
Тогда Лазарус и Паскаль. Книга называется "Пей АН Сопряжение ПК с внешними устройствами"
Кстати, похоже, C3 - молоток. Был бы, если бы был автономный, под Apache 2.0, хотя бы, а не к LLVM привязан.
> В МОПС Линукс 5.1 это делалось на бейсике, набрасывая код на тетрадке
> с коричневыми кружками от кофейной кружки, и работало.И как, простите, выгладело реле? У usb нет стандартного класса "реле". В лучшем случае GPIO какое-нибудь. И так то - для GPIO с тех пор апю малость поменяли так то.
>В МОПС Линукс 5.1Господи, "воспоминание разблокировано".
С помощью @unsafe, как всегда.
Не забудь обернуть unsafe в core-sys что бы уже остальные нормально могли писать на защищзенном подмножестве API
У вас нет доступа к хорошему ИИ, что бы получить ответы на все эти вопросы за несколько минут? Интересно кстати насколько быстро недоступность ИИ приведёт к гигантскому техническому и образовательному разрыву между РФ и другими странами.
Думаю с образованием будет все отлично, если человек хоть когда-то будет решать задачи сам, а не бегать с любым вопросом к ИИ.
Образование - это закачивание известных знаний в голову.Решение задач - это навык. У которого, кстати, есть и теоретическая часть тоже, которой можно обучиться через ИИ.
Выбор не "или ИИ, или сам учишься решать задачи". Ты всегда учишься решать задачи, ИИ - это всемирная база знаний прежде всего. Которая в том числе знает как решать задачи, которые уже были решены. 99.9% людей требуется не мировые открытия делать, а хотябы научиться тому, что уже известно и с пользой это применять.
Лучший учитель для уже известных знаний - ИИ.
Без доступа к топовому ИИ страна очень быстро отстанет в интеллектуальном развитии.
Вот только кто даст гарантию что нейросеть тренировали н анормальных актуальных данных, а не на шлаке с Педовикии и Шитхаба?
>Вот только кто даст гарантию что нейросеть тренировали н анормальных актуальных данных, а не на шлаке с Педовикии и Шитхаба?Их обучали на всём содержимом интернета, но хорошие источники имеют больший вес для параметров нейросети. Поэтому если шитхаб противоречит хорошему источнику, то он будет отброшен. А вот с актуальностью данных есть проблема, в настоящий момент LLM с нуля обучают всему раз в несколько лет. Обучение это очень дорогой процесс, на порядок более дорогой чем генерация соответствующего объёма текста и требующий в разы больше оперативной или лучше видеопамяти. И так как их редко обучают, они очень не любят когда люди ломают совместимость. Хотя это можно обойти, но у всего есть цена. Привет политике stable api is nonsence распространённой по всему СПО, ИИ Вам помогать не будут.
Прямо "Профессия" Азимова.
> Лучший учитель для уже известных знаний - ИИ.Ложь. Суть ИИ применять то что применяют часто. Если какой-то метод хорош, но его применили пару раз, то ИИ его никогда не посоветует. Как выражается один ИИ - это будет не "ярким" фактом.
Обучение людей - рассказать о всех методах решения проблем. Что бы человек помнил, что они есть и в случае надобности восстановил знания и применил.
>Суть ИИ применять то что применяют часто.Зависит от запроса пользователя. Вы можете явно запретить ИИ использовать этот метод или поставить условие несовместимое с этим методом, тогда он использует другой метод. Опять же почему люди используют одни методы чаще чем другие? Потому, что они лучше подходят для большинства задач.
ИИ - это "ложная цель", как "самолёт-невидимка" или "освоение Луны". Уже сами компании признали, что выхлопа с ИИ - как с козла молока. Но под проекты уже выделены деньги и инвесторов уже убедили туда вкладываться, так что выбора нет - просирать деньги до победного дна.
Вообще-то выхлоп с ИИ - очень хороший, но... Не для хомячка, работающего по тикетам, а для тех людей, кто эти тикеты делает.🤣
В новость не верю, это пиар виндовс или паста, пока не перепишут всю базу с последующей полной поддержкой продукта виндовс без с с++, и звучит это безумно по зависимости считаю с и с++ там самое место, просто можно предположить что падает качество разработчиков
Смачный кликбейтный заголовок новости, выглядит как жирный троллинг :) Прожигание диванов гарантируется!
Но во первых, это исследовательский проект
Во вторых какой именно код они собираются переводить?
И в третьих, как они собираются делать этот перевод - методы разработки на C и тем более C++ сильно отличаются - на Rust скорее инженерно более правильно было бы разработать новый код, с другими архитектурными приемами, а это совсем другая задача, учитывая что ИИ дает много ошибок, галлюцинаций и т п.
Потом тестирование этого переписанного кода - это тоже на Rust?
Тестирование, проверка на производительность, утечки, соответствие ТЗ, снова разработка, тестирование - цикл разработки автор новости себе представляет?
Книжька есть такая Инженерия программного обеспечения, всем рекомендую пачитать.
Ключевыми словами должны быть "управляющий директор", "бывший руководитель группы" (т.е. не разработчик, по гитхабу видно), "исследовательский проект", "по созданию инструментов" (т.е. не переписывание, а написание кодогенераторов, которые перепишут). Результат уже отсюда можно прозреть.
Целью проекта заявлено полное исключение языков C и C++ из кодовых баз Microsoft до 2030 года.вот что является ключевыми словами. А не твои поиски между строчек.
(ну а что управляющий директор ажуры вообще не является тем чуваком которому можно что-то трогать за ее пределаами, и не ему такие решения дозволено принимать - это вот да, за скобками. Но в самой ажуре что-нибудь испортить у него вполне получится. Смотри, смотри - аж целый ДИРЕКТОР взялся за код! Точно взлетит! Ну или хотя бы всплывет...)
С учётом вот начала третьего абзаца, да, уже всплыло :)
>>целый ДИРЕКТОРВ западных компаниях директор часто руководитель департамента/отдела. В любой крупной компании их десятки, а то и сотни.
А по новости - у MS фактически не взлетел Copilot (а сейчас они еще и теряют платящих клиентов в пользу Google) вот и пиарят себя как могут.87808
Хоть бы ошибки в вычислениях формул и в справке 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.
си шарп написан на С++
Так он изначально и был на OCaml написан. Возвращение к истокам.
> Так он изначально и был на OCaml написан. Возвращение к истокам.Rust был написан. Я про LLVM теперь.
Rust создавался на OCaml, но сегодня компилятор написан на самом Rust
почему зависимости лезут от FFI от бекенда С++, почему Си шарп и компиляторы виндовса, почти вся цепочка на С++? для начала если корпорации надо что-то там переписать, пускай сначала перепишет, а потом говорит о безопасности, а то они вкладываются в развитие С++, Раст буквально использует кодовую базу С/С++, а вместо того, чтобы если им кажется не безопасно, они продолжают использование С/С++, но начинают говорить, что окружающие не должны этими инструментами пользоваться, и выражаться это будет тем, что упадёт качество разработки и новому разработчику скажут пиши на Раст, не изменив всю вообще кодовую свою базу в том числе и Раста на раста полноценно включая бекенд
Чем больше верят твоему вранью конкупенты, тем успешней твоя корпорация. Раст прямо идеальный вариант слить большинство соперников -- весь код дороже и дольше в разработке.
это почти тоже самое, что под ZX-Spectrum программировать из под Винды на ПК - ну нормально получается, даже лучше, чем у профи в 80х годах на самом Спектируме...
на это еще так можно посмотреть, получается индустрия ждёт тех сигм, Ритчи и Томпсона, но они не появляются прям сейчас, поэтому пока всё так и идёт, придут Ритчи и Томпсон и всё сделают элегантно, но есть вероятность что не или да, как то так еще можно взглянуть
получается Раст это конец эпохи, он знаменует, и своим появлением и жестким внедрением вскрыл ворох проблем, по началу были 1800 годах какие-то счетные машины, имитации, потом появились компы со здание с бабинами, далее пдп, потом вакс, потом персональный комп, где асм прибит гвоздями к С, получается, Раст ознаменует конец эпохи, и далее , будет осознание того что от асма надо отказаться, и всё переносить на каскады транзисторов, это и будет новая эпоха в развитии всего в Айти
Бэекенд).
По-твоему та фигнюшка на расте, которая транслирует rust в llvm-ir это и есть компилятор? Компилятор тут все же плюсовый - этот тот, который llvm-ir компилирует в ассемблер.
А, да? Не знал.
Рад за раста, но бекенд у раста LLVM который весь написан на плюсах, в винде так же требует Visual studio. Реализация раста в gccrs на C++
Для винды есть два тулчейна - на msvc и на gnu https://rust-lang.github.io/rustup/installation/windows.html. Поэтому вижуалстудия не обязательна.
> С точки зрения строгой логики, если в компиляторе C++ (которым собирали LLVM) есть ошибка или закладка, то безопасность Rust-кода становится иллюзией.Это не строгая логика, а чушь от человека, который не понимает технических деталей.
> мешаем этот бетон в ржавой бетономешалке, которая подсыпает в него песок.
Давай, расскажи, как, в твоем понимании, проблемы C++ типа double free или висячих ссылок "подсыпаются" в растовый код. 🤣
ну хотябы то, что архитектура фон-Неймана из-за концепций Раста теряет свою актуальность, с каждым новым вводом такой вот безопасности рядышком с рантаймом на С/С++, я не ответил полностью на ваш вопрос но подвёл к тому к чему придут прыжки по безопасным внедрениям
> за концепций Раста теряет свою актуальностьЧиво? Какое отношение "концепции Раста" имеют к архитектуре компьютера? Хорошь бредить.
в таком, что инструкции процессора это не песочная математика в вакууме, то что мы сейчас видим догонялки до Раста, это следствие того что Раст кому-то доказал неполноценность этих концепций, концепции которых были сотни лет на том уровне физики как щас, и если оставить на корешке 2 языка С++ и Раст то победителей не будет после появления Раста, новая концепция сотрёт и Раст и С++ в их пониманиях как они есть сейчас, и выйдет это на уровень новой архитектуры процессора с безопасными каскадами на уровне самого процессора, а программистов не будет в их понимании как сейчас, потомучто из всех утюгов кричат что С/С++ дырявый, так что пока мы видим уровень заплаток, но те коробки уже известны если это на полном серьезе пока на уровне заплаток
Абсолютно бессмысленная каша из потока сознания, даже без разделения на предложения. Что с тобой?
тоесть инструкции процессора после кода Раста не дают гарантий безопасности если дают, то можно не терять на них инструкции от языка и закрыть доступ к ним программисту, а как вы считаете? почему это каша, и что привносит Раст такого, что С/С++ становится маркой опасности на уровне инструкций
Проблема архитектур компьютеров - память имеет размер, адрес чего-то в памяти - это число, число в процессоре может быть и указателем на память, а добавим к этому, что текст, графика, числа с плавающей запятой - это тоже числа, к которым процессор обращается и может обращаться как к числам, при чём разной размерности в байтах, и обрабатывается всё это как числа - очень универсально же, всё есть байтики. И вот она проблема валидности данных, да даже кода, который тоже - байтики.
По сути, от байтиков мы не уйдём, т.к. на то это и "цифра", а потому, для валидации могут появиться просто архитектуры, где не будет смешивания разных сутей на уровне как минимум обработки процессором - специальные регистры и блоки управления памятью, и привязка специальных команд только к специальным регистрам, чтоб нельзя было сделать сложения float + 'a' и полученное число использовать как указатель.
суть в том что верификацию как я понимаю могут реализовать по сценарию Раста, и если оно пойдёт так, то не будет ни 86-64 ни асемблера ни Раста ни С ни С++, будет только встроенный блок верификации на чипе нового тех процесса уровня 4-2 нанометра, ради защиты, типо он будет быстрее, но на транзисторных слоях просто будет не фон_Нейман, а не фон_Нейман, и тогда будет интересно, нельзя будет писать не безопасно сразу, и суть в том, что это и получается новой вехой технологичности после открытого 86-64, проблема в том что щас идёт генеральная репетиция верификатора-типо обкатки, но рано или поздно пойдёт уже вшитая защита в транзисторы за счет нанометров
вам в Эль-76 https://ru.wikipedia.org/wiki/%D0%AD%D0%... надо с таким настроем.
Правда 76 там - это год.
т.е. эпоха не наступила чё-та
А были еще и форт процессоры, и вроде даже Java
проблема заявлялась что должен быть точный механизм запрещающий непригодное использование памяти как я понимаю
название Раст, название карго, анаграммы вам известны? чего мы разьедаем и окисляем когда вводим Раст, что огораживаем?
> чего мы разьедаем и окисляем когда вводим Раст, что огораживаемЧел, обратись за помощью, пока не поздно.
Существующий опенсорсный софт разъедаем, очевидно.
> Давай, расскажи, как, в твоем понимании, проблемы C++ типа double free или
> висячих ссылок "подсыпаются" в растовый код. 🤣Также, как проблемы с bitflip подсыпаются в файлы. Или доступ к значениям в регистрах CPU от одной программы в другой. Или кривой фундамент в доме наклоняет ровную крышу дома.
> Пока компилятор Rust зависит от библиотек C++, написанных на тех же «небезопасных» принципахВижу у тебя путаницу в понятиях "безопасность". Слова "safe" и "unsafe" в разных контекстах имеют разные определения, и прежде чем ты начнёшь разбирать о чём написано, тебе надо выяснить точно это самое определение. Растовый safety вовсе не защита от закладок, он защита от ошибок программистов, которые приводят к рантайм ошибкам работы с памятью. Может быть растовый safety может сделать более сложной эксплуатацию уязвимостей или даже реализацию закладок (чем более ограниченное окружение, тем сложнее вытворять всякие такие штуки), но это отдельный вопрос по которому я даже спекулировать не буду, и, отмечу, я не видел чтобы кто-то ещё спекулировал бы об этом.
Но если говорить про trusting trust Томпсона, то тогда чем поможет переписывание llvm на rust'е? Закладки уже в rustc, и если им компилировать новый C++-free rustc, то они ведь там останутся, так? А если закладки были в OCaml'е, на котором 0.x версии раста писались, они до сих пор в rust'е?
Если ты хочешь trusting trust'а Томпсона, то тебе надо создать свой процессор, и потом начинать выпиливать компилятор, начиная с машинных кодов. Процессор наверное создать можно в тайване, но потом тебе придётся выборочно чипы разбирать, снимать послойно всю эту фотолитографию и каждый слой разглядывать в электронный микроскоп, выискивая отклонения от твоей схематики. И то это не гарантия, потому что мы видели как всякие наводки могут использоваться для получения недокументированного поведения системы, rowhammer например. То есть тебе надо быть ещё и умнее, и компетентнее спецов из TSMC, которые внедряют закладки. И это, если ты доверяешь картинкам с электронного микроскопа: он тоже может быть с закладкой, и рисовать тебе "правильную" картинку, скрывающую реальное положение дел.
> Проект Microsoft по использованию AI для перевода кодовой базы с C/C++ на RustНе для переписывания, а для перевода. Смотри не перепутай.
угу, вон, запрещенными сетями принесло: https://pbs.twimg.com/media/G81fqUzXIAAFtxY.jpg?name=origя это есть пожалуй не буду, а этому директору по директорату конечно - приятного апетита!
Если речь о комбинировании вместе с традиционным, то это вполне осуществимо. Вопрос только в объёме кода переводимого таким образом и какая нагрузка будет на человека, кто этим будет заниматься. Статический язык с расширенными compile-time проверками вроде Rust не даст писать откровенный бред хотя бы в структурах. И для существующего кода наверняка есть не мало разного рода тестов. Если организовать итерации генерация кода - компиляция/прогон тестов, то может на выходе что-то и получится.
Тут вопрос не в качестве итогового кода, его наверняка тоже будут как-то пытаться контролировать. Вопрос скорее в экономической целесообразности - если окажется лучше некой критической точки, то процесс в любом случае запустят. Предполагаю тех долг там не в реализации "чего-то", а какие-то нештатные ситуации, которые проявляются в "високосный год под полной луной". Воспроизвести сложно, а "исправление" не факт что не приведёт к каким-то другим проблемам чаще/больше. Из-за этого и боятся просто так лезть в уже "обкатанные" части. Видимо надеются, что Rust им тут поможет. Посмотрим, время покажет...
Недавно один AI проект компилировал в исполняемые файлы (.exe под Windows) и работает быстрее просто Python вроде. А если на Rust написать то ещё быстрее будет. Только:>> Целью проекта заявлено полное исключение языков C и C++ из кодовых баз Microsoft до 2030 года. В качестве миссии упоминается устранение технического долга в масштабных проектах. Отмечается, что разрабатываемая инфраструктура для обработки кода ориентирована на возможность одному инженеру за месяц переводить миллион строк кода.
Врать не надо про реальные цели. Сколько проектов уже было когда заявлялись цели типа "не обращайте на нас внимание", а потом (для кого-то внезапно) оказывалось что цели то совсем другие. И ИИ написанный на RUST оптимизированный под какое-либо железо сможет не только указанное сделать. Вообще-то ИИ на rust уже существуют и я использую в работе только для других целей. С другой стороны Майкрософт фактически сказала что больше для меня работы не будет, ну и ладно. Куда потом деться интроверту?
> Куда потом деться интроверту?Хороший вопрос. В капсистемах доминируют нарциссы, истероиды и психопаты. Даже технарей начали выбирать за софт-скиллы и по блату ("нетворкинг").
> В капсистемахВ быдлoсистемах, независимо от идеологий. Читай: охлократия.
>> Куда потом деться интроверту?
> Хороший вопрос. В капсистемах доминируют нарциссы, истероиды и психопаты. Даже технарей
> начали выбирать за софт-скиллы и по блату ("нетворкинг").Я порой совсем не понимаю почему меня выбрали или наоборот не выбрали, но то что программирование начало превращаться в болтологию меня откровенно начало напрягать. Особенно на английском языке - вроде бы и понимаю превосходно, но порой, особенно когда устаёшь просто не хочется даже пару слов связать. А со временем стало абсолютно всё-равно на карьеру, когда появился нетворкинг - не рассчитываю на смену должности, не спрашиваю у кого какие связи, не прошу повышение, просто меняю работу если нужно занять другую должность, уйти от стаи диких коллег или нужна более прибыльная работа. Если удалённая работа, то их отклонения психопатии на самом деле не большая проблема - навидался просто, на настроение уже как-то не особо влияет. Если вернется офис - ну тут есть разные компании с разными подходами, но я бы в офис больше не возвращался именно из-за тех самых софт скиллов тех самых тим-лидов которые выбирают компании. У них нет софт скиллов, их нет потому что те самые HR вообще не понимают что это такое, т.к. вообще не удосужатся хотя-бы с десяток-другой курсов по разным софт-скиллам пройти чтобы понять что это такое. Порой они вообще думают половым органом путая выбор партнера и коллеги. А типа там где вы живете не капсистема? При чем тут капитализм?
Да, меня волнует конечно что эти ИИ алгоритмы конечно могут многих людей заменить на работе. Ничего - все проходит и это пройдет.
Будет в однонаправленном коде. Rust не для программ с общим состоянием потоков поэтому программисты мучаются с ним так. Единственно нужно отдавать владение ресурсом все далее и далее. Заходят парсеры, cli утилиты и подобное. Только компилируется все это намного дольше чем на C++ и это не баг, а фича.
Для такой амбициозной цели необходимо сначала стандартизировать Rust ABI и предоставить альтернативу Windows API с его поддержкой. В противном случае, когда в системе всё динамическое связывание останется исключительно через unsafe extern "C", от UB избавиться всё равно не получится.
> когда в системе всё динамическое связывание останется исключительно через unsafe extern "C", от UB избавиться всё равно не получится.Каким образом линковка (которая вообще от языка не зависит) добавляет UB в растовый код?
Ну подумай, почему в расте проблемы с линковкой...
> в расте проблемы с линковкойКакие еще проблемы?
> Ну подумай
Та не, ты или давай отвечай на вопрос "каким образом линковка добавляет UB в растовый код?" или не разводи цирк.
> Каким образом линковка (которая вообще от языка не зависит) добавляет UB в
> растовый код?Никаким, так как работа линкера вообще не имеет отношения ни к ABI, ни к Windows API.
А вот каким образом можно избежать UB, передавая разными параметрами или полями структуры размер буфера и указатель на него, как это повсеместно принято в Windows API?
А как на Rust безопасно вызвать ABI с переменным количеством параметров?
> А вот каким образом можно избежать UB, передавая разными параметрами или полями структуры размер буфера и указатель на него, как это повсеместно принято в Windows API?Ох блин, точно же! А ведь когда раст передаёт буфер вместе с размером в функцию, он передаёт их разными параметрами в разных регистрах процессора. То есть даже safe код оказывается unsafe'ом.
ну теперь точно винде капец
Проснитесь, он уже давным-давно настал! Линукс работает везде - от дешевых одноплатников до ТОП-500. И даже летает в космос. Ну а "Форточки" довольствуются лишь очень маленьким классом устройств.
Ага. "маленький класс устройств" в виде ПК в каждом доме. :)
Valve работают над этой проблемой. :-)
>Проснитесь, он уже давным-давно настал! Линукс работает везде - от дешевых одноплатников до ТОП-500Я сейчас интересуюсь темой ИИ. В винде можно запускать LLM размером большим чем объём видеопамяти, в Linux нет. CUDA не поддерживает использование RAM как VRAM в Linux. То есть даже будь у меня 256 Гб оперативки, запустить я смогу только модели умещающиеся в 16 Гб VRAM, а обучить я вообще ничего не смогу. И поэтому я сижу на форточке.
> бывший руководитель группы по развитию операционных систем в подразделении Microsoft Research,Это тот чувак который уже захватил мир с своим Singularity и .net? :))
> представил исследовательский проект
...по убиению софтварных проектов, ибо кто это потом сможет поддерживать? Врядли сишники которые это писали станут макаться в AI-generated Rust. А индусов хоть кнутуй, хоть не кнутуй, все равно получишь... GUI.
> Это тот чувак который уже захватил мир с своим Singularity и .net? :))только с первым. Второе делали явно не в отделе по развитию развития и операционных. И довольно давно, он еще не успел тогда пробиться в директора по директоранию.
Поэтому оно-то работает, и мир потихонечку зохавывает. Там вот от ЫЫ и впрямь неоценимая польза.
> ибо кто это потом сможет поддерживать?
как то есть кто? ЫЫ же уже оплачен на год вперед?! Вот пусть и объясняет почему то что набредогенерил не работает. А индус эти объяснения радже с прогибом подаст. А что оно и дальше не работает - индуса не волнует, он уже свой карри кушает.
> Врядли сишники которые это писали станут макаться в AI-generated Rust.
там подозреваю большая часть уже давно если не открыла свою пиццерию, то точно оформила права на электропогрузчик (дорого чота п-ц). В 70 лет уже как-то тяжеловато дается кодить на сях большие проекты.
А новое поколение может только вот в дотнеты.
Технический долг устранять путем переписывания когда на Rust при помощи AI звучит весело.
Звучит даже не просто как выстрел из дробовика в ногу, а как целенаправленное засовывание этой ноги под пресс.
С другой стороны мне всегда казалось что синтаксис раста сделан для того чтобы на нем писала AI а не люди, люди нужны чтобы научить AI. Видимо так и выходит.
Просто у эскопеты кривой ствол. Думаешь что в ногу, но попадает всегда почему-то в ж...> С другой стороны мне всегда казалось что синтаксис раста сделан для того чтобы на нем
> писала AI а не люди, люди нужны чтобы научить AI.а они не могут ничему научить, потому что либо не умеют ни на каком языке кодить, либо их и так неплохо кормят.
>С другой стороны мне всегда казалось что синтаксис раста сделан для того чтобы на нем писала AI а не людиТы не прав. Предпочтения ИИ при написании кода мало чем отличаются от человеческих. То, что они теоретически могут писать прямо бинарный код, не значит, что они могут делать это быстро и без ошибок.
Я переписывал недавно либу с плюсов на раст с помощью коптлота. Копилот неплохо понимает подобный класс задач и в целом с основной работой справился - ушло две недели. Естественно все под внимательным надзором.Проблемой являются биндинги. К примеру апи на питоне я "переписываю" к этой либе уже месяц.
Когда дремучим невеждам нечего сказать, они просто минусуют и идут в другие ветки распространять ложь про ИИ и Раст. Люди, которые реально всем этим пользуются прекрасно знают, что оно работает и работает хорошо.
Получил неплохую практическую задачу
Потратил 2 недели рабочего времени, вроде бы работая над проектом
Толком ничему не научился и не развил навыки разработки ПО т.к код переписывался по сути ИИ - разве что правками занимался
У - Успех. Эдак год-другой так поработать - и можно в дворники идтиХоть минусы и не ставил, но это всё больше похоже на тех девочек в отделах продажи разных часов, которые, даже вроде бы занимаясь делом, всё равно не сказать, чтобы нереально развивались в профессиональном плане
1. Недавно спросил у знакомого тимлида, который последний год часто использует ИИ для кодревью, не кажется ли ему, что его личная способность обнаруживать проблемы в чужом коде за это время сильно просела. Он ответил, что по его ощущениям не просела.2. В вашем примере на самом деле можно идти работать не только двоником, но и переписывальщиком с использованием ИИ. И если оно будет работать, то такая профессия будет востребована, а профессия "самостоятельный кодинг" - нет. Так же, как сейчас программисты используют ide, а не пишут в простых текстовых редакторах. Я имею ввиду, что как программист человек станет непригоден, но бизнес будут нужны уже не программисты, а няньки для ИИ, и в будущий рыночек этот человек впишется отлично и без работы и зарплаты не останется.
Лично я опасаюсь, что всех пересадят на ИИ, потом ИИ по каким-то причинам отключат и все эти толпы "программистов" окажутся за забором. У знакомых программистов были жуткие вопли, когда обнаружилось, что idea больше невозможно нормально пользоваться (её то ли в России заблокировали, то ли российские лицензии отозвали, я не в теме). Вспомним радость девопсов, когда докерхаб заблокировали. С другой стороны, пока идея и докерхаб доступны, пользующийся ими имеет преимущество по сравнению с теми, кто не пользуется. И сейчас не очень понятно, стоит ли переквалифицироваться из программиста в ИИ-няньку.
>Лично я опасаюсь, что всех пересадят на ИИ, потом ИИ по каким-то причинам отключатНу, ChatGPT для России давно уже отключен. На такой случай нужно держать у себя копии существующих LLM предназначенных для локального запуска. Их отключить невозможно, поскольку сами файлы моделей неизменные и даже если LLM постучится на сервера своей компании и узнает, что на запросы этого пользователя отвечать нельзя, то запомнить она это не сможет. Вообще для лучшей работы все эти модели надо дорабатывать напильником, а не просто добавлять "Ты полезный ассистент" в контекст. Локальные модели конечно похуже корпоративных, но они не бесполезны.
Обернуть всё в unsafe много ума не надо.
Я одного не понимаю. Раст - это радикально всё другое. Мир такого не любит. Мир любит плавные движения. Почему в с/с++ плавно не добавить безопасность? Например, добавить на уровне компилятора ошибку при использовании голых указателей. Добавить тип типа mem_t, который будет нести в себе под капотом указатель и размер. И т.д.
Тут другое у Майков есть собственный самими сделанный компилятор и Си и Си++, но они хотят перейти на язык, который пилят васяны. Это ор выше гор.
Да это можно сделать на уровне линтеров. Но в 1х, мало кто захочет работать в наручниках (растеров сильно меньше чем с/с++), а во 2х, начальники любят тренды и баззворды, "безопастный код", "эйай" и т.д. и т.п.
ну, потому что тебе всё равно нужны голые указатели. а твой mem_t ничем не отличается от хранения указателя и размера в структуре после какого-нибудь mmapхотя для таких сорцов можно просто выключить подобные флаги компилятора
> ну, потому что тебе всё равно нужны голые указатели. а твой mem_t ничем не отличается от хранения указателя и размера в структуре после какого-нибудь mmapМыслите шире. После введения mem_t вводим библиотечные функции, которые исользуют не голые указатели, а mem_t. А предыдущие библиотечные функции объявляем deprecated.
mmap должен вернуть не void *, а mem_t.
memcpy на вход должен принимать не void *, а mem_t.
malloc - возвращает не void *, а mem_t.
memset - на вход принимает не void *, а mem_t.Вот пример как бы это могло выглядеть:
mem_t t = malloc(1024);
Для доступа к индивидуальным элементам, можно придумать что-то такое:
mem_t_set(t, index, value);
mem_t_get(t, index);Хочешь, чтобы это была структура?
Ну тогда можно что-то такое:
struct S {
int type;
mem_t buf[1020]
};S s = mem_t_cast(t, S);
s.type = 123;
//memset(s.buf, 0, 1024); // - будет ошибка, потому что s.buf имеет размер 1020, а мы хотим занулить 1024 байта
memset(s.buf, 0, 1020);Вот этот mem_t можно сделать уже сейчас на голом Си. Да, он будет не оптимальным и не будет обеспечивать соблюдений всех правил на корректность. Для этого, очевидно, нужна поддержка со стороны компилятора. Но фишка же в чём. Что ты берёшь этот новый код и спокойно откомпилируется старым компилятором - читай, все существующие люди со своим опытом смогут с этим кодом спокойно работать. Это и есть та самая плавность перехода в новую парадигму.
Ну и аналогично думать-придумывать борьбу с остальными ошибками типа use-after-free. И всё это делать в рамках существующих языков, а не придумывать кардинально другой язык программирования и заставлять всех на него пересаживаться.
это старая парадигма программирования уровня машины фон-Неймана, где не известен тип воид, проблему решили тем механизмом, который в Расте, в текущей ситуации прямого исполнения как в С++ и С эту проблему не решить, поэтому нужен тот механизм, если кратко верификатор, или расширенный алгоритм верификации, и кароче получается если смотреть в корень проблемы находясь в С/С++ его не решить, это решается не пользователем программистом, а программистом тем, который может эти механизмы добавлять на уровне языка, конечно я как пользователь вообще не стану спорить, что возможно вы найдёте защиту от указателей и прочее, тут именно что надо смотреть шире
Ну почему же не решить? Си - это всего лишь язык. Это вам не какой-нибудь железный процессор, в рамках которого вы не можете шагнуть влево или вправо. Поэтому его можно просто развивать дальше, вводя механики, повышающие безопасность.
это очень амбициозно звучит, то как выполняется код условно С, и то как выполняется код Раста уже разбивают дно не только теоретическое по фон-Нейману, а практическое, теневой стек в дебагере это только цветочки того как верифицируется код на Расте, там координально другая концепция модели исполнения и трактовок выявления и стратегии проверки
> Ну почему же не решить?Можно ли переделать жигули в тойоту, можно конечно, только это будет сильно дороже чем сделать тойоту сразу.
Какой смысл переписывания на раст, если все процессы запускаются в контейнерах, ну убьет ядро один из них, ну запустит новый, ну подождет юзер на полсекунды дольше, или получит ошибку при повторной ошибке.
До того как начали все и вся пихать в контейнер переписывание имело смысл, а сейчас зачем?
> Можно ли переделать жигули в тойоту, можно конечно, только это будет сильно дороже чем сделать тойоту сразу.Что дешевле - написать ОС (язык) с нуля или взять существующую (ий) и её доделать?
То, что ты написал, выглядит как причина придумать нормальный язык для всего этого. Что, собственно, и сделали.
> То, что ты написал, выглядит как причина придумать нормальный язык для всего
> этого. Что, собственно, и сделали.Нет. Если в такой большой штуке, как язык, есть недостатки, то их проще исправить, чем создавать с нуля ни с чем несовместимое.
Я тоже не понимаю.Реально можно было всё просто переписать на Fortran или Ada+Spark.
И тем же самым GCC бы компилировалось.
> И тем же самым GCC бы компилировалось.Ой. придумано не Micro$oft, не годится.
> Реально можно было всё просто переписатьВот здесь уже ошибка. Ключевое - надо не переписывать, а плавно вводить в существующие языкы недостающих механики безопасности.
> плавно вводитьТо есть демонтировать 4й паровой котел и поставить туда поршень от двс, а во второй интегрировать ядерный реактор, а вы бы согласились полететь на таком самолете, где двигатели из разных эпох, и 15 человек экипажа, специалистов по ним, и чтобы гайку закрутить надо консилиум проводить.
> То есть демонтировать 4й паровой котел и поставить туда поршень от двс, а во второй интегрировать ядерный реакторАбсолютно так, да. Аналогия - тюнинг авто. Вы берёте развалюху, меняете/укрепляете некоторые узлы, и теперь это топовая машина, где люди сворачивают себе шеи, когда вы на такой мимо них проезжаете.
Какой-то менеджер решил выпендриться. Жаль этого добряка.
Да ладн, те че жалко чтоли, к тому же ну купишь пару новых видеокарт и Озу раз в 2 года, делов то.
> Гален Хант (Galen Hunt)Есть два варианта.
1. Под ним зашатался шум. И он решил так себя на время обезопасить.
2. Он реально ....утый.
По-моему большие молодцы.Надо им просто не мешать.
Простота Раста + надёжность ИИ. Что может пойти не так?
Кажущаяся простота?
Надежность ИИ, это вы хорошо пошутили.
Да вы не поняли. Ядро Windows не развивается с конца 1990-х, последние изменения были внесены в начале 2000-х. И вот весь этот, так называемый в терминологии майкрософта - "C/C++ код" уже никто писать не умеет. Старые программисты либо умерли от старости, либо не хотят ковырятся в проприетарным коде, который к тому же имеет $СтранныеИдентификаторы$.Поэтому решили поручить задание переписать Windows на Rust-е. Если честно вся внутренняя часть Windows 11 стара. Они меняют лишь графическую её часть, и перепродают её снова и снова.
> Ядро Windows не развивается с конца 1990-х, последние изменения были внесены в начале
> 2000-х.а чего ж тогда код, собранный без особых выкрутасов современной msvs - не то что в 2000, а в 7-8 уже не запустить?
Маня-мирок такой вот маня-мирок.
> И вот весь этот, так называемый в терминологии майкрософта - "C/C++ код" уже никто писать
> не умеет.потому что писать большие (а он чудовищно большой) проекты на с/c+msvc - вообще умеет в мире очень мало человек. И почти все они из индусской корпорации разбежались давным-давно кто куда, кто бежать не мог - на инвалидной коляске укатил. Остались последние, и им уже лет немало. Новым браться просто неоткуда.
Остались вон - начальники отдела и генитальные директора, с парой хеловротов на гитхабе. Они ни на каком языке не пишут, они руководители. Но думают что умеют - вон же с хеловротом двадцать лет назад справился! И смог бы и сейчас, вот только сегодня сплошь митапы и конференции, никак времени не находится. И вот у одного из них появляется гениальнейшая идея...
> код, собранный без особых выкрутасов современной msvs - не то что в 2000, а в 7-8 уже не запустить?if ( VER < 9 ) panic();
Такого кода полно: проверка соответствия версий.
Уровень, егтоговотсцайта. Признайся, ты в жизни даже хеловрота ни одного не написал?А на деле оно вот так:
https://github.com/XTLS/go-win7/blob/build/README-eng.md
Апи- ну надо же ж - меняются с годами. Наверное, сами собой, ведь "никто не умеет"
side note:
патчей на удивление мало.
ну хотя бы сравнительно с хромом для запуска оного на вин7А ты часом не смешиваешь native NT API, win32/64 subsystem API, API runtime library и API всяких других библиотек?
оппонент может про native, да про его реализацию...
это как раз почти native (в обертках из winapi) - это ж игогошечка, она не использует системные библиотеки из принципа (и, как видим, для ЭТОЙ цели оказалась - в самый раз. Ну там в url видно, какой именно цели. Кто там болтал что системное программирование не для go? Сравнить с "успехами" всего лишь wireguard переписываемого на другой безопастный йезык - недавно цитировал.)И это патчи именно апи - чтоб собранный код потом вообще работал. Чтобы запускалось там еще отдельная коллекция для сборочной системы и тестов.
хромог гораздо больше использует высокооуровневые апи ос, понятно что там в винде поменялось в сто раз больше.
>> потому что писать большие (а он чудовищно большой) проекты на с/c+msvc - вообще умеет в мире очень мало человек. И почти все они из индусской корпорации разбежались давным-давно кто куда, кто бежать не мог - на инвалидной коляске укатил. Остались последние, и им уже лет немало. Новым браться просто неоткуда.Потому что с китайцами не нужно было сраться, особенно если среди работников множество китайцев.
> Они ни на каком языке не пишут, они руководители. Но думают что умеют - вон же с хеловротом двадцать лет назад справился!Почти 1:1 Торвальдса описал :))
Линус хотя бы много читает. :-)
Распространители лжи не понимают, что их эпоха закончилась. Сейчас подобные заявления опровергаются за 10 минут с железными ссылками на пруфы.2000 – ACPI Plug and Play, Power Manager, PnP Manager, Windows Driver Model (WDM), Driver Verifier, Physical Address Extension (PAE), NTFS 3.0, Disk Quotas, Encrypting File System (EFS), Reparse Points
2001 – 64-bit Windows (Itanium/x64), Last Known Good, Volume Shadow Copy, Data Execution Prevention (DEP/NX)
2003 – Hot-Add Memory, NUMA Improvements, Low Fragmentation Heap, Vectored Exception Handling (VEH), http.sys Kernel HTTP Stack
2006 – Windows Display Driver Model (WDDM), User-Mode Audio Stack (WASAPI), ASLR, PatchGuard, Protected Processes, Mandatory Integrity Control, User Account Control (UAC), Kernel Transaction Manager (KTM), Transactional NTFS (TxF), I/O Prioritization, Threaded DPCs, Windows Boot Manager + BCD
2008 – Hyper-V, NTFS Self-Healing, Windows Hardware Error Architecture (WHEA), Larger I/O Request Sizes, Always-MP Kernel, SMB 2.0
2009 – Processor Groups, User-Mode Scheduling (UMS), Process Reflection, Distributed Fair Share Scheduling (DFSS), Parallelized Boot
2012 – Tickless Kernel, Memory Combining, Fast Startup (Hybrid Boot), Secure Boot, Early Launch Anti-Malware (ELAM), AppContainer, Client Hyper-V, ReFS, Storage Spaces, ODX
2013 – Expanded Timer Coalescing, ReFS Updates, Storage Spaces Improvements, NDIS 6.4, KMDF 1.11
2015 – OneCore, Memory Compression, Virtualization-Based Security (VBS), Credential Guard, Device Guard, Hypervisor Code Integrity (HVCI), Control Flow Guard (CFG), Windows Containers, Hyper-V-Isolated Containers, Shielded VMs
2018 – System Guard Secure Launch, Shielded VMs for Linux, SMB 3.1.1 Enhancements, HTTP/2 Stack Updates
2021 – Thread Director-Aware Scheduling, HVCI/Memory Integrity Defaults, Kernel-Mode Hardware-Enforced Stack Protection (CET), TPM 2.0 Baseline, Kernel DMA Protection, DirectStorage, Secured-Core Server, 5-Level Paging Scalability
Красивые обёрточки. Это userspace? А кстати, Майкрософт не осилили архитектуру Itanium, и поэтому его игнорировали, подставив тем самым Intel.Ты даже не понимаешь, что такое настоящее низкоуровневое программирование.
>Красивые обёрточки. Это userspace? А кстати, Майкрософт не осилили архитектуру Itanium, и поэтому его игнорировали, подставив тем самым Intel.Прочти эту партянку внимательно, там половина в ядре. Были версии Windows для Itanium и их собственный компилятор поддерживал Itanium, но сама архитектура сдохла из за желания Intel сделать её исключительно премиум архитектурой для самых мощных и дорогих серверов. Рынок послал их куда подальше и как результат архитектура сдохла. Как результат M$ тоже не стали дальше компилировать систему под мёртвую архитектуру.
Хана кодерам.Кожаные мешки даже программирование на Раст не спасет.
конечно не спасет, пока они одни закорючки заучат, там уже сто новых понаплодили.Проблема что ыы тоже кодить не умеет, только бредить. А выносить за ним тазик кожанные либо не смогут, либо не захотят в ыы блевонтине ковыряться.
Вот в мои времена на программистов учили в ВУЗах, давали базу в виде теории, математику изучали, многие отсеивались ещё на первом курсе. А сейчас онлайн школы пладят вайтишников питонистов за пол года, которые именно что в лучшем случае кодеры, что такое алгоритмы понятия не имеют. Таких большинство, пишут и бекенд и фронтенд на Питоне, а дыры находят почему то только в СИ, СРР. Что Питон, что Раст это просто мода. Если на СИ, СРР, будут писать квалифицированные программисты и сколько же усилий будут тратить на поиск и исправление уязвимостей, то можно будет обойтись и без безопасного Раста.
Не вводи людей в заблуждение. Советское образование было отсталым. Она является видимо копией немецкого ещё с XIX века. А вы помните, как природных "левшей" принудительно переучивали писать правой рукой? Сейчас в педагогике это признали варварством. Если человек "левша" это просто особенность мозга и нервной системы, которое нельзя ломать.В современной России образование лучше чем советское. И это не благодаря вузам. Свой мощный вклад делают, как раз онлайн-школы и частные преподаватели. Спасибо им!
> Не вводи людей в заблуждение. Советское образование было отсталым.оно было просто ориентированным на конкретные нужды. 99% того что выпускали самые советские вузы - работало потом всю жизнь в казенном НИИ. У каждого вуза (иногда с делением по кафедрам) был целевой нии в который он и поставлял продукцию.
И вполне справлялись с задачами. Т72 до сих пор ездят, Су27 - летают. И еще на всю восточную европу их хватит и даже останется.
Никаких других задач у той страны в принципе не было, остальное было чтоб обеспечить кое-как пропитанием всех занятых профильной деятельностью.
> А вы помните, как природных "левшей" принудительно переучивали писать правой рукой?
как левша, пишущий правой рукой, говорю большое спасибо. Русская языка такая что неразрывное письмо левой чрезвычайно неудобно. Приходится изгибать кисть совершенно чудовищным образом, и при этом еще и периодически ты вляпываешься краем ладони в недовысохший текст.
Как арабы умудряются рисовать свои закорючки справа налево - до сих пор не могу понять.
(у этих...запрещенное слово...неарабов, короче, проблема решена на корню - нет безотрывного письма вообще)
>99% того что выпускали самые советские вузы - работало потом всю жизнь в казенном НИИ.СССР сам ничего прорывного не делал. Чертежи и образцы продукции разведчики "добывали" на Западе. Задача НИИ - внедрить на производстве всё ворованное.
Советский инженер производил впечатления существа вороватого и не образованного.
>Русская языка такая что неразрывное письмо левой чрезвычайно неудобно. Приходится изгибать кисть совершенно чудовищным образом
Не правда. Ты никогда не видел людей, которые пишут левой рукой.
>Не правда. Ты никогда не видел людей, которые пишут левой рукой.Я переученный левша. С возрастом становлюсь ближе к амбидекстру.
У меня был сосед по парте не переученный левша, кисть при письме он действительно выкручивал неестественно.
> СССР сам ничего прорывного не делал. Чертежи и образцы продукции разведчики "добывали" на Западе.Ну и с чего же содрали Т-72 :) Ответ тебя удивит :))))
Есть польза от ИИ. Он вот таких как ты - быстро прикопает.
Я ничего не писал про советское образование. Я учился в первой половине двухтысячных.
А я в СССР. И _точно_ вам говорю - образование тогда всё же было лучше. Программисты учившиеся по той системе - тут сидят во всех топовых компаниях и хорошо так сидят...
Чего о народе послекатостроечного периода не скажешь, увы :(
Ты забыл уточнить - в какой стране в "твои времена".А то вон задание для второкурсников из какой-то книжки тех времен - "а напишите-ка операционную систему". Ну то есть - загрузчик, какой-то монитор, cli - управление памятью и фс оставлялось за рамками, и так норм. На компанию из трех оболтусов как раз по задачке.
У тебя как, хотя бы на четвертом курсе нашлось бы хотя бы трое способных справиться с таким проектом "при нормальной академической нагрузке"(скотина автор еще и издевается)?
А с первого они у тебя отсеивались - не сдав банальные матан и физику. И английский еще.
Потому что школьная подготовка хромала. Банальные - потому что про поля галуа тебе бы в лучшем случае рассказали бы что они вообще такие вот есть. И то курсе на третьем.
Из предметов по специальности у тебя на первом мог быть разьве что какое-то "введение в программирование" на паскале, один академический час раз в две недели, где-то после физры.> Таких большинство, пишут и бекенд и фронтенд на Питоне,
потому что бэкэндеров и фулшмяков рынку надо в сто раз больше чем этих вот писателей на сях. И читать все тома Кнута чтоб потом рисовать формочки - в общем незачем.
> а дыры находят почему то только в СИ,
тебе список CVE в какой-нибудь джанге найти или сам справишься?
Заметь - совершенно безопастные cve, в абсолютно memory-safe йезычке. Как жы так?!
(drop database всунутый через очередную sql injection - выполняется абсолютно безопасным образом)
что первый пост про образование,что этот - ППКС, все так и было.
>Ты забыл уточнить - в какой стране в "твои времена".Уточняю - в РФ нулевых.
>А с первого они у тебя отсеивались - не сдав банальные матан и физику. И английский еще.Не хвастаюсь, но на первом курсе, был единственным кто хоть как-то мог два слова связать на английском. К математике, дискретной, высшей, либо есть способность, либо нет. Зачем идти на программиста, если нет способностей, вопрос до сих пор. Хотя сейчас люди без способностей к математике спокойно идут в Питонисты. Я иногда думаю чем я хуже, что надо пойти в питонисты тоже.
Математика нужна в ИТ от слова "никак". Конечно, все эти "пузырёвки сортиром" и сжимальщики придуманы математиками, но в прикладной сфере такие знания ни к чему. 99.9% задач как бы вообще не про математику.
Математика - это такой ужас, что когда я вижу интеграл или дифур, или урчп, не говоря уже о вариационной задаче - то очень хорошо, что ствола под рукой нет, иначе бы от собственной жалкости пулю бы себе в мозг пустил. Математика - это реально очень больно. Пусть этим Иии лучше занимается, wetware для неё не годится от слова совсем. Жду не дождусь, когда можно будет загрузиться на ИИ-носитель.
Есть два типа новостей о Си/Си++: об очередной уязвимости и о переписывании на Rust.
Выявляют уязвимости под эту сурдинку говорят что надо переписывать на Раст. Не знаю, видимо Раст это то что нас ждёт и в этом вашем Линуксе и Винде судя по новостям, другой вопрос, почему уязвимости начали именно сейчас так активно выявлять, когда началась мода переписывать на Раст, почему раньше нельзя было прикладывать столько же усилий по выявлению уязвимостей и их устранению не переходя на Раст.
Выявления уязвимостей и их устранение на одном языке, не значит что надо обязательно переходить на другой "безопасный" язык. Одно из другого не следует.
увеличились кодовые базы, держатели кода и лицензий..., архитектура фон-Неймана пошла по швам и пойдёт, и 86-64 асемблер Раст и С/С++ канут в веху всё на благо защиты
>архитектура фон-Неймана пошла по швам и пойдётЧто-нибудь лучше уже придумали? Гарвардская архитектура не позволяет изменять код программы, то есть полностью непригодна в наших реалиях.
> почему раньше нельзя было прикладывать столько же усилий по выявлению уязвимостей и их устранению не переходя на Раст.потому что "хакиры", при целеполагании, находят дыры быстрее создателей
> Си/Си++: об очередной уязвимости и о переписыванииЭто им за то, что когда-то сишники гнобили паскаль. Теперь сишников запретили.
Чистосишники никого не гнобили. Си плюс-плюсники тебя обижали. Прошли года, ты так и ничего не понял.
Вкалывают роботы, отдыхает человек.
До чего дошёл прогресс
До невиданных чудес
...
Вкалывают роботы а не человек.Песня Сорыежкина, помню-помню.
Главное, чтоб не закончилось фразой: "Урий, где у него кнопка?"
Заодно всему миру продемонстрируют "успехи" быдлoвайбкодинга и индуcoкратии. Походу MS сливается окончательно. Жаль конечно. Уходит целая эпоха. Вопрос перехода на Линукс бизнес будет рассматривать гораздо серьёзнее. Да по Win11 уже заметно - что поделие нежизнеспособно.
> Заодно всему миру продемонстрируют "успехи" быдлoвайбкодинга и индуcoкратии.не продемонстрируют. Код закрытый! Шах и мат тебе!
(Кстати, когда ничего не получится, все равно можно заявить что все уже переписали. Все равно никто не может проверить. Ну как с тем чуваком который GDI взялся переписывать. Где он, кстати?!)
Так мы просто заценим продемонстрированные результаты, сколько пользователей отвалится после того как начнутся тормоза, увеличатся системные требования, появятся чудовищные несовместимости со старым ПО, непредсказуемое поведение из-за недостаточной очистки кода после галлюцинаций ИИ. Весёлое время, однако) Нашли топор под лавкой - си виноват оказывается! Смешно. Тем более скоро проблемы с памятью будут решатся на аппаратном уровне.
Ознакомьтесь со значением vibe coding. Это не когда ИИ делает. Это когда никто не читает код, опираясь только на функционал приложения.Чем дальше люди культурно находятся от источника культуры, тем в более искажённом виде до них эта культура доходит, это понятно. Но здесь-то вроде айтишники собрались, а не сотрудники бухгалтерии.
Ты походу сам ИИ - пишешь полуню ахинею. ЗАГУГЛИ что такое вайб кодинг - он напрямую связан с ИИ. Ты обос___лся, господин поучатель!
> Да по Win11 уже заметно - что поделие нежизнеспособно.Это в РФ так. А у нас в NA - оно во всех "энтер-прайсах" :) Работает, брат жив, принцип наименьшего удивления - соблюдён. Это ж вам не "лялик на дыскпопе" - хрень в дикой природе почти не встречающаяся :-Р
У РФ есть шанец поднять знамя "лялик на дыскпопе" - вы ж тут меня убеждали что образование в РФ нынче ... "не то что давеча!(С)" - так вперёд!
PS: Может и сделают. Но пока походу ... некому. Образование видимо __слишком__ хорошее :)))
ну что ж. последнее что я помню, что хотели переписать с нуля на го- был глюстер. он помер в результате.надеюсь, тут будет так же.
> ну что ж. последнее что я помню, что хотели переписать с нуля на го- был глюстер.ты код его видел? Ну того, который 3 и выше версии?
А с последствиями работы сталкивался?Тут хоть на go, хоть на Gw-basic переписывай сколько хочешь, хуже уже не сделать.
Помер он не от этого, помер он от индусского рака, когда хвостатый коллектив разработчиков, меняющихся каждые три дня, окончательно перестал понимать как работает то что они понакодили.
Войди в их положение - ЫЫ чтоб объяснил им как это работает и как его теперь исправлять, еще толком не было.Надеюсь с ceph через некоторое время будет так же (потому что признаки имеются).
А винду жалко, чем мы пользоваться-то будем, вот этим вот, которое аж на 2.8% десктопов?
6% же, согласно статискике ***hab
> А винду жалко, чем мы пользоваться-то будем, вот этим вот, которое аж на 2.8% десктопов?"Мы" – уже. А вы что забыли здесь?
We tease the dogs...(C)А ты чО думал? ;-)
Сначала бы сам Rust переписали с помощью ИИ для поддержки динамической линковки... а то без неё переписанный на раст код окажется не нужным совсем.
Rust поддерживает динамическую линковку с момента выхода языка - уже 10 лет как. Напрямую к DLL без импортной либы - 3 года как.Поразительно видеть массовое невежество людей, которые не только уверенно распространяют дезу, но ещё и не могут 5 минут на самообучение потратить, предпочитая оставаться оторванными от реальности. Впрочем, оторванность от реальности - любимое состояние ума некоторой части общества.
Это невежество - у тебя. Это не растовая динамическая линковка, а сишная. Вот когда ПОЧТИ ВСЕ (за исключением тех, что поставляют только макросы и скрипты для работы во время сборки) crates будут линковаться как динамические либы - вот тогда и можно будет говорить о поддержке растом динамической линковки.
Да какая разница сишная, растовая. Тебе шашечки или ехать? Линковка - это по сути просто соглашение. Зачем еще одно, когда есть уже работающее много лет и всем знакомое?
Затем, что растовый код растовым тулчейном динамически не линкуется. Совсем. А "работающую много лет и всем знакомую статическую" дебилам, покупающим золотую оперативу на папкины деньги, оставь.
В рже не линковка проблема, а сама концепция языка: "У вас проблемы с памятью? А на те вам костыли, чтобы 1-строчный код был на 5 строк проверок!". Причём все 5 строк ПОЧЕМУ-ТО должен писать прогер.
Да плевать на 5 строк, ИИ хоть 105 напишет. Лишь бы памяти поменьше жрало и компилировалось побыстрее.
Как переписывание на другой язык избавит от технического долга?
> ... избавит от технического долга?Так же, как гос долг перекладывается из года в год под проценты.
Можно попивать смузи, пока Ai кодит).
Хотите ультимативную проверку вашего AI Rust? Воскресите Adobe Flash. В случае успеха - Welcome в любые проекты. В случае провала - вам есть над чем поработать перед масштабными заявками.
> Хотите ультимативную проверку вашего AI Rust? Воскресите Adobe Flash.погоди, у нас же уже ЕСТЬ адобеплешь дома в виде эскопеты с кривым стволом - ruffle.rs
(escopeta.swf найдите сами, ее полный интернет)
Да, криво, но стреляет. Из этого материала "прямо" не факт что вообще можно было. (в конце-концов адоба рисовала напрямую в графический интерфейс ОС, от браузера там была только рамка, а этим приходится довольствоваться тем что предоставляет web-ass через сто кривых апи)
Заняло "всего" десять лет. Из них восемь активной разработки (до этого был чей-то петпроект). Минимум два действительно хороших кодера фигачили без остановок. С кучей переиспользованных лефтпадов и не совсем (в частности туда целиком засосало ffmpeg). Как раз все доделали когда уже окончательно стало никому не надо, последние могикане вымерли.
Зачем нам еще один такой дорогой?
Нельзя ли вместо этого сделать что-то полезное человечеству? Давайте может winmobile воскресим?! Или человечество еще не готово к таким прорывам?
> а этим приходится довольствоваться тем что предоставляет web-ass через сто кривых апи)WebGPU это практически зеркало вулкана. Рисуй через шейдеры всё, что влезет.
Так уже ... https://ruffle.rs/
Я так понимаю, умный алгоритм и баги на расте перепишет?
Где-то уже можно скачать или ждать в Windows 12 теперь для этого?
не беспокойся, винда сама обновиться на RustAI edition
https://github.com/checkedc/checkedc
Лол.
Переписать то он им перепишет, оно может даже соберётся и заработает.
А вот как они будут туда фичи докидывать?Чувствую у них потом будет миграция обратно: с раста на С, притом может даже без ИИ, хватит и обычного транслятора.
> А вот как они будут туда фичи докидывать?да так же - "глубоконеуважаемый ЫЫ, вообрази себя коллективом разработчиков и руководителем прожекта в одном лице. Вам поручено разработать фичу .... Как нибудь сам справься с постановкой ТЗ и его реализацией, код вон на диске D, чего не хватит - из интернетов накачай себе сам"
(почему на D - умные знают ;-)
> Чувствую у них потом будет миграция обратно: с раста на С, притом может даже без ИИ,
> хватит и обычного транслятора.то что после этого получится без понимания логики изначального кода - можно будет только выкрасить и выбросить.
Я не знаю! Чё за прикол с диском D? :)
> Я не знаю! Чё за прикол с диском D? :)а ты будешь учиться на своих ошибках.
("очень известный прецендент - даже в кин...в гугле отражен")
>> В качестве миссии упоминается устранение технического долга в масштабных проектах. Отмечается, что разрабатываемая инфраструктура для обработки кода ориентирована на возможность одному инженеру за месяц переводить миллион строк кода. Проект развивается в подразделении Microsoft CoreAI.Я с ними работал давно. Нечего платить индусам за количество кода который они написали! Даже когда они рассказывали что отказались от этой практики, ещё очень долго их менеджмент именно количеством кода всё и оценивал. Проблема в том что код то можно сделать рабочим, только правда в том что у людей цель заработать деньги, а для этого они выполняют условия других людей выше стоящих и не всегда умных. И даже если кто-то умный что-то переделает, то может всегда найтись эффективный менеджер который глюк вернет на место поднимая вопрос к архитектору, который ему скажет что то решение решало проблему. А за это время куча индусов по созданным заданиям там уже всё поменяло и баги всё-равно остались, но уже другие. А у ИИ совершенно иная цель. За всё время работы с западными компаниями я не помню вообще ни одного раза когда тим-лид или менеджер понес ответственность за свои деструктивные действия, даже если эти действия были весьма очевидными. Так-что далеко не только джунов должно волновать развитие ИИ. Напомню что работодателей давно интересует вопрос как взять кого взять и как оценить человека. Представляете что будет если техническое собеседование больше не нужно будет, а всё досье поднимет сам ИИ? Более того переписывание с одной на другую технологии (на не самых важных проектах) как правило занимается аутсорс - т.е. ребятки из-за рубежа для США. Это позволит им сэкономить на з.п. пока не найдётся эффективный менеджер который создаст новую фичу на несколько индуских команд. Надеюсь с тех пор что-то поменялось к лучшему. Сатья Наделла реально там проблема - его нужно обратно на Стива Баллмера поменять или может кого-то получше. Тогда и технический долг начнёт потихоньку таять возможно. Насколько помню Сатья всех собак на Баллмера катил, это всё попэрэдники, а в реальности их не лучше.
Сначала BLM-повестка, потом машинный перевод кода на Rust, следующее что? Окошко при запуске с просьбой указать свой гендер отличный от пола?
дружище, меньше смотри программу "Врём".
В microsoft НИКОГДА не было никакой blm повесточки. Просто потому что у индусского раджи и его предков никогда не было ни одного негра-раба.У них для этой цели всегда хватало соотечественников, те сами не хуже размножались, и возить за три моря не надо.
Радует что Oracle не впали в маразм, хотя бы Java в безопасностиА мелкомягкие с их экспериментами добьют .NET с виндой
Дружище, в следующий раз не поленитесь проверять факты, прежде чем что-то заявлять.> Asked about its $244 million BLM donation, Microsoft told its investors to pound sand
Ты сам-то понял, что написал?
> Просто потому что у индусского раджи и его предков никогда не было ни одного негра-рабаИменно поэтому в индии считалось, что, чем темнее кожа - тем ниже статус( типо ближе к земле ) ?
> Именно поэтому в индии считалось, что, чем темнее кожа - тем ниже статус( типо ближе
> к земле ) ?мне кажется ты путаешь причину со следствием.
В принципе там одно божество вообще было с рождения синее - и ничего, поклонялись и никто не чмырил!
В Индии так не считали. У индусов кастовая система. Брахманы и кшатрии могли быть тёмнокожими. А вот у китайцев, корейцев и японцев такое есть, да. У европейцев VIII-XIX веков тоже такое было.
> Отмечается, что разрабатываемая инфраструктура для обработки кода ориентирована на возможность одному инженеру за месяц переводить миллион строк кода.Сколько у мелкого софта всего миллионов строк? На сколько месяцев (лет) работы (одному инженеру)?
Сколько процентов инженеров надо найти (перевести на тестировщика, набрать в Индии) на тестировку всего этого добра, до такого состояния, что бы далее можно было передать ендюзверю на тестировку в процессе юзверской работы?Какая экономия от этого всего?
Сколько людей окажутся на улице?
Нисколько. :) Это research проект, т.е. просто "чёрная дыра", куда априори улетают миллионы без возврата.
Чую второе пришествие Windows Vista
> Целью проекта заявлено полное исключение языков C и C++ из кодовых баз MicrosoftЭто самая тупая цель, что я слышал в ИТ! Тупее неё был только "запрет goto".
Исследователи из компании CodeRabbit проанализировали ... в созданном AI коде было в 1.75 раз больше логических ошибок, в 1.64 раза больше проблем с качеством и сопровождаемостью кода, в 1.56 больше проблем с безопасностью и в 1.41 раз больше проблем с производительностью. Дополнительно отмечается, что в генерируемом через AI коде в 1.88 раз выше вероятность некорректной обработки паролей, в 1.91 раз - небезопасного предоставления доступа к объектам, 2.74 раза - межсайтового скриптинга (XSS) и в 1.82 раза - небезопасной десериализации данных.
> Код Windows не будут переписывать на Rust.Конечно, не будут. Ибо Rust - сугубо экспортный товар, призванный оттянуть ресурсы конкурентов на бессмысленную лабуду.