The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



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

"DARPA развивает AI-транслятор для переписывания Си-кода на Rust"  +/
Сообщение от opennews (?), 03-Авг-24, 23:08 
Управление перспективных исследовательских проектов Министерства обороны США (DARPA) представило проект TRACTOR (Translating All C to Rust), развивающего транслятор для автоматического преобразования проектов на языке Си в представление на языке Rust. Транслятор примечателен использованием методов машинного обучения для достижения уровня результирующего кода на Rust, близкого по стилю и качеству к коду, написанному опытным программистом, и использующего только безопасные методы для работы с памятью без включения блоков и функций, помеченных ключевым словом "unsafe". Предполагается, что развиваемый транслятор позволит решить проблему с безопасностью старого кода на языке Си и избавиться от потенциальных уязвимостей, вызванных небезопасной работой с памятью и неопределённым поведением...

Подробнее: https://www.opennet.dev/opennews/art.shtml?num=61656

Ответить | Правка | Cообщить модератору

Оглавление

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


1. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +22 +/
Сообщение от Akteon (?), 03-Авг-24, 23:08 
Слава Роботам !
Ответить | Правка | Наверх | Cообщить модератору

3. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +31 +/
Сообщение от ryoken (ok), 03-Авг-24, 23:17 
Написано же - Тракторам :).
Ответить | Правка | Наверх | Cообщить модератору

373. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (373), 06-Авг-24, 20:59 
> Написано же - Тракторам :).

Одно другому не мешает - трансформеры подтвердят!

Ответить | Правка | Наверх | Cообщить модератору

135. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +3 +/
Сообщение от Аноним (135), 04-Авг-24, 14:14 
https://en.wikipedia.org/wiki/DARPA
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

159. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +2 +/
Сообщение от Аноним (159), 04-Авг-24, 16:31 
> Слава Роботам !

Ага блин. Джинн, перепиши мне весь Linux Kernel на хруст... интересно же - грузиться вообще будет? :)

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

173. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +15 +/
Сообщение от 12yoexpert (ok), 04-Авг-24, 17:29 
грузиться небезопасно, тебе это не нужно
Ответить | Правка | Наверх | Cообщить модератору

214. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (-), 04-Авг-24, 22:52 
> грузиться небезопасно, тебе это не нужно

Зато смотри как здорово, можно хруст и не изучать - кому надо сам сконвертирует. Удобно же! И все довольны! :)

Ответить | Правка | Наверх | Cообщить модератору

273. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +2 +/
Сообщение от анон (?), 05-Авг-24, 16:51 
Будет, только надо докупить памяти, сейчас расту надо 120GB оперативки для раскручивания
https://github.com/dtolnay/bootstrap
Ответить | Правка | К родителю #159 | Наверх | Cообщить модератору

278. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +2 +/
Сообщение от Аноним (278), 05-Авг-24, 17:27 
Be aware that the complete bootstrap uses a lot of disk space. Bootstrapping up through rustc 1.40 requires 120 GB.

Ответить | Правка | Наверх | Cообщить модератору

286. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (286), 05-Авг-24, 19:21 
М-да, emerge всего остального @world просто отдыхает...
Ответить | Правка | Наверх | Cообщить модератору

302. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от 12yoexpert (ok), 05-Авг-24, 22:15 
ичсх, без раста ff не соберёшь
Ответить | Правка | Наверх | Cообщить модератору

369. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от анон (?), 06-Авг-24, 19:05 
> tmpfs
Ответить | Правка | К родителю #278 | Наверх | Cообщить модератору

367. Скрыто модератором  +/
Сообщение от Аноним (-), 06-Авг-24, 18:21 
Ответить | Правка | К родителю #273 | Наверх | Cообщить модератору

258. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (258), 05-Авг-24, 15:26 
Все кто пишут на ржавом языке могут с него легко спрыгнуть: https://www.codeconvert.ai/convert-from-rust
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

2. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +27 +/
Сообщение от бух. (?), 03-Авг-24, 23:12 
У меня двоякое мнение, первое - над шахматными компьютерами все тоже смеялись по началу, но прошли десятилетия и теперь они непобедимы. Второе - как люди не пытались, они так и не смогли создать кошерный VLIW компилятор.

Моя чуйка говорит, что здесь всё-таки второй случай. Этот трактор будет обсираться в своей трансляции в 1 случае из 100, но обсёр этот будет не просто эпичным, а астраномически эпичным и неуловимым, и чтобы его найти надо будет привлекать топовых программистов.

Ответить | Правка | Наверх | Cообщить модератору

4. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +4 +/
Сообщение от Витюшка (?), 03-Авг-24, 23:20 
Топовые программисты в этом не помогут
Ответить | Правка | Наверх | Cообщить модератору

44. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +4 +/
Сообщение от нах. (?), 04-Авг-24, 01:49 
> Топовые программисты в этом не помогут

да и вряд ли захотят мараться.

Ответить | Правка | Наверх | Cообщить модератору

163. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (-), 04-Авг-24, 16:51 
>> Топовые программисты в этом не помогут
> да и вряд ли захотят мараться.

А бестолковых - заменят на AI генераторы кода. Ну а чем гуано из под AI хуже чем гуано из под необучаемого чуркоджуна? AI к тому же перепишет 3 раза и не пикнет, если не устроило. А тот будет прибавку требовать, и вообще, синьора помидора из себя строить.

Ответить | Правка | Наверх | Cообщить модератору

167. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от нах. (?), 04-Авг-24, 17:16 
> А бестолковых - заменят на AI генераторы кода. Ну а чем гуано из под AI хуже чем гуано из под
> необучаемого чуркоджуна?

необучаемого увольняют и нанимают - обучаемого. А с AI ничего не поделаешь (модели, как все мы помним, не дообучаются и не используют твой мат-перемат в прошлых сессиях по поводу их ответов для коррекции будущих)

Ответить | Правка | Наверх | Cообщить модератору

193. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (-), 04-Авг-24, 19:49 
> необучаемого увольняют и нанимают - обучаемого.

Да что-то не заметно. Даже у гугли вон - ЯП типа го в почете. А хруст им уже видите ли слишком сложный для тех прогеров. И вообще, "мне сложно быть эффективным более 2 часов в день" (c) какой-то питонист тут. Заменить ЭТО на AI - epic win по всем направлениям. Геренит такой же мусор, настолько же понимает проблематику и контекст, да еще и перепсать не обламывается.

> А с AI ничего не поделаешь (модели, как все мы помним, не дообучаются и не используют твой
> мат-перемат в прошлых сессиях по поводу их ответов для коррекции будущих)

А таки если попросить иной вариант - таки выдаст.


Ответить | Правка | Наверх | Cообщить модератору

207. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от нах. (?), 04-Авг-24, 21:02 
так другой вариант бреда и выдаст. Причем даже если повезет и с пятнадцатой попытки получилось нечто почти работающее - в следующий раз начнем с начала.

ну и насколько часов в день тебе "несложно" окажется быть эффективным проверяльщиком бредятины нагенеренной ИИ - посмотрим-посмотрим.

Наверное, если иметь свою личную модель, которую кормить на ходу ее собственным но уже подправленным выхлопом - успех будет поближе, но кто ж тебе такую дасть и где ты эту прожорливую тварь будешь держать...

Ответить | Правка | Наверх | Cообщить модератору

216. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 04-Авг-24, 23:08 
> так другой вариант бреда и выдаст. Причем даже если повезет и с
> пятнадцатой попытки получилось нечто почти работающее - в следующий раз начнем
> с начала.

А ты логотип игогошки видел? Это его типовой пользователь :). Думаешь лучше сможет? Дааа?! И скажи еще спасибо что не питон, а то еще тормозило бы как крындец, жрало память не в себя - и наворачивалось бы с 3-страничном трейсом в любой момент, не барское это дело - ошибки обрабатывать, да и динамическая типизация такая няшка - можно приравнять гвозди к апельсинам, даже что-то сделает... какое-то время... а потом конечно навернется где-то. Но уже совсем не там. А потом еще через месяцок версия отъедет, или еще какая-то фигня.

Зато можно откосплеить взрослого дядю и заняться плотным дебагом на недельку. Ух, да, AI быстрее 15 версий выдаст, так то.

> ну и насколько часов в день тебе "несложно" окажется быть эффективным проверяльщиком
> бредятины нагенеренной ИИ - посмотрим-посмотрим.

Учитывая что питонистам сложно юыть эффективными более 2 часов в день (c) - от них решения задачи в нормальном виде вообще можно ждать долго, а получить - фигу, или такое решение что лучше б оно фигой было. Проверено, тудыть :\

> Наверное, если иметь свою личную модель, которую кормить на ходу ее собственным
> но уже подправленным выхлопом - успех будет поближе, но кто ж
> тебе такую дасть и где ты эту прожорливую тварь будешь держать...

Сп..^W позаимствует с работы пару суперсерверов - может даже и прокатит. Вон там уже у этих, иннахагентов, уже на 14, чтоли, миллиардов нашару вывалено. Кушайте не обляпайтесь.

Ответить | Правка | Наверх | Cообщить модератору

306. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (306), 05-Авг-24, 22:32 
>> необучаемого увольняют и нанимают - обучаемого.
>Да что-то не заметно. Даже у гугли вон - ЯП типа го в почете. А хруст им уже видите ли слишком сложный для тех прогеров

У них и раст в почете. Тут полгода назад на конференции технический директор гугла Ларс Бергстром рассказывал про портирование с го и плюсов на раст и результаты этого. Наверное он что-то выдумал про портирование с почетного го, ведь это сложно-невозможно:

"...Some additional context on these two specific claims:

Google found that porting Go to Rust "it takes about the same sized team about the same time to build it, so that's no loss of productivity" and "we do see some benefits from it, we see reduced memory usage [...] and we also see a decreased defect rate over time"

On re-writing C++ into Rust: "in every case, we've seen a decrease by more than 2x in the amount of effort required to both build the services written in Rust, as well as maintain and update those services. [...] C++ is very expensive for us to maintain.""

Ответить | Правка | К родителю #193 | Наверх | Cообщить модератору

408. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от nuzhnyemail (?), 08-Авг-24, 16:56 
К написанию AI код можно подходить по-разному. Последний пеиск - это мультиагентный граф из разных LLM. Например:
- один агент пишет для С кода тесты
- второй агент запускает тесты
- третий агент переписывает С код на Раст
- четвёртый агент запускает код на Раст и отдаёт текст ошибок третьему
- пятый агент переделывает С тесты на Раст тесты
- шестой агент запускает Раст тесты
- седьмой агент получает рабочий Раст код и результат тестов и в случае фейла передаёт ошибку на переделку

Вот из этих агентов строится граф, узлами которого являются разные LLM, обученные на своём домене. Рёбра графа - текст. Граф имеет внутренние циклы.
На вход графа подаётся исходник на С (возможно, уже существующие тесты на С), на выходе код на Раст, который собирается и проходит какие-то тесты.

Ответить | Правка | К родителю #163 | Наверх | Cообщить модератору

128. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +6 +/
Сообщение от Аноним (128), 04-Авг-24, 13:49 
>Топовые программисты в этом не помогут

Топовые программисты благодаря этим телодвижениям как раз и закончатся, и станет просто некому искать такие проблемы.

Ответить | Правка | К родителю #4 | Наверх | Cообщить модератору

6. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (6), 03-Авг-24, 23:26 
> над шахматными компьютерами все тоже смеялись по началу

Непобедимы они для человека без компьютера.

> Моя чуйка говорит, что здесь всё-таки второй случай. Этот трактор будет обсираться в своей трансляции в 1 случае из 100, но обсёр этот будет не просто эпичным, а астраномически эпичным и неуловимым, и чтобы его найти надо будет привлекать топовых программистов.

Если код УЖЕ существует, то к задаче ПЕРЕПИСАТЬ просто добавиться еще одна ПРОТЕСТИРОВАТЬ, что при наличии исходной кода будет сделать не очень сложно (доказать тождественность поведения)

Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

11. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +7 +/
Сообщение от _ (??), 03-Авг-24, 23:40 
>> над шахматными компьютерами все тоже смеялись по началу
> Непобедимы они для человека без компьютера.

доо бро! Ты описал морской бой линкор vs линкор + ты на надувном утёнке :)
Галантерейщик и Кардинал - это сила! (С) Ди3М
Но мушку всё таки спили(С) :)

> Если код УЖЕ существует, то к задаче ПЕРЕПИСАТЬ просто добавиться еще одна ПРОТЕСТИРОВАТЬ, что при наличии исходной кода будет сделать не очень сложно (доказать тождественность поведения)

Ну хойчем же так тупить то?!
Они исходный код протестировать и переписать на том же самом Си, но безопасно - не осилили (пока).

Просто в DARPA тоже люди работают, им тоже хайпануть и пропиариться не чуждо :)

Ну а так то да - рано или поздно, но код будут писать роботы.

Ответить | Правка | Наверх | Cообщить модератору

42. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 04-Авг-24, 01:48 
>>> над шахматными компьютерами все тоже смеялись по началу
>> Непобедимы они для человека без компьютера.
> доо бро! Ты описал морской бой линкор vs линкор + ты на
> надувном утёнке :)

э... нет. Deep Blue скармливали инфу с ложечки цельной бригадой кожаных мешков. Они, конечно, врали что не подкручивают на ходу в сторону правильного направления. Так что надувных утенков будет с обеих сторон. И если с одной окажешься ты, а с другой - запрещенный в РФ экстремистский иноагент, чье имя нельзя-называть - чей линкор первым потонет, догадаться нетрудно.

>> Если код УЖЕ существует, то к задаче ПЕРЕПИСАТЬ просто добавиться еще одна ПРОТЕСТИРОВАТЬ,
>> что при наличии исходной кода будет сделать не очень сложно (доказать тождественность
>> поведения)

протестировал. Ниработаит. И чо делать будиииим?

Учти, говорить об этом нейросети, судя по поведению чатгопоты - соврешенно бестолку. Она когда ее ловят на бредятине - просто отвечает новой бредятиной. Потому что ее критерии "обучения" - ни разу не выдавать точную информацию.

> Ну а так то да - рано или поздно, но код будут
> писать роботы.

когда ж они будут-то... у меня столько идей...

Ответить | Правка | Наверх | Cообщить модератору

58. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от _ (??), 04-Авг-24, 06:22 
> э... нет. Deep Blue скармливали инфу с ложечки цельной бригадой кожаных мешков.

Дык эта ... даже неловко напоминать, но в обучение нейронки никакая нейронка до сих пор не может ... Так что пока ещё поживём ... учителями :)
> Они, конечно, врали что не подкручивают на ходу в сторону правильного направления.

Конечно врали. Так устроен этот мир - посмотриииии (С) :)

> Так что надувных утенков будет с обеих сторон.

На текущем этапе развития - да. Да и на ближайшие просматриваемые годы - тоже ...
Но ведь  настанет день и очередной кадавр окажется способен к самообучению ... 8-\

> И если с одной окажешься ты, а с другой - запрещенный в РФ экстремистский иноагент, чье имя нельзя-называть - чей линкор первым потонет, догадаться нетрудно.

Над этим работают(С) И когда то - решат ... Ну по крайней мере - хотелось бы верить...

>> Ну а так то да - рано или поздно, но код будут писать роботы.
> когда ж они будут-то... у меня столько идей...

Мы идём по пути строительства Коммунизма! Но в пути кормить - мы не обещали...(С) Приписывают ЛИБ-у :-)

Ответить | Правка | Наверх | Cообщить модератору

125. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 04-Авг-24, 13:47 
>в обучение нейронки никакая нейронка до сих пор не может

Альфа Го - это самообучающаяся нейронная сеть была. Разве нет?

Ответить | Правка | Наверх | Cообщить модератору

183. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (183), 04-Авг-24, 18:02 
кажись нет, крутили параметры руками
Ответить | Правка | Наверх | Cообщить модератору

386. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Прохожий (??), 07-Авг-24, 20:55 
Версия 2.0 была полностью самообучена.
Ответить | Правка | Наверх | Cообщить модератору

46. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от ДругойАнон (?), 04-Авг-24, 02:26 
>доо бро! Ты описал морской бой линкор vs линкор + ты на надувном утёнке :)

Хорошая шутка! Спасибо за поднятое настроение!

Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

129. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Прохожий (??), 04-Авг-24, 13:51 
>Ну хойчем же так тупить то?!

Они исходный код протестировать и переписать на том же самом Си, но безопасно - не осилили (пока).

Ну и не тупи. Речь идет о том, чтобы доказать, что новая программа ведёт себя так же, как старая. Речь не идёт о том, чтобы доказать, что в новой программе совсем нет ошибок.

Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

402. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Xasd7 (?), 08-Авг-24, 08:22 
вообще-то поведение ни разу не эквивалентно,

учитывая что старая программа содержит ненайденные дыры, поидее, переписанный Rust-аналог должен тоже segfault-иться (или вести себя неопределённо) в тех же местах что и C-код? :-)

или же Tractor как должен понять что от него хотят?

с таким же успехом его можно было бы спросить «где тут места с дырами — назови!» :-) без переписывания на Rust (то есть — без генерации нового кода, выглядящего как гоовно :) .. которое уже не захочет редактировать ни один программист своими руками)

Ответить | Правка | Наверх | Cообщить модератору

404. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от n00by (ok), 08-Авг-24, 12:59 
> вообще-то поведение ни разу не эквивалентно,
> учитывая что старая программа содержит ненайденные дыры, поидее, переписанный Rust-аналог
> должен тоже segfault-иться (или вести себя неопределённо) в тех же местах
> что и C-код? :-)

Так нельзя бить по ненайденным дырам, это удар ниже пояса. Нарушение правил безопасности поединка, техническая победа присуждается Свидетелю ИИ.

Ответить | Правка | Наверх | Cообщить модератору

419. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 10-Авг-24, 15:25 
Если получаемый результат программы на Rust будет в большинстве случаев таким же, как на C, но без сегфолтов, то почему бы и не принять такое определение эквивалентности?
Ответить | Правка | К родителю #402 | Наверх | Cообщить модератору

54. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (54), 04-Авг-24, 05:41 
> добавится[простите, убрал из цитаты мягкий знак, ибо в глазах рябило] еще одна ПРОТЕСТИРОВАТЬ

Так, может, и начать сразу со второй задачи и "ПРОТЕСТИРОВАТЬ" сишный код? Тогда и на раст не придётся переписывать, теряя переносимость.

Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

130. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Прохожий (??), 04-Авг-24, 13:53 
Протестировать сишный код на предмет отсутствия ошибок, ИМХО, гораздо более сложная задача, чем протестировать схожесть программы на Rust с программой на C.
Ответить | Правка | Наверх | Cообщить модератору

103. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от RM (ok), 04-Авг-24, 11:50 
> Если код УЖЕ существует, то к задаче ПЕРЕПИСАТЬ просто добавиться еще одна ПРОТЕСТИРОВАТЬ, что при наличии исходной кода будет сделать не очень сложно (доказать тождественность поведения)

Так вроде это как раз и непросто.
По крайней мере в общем виде.
Навскидку:
Проблема останова
Формально верифицированый seL4 микрокернел по цене 400 у.е. за строчку кода (и обьем тестов намного превышает обьем самого код).

Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

132. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 04-Авг-24, 13:59 
А что там сложного? Подаёшь на вход что-то, смотришь на выход. Если выход совпадает - тождественность поведения программ доказана. Другое дело, что иногда поведение совпадать не будет, потому что программа на Rust может закрыть какие-то баги программы на Си.

А так, не следует путать формальную верификацию с доказательством тождественности поведения программ.

Ответить | Правка | Наверх | Cообщить модератору

168. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 04-Авг-24, 17:19 
> А что там сложного?

квалификация-с...

> Подаёшь на вход что-то, смотришь на выход. Если выход совпадает - тождественность поведения

_на_этих_конкретных_данных_

> программ доказана. Другое дело, что иногда

а теперь представим что как у любой нормальной программы - и данных неограниченное количество, и не всегда вручную можно два раза запустить в одинаковом исходном состоянии.

поэтому regression tests нихрена и не заменяют ручное тестирование.

Ответить | Правка | Наверх | Cообщить модератору

228. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Прохожий (??), 05-Авг-24, 02:03 
>а теперь представим что как у любой нормальной программы - и данных неограниченное количество, и не всегда вручную можно два раза запустить в одинаковом исходном состоянии

Для этого и нужна нейронная сеть, которая подобные вещи сможет предусматривать. А так можно было бы каким-нибудь тривиальным транслятором обойтись.

Ответить | Правка | Наверх | Cообщить модератору

243. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 05-Авг-24, 11:50 
она соврешенно не так устроена. Ее критерий - максимальная похожесть сгенерированного бреда на реальный код который мог бы решать поставленную задачу. Авторы идеи почему-то предполагали что он при этом и будет ее решать, а не просто не работать.
Она не умеет ничего "предусматривать". И программировать тоже не умеет.

Ну то есть на уровне джуна неудачника умеет - вместо "так... что делает эта строчка? А как такое принято делать в том языке с учетом того что я накостылил вместо предыдущих? Хммм..." ищет строчку в стековерфлове в отрыве от контекста. Строчка правильная, скорее всего, но две подряд - не работают, потому что описание что и как там дальше надо изменить чтобы на самом деле получилась замена - он не читал, ему некогда. А нейросеть не читала потому что и читать-то тоже не умеет.

Ответить | Правка | Наверх | Cообщить модератору

262. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 05-Авг-24, 15:42 
> там дальше надо изменить чтобы на самом деле получилась замена -
> он не читал, ему некогда. А нейросеть не читала потому что
> и читать-то тоже не умеет.

Ну смотри, пох, если тебя после каждогой хренового кода е...шить током - ты через некоторое время таки, вероятно, обучишься выдавать то что надзирателю нравится :-). Как именно ты это достигнешь никого не е...т! Алго прост - выдал какаху, получил током. И вот скажи еще что это не работает. Ага... будешь как зайчик генерять то что "надзиратель" хотел, угадывая 90% желаний :)). Ну вот и эти как-то так же...

Ответить | Правка | Наверх | Cообщить модератору

265. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 05-Авг-24, 15:53 
> обучишься выдавать то что надзирателю нравится

а надзирателю нравится - чтоб код был _похож_ на настоящий. До степени когда исправлять его на _работающий_ как настоящий - становится тяжелым трудом.

Поэтому получается бредогенератор.

(и нет, надзиратель возможно и рад бы использовать другой критерий, но таких моделей у нас для него нет - потому что в качестве исходной использовали модели предназначеные для имитации примитивного разговора живого но не слишком умного человека)

Ответить | Правка | Наверх | Cообщить модератору

293. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 05-Авг-24, 20:19 
>> обучишься выдавать то что надзирателю нравится
> а надзирателю нравится - чтоб код был _похож_ на настоящий. До степени
> когда исправлять его на _работающий_ как настоящий - становится тяжелым трудом.

Надзирателю надо - решать свои задачи, а код так, инструмент для этого. Хотят видимо безопасТность - и чтобы нашару, в уже существующем. Ну как, все и сразу, и заверните две.

> Поэтому получается бредогенератор.

Да ладно, что он, хуже типового хипстика чтоли? То что они обучаемее и умнее - не факт! :)

> исходной использовали модели предназначеные для имитации примитивного разговора живого
> но не слишком умного человека)

Однако, я встречал успешные примеры багфиксов чатгоптем :)

Ответить | Правка | Наверх | Cообщить модератору

349. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 06-Авг-24, 03:34 
> Надзирателю надо - решать свои задачи,

пока задача - больше пиар моделей, а не реальная их продажа в розницу. Деньги дают инвесторы а не клиенты.

кот вообще-то нужен - покупателю, а не надзирателю. Тот может вообще в котах-то не очень, модели тренировать это не на хрусте кодить.

> Да ладно, что он, хуже типового хипстика чтоли?

ну если типовой это типовая индусня, которая программировать училась глядя через плечо на экран гуру - то наверное и не хуже. Но этих-то зачем же менять? Они ж и так за рупию в час пашут. Код за ними разбирать тоже, да, проще выкинуть и новых нанять.

> Однако, я встречал успешные примеры багфиксов чатгоптем

попробуй уговори его 12309 исправить?

Ответить | Правка | Наверх | Cообщить модератору

374. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 06-Авг-24, 21:07 
>> Надзирателю надо - решать свои задачи,
> пока задача - больше пиар моделей, а не реальная их продажа в
> розницу. Деньги дают инвесторы а не клиенты.

Это точно про DARPA было? Они так то не коммерческая организация как таковые. Так что этих явно интересует какой-то практический результат, а не хайп. Зачем DARPA-е хайповать?

...зато потом когда вон те страж-птички к тебе полетят и будут разить еще до того как ты муху прибить собрался, не говоря о чем покрупнее - вот тогда будет хорошо :). Китайцы, кстати, дроны похожие на птиц уже запилили, во. Так что скоро будешь ныкаться в подвал от голубей, нафиг.

> кот вообще-то нужен - покупателю, а не надзирателю. Тот может вообще в
> котах-то не очень, модели тренировать это не на хрусте кодить.

У DARPA покупатели специфичные, и им надо не маркетинговый булшит, имхо.

> ну если типовой это типовая индусня, которая программировать училась глядя через плечо
> на экран гуру - то наверное и не хуже.

Да тут такие же на опеннете есть, в основном от го и питона, конечно. Не думаю что AI сможет хуже. Выдаст такую же какаху такого же джуна подсмотренную вон там через плечо.

>> Однако, я встречал успешные примеры багфиксов чатгоптем
> попробуй уговори его 12309 исправить?

Дык у меня он не воспроизводится - как мне его проверять то? Так что если AI вменяемый, он должен послать на закрытый баг и объяснить что надо новый завести :)

Ответить | Правка | Наверх | Cообщить модератору

379. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 06-Авг-24, 23:28 
>> пока задача - больше пиар моделей, а не реальная их продажа в
>> розницу. Деньги дают инвесторы а не клиенты.
> Это точно про DARPA было? Они так то не коммерческая организация как таковые.

и про них тоже. Они именно не коммерческая организация с кучей денег.
Которые пихают под дверь разным хикканам и ждут результата. Чаще всего за дверью чавкают пиццей и рыгают колой. Иногда получается интернет. Угадать невозможно, они и не стараются, просто выбирают то что им кажется перспективным.

>> попробуй уговори его 12309 исправить?
> Дык у меня он не воспроизводится - как мне его проверять то?

насколько я понимаю, нужно чтоб количество памяти в системе было достаточным чтобы сброс всего буферного кэша не мог быстро пролезть в дисковую подсистему и создал в ней продолжительный затор.
Т.е. умные ворота не подходят.

Дальше нужна линейная запись, многократно превышающего кэши объема. И на фоне нее - рандомное чтение-записи. Вот оно встанет колом.

Ответить | Правка | Наверх | Cообщить модератору

383. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от n00by (ok), 07-Авг-24, 11:12 
>>> попробуй уговори его 12309 исправить?
>> Дык у меня он не воспроизводится - как мне его проверять то?
> насколько я понимаю, нужно чтоб количество памяти в системе было достаточным чтобы
> сброс всего буферного кэша не мог быстро пролезть в дисковую подсистему
> и создал в ней продолжительный затор.
> Т.е. умные ворота не подходят.

"Сброс кеша" - это объявление страниц ОЗУ свободными. На накопитель сохраняются т.н. грязные страницы отображённых файлов и буфера записи.

> Дальше нужна линейная запись, многократно превышающего кэши объема. И на фоне нее
> - рандомное чтение-записи. Вот оно встанет колом.

Дальше нужно собрать ядро с конфигом от Пока Линукс (оно что-то вроде checked build в Windows) и запихать подкачку в ZRAM. Впрочем, на новых ядрах может и не сработает, не проверял.

Ответить | Правка | К родителю #379 | Наверх | Cообщить модератору

385. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 07-Авг-24, 20:07 
>>> розницу. Деньги дают инвесторы а не клиенты.
>> Это точно про DARPA было? Они так то не коммерческая организация как таковые.
> и про них тоже. Они именно не коммерческая организация с кучей денег.

У DARPA "инвесторы" специфичные, и хотелки у них - тоже. Что они хотят - не разбазаривать бабки и оптимизнуть bang per buck, потому кризис маячит, много денег "инвесторы" из бюджетов уже - не дадут! И тут поневоле задумаешься чтобы децимацию всяким квотам произвести, да и заменить 1 бредогенератор другим, столь же функционально, зато не качает права и не требует прибавки, еще и переписывает влет.

> Которые пихают под дверь разным хикканам и ждут результата. Чаще всего за
> дверью чавкают пиццей и рыгают колой. Иногда получается интернет. Угадать невозможно,
> они и не стараются, просто выбирают то что им кажется перспективным.

А, к вопросу о пицце! Оказывается, жор пиццы в конкретном районе, например, вокруг Пентагона - великолепный индикатор с почти 100% корреляцией. Кстати, недавно жор пиццы в этом районе вырос. Так скоро будет что-то интересное видимо. Вот видишь, какой важный топик пицца на самом деле.

>>> попробуй уговори его 12309 исправить?
>> Дык у меня он не воспроизводится - как мне его проверять то?
> насколько я понимаю, нужно чтоб количество памяти в системе было достаточным чтобы
> сброс всего буферного кэша не мог быстро пролезть в дисковую подсистему

Ну так с неких пор к подсистеме ядра приделали эвристику определяющую медленные сторажи и ограничивающие им dirty до разумных величи. Ну и кернелы ессно есть с форсированым преемптом, 1000Гц таймером и проч.

> и создал в ней продолжительный затор.Т.е. умные ворота не подходят.

Да оно и на жирном воркстейшне не проявляется. Там, конечно, SSD под системный диск, его вообще хрен чем озадачишь надолго, и ZRAM как своп, с 1000Hz "dynamic preempt" ядром, так что при OOM - ну, перфоманс проседает секунд на 5 разика в 2-3, из-за активной декомпрессии-рекоспрессии страниц ZRAM, потом за runaway приходит OOM killer, раздает слонов. И весь "12309" в наихучем виде. Вот я и думаю как и что воспроизводить, даже теоретически? :)

Там, на самом деле, еще есть 1 мелкий косяк, не имеющий отношения к 12309, но тот факт что бинари программ юзаются как "расширение свопа" в том смысле что их паги по мнению ядра можно отбросить при душняке - и перечитать с диска потом, если надо. На механике, наверное, это может и тупануть в каких-то раскладах. Но по другим причинам (seek при подчитке страниц когда они потребовались). Но на системе с SSD это уже совсем неактуально стало, там такой псевдосвоп вообще скорее фича: с одной стороны не протирает диск, не тормозит особо, с другой, при душняке отыгрывает памяти. А хранить систему на механическом диске... ну... кто-то и грампластинки, конечно, слушает :)

> Дальше нужна линейная запись, многократно превышающего кэши объема. И на фоне нее
> - рандомное чтение-записи. Вот оно встанет колом.

Вот именно вот это вот - таки вроде более-менее придушили как раз. Это не значит что в принципе невозможны какие-то иные дурные ситуации - но если они отличаются по механизму, очевидно, это ДРУГОЙ баг. В штуке размером с кернел может быть более 1 бага, внезапно :)

Хотя я могу подсказать как срубить джекпот. Поставить систему на механический стораж. Ввинтить своп побольше. Юзануть 100Гц серверный кернель без preempt'а. А потом, когда какой-нить сискол встанет, наконец, в хорошенько нагруженной системе р@ком минут на пять - насладиться от души характерным blocking экспериенсом с "низкой" латенси, ну, раз preempt'ить его нельзя, и 2% в бенчмарке ваше все - оно взамен как-то вот так получается :)

Ответить | Правка | К родителю #379 | Наверх | Cообщить модератору

424. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от RM (ok), 18-Сен-24, 11:29 
> факт что бинари программ юзаются как "расширение свопа" в том смысле что их паги по мнению ядра можно отбросить при душняке - и перечитать с диска потом, если надо.

"Пафиксили" уже в 6.11, разрешив писать в файлы, из которых процессы запущены
> Предоставлена поддержка записи в исполняемые файлы, связанные с работающими процессами. Ранее, как и в других Unix-подобных системах, ядро выводило ошибку при попытке записи в исполняемый файл запущенного процесса. Данное ограничение снято, так как оно лишено практического смысла

https://www.opennet.me/opennews/art.shtml?num=61869


Ответить | Правка | К родителю #385 | Наверх | Cообщить модератору

308. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Прохожий (??), 05-Авг-24, 23:44 
Во-первых, не все нейронные сети так устроены. Например, AlphaGo Zero (вторая версия исходной AlphaGo) училась играть в го с нуля сама с собой.
Во-вторых, коль мы говорим о задаче транслирования кода с одного языка программирования на другой, думаю, это вполне под силу современным нейронным сетям. Откуда такая уверенность? Гугло-переводчик (или любой другой аналогичный) для человеческого языка (который куда сложнее любого языка программирования) вполне неплохо справляется же.
Ответить | Правка | К родителю #243 | Наверх | Cообщить модератору

331. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 06-Авг-24, 01:13 
> Гугло-переводчик (или любой другой аналогичный) для человеческого языка (который куда сложнее
> любого языка программирования) вполне неплохо справляется же.

плохо, очень плохо он справляется.
Если ты конечно достаточно знаешь оба языка, чтобы оценить.  
Уж про мем "Обама виноват" ты наверняка слышал.

А если язык еще и не самый распространенный и семантически далек от английского - ты вообще скорее всего ничего в этом "переводе" не разберешь. Попробуй вон иврит или сингала.

Именно потому что они отказались от использования словарей (типа, ну нафиг еще денех платить тому кто будет словарь составлять) в пользу только и единственно своего статистического анализатора. (Которому верили больше чем себе.)

Но это, конечно, и не ИИ. Тот бы тебе такого набредил, что вообще не удалось бы угадать суть настоящего текста.

Ответить | Правка | Наверх | Cообщить модератору

387. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Прохожий (??), 07-Авг-24, 21:06 
> плохо, очень плохо он справляется.

Возвращаясь к тому, что было лет надцать назад - просто отлично переводит - по моим наблюдениям (хотя я пользуюсь переводчиками редко для больших кусков текста) - примерно 80-90 процентов вполне себе корректно. Косяки встречаются, и очевидно, что для полноценного перевода нужно понимание переводимого. А с этим пока проблемы. Но современные LLM вполне себе могут пройти тот самый тест на человекоподобность, который был популярен в прошлом веке при тестировании всяких там экспертных систем.

> Уж про мем "Обама виноват" ты наверняка слышал.

Не слышал.

> в пользу только и единственно своего статистического анализатора

Там не только статистический анализатор. Там ещё есть промежуточный язык. И вот он, как раз, помогает справиться с языками, которые менее распространены, чем другие. То есть, сначала с исходного языка перевод идёт в него, а потом с него - в целевой язык.

Ответить | Правка | Наверх | Cообщить модератору

425. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от RM (ok), 18-Сен-24, 11:38 
> Но современные LLM вполне себе могут пройти тот самый тест на человекоподобность

Пфффф... Подогнать под ответ могут все
А ты спроси свою любимую модель
"У Алисы 2 брата и 3 сестры. Сколько сестёр у брата Алисы?"
Вот мы и поржём. Пока опять не подгонят под ответ.
И я так понял что что такое проблема останова ты не прочитал или не осознал.
На пальцах обьяснение пох тебе же написал - вариантов входных данных много. Врукопашку юнит тестами не покроешь
А вот алгоритма проверить другой алгоритм - нет (ну или не придумали)
Говорят что функцональщина вроде Хаскела это может, но "это не точно"

Ответить | Правка | Наверх | Cообщить модератору

427. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 18-Сен-24, 11:54 
> А ты спроси свою любимую модель
> "У Алисы 2 брата и 3 сестры. Сколько сестёр у брата Алисы?"

Алиса это мальчик, девочка или вообще умная колонка?
А то в современном мире случается всякое)

> Вот мы и поржём. Пока опять не подгонят под ответ.

Ну так мясные мешки тоже не все ответят.
Треть народу думает что солнце вокруг земли крутится.
Оно тест на "человекоподобность" тоже не пройдут?

Ответить | Правка | Наверх | Cообщить модератору

158. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (-), 04-Авг-24, 16:28 
> ПРОТЕСТИРОВАТЬ, что при наличии исходной кода будет сделать не очень сложно (доказать тождественность поведения)

Невозможно, если ты не получишь одинаковый IR или asm. Точнее это может быть возможно теоретически, но там проблема останова и все такие вещи начнут путаться под ногами. Кроме того, я не думаю, что доказательства на уровне машинного кода в принципе могут прокатить: толку от Rust кода, если он 1-в-1 повторяет C'шный? Нет никаких проблем написать транслятор C в rust+unsafe. Но хочется ведь снизить количество багов? А если из C'шного кода убран один баг, то мы получаем уже неэквивалентный код, про который можно доказать, что он отличается своим поведением.

Задача далеко не тривиальна.

Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

388. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Прохожий (??), 07-Авг-24, 21:08 
Полную тождественность - скорее всего невозможно. А достаточную, думаю, вполне.
Ответить | Правка | Наверх | Cообщить модератору

426. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от RM (ok), 18-Сен-24, 11:50 
> Полную тождественность - скорее всего невозможно. А достаточную, думаю, вполне.

Анекдот советских времён
- Сколько будет 2x2?
- Семь?
- Ну да, где-то так, пять-шесть...

Ответить | Правка | Наверх | Cообщить модератору

358. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от fuggy (ok), 06-Авг-24, 12:36 
Как они могут быть тождественны, если в Си есть UB и гадай, что хотел сказать программист. Так и задумано или заданных условиях теоретически возможно, но практически не будет. Или (void*) это формально не описать, что в реальной задаче может прилететь.
Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

389. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 07-Авг-24, 21:13 
> Как они могут быть тождественны

Частично.

Ответить | Правка | Наверх | Cообщить модератору

7. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (7), 03-Авг-24, 23:33 
Скорей всего оно транслирует то, что легко транслировать, а остальное набьют людьми. По крайней мере это был бы наиболее рациональный подход.
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

14. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от _ (??), 03-Авг-24, 23:45 
То что легко транслировать - и без AI делается, приснопямятные Py2->Py3, P2C и куча подобного уж лет 30 существует ...

В том то и мякотка что впервые появилась надежда трансливровать то, чего те простые автоматы сделать не могли. Смогут ли? АХЗ...
У вообще меня впечатление что чатгопота выложена публике потому как кому надо - это уже пройденный этап ;-)

Ответить | Правка | Наверх | Cообщить модератору

40. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от нах. (?), 04-Авг-24, 01:39 
> У вообще меня впечатление что чатгопота выложена публике потому как кому надо
> - это уже пройденный этап ;-)

бредогенераторы тоже были уже 30 лет назад, без всякого Ai.

Так что да - пройденый.


Ответить | Правка | Наверх | Cообщить модератору

382. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Ф1 (?), 07-Авг-24, 08:24 
>То что легко транслировать - и без AI делается, приснопямятные Py2->Py3, P2C и куча подобного уж лет 30 существует ...

C2Rust тоже уже есть https://github.com/immunant/c2rust

Ответить | Правка | К родителю #14 | Наверх | Cообщить модератору

12. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Аноним (12), 03-Авг-24, 23:41 
Топовые программисты побрезгуют связываться с rust во-первых, а во-вторых, разгребать портянки сгенеренные машиной.
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

101. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (7), 04-Авг-24, 11:32 
Топовые программисты пишут на Раст)
Ответить | Правка | Наверх | Cообщить модератору

164. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (164), 04-Авг-24, 16:53 
говорят, зарплата сильно притупляет брезгливость
Ответить | Правка | К родителю #12 | Наверх | Cообщить модератору

114. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от A.Stahl (ok), 04-Авг-24, 12:45 
>над шахматными компьютерами все тоже смеялись по началу, но прошли десятилетия и теперь они непобедимы.

Вот только всё так же бесполезны. Но да, делают свою бесполезнгую работу эффективней человека.

Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

133. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 04-Авг-24, 14:03 
Почему сразу бесполезны? Шахматы - это часть индустрии развлечений. Захотел интеллектуально развлечься - берёшь такой компьютер, и вот оно счастье. Причём ты заранее застрахован от игры с голубем.
Ответить | Правка | Наверх | Cообщить модератору

169. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 04-Авг-24, 17:21 
> Почему сразу бесполезны? Шахматы - это часть индустрии развлечений. Захотел интеллектуально
> развлечься - берёшь такой компьютер, и вот оно счастье. Причём ты
> заранее застрахован от игры с голубем.

с голубем было поинтересней...

Ответить | Правка | Наверх | Cообщить модератору

309. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 05-Авг-24, 23:47 
С голубем по-прежнему можно "сыграть", если уж так сильно хочется.
Ответить | Правка | Наверх | Cообщить модератору

123. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (123), 04-Авг-24, 13:44 
> но прошли десятилетия и теперь они непобедимы.

Жигули быстрее любого бегуна (если заведутся). Перестаем бегать и пересаживаемся на Жигули?

Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

134. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +2 +/
Сообщение от Прохожий (??), 04-Авг-24, 14:07 
Зависит от конечной цели. Если у тебя задача доехать из пункта А в удаленный, например, на 50 км пункт Б, очевидно, что Жигули - более оптимальное средство передвижения, чем собственные ноги.
Ответить | Правка | Наверх | Cообщить модератору

318. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 06-Авг-24, 00:32 
>> но прошли десятилетия и теперь они непобедимы.
> Жигули быстрее любого бегуна (если заведутся). Перестаем бегать и пересаживаемся на Жигули?

Они даже и летать умеют. Воооон, разогнать и фьють с обрыва - видишь - не аэроплан, а летит! И даже аэродинамика кирпича не мешает полету. А вы говорите. Джеймс Бонд завистливо покуривает в сторонке.

Ответить | Правка | К родителю #123 | Наверх | Cообщить модератору

259. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (259), 05-Авг-24, 15:29 
Тестируй https://www.codeconvert.ai/c-to-rust-converter
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

332. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 06-Авг-24, 01:31 
> Тестируй https://www.codeconvert.ai/c-to-rust-converter

Only the first 4,000 characters will be converted.

даже хеловрот не поместился.

А, впрочем нашел один подходящий. Ну как и следовало ожидать:
unsafe {
все остальное
}

дальше в общем и смотреть незачем.

Ответить | Правка | Наверх | Cообщить модератору

335. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 06-Авг-24, 01:52 
ой, нет, есть, есть на что посмотреть, там в комментарии можно дополнительно попросить- я и написал - minimize unsafe parts. "Стоит статуя - вообще без ...я!"

правда, хеловрот оперировал статической переменной, а тут она внезапно превратилась в параметр.

Ответить | Правка | Наверх | Cообщить модератору

375. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 06-Авг-24, 21:08 
> А, впрочем нашел один подходящий. Ну как и следовало ожидать:
> unsafe {
> все остальное
> }

Ааа, блин, чуда не произошло :(

Ответить | Правка | К родителю #332 | Наверх | Cообщить модератору

5. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +11 +/
Сообщение от Минона (ok), 03-Авг-24, 23:22 
Очень интересно как оно будет переносить сишную адресную арифметику в раст без ансейв.
Ответить | Правка | Наверх | Cообщить модератору

13. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +4 +/
Сообщение от мяя (?), 03-Авг-24, 23:44 
Спрячет за 3 лефтпадами в глубину.
Ответить | Правка | Наверх | Cообщить модератору

68. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (68), 04-Авг-24, 07:46 
Обернёт в враппер))))
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

71. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от glad_valakas (-), 04-Авг-24, 09:10 
враппер будет unsafe ?
Ответить | Правка | Наверх | Cообщить модератору

119. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от n00by (ok), 04-Авг-24, 13:24 
Есть такая штука - "табличный эмулятор". Это когда на вход подают все возможные данные, а на выходе получают ответы и записывают. С появлением 64-х разрядных процессоров 4 гигабайта перестали быть проблемой.)
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

202. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Vkni (ok), 04-Авг-24, 20:47 
Проблема в том, что обычно Сшная программа написана в каком-то контексте, то есть, работает при относительно ограниченном наборе исходных данных.

В то же время, переводчик на Rust, будь это живой программист или AI, не обладая этим контекстом напишет сильно неоптимальную программу. В ней, к примеру, будет реально уйма мёртвого кода, достижимого фаззерами, но не работающего на практике. Ряд вещей будет сильно неидеоматичен.

С другой стороны, если мы говорим про "безопасную" или стремящуюся стать такой Сшную программу, то она, конечно, работает на всём наборе данных.

Ответить | Правка | Наверх | Cообщить модератору

231. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от n00by (ok), 05-Авг-24, 08:14 
Неоптимальная программа в данном случае очень хороша, поскольку даст основания для дополнительного финансирования. А авторы суперкомпилятора OCaml https://github.com/mazeppa-dev/mazeppa и подобного так и будут просить на кофе...
Ответить | Правка | Наверх | Cообщить модератору

292. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от _ (??), 05-Авг-24, 20:15 
Они пытаются продать тебе рефал завёрнутый в фантик :)
И надо же! - дураков не находится :))))
Ответить | Правка | Наверх | Cообщить модератору

357. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от n00by (ok), 06-Авг-24, 10:18 
Там нет Рефала, а фантиков уже давно напродавали всяких всем подряд.
Ответить | Правка | Наверх | Cообщить модератору

354. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (354), 06-Авг-24, 08:51 
Человек, незнакомый с предметной областью, сделает те же ошибки.

Так пусть бесполезной фигнёй занимаются роботы, если уж кому-то приспичило.

Ответить | Правка | К родителю #202 | Наверх | Cообщить модератору

230. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Андрей (??), 05-Авг-24, 07:41 
Предположу что проблем примерно 0, т.к. с одной стороны они не отказываются от unsafe, а лишь максимизируют трансляцию в Rust код без unsafe, т.е. им ничего практически не стоит написать  наколеночный транслятор из си в раст испестрённый unsafe, но это бессмысленно + код будет неидиоматичен. В остальном я предположу, что скорее всего транслятор работает в связке с llvm - скорее всего они гоняют в llvm ir и наоборот, как итог во первых они могут транслировать в общем то не си, а llvm ir, а во-вторых - такая задача сводится на самом деле всего лишь к реверсу(тогда как классическая компиляция это rust -> ir -> машинный код, то им нужно по сути выполнить восходящую транспиляцию llvm ir -> Rust). Другой вопрос что не совсем понятно какую роль тут выполняет пресловутый AI, ибо если решатель неопределённостей, эвристика это одно, если трансляцию выполняют в лоб, то это странно. Скорее всего используют первый вариант, но тут тогда интересен подход.
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

263. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Анонимemail (263), 05-Авг-24, 15:44 
AI тут нужен в первую очередь для того,чтобы "понимать", где в программе важно транслировать поведение один в один, а где так делать не надо, ибо это очередной хитро спрятанный косяк.
Ответить | Правка | Наверх | Cообщить модератору

244. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Илья (??), 05-Авг-24, 11:55 
> Очень интересно как оно будет переносить сишную адресную арифметику в раст без ансейв.

Адресную арифметику перенести легко. Проблема скорее в том, что на расте сложно в лоб повторить оригинальную задумку автора. В расте надо использовать другие паттерны и архитектуру, чем в переписываемом коде.

Например, попробуйте написать MVVM на расте. Спойлер, в расте нет ни одного MVVM фреймворка (https://github.com/rust-unofficial/awesome-rust?tab=readme-o...) так как там требуются перекрёстные ссылки родителей и детей.

Соответственно, этот транслятор должен не просто переписывать c в раст, а он должен переписывать архитектуру приложений на совместимую с растом.

К слову, это и есть недостаток раста. Он не даёт писать непродуманный код. И все сишники бесятся из-за этого.

Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

307. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Аноним (-), 05-Авг-24, 22:57 
> Например, попробуйте написать MVVM на расте. Спойлер, в расте нет ни одного MVVM фреймворка [...] так как там требуются перекрёстные ссылки родителей и детей.

Ага, и деревья в расте невозможно реализовать. И двусвязный список тоже.

Ответить | Правка | Наверх | Cообщить модератору

310. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 05-Авг-24, 23:54 
Возможно, конечно. Но с использованием unsafe.
Ответить | Правка | Наверх | Cообщить модератору

353. Скрыто модератором  +/
Сообщение от Аноним (-), 06-Авг-24, 06:46 
Ответить | Правка | Наверх | Cообщить модератору

381. Скрыто модератором  +/
Сообщение от Илья (??), 07-Авг-24, 03:19 
Ответить | Правка | Наверх | Cообщить модератору

422. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Минона (ok), 15-Авг-24, 10:24 
> К слову, это и есть недостаток раста. Он не даёт писать непродуманный
> код. И все сишники бесятся из-за этого.

Это достоинство.

Ответить | Правка | К родителю #244 | Наверх | Cообщить модератору

287. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (286), 05-Авг-24, 19:25 
Запишет шеллкодами.
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

8. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (8), 03-Авг-24, 23:36 
> Министерства обороны США (DARPA)

А с чего такая щедрость?

Ответить | Правка | Наверх | Cообщить модератору

18. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (135), 03-Авг-24, 23:54 
Много где участвуют:
https://www.hpcwire.com/?s=darpa
Ответить | Правка | Наверх | Cообщить модератору

38. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +5 +/
Сообщение от нах. (?), 04-Авг-24, 01:35 
>> Министерства обороны США (DARPA)
> А с чего такая щедрость?

они тебе еще и интернет подарили.
Точно нам на погибель!

Ответить | Правка | К родителю #8 | Наверх | Cообщить модератору

76. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от BrainFucker (ok), 04-Авг-24, 09:34 
Так и есть, если бы не DARPA в своё время, комментаторы опеннета чем-то полезным занимались бы, а не комменты строчили.
Ответить | Правка | Наверх | Cообщить модератору

77. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 04-Авг-24, 09:40 
фидо-ноды пердолили бы, чего в этом полезного-то?

Впрочем, глядя на нынешний их уровень - да, уцелело б меньше десяти процентов. Остальные не справились бы с настройками.

Ответить | Правка | Наверх | Cообщить модератору

94. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –5 +/
Сообщение от Аноним (94), 04-Авг-24, 10:36 
То то в советское время все полезным делом занимались. Даже Сталин не всех заставил, а кого заставил КПД было близким к нулю, ибо насильно. Таков человек по природе. Интерес должен быть и личный и общественный, а для этого за работой реальное, действующее будущее должно быть видно.
Ответить | Правка | К родителю #76 | Наверх | Cообщить модератору

150. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –5 +/
Сообщение от нах. (?), 04-Авг-24, 15:59 
> То то в советское время все полезным делом занимались. Даже Сталин не
> всех заставил, а кого заставил КПД было близким к нулю, ибо насильно.

Просто плохо старался. (Его задачей было не заставить а больше угробить)

Я тут в свое время рассказывал, повторять детали лень, сам ищи первоисточники.
Вкратце: 1. почему на фотоальбоме для БАМовцев выпущенном в год официального открытия (уже при РФ!) - сплошь люди в форме (нет, первое твое предположение ошибочно)
2. почему вся мощь пропагандистской машины, принудительных распределений, комсомольских и не очень поездов в прекрасное далеко увозивших пачками - на пике могущества издыхающего но тогда еще не издохшего совка позволила только лишь с неимоверным трудом положить рельсы туда где они УЖЕ ЛЕЖАЛИ в 30м году
3. что случилось с теми кто клали их в первый раз и почему
4. а вот после осознания всего этого - а как же был построен - транссиб? В ТЕХ ЖЕ САМЫХ е-нях, но при проклятой царской власти, когда ни бульдозеров, ни путеукладчиков, топор да лопата. Без ритуальных песен и плясок по радио и телевизору, без все как один умрем в борьбе за не-й, ни один крестьянин в полтавской губернии наверное и знать не знал о виликай стройке ?

> Таков человек по природе. Интерес должен быть и личный и общественный,
> а для этого за работой реальное, действующее будущее должно быть видно.

БАМ опровергает это твое утверждение. Феерически бесполезная хрень неимоверных масштабов посреди непригодного для жизни п-ца.

Хорошо еще реки не успели повернуть. А то ж могли.

Впрочем, египетские пирамиды построены четыре тысячи лет назад. Вот ты думаешь тем рабам оно было надо?

Ответить | Правка | Наверх | Cообщить модератору

155. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –2 +/
Сообщение от Аноним (-), 04-Авг-24, 16:11 
> Впрочем, египетские пирамиды построены четыре тысячи лет назад. Вот ты думаешь тем рабам оно было надо?

Ну про рабов это миф.
Естественно они там были, но большая часть были профессиональные рабочие, которые получали неплохое довольствие.
Ну если провести аналогию - то если завтра рыжий кандидат в президенты решит построить Великую Стену за гос.деньги, и будут платить "выше среднего по рынку", то целая куча народу пойдет туда просто заработать.

Но совок переплюнул даже египтян. И по использованию рабов, и как быстро этот кадавр помер.

Ответить | Правка | Наверх | Cообщить модератору

157. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 04-Авг-24, 16:25 
> Ну про рабов это миф.

думаешь, комсомольцы? ;-)

Ну в общем, когда найдешь ответы на первые три вопроса - ткни тут в реплай про четвертый. Первые в общем -то гуглятся, а про четвертый я нашел ответ случайно и совсем не там где можно было подумать.

Ответить | Правка | Наверх | Cообщить модератору

213. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от ZloySergant (ok), 04-Авг-24, 22:40 
>Ну про рабов это миф.
>Естественно они там были, но большая часть были профессиональные рабочие, которые получали неплохое довольствие.

Оба-двое налажали. Рабов, как и "профессиональных" рабочих там не было, были общественные работы за жрат, если вкратце. Под руководством представителей храмов.
А ещё работникам выдавали пыво! :)

Ответить | Правка | К родителю #155 | Наверх | Cообщить модератору

226. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (226), 05-Авг-24, 01:16 
> Ну если провести аналогию - то если завтра рыжий кандидат в президенты
> решит построить Великую Стену за гос.деньги

Секрет в том, что он уже один раз её не построил. Ничто не мешает ему сделать то же самое и второй раз.


Ответить | Правка | К родителю #155 | Наверх | Cообщить модератору

152. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от YetAnotherOnanym (ok), 04-Авг-24, 16:04 
> КПД было близким к нулю

Имеешь на руках сопоставления выработки лесорубов в лагере и артели на соседней делянке?
> ибо насильно

А не насильно оно шаболдалось по аллеям парка, глазело по сторонам и подбирало рифмы - ноль спиленных ёлочек в день. А с насилием хоть какой-то КПД.

Ответить | Правка | К родителю #94 | Наверх | Cообщить модератору

221. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (221), 05-Авг-24, 00:14 
С того, что рутовать телефоны ты больше не сможешь.
Ответить | Правка | К родителю #8 | Наверх | Cообщить модератору

229. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (229), 05-Авг-24, 07:04 
https://ru.wikipedia.org/wiki/Intel_Management_Engine
https://en.wikipedia.org/wiki/CHIPS_and_Science_Act
Ответить | Правка | К родителю #8 | Наверх | Cообщить модератору

269. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (135), 05-Авг-24, 16:05 
https://en.wikipedia.org/wiki/AMD_Platform_Security_Processor
Ответить | Правка | Наверх | Cообщить модератору

9. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –2 +/
Сообщение от Аноним (9), 03-Авг-24, 23:37 
Безопасный код на Си написать невозможно, потому что стандарт языка напичкан UB в самых принципиальных местах -- там, где компиляторам свободы давать было нельзя.
Ответить | Правка | Наверх | Cообщить модератору

16. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –2 +/
Сообщение от Rev (ok), 03-Авг-24, 23:51 
Всё так, увы.
Ответить | Правка | Наверх | Cообщить модератору

49. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +2 +/
Сообщение от Аноним (49), 04-Авг-24, 03:48 
Дык -fno-strict-overflow (-fwrapv + -fwrapv-pointer), -fno-strict-alias.

Чтиво об их полезности: "How ISO C became unusable for operating systems development" https://arxiv.org/pdf/2201.07845

integer promotion из беззнакового в знаковое веселья добавляет.

Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору

136. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (136), 04-Авг-24, 14:19 
Интересное чтиво. А есть ещё?
Ответить | Правка | Наверх | Cообщить модератору

260. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 05-Авг-24, 15:34 
> Интересное чтиво. А есть ещё?

Самое очевидное: в стандартном C нельзя разложить объект в конкретную секцию. Так что даже таблицу векторов какую-нибудь для фирмвари - без гнутых расширений хрен оформишь. А что делать если она должна быть в начале бинаря, по конкретным адресам - и никак иначе?!

Так что получается что си как бы системный, но как только в эту системщину, так сразу и прощай стандарты.

Ответить | Правка | Наверх | Cообщить модератору

261. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (261), 05-Авг-24, 15:38 
Да я вообще не понимаю, что за парадокс такой?!
Ответить | Правка | Наверх | Cообщить модератору

280. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (280), 05-Авг-24, 17:45 
Потому что это универсальный язык, а не под конкретный формат бинаря. Потому и в стандарте такого быть не должно
Ответить | Правка | К родителю #260 | Наверх | Cообщить модератору

324. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 06-Авг-24, 00:45 
> Потому что это универсальный язык, а не под конкретный формат бинаря. Потому
> и в стандарте такого быть не должно

А в каком месте штука типа __attribute__((section("section"))) у объекта в сях подразумевает какой либо формат файла? Оно лишь просит положить вот это в секцию "section". Никаких допущений о формате как таковом - не делается. Только о том что при линковке это должно быть в такой секции. Данная директива в GCC/Clang работает с РАЗНЫМИ форматами исполняемых и объектников.

И да, нехило бы и линкерскрипты стандартизовать, взять лучше всего то что GCC/Clang юзают, один черт самое распостраненное уже (у этой парочки одинаково сделано). Ну и это можно затребовать например в C2X, а то не умеет, noncompliant и декларит более винтажный стандарт. Какие-то проблемы?

А без этого системщина получается, как бы это, не очень системной. Ибо некоторые вещи должны быть в конкретных локациях, а не абы где. Де факто все практически существующие форматы объектников и бинарей - умеют секции так или иначе. И вот как раз "raw binary" фирмвары потом - постпроцессится из кучи секций, через objcopy. Так что бутлоадер - туда, ранний инит сюда, таблицу векторов - вот тут...  и получается что мы это делаем как си, но не стандартный си, а GNU C :). А с этой вашей пропертарой или менее попсовым компилером - вы мою фирмварь вообще совсем никак не соберете в результате. Ну вот такой вот стандарт.

Ответить | Правка | Наверх | Cообщить модератору

69. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Аноним (69), 04-Авг-24, 08:54 
Нормальные люди UB не используют и никаких проблем.
Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору

91. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (49), 04-Авг-24, 10:31 
Просто не используешь UB? На каждую хитрую гайку найдётся свой болт.

C[1]: "to make the existing compiler behaviour sound it is necessary for this program to be deemed to have undefined behaviour"

Rust[2]: "It doesn't make sense to have a bug for every LLVM bug - CLOSED"

[1] https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2676.pdf
[2] https://github.com/rust-lang/rust/issues/45839#issuecomment-...

Ответить | Правка | Наверх | Cообщить модератору

107. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 04-Авг-24, 11:57 
>Просто не используешь UB? На каждую хитрую гайку найдётся свой болт.

Некорректное высказывание.

Ответить | Правка | Наверх | Cообщить модератору

186. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от YetAnotherOnanym (ok), 04-Авг-24, 18:15 
> C[1]: "to make the existing compiler behaviour sound it is necessary for this program to be deemed to have undefined behaviour"
> [1] https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2676.pdf

В следующий раз попробуй прочитать больше одной строки в документах, на которые выкладываешь ссылки. Твоя цитата относиться к примеру кода, который сами авторы называют "пограничным случаем", и который придуман специально для исследования, а не для продакшона:
"For example, consider the classic test [Fea04, KW12, Kre15, CMM+16, MML+16] below. Note that this and
many of the examples below are edge-cases, exploring the boundaries of what different semantic choices allow, and
sometimes what behaviour existing compilers exhibit; they are not all intended as desirable code idioms."
Вобщем, типичный "борцун с дыряшечкой" - слышал звон, да не понял, о чём он.

Ответить | Правка | К родителю #91 | Наверх | Cообщить модератору

206. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (49), 04-Авг-24, 21:02 
Надо добавить в стандарт. "Пограничнослучайное поведение - поведение, расцениваемое некоторыми как неопределенное. В случаях пограничнослучайного поведения рекомендуется ориентироваться не на текст стандарта, а на поведение вашего компилятора".
Ответить | Правка | Наверх | Cообщить модератору

233. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (233), 05-Авг-24, 08:43 
УБ нигде свободы давать нельзя
Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору

264. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (264), 05-Авг-24, 15:45 
А без UB нельзя было бы писать эффективный код.
Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору

274. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от анон (?), 05-Авг-24, 16:56 
>Безопасный код на Си написать невозможно

Можно, только на на современных цисках и франкинштейн-рисках.

Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору

10. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +5 +/
Сообщение от Аноним (12), 03-Авг-24, 23:39 
Давеча на работе столкнулся с жором памяти C++ по сравнению с C на микроконтроллере для производства одной современной железки. Rust и без того славится жирными бинарниками, меня терзают смутные сомнения на счёт качества представленного в новости поделив и его трансляций.
Ответить | Правка | Наверх | Cообщить модератору

20. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (20), 03-Авг-24, 23:56 
Никто в здравом уме в контроллер раст на засунет. Хотя таких людей конечно меньшинство.
Ответить | Правка | Наверх | Cообщить модератору

266. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –4 +/
Сообщение от Аноним (264), 05-Авг-24, 15:55 
А почему нет-то? Даже под AVR на rust пишем, в среднем получается код размером ничем не отличающийся от C, только rust выразительнее и безопаснее, удобнее тестировать, а главное - он единственный из низкоуровневых языков где под bare metal можно использовать врешние библиотеки без ручной работы. Если на C/C++ у тебя нет никаках вариантов кроме вендоринга (а это злейшее зло из-за необходимой ручной работы и её повторении при каждом обновлении), то тут это банальный cargo add с возможностью обновления в любой момент, при этом нужные крейты явно умеют nostd.
Ответить | Правка | Наверх | Cообщить модератору

289. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (286), 05-Авг-24, 19:52 
Python (MicroPython) и JS (Espruino) же засовывают.
Ответить | Правка | К родителю #20 | Наверх | Cообщить модератору

360. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от fuggy (ok), 06-Авг-24, 13:30 
Почему же. Rust embedded без std существует. И даже конференции проводят. Они наверно что-то не знают.
Ответить | Правка | К родителю #20 | Наверх | Cообщить модератору

366. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от _ (??), 06-Авг-24, 17:55 
Да. Они не знают что такое embedded :)
Они думают что если писюк воткнуть в автомобиль всиО - он встроенный :))))
Ответить | Правка | Наверх | Cообщить модератору

67. Скрыто модератором  +1 +/
Сообщение от Аноним (-), 04-Авг-24, 07:24 
Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

98. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –2 +/
Сообщение от Аноним (98), 04-Авг-24, 11:18 
Rust просто по умолчанию компилирует с отладочной информацией.

На С++ тоже гигантские бинарники, если включить отладку.

Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

139. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (123), 04-Авг-24, 14:46 
> На С++ тоже гигантские бинарники, если включить отладку.

Тот же код на С++, консольное приложение, цель - релиз, компилятор g++. На Linux исполняемый модуль 270 Кб, на Windows 3,5 Мб. В чем причина может ыть?

Ответить | Правка | Наверх | Cообщить модератору

161. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Фняк (?), 04-Авг-24, 16:46 
Собран с динамическими и статическими библиотеками соответственно
Ответить | Правка | Наверх | Cообщить модератору

294. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (294), 05-Авг-24, 20:40 
> Rust просто по умолчанию компилирует с отладочной информацией.

Раст по умолчанию вкомпилирует std-либу:


rustc -O -C link-args=-s hello.rs && ll hello
-rwxr-x---  1 анон  wheel   374K  5 Aug. 19:37 hello*

rustc -O -C prefer-dynamic -C link-args=-s hello.rs && ll hello
-rwxr-x---  1 анон  wheel   6,9K  5 авг. 19:36 hello*

gcc -O2 -s hello2.c && ll a.out && cat hello2.c
-rwxr-x---  1 анон  wheel   5,3K  5 авг. 19:36 a.out*
#include <stdio.h>
int main( void )
{
    puts("Hellо врот");
    return  0;
}


Правда, как тут анонимные комментаторы (в каждой расто-новости) получали многоМБ-айтовые "жирные" бинарники, я так и не понял.
Ответить | Правка | К родителю #98 | Наверх | Cообщить модератору

326. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 06-Авг-24, 00:50 
> Правда, как тут анонимные комментаторы (в каждой расто-новости) получали многоМБ-
> айтовые "жирные" бинарники, я так и не понял.

Go по ошибке запустили, с кем не бывает? :)

Ответить | Правка | Наверх | Cообщить модератору

350. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Мальчик Бананан (?), 06-Авг-24, 04:14 
А ведь можно всё сделать на ассемблере уложившись в десяток байт (не считая .data секции). Ненужное вырезать, оставить только .code и .data.
Ответить | Правка | К родителю #294 | Наверх | Cообщить модератору

363. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 06-Авг-24, 15:49 
> А ведь можно всё сделать на ассемблере уложившись в десяток байт (не
> считая .data секции). Ненужное вырезать, оставить только .code и .data.

Если ты пишешь исключительно хллоуворлды - то да.
А если надо написать что-то сложнее, то запаришьтся на АСМе писать.
Ну или будет 10 лет страдать фигней, пока твои коллеги уже написали и забыли.

Ответить | Правка | Наверх | Cообщить модератору

376. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (294), 06-Авг-24, 21:21 
> А ведь можно всё сделать на ассемблере уложившись в десяток байт (не
> считая .data секции). Ненужное вырезать, оставить только .code и .data.

Ну уложи. Кстати, разрешаю слияние (merge) .code+.data (все равно один фиг упрется в выравнивание и мин. размер секции, который согласен "проглотатить" конкретный загрузчик эльфов/пе).
  
Только чур, чтоб хотя бы на пянгвине, бзде и венде с макосью собиралось и работало.
Ну и по процам чтоб не только "ia32", но хотя бы на малинке и у маководов запустить можно было.
А так-то да, 20 байт в формате "com" под DOS - можно ... только нафиг оно сдалось?


Ответить | Правка | К родителю #350 | Наверх | Cообщить модератору

413. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (413), 10-Авг-24, 11:10 
Можешь попробовать std-либу билдить вместе со своим приложением. И тогда вкомпилится только то, что нужно. Но скорее всего (как и многие другие до тебя) начнешь жаловаться что "удобств нехватает" и "ну и какой смысл от этого вашего rust,  если даже ::fmt нельзя - сразу +100500кб. Лучше бы сидел на Си" и все в таком духе.
Ответить | Правка | К родителю #350 | Наверх | Cообщить модератору

420. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (420), 12-Авг-24, 16:22 
а можно спаять светодиоды... а можно на бересте нацарапать
Ответить | Правка | К родителю #350 | Наверх | Cообщить модератору

403. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (403), 08-Авг-24, 09:56 
Думаешь работают идиоты и оставляют отладочную информацию?
Ответить | Правка | К родителю #98 | Наверх | Cообщить модератору

178. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от S22 (?), 04-Авг-24, 17:45 
У раста в релиз сборке без развертки стека (panic = abort) код выходит меньше С (в тестах где то было)
Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

19. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +4 +/
Сообщение от Аноним (20), 03-Авг-24, 23:54 
Единственный кто может написать нормальный код на растк это искусственный интеллект. Я это давно уже всем говорю, а вы мне все не верили.
Ответить | Правка | Наверх | Cообщить модератору

23. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (23), 04-Авг-24, 00:00 
Rust - язык для людей и ИИтей!
Ответить | Правка | Наверх | Cообщить модератору

37. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +2 +/
Сообщение от нах. (?), 04-Авг-24, 01:32 
это - если сможет. В чем имеются большие сомнения.
Ответить | Правка | К родителю #19 | Наверх | Cообщить модератору

95. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +5 +/
Сообщение от 12yoexpert (ok), 04-Авг-24, 10:37 
А и точно, ты говорил, помню
Ответить | Правка | К родителю #19 | Наверх | Cообщить модератору

21. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (23), 03-Авг-24, 23:57 
Хорошая шутка
Ответить | Правка | Наверх | Cообщить модератору

22. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +5 +/
Сообщение от Аноним (22), 03-Авг-24, 23:59 
Кто будет отвечать за качество нейронки? Где гарантии, что она не подставит зонд? Кто будет анализировать данные, на которых обучилась нейронка? Огромное поле для бекдоров. И слепая вера в безопасность раста притупляет размышления о таких вот вопросах.
Ответить | Правка | Наверх | Cообщить модератору

24. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (23), 04-Авг-24, 00:04 
Copilot'у же верят
Ответить | Правка | Наверх | Cообщить модератору

62. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (62), 04-Авг-24, 07:05 
В некоторых компаниях запрещен на корпаративной уровне.
Ответить | Правка | Наверх | Cообщить модератору

281. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (281), 05-Авг-24, 17:48 
Например? Я как контрактор часто меняю компании, со времени появления коммерческих лицензий на copilot довелось поработать в нескольких, включая две из топ-500. И везде копилот либо идёт в базе для всех, кто имеет любое отношение к коду, либо доступен по запросу в айти-отдел точно так же как доступен, скажем, офис или фотошоп.
Ответить | Правка | Наверх | Cообщить модератору

39. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от нах. (?), 04-Авг-24, 01:38 
> Кто будет отвечать за качество нейронки? Где гарантии, что она не подставит
> зонд?

да какой тебе еще зонт, блин. Оно тебе нагенерит кода который вообще работать не будет, "качество" нейронок нынче определяется тем насколько этот код внешне похож на настоящий, а не компилируется ли в принципе.

Ответить | Правка | К родителю #22 | Наверх | Cообщить модератору

50. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Ворчливый 30 летний дед (?), 04-Авг-24, 05:06 
> Оно тебе нагенерит кода который вообще работать не будет

ИМХО, среднестатистического миддла для не системного программирования (а-ля веб) заменит.

Но для низкоуровневого кодинга не годится совсем из-за гaллюцинaций.

Ответить | Правка | Наверх | Cообщить модератору

85. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от нах. (?), 04-Авг-24, 10:00 
>> Оно тебе нагенерит кода который вообще работать не будет
> ИМХО, среднестатистического миддла для не системного программирования (а-ля веб) заменит.

ну не надо так о мидлах - у них хотя бы компилируется всегда, ониж проверяли прежде чем комитить. Тут больше похоже на индусского джуна - километр некомпилирующегося кода и круглые глаза на вопрос - "ты это комплиятору-то показывал? - А что, надо было?!"

> Но для низкоуровневого кодинга не годится совсем из-за гaллюцинaций.

да для никакого не годится. Еще и адский синтаксис в котором так удобно разбираться что просто лопни-мои-глазыньки.

Вот поди и отличи тут - где бредятина, а где наверное даже работает, если этап с компиляцией модель как-то проскочила.


Ответить | Правка | Наверх | Cообщить модератору

179. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от S22 (?), 04-Авг-24, 17:49 
Если есть в имени lvm instruct, то есть надежда что не только проверяли на похожесть, но и на компилируемость.

Ответить | Правка | К родителю #39 | Наверх | Cообщить модератору

311. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 06-Авг-24, 00:03 
> "качество" нейронок нынче определяется тем насколько этот код внешне похож на настоящий, а не компилируется ли в принципе.

Для неспециализированных нейронок - скорее всего так и есть. Но кто запрещает сделать специализированную, которая будет именно проверять работоспособность кода?

Ответить | Правка | К родителю #39 | Наверх | Cообщить модератору

325. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 06-Авг-24, 00:46 
А я знай, зачем они используют вместо этого модель для правдоподобной болтовни, причем именно что знаменитую своими галюцинациями, выдаваемыми весьма правдоподобно, еще и со ссылками на несуществующие источники?
Казалось бы да - при тех мощностях которые жрут такие модели - дать им инфраструктуру и пусть без конца тестируют свою бредятину, пока хоть компилиться не начнет, а все остальные попытки засчитывать как фэйл. Это уже, кстати, и похоже на настоящее обучение настоящего программиста.

Возможно - других моделей просто нет. Сделать некому - в смысле, не натренировать уже сделаную, а именно саму модель придумать, это умеют совсем не те кто сейчас на слуху.

Возможно есть, но не для нас.

Возможно массоны-рептилоиды просто запретили.

Ответить | Правка | Наверх | Cообщить модератору

390. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 07-Авг-24, 21:22 
> А я знай, зачем они используют вместо этого модель для правдоподобной болтовни

Насколько я понял из оригинального анонса, они пока ничего не используют. Только ожидаются предложения.

Ответить | Правка | Наверх | Cообщить модератору

399. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 07-Авг-24, 23:46 
под "они" я подразумевал владельцев реально работающих моделей.

ХРЕН вот его знает, почему так. Я склоняюсь к идее о рептилоидах.

Ответить | Правка | Наверх | Cообщить модератору

418. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 10-Авг-24, 15:21 
В таком случае предположу, что "они" гоняются за наибольшим обхватом области применения, чтобы покрыть немалые затраты на содержание этих моделей. Но, ещё раз, никто не запрещает идти другим путём. И, думаю, пойдут, когда поймут, что нужна специализация в некоторых областях, критичных к точности получаемого результата.
Ответить | Правка | Наверх | Cообщить модератору

25. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +6 +/
Сообщение от Аноним (25), 04-Авг-24, 00:07 
Надо было писать на паскале. Там есть длина строки и динамического массива в явном виде. Проблема решена. Но как реализовали когда-то в DOS посимвольный вывод в консоль в цикле "пока не ноль", так и сидят на этой псевдооптимизации уже лет 40.
Ответить | Правка | Наверх | Cообщить модератору

27. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (23), 04-Авг-24, 00:19 
Microsoft же пыталась быть прогрессивной, начала писать Windows на паскале (в 1985-м).но не получилось у неё
Ответить | Правка | Наверх | Cообщить модератору

34. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (34), 04-Авг-24, 01:08 
Вроде бы как Windows 3 частично был написан на паскале.
Ответить | Правка | Наверх | Cообщить модератору

74. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (25), 04-Авг-24, 09:18 
Сложно сказать, ибо тогда было популярным писать на голом асме, на чем и написаны все публичные сурцы, типа SDK. Но система вызовов API действительно паскалевская. Просто в какой-то момент пошла мода на Си. Там были типа "оптимизации", что на процах на десяток мегагерц было очень критично. Классно же было писать на ЯВУ вместо ассемблера. Как гора с плеч. Но эти "оптимизации" потом и стали причиной всех дыр. Это просто неправильный стиль программирования. На паскале вы чаще всего работаете с явными длинами буфферов и приучены к этому. На сишечке же любят алгоритмы в стиле "пока не ноль", которые уходят в оверран буффера, если данные в нем неправильные. Ну и еще одна мощная вещь. Строгая типизация. Если вы написали, что функция в качестве аргумента может получить энум - то если попытаетесь передать что то другое, то словите ошибку типов. Да, касты никто не отменял. Но вас хотя бы сначала предупредят. А в сишечке что? Энум это просто объявление числовых констант. Тип может быть любой целый. В итоге можно и ошибиться.
Ответить | Правка | Наверх | Cообщить модератору

194. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Dzen Python (ok), 04-Авг-24, 19:57 
При всем многословии Вирт - ГЛЫБА
Ответить | Правка | Наверх | Cообщить модератору

75. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (25), 04-Авг-24, 09:19 
Аналогично с указателями. Просто в паскале более развиты хорошо типизированные указатели. Юзайте их и будет вам счастье.
Ответить | Правка | К родителю #34 | Наверх | Cообщить модератору

377. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (377), 06-Авг-24, 21:39 
На паскале написана mac os, которая не X
Ответить | Правка | К родителю #34 | Наверх | Cообщить модератору

102. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Аноним (102), 04-Авг-24, 11:42 
на фри-паскале :)
Ответить | Правка | К родителю #25 | Наверх | Cообщить модератору

121. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от n00by (ok), 04-Авг-24, 13:33 
В Windows NT есть длина строки в явном виде. Откуда 40 лет?
Ответить | Правка | К родителю #25 | Наверх | Cообщить модератору

162. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Фняк (?), 04-Авг-24, 16:50 
А дос то причем?

Это тот самый Паскаль где длина строки не может превышать 255 байт?

Ответить | Правка | К родителю #25 | Наверх | Cообщить модератору

182. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +2 +/
Сообщение от Аноним (182), 04-Авг-24, 18:01 
это в Turbo Pascal 'е такое было поначалу. А в языке Pascal никаких ограничений
Ответить | Правка | Наверх | Cообщить модератору

267. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (264), 05-Авг-24, 16:00 
> Надо было писать на паскале. Там есть длина строки и динамического массива в явном виде

Код надо писать на языках программирования, на паскале не надо. А длина строки в явном виде передаётся везде кроме C - и в плюсах, и в расте.

Ответить | Правка | К родителю #25 | Наверх | Cообщить модератору

296. Скрыто модератором  +1 +/
Сообщение от _ (??), 05-Авг-24, 20:55 
Ответить | Правка | Наверх | Cообщить модератору

26. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +2 +/
Сообщение от Аноним (26), 04-Авг-24, 00:12 
Так бы и написали что создан проект по переделке Си кода в новояз без матеров, слейвов вместо организации проверки Си кода и обучения специалистов так как сэшэкцы не друзья своим программистам и вообще повесточка запрещает видеть неправильные слова и знать об их существовании.
Ответить | Правка | Наверх | Cообщить модератору

28. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +2 +/
Сообщение от Аноним (28), 04-Авг-24, 00:22 
Как корабль назовёшь....
Ответить | Правка | Наверх | Cообщить модератору

32. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +4 +/
Сообщение от Аноним (32), 04-Авг-24, 00:56 
У меня тоже была эйфория, когда скармливал условные хеллоувроты на пару десятков строк. На что-то бóльшее она непригодна — галлюцинирует. Причин много, начиная от мизерного контекста, заканчивая сомнительным качеством источников обучения.
Ответить | Правка | Наверх | Cообщить модератору

297. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от _ (??), 05-Авг-24, 21:01 
> хеллоувроты на пару десятков строк.

Ну да. На что то большое она нарисует рыбу и честно предложит вписать код ниже вот этого комента :)
Это если повезёт, а нет - так насыпет бреда.

Но! Сравни чего умел первый Netscape Navigator и чего умеет нонешний Google Chrome ...
Ну вот и дай этому развиваться 30 лет и тогда посмотрим ... есть шанс дожить :)

Ответить | Правка | Наверх | Cообщить модератору

421. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (420), 12-Авг-24, 16:31 
через 30 лет чет сомнительно что раст будет жив
Ответить | Правка | Наверх | Cообщить модератору

33. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +8 +/
Сообщение от Аноним (34), 04-Авг-24, 01:05 
Лучше бы наоборот с Rust на C. От от обновления многих пакетов приходится отказываться если хотябы одна зависимость переписывается на Rust.
Ответить | Правка | Наверх | Cообщить модератору

45. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (45), 04-Авг-24, 02:05 
Так а почему нет? Если можно запилить транслятор в одну сторону - значит так же можно и в обратку. Заодно и с декодированием всех этих "безопасных" операций в нормальный код.
Ответить | Правка | Наверх | Cообщить модератору

57. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от noc101 (ok), 04-Авг-24, 05:59 
Сначала пишем транслятор С=>Rust
Потом пишем транслятор Rust=>С
Запускаем в цикле и наблюдаем за пердолингом)
Ответить | Правка | Наверх | Cообщить модератору

60. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от _ (??), 04-Авг-24, 06:48 
I like to move it, move it...(C) Reel 2 Real
Ну песняк такой был, зачётный! в 1995 :-D
Ответить | Правка | Наверх | Cообщить модератору

63. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –3 +/
Сообщение от Аноним (62), 04-Авг-24, 07:08 
Это вообще из Мадагаскара все знают.
Ответить | Правка | Наверх | Cообщить модератору

232. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от _ (??), 05-Авг-24, 08:37 
Two-pack(С)
Там в мульте написано у кого купили песню.
Ответить | Правка | Наверх | Cообщить модератору

180. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от S22 (?), 04-Авг-24, 17:51 
Вероятно это будет из коробки
Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору

47. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 04-Авг-24, 02:42 
> Лучше бы наоборот с Rust на C. От от обновления многих пакетов приходится отказываться если хотябы одна зависимость переписывается на Rust.

Это ты можешь сделать самостоятельно и без всякого AI. Трансляция из раста в C пойдёт с потерей информации, и всё что плохого может случиться, оптимизатор без этой информации будет генерить менее оптимизированный код. Сложности могут с выводом типов возникнуть, но lsp-сервера могут типы выводить, так что если сам не справишься, можешь у них спросить.

Ответить | Правка | К родителю #33 | Наверх | Cообщить модератору

64. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (62), 04-Авг-24, 07:10 
Выход кода на раст такой же машинный код как у всех. Добавить проверки что есть у раста в си код на каждый чих проблем нет.
Ответить | Правка | Наверх | Cообщить модератору

147. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 04-Авг-24, 15:47 
> Добавить проверки что есть у раста в си код на каждый чих проблем нет.

Как раз с этим проблемы, потому что эти проверки по большей части компайл-тайм, и как ты будешь объяснять C, эти проверки? Что-то можно добавить в код, в надежде что C проверит их в компайл-тайме и выкинете, но не всё так можно добавить, и не факт что удастся оптимизатору создать условия, чтобы он выкинул их.

Проще не добавлять этих проверок. Их можно прогнать компилятором rust'а, после этого считать их выполненными и скомпилировать в C, выкинув их.

Ответить | Правка | Наверх | Cообщить модератору

236. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (236), 05-Авг-24, 09:03 
Препроцессорами обложить и #if делов то. Просто их будет много это другой вопрос.
Ответить | Правка | Наверх | Cообщить модератору

359. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Серб (ok), 06-Авг-24, 13:08 
> Как раз с этим проблемы, потому что эти проверки по большей части компайл-тайм

Нет нужды их переносить. Сгенеренный на Си код должен делать то же что и код на раст. Все остальное слить, как не нужное.

Ответить | Правка | К родителю #147 | Наверх | Cообщить модератору

97. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 04-Авг-24, 10:39 
> оптимизатор без этой информации будет генерить менее оптимизированный код

Как раз наоборот, ограничения rust ограничивают оптимизации.

Ответить | Правка | К родителю #47 | Наверх | Cообщить модератору

116. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (116), 04-Авг-24, 13:15 
> Трансляция из раста в C пойдёт с потерей информации

Оно и так компилится в си подобный промежуточный IR код, и только потом в машинный с низкоуровневыми оптимизациями. Декомпилер IR -> C существует, ничего выдумывать не надо.

Ответить | Правка | К родителю #47 | Наверх | Cообщить модератору

93. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от 12yoexpert (ok), 04-Авг-24, 10:35 
та же фигня, перешёл на генту с арча из-за раста в системд

за 18 лет использования линукса так и не решался попробовать, а тут сама судьба

Ответить | Правка | К родителю #33 | Наверх | Cообщить модератору

149. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 04-Авг-24, 15:50 
> за 18 лет использования линукса так и не решался попробовать, а тут сама судьба

Я считал себя мееедленным, поскольку я практиковал подобное лет десять наверное, избегая C++ и некоторых других вещей. Но оказывается, я не самый мееедленный, есть люди до которых доходит более туго.

Успехов тебе в твоих геморроях!

Ответить | Правка | Наверх | Cообщить модератору

172. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от 12yoexpert (ok), 04-Авг-24, 17:27 
Именно. Меня даже systemd не смог заставить пойти собирать генту, но раст смог
Ответить | Правка | Наверх | Cообщить модератору

312. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 06-Авг-24, 00:06 
Тебе шашечки или ехать?
Ответить | Правка | Наверх | Cообщить модератору

268. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (264), 05-Авг-24, 16:04 
> Лучше бы наоборот с Rust на C

Это похоронит C сразу, потому что позволит всем, кому ещё зачем-то нужен C (типа прозрачной интероперабельности с другим C кодом, или поддержки каких-то мёртвы архитектур) писать на нормальном языке вместо C.

Заодно это покажет убогость C, когда одна сточка на rust с парой ? будет развёрнута в несколько страниц бойлерплейта if (!foo()) { cleanup; return }, не говоря уже во что будут развёрнуты монадические конструкции.

Ответить | Правка | К родителю #33 | Наверх | Cообщить модератору

35. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от qwe (??), 04-Авг-24, 01:15 
Помнится в Debian уже исправляли "уязвимость" когда в коде использовался неинициированный буфер. В результате компы стали герерировать некриптостойкие ключи. И это было не автоматическое, а осмысленное исправление. Уверен: транслятор не будет читать комментарии к коду. Чую нас ждут интересные времена.
Ответить | Правка | Наверх | Cообщить модератору

48. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от . (?), 04-Авг-24, 03:22 
Dr. Dan Wallach joined DARPA in June 2023 to develop, execute, and transition programs in computer security, cryptography, and related applications.
https://pbs.twimg.com/profile_images/1602335317234778120/mlG...
“You can go to any of the LLM websites, start chatting with one of the AI chatbots, and all you need to say is ‘here's some C code, please translate it to safe idiomatic Rust code,’ cut, paste, and something comes out, and it's often very good, but not always,” said Dr. Dan Wallach, DARPA program manager for TRACTOR. “The research challenge is to dramatically improve the automated translation from C to Rust, particularly for program constructs with the most relevance."

Смузихлёбы, танцоры, меньшинства уже и в американском агенстве DARPA. Товарищ хоть понимает огромную пропасть между C и Rust в плане дальнейшего сопровождения кода? На хабре по данному вопросу уже была серия статей с детальным разбором полётов. Гораздо проще было бы создать альтернативную стандартную библиотеку C++ для самых распространенных бизнес задач и использовать упрощённый стиль кодинга со смарт поинтерами, который не эксплуатирует возможные случаи UB. Но маразм в IT похоже крепчает. Искусственный интеллект вам, гуманитарным танцорам, уже не поможет. Думать надо своей головой, а не протезом.

Ответить | Правка | Наверх | Cообщить модератору

65. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +2 +/
Сообщение от Аноним (62), 04-Авг-24, 07:13 
Можно подумать дарпа какая то особенная организация и там какие-то другие программисты, точно такие же с гольфами и с ушками.
Ответить | Правка | Наверх | Cообщить модератору

72. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 04-Авг-24, 09:10 
> Товарищ хоть понимает огромную пропасть между C и Rust в плане дальнейшего сопровождения кода?

так мы сишный и будем дальше сопровождать.

А это бебебезопастное - пусть вон робот каждый раз генерирует.

(понятно что оно каждый раз будет неработающим, но помечтать-то ж можно)

Ответить | Правка | К родителю #48 | Наверх | Cообщить модератору

201. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (201), 04-Авг-24, 20:38 
Боюсь, что пока военных дармоедов кормят из НАЛОГОВ, эти mра3и так и будут сосать из бюджета деньги на ЛЮБУЮ хрень, хоть вот с->раст! Главное же - финансирование. Чем больше безумных программ, тем толще бюджет.
Ответить | Правка | К родителю #48 | Наверх | Cообщить модератору

227. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (226), 05-Авг-24, 01:26 
> Боюсь, что пока военных дармоедов кормят из НАЛОГОВ

А из чего их должны кормить, просто любопытно?

Или как в том анекдоте, мол, думал, что выдали ствол, ну и дальше сам крутись? )

Ответить | Правка | Наверх | Cообщить модератору

313. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 06-Авг-24, 00:10 
> Товарищ хоть понимает огромную пропасть между C и Rust в плане дальнейшего сопровождения кода?

Почему бы тебе не заняться просвещением доктора наук, дав почитать ему статьи на Хабре (в переводе, конечно, сам-то он вряд ли с этим справится)?

Ответить | Правка | К родителю #48 | Наверх | Cообщить модератору

352. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от . (?), 06-Авг-24, 06:40 
Почему бы тебе не заняться повседневным делом ржавой секты - переписыванием кода ради переписывания и героической борьбой с компилятором
Ответить | Правка | Наверх | Cообщить модератору

391. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 07-Авг-24, 21:24 
Потом что я не отношу себя ни к какой секте. Но ЯП Rust мне концептуально нравится, даже при всех известных недостатках (а где их нет?).
Ответить | Правка | Наверх | Cообщить модератору

51. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Ворчливый 30 летний дед (?), 04-Авг-24, 05:09 
Пока что ни одна модель не годится для чего-то более серьезного, чем клепание формочек для веба. Ажиотаж падает вместе со стоимостью акций компаний, которые сделали ставку на ИИ.
Ответить | Правка | Наверх | Cообщить модератору

56. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +2 +/
Сообщение от Аноним (54), 04-Авг-24, 05:49 
> клепание формочек для веба

А с этим-то уже справляется? Друг интересуется.

Ответить | Правка | Наверх | Cообщить модератору

105. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (102), 04-Авг-24, 11:51 
частично :)

ты спрашиваешь - тебе выдает кучу кусков, из них собираешь что-то сам и пытаешься заставить работать...
в итого, если что-то не супер типовое, то быстрее самому с нуля написать, но не проще - так как почитать и подумать надо будет :)

Ответить | Правка | Наверх | Cообщить модератору

141. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (141), 04-Авг-24, 15:19 
Справляется лучше чем большинство джунов.
Ответить | Правка | К родителю #56 | Наверх | Cообщить модератору

284. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +2 +/
Сообщение от wyry (-), 05-Авг-24, 18:45 
не лучше. Все, что может "создать" ИИ - это типовое решение, которое уже где-то встречалось. Строго говоря ИИ даже не существует, это просто нейросеть, которая занимается преобразованием входящих запросов, она даже не думает, у неё нет рефлексии и осмысления задачи и на выходе получается "что-то похожее на код", чем задача более типова, тем выше вероятность, что заработает. Можно восхититься, если нейронка реализует какой-то сложный алгоритм, но если он общеизвестен, то в этом нет достижения. А вот ничего нового нейронка не создаёт даже простого, либо вам потребуется запрос такой сложности, что он сам по себе будет программой. То есть проще тогда написать собственную программу, чем "объяснять" ИИ как она работает. И как справочник нейронку использовать менее надёжно, чем банальные справочники и научную литературу.
Вывод: джуна можно заставить штудировать литературу мотивируя это повышением или отсутствием побоев, а нейронка уже упёрлась в потолок и ничего вам не создаст.
Ответить | Правка | Наверх | Cообщить модератору

298. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от _ (??), 05-Авг-24, 21:10 
>Все, что может "создать" ИИ - это типовое решение, которое уже где-то встречалось.

Ну дык ВНЕЗАНА!(С) - это и есть 99.99999% (7 девяток) нонешнего программинга, разве не? :-)

Ответить | Правка | Наверх | Cообщить модератору

328. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 06-Авг-24, 00:51 
>>Все, что может "создать" ИИ - это типовое решение, которое уже где-то встречалось.
> Ну дык ВНЕЗАНА!(С) - это и есть 99.99999% (7 девяток) нонешнего программинга,

так а ИИ тогда зачем? Я и сам прекрасно умею ctrl-c/ctrl-v прямо из вопроса на стеке.
А если не заработает, я даже ответы на него прочту!

Ответить | Правка | Наверх | Cообщить модератору

370. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от _ (??), 06-Авг-24, 19:57 
Дык вы тогда и есть за меня будете?!   А-г-а!!! (С) Мульт про Вовочку

А с AI - купи подиську и уволь всех этих IT выскочек, у которых зряплата не хуже чем у руководящих ими рукойводителями (С) :)  А тут гляди и сбудется многолетняя мечта мэнеджеришек - поставить этих IT выскочек в стойло! :)
Правда уже было и не раз (да, я супер стар) ... но как то не ... :) Но прогресс не остановить!

PS: А то что 99.99999% (7 девяток) мэнэджеров AI тоже заменится ... им пока не говорят ;-)

Ответить | Правка | Наверх | Cообщить модератору

372. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 06-Авг-24, 20:45 
> А с AI - купи подиську и уволь всех этих IT выскочек,

ну и чо, придется ж нанимать этих... prompt инжынеров. Правда, наверное, подешевле обойдутся за голову.

Не самому ж любимому руководителю с искусственным ди6илом общаться.

> PS: А то что 99.99999% (7 девяток) мэнэджеров AI тоже заменится ...
> им пока не говорят ;-)

не, тоже не прокатит. С кому потом уважаемым топтопам в углу топать - с промпт менеджером, чтоль?

А моим надеждам что эта хрень быстренько напишет за меня километр тривиального кода - похоже, сбыться не суждено. (или хотя бы разберется в апи и структурах данных которых нет на стековерфлове)


Ответить | Правка | Наверх | Cообщить модератору

380. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от _ (??), 07-Авг-24, 02:18 
>> А с AI - купи подиську и уволь всех этих IT выскочек,
> ну и чо, придется ж нанимать этих... prompt инжынеров. Правда, наверное, подешевле обойдутся за голову.

Нууу ... Вот мы подсмотрели идею у софтой-пейсаталей - релизится так часто, чтоб с той стороны в глазах рябило И ... барабанная дробь ...
Теперь мы не IT какое нить там, а D & T ! ;-)))
А этих выскочек IT-шнегов - да, пусть разгоняют!

> А моим надеждам что эта хрень быстренько напишет за меня километр тривиального кода - похоже, сбыться не суждено.

Я прикололся и попросил написать мне FidoNet ... Как результат - хорошее настроение на весь день :-D
Так что (пока) - да, даже не думай :)
Но ведь могут и смочь ... когда нибудь... :)

Ответить | Правка | Наверх | Cообщить модератору

108. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (108), 04-Авг-24, 12:24 
Задача стояла не уменьшить количество программистов, а увеличить, чтобы не было безработных. Там где раньше обходились одним программистом, теперь будет какой-нить AI и 10 новых программистов для анализа чего натворил этот самый AI. Все при деле - вот оно счастливое будущее человечества.
Ответить | Правка | К родителю #51 | Наверх | Cообщить модератору

113. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (113), 04-Авг-24, 12:43 
Только это не 10 программистов, а 10 людей с низкой квалификацией.
Ответить | Правка | Наверх | Cообщить модератору

117. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +3 +/
Сообщение от Аноним (102), 04-Авг-24, 13:16 
> с низкой квалификацией

искать ошибки, ревью и тестирование кода это с низкой квалификацией?

чой-то сомнительно...

Ответить | Правка | Наверх | Cообщить модератору

122. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от n00by (ok), 04-Авг-24, 13:42 
Смотря в каком коде искать ошибки.
Ответить | Правка | Наверх | Cообщить модератору

295. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от qwe (??), 05-Авг-24, 20:47 
Искать или находить?
Ответить | Правка | К родителю #117 | Наверх | Cообщить модератору

142. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (141), 04-Авг-24, 15:21 
> Задача стояла не уменьшить количество программистов, а увеличить, чтобы не было безработных.

Так уже есть такая наука как prompt engineering и штатные сотрудники в должности prompt engineer во многих компаниях (как правило аутсорсных "галерах").

Ответить | Правка | К родителю #108 | Наверх | Cообщить модератору

146. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 04-Авг-24, 15:38 
>> Задача стояла не уменьшить количество программистов, а увеличить, чтобы не было безработных.
> Так уже есть такая наука как prompt engineering и штатные сотрудники в
> должности prompt engineer во многих компаниях (как правило аутсорсных "галерах").

чего это только галерах. Полно модных стартапов "в около финтех" с подобными вакансиями.

(ну не программистов же на самом деле нанимать?)


Ответить | Правка | Наверх | Cообщить модератору

156. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Tron is Whistling (?), 04-Авг-24, 16:12 
Осталось ввести должность motd-инженера и всё, мир перевернётся.
Ответить | Правка | К родителю #142 | Наверх | Cообщить модератору

53. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Ворчливый 30 летний дед (?), 04-Авг-24, 05:24 
За последнее время ВНЕЗАПНО повызалили эксперты, ИЧСХ их познания в программировании ограничиваются умением жать ctrl+c и ctrl+v. Кстати занятно, что stack overflow нещадно кapaет таких любителей копипастить ответы из чaтгпт. Попытки протащить машинную бeлибepду под видом собственного ответа там заканчивается беспощадным бaнoм.
Ответить | Правка | Наверх | Cообщить модератору

73. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 04-Авг-24, 09:11 
а как он это определяет? Спрашивает у чатгопоты?
Ответить | Правка | Наверх | Cообщить модератору

143. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (141), 04-Авг-24, 15:27 
Просто пpидуpки копипастят ответы целиком. Текст сгенерированный нейронкой узнаваем. Ценность стека теряется если туда пихать разный муcoр.
Ответить | Правка | Наверх | Cообщить модератору

144. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –2 +/
Сообщение от нах. (?), 04-Авг-24, 15:35 
особенно смешно что нейронка на нем и обучалась. А их авторы изо всех сил старались не допустить чтоб она пересказывала свой же бред.

Но мне кажется, придурок которому хочется звездочек или чего там на стеке дают, со второго бана научится вручную здрасьте, вот ответ на ваш вопрос ctrl-v, с глубоким уважением, обращайтесь есличто.

Ответить | Правка | Наверх | Cообщить модератору

84. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от BrainFucker (ok), 04-Авг-24, 10:00 
Кстати, а какая у них мотивация? Сам наблюдал в разное время на полумёртвых классических форумах как какой-то регистрант живёт только тем что репостит неинтересные новости из разных источников. Профита ему от этого никакого, нафига?
Ответить | Правка | К родителю #53 | Наверх | Cообщить модератору

112. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (113), 04-Авг-24, 12:43 
Оживить форум?
Ответить | Правка | Наверх | Cообщить модератору

115. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от BrainFucker (ok), 04-Авг-24, 12:57 
Ну, за 15 лет можно было сделать вывод что это не работает.
Ответить | Правка | Наверх | Cообщить модератору

124. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –2 +/
Сообщение от n00by (ok), 04-Авг-24, 13:45 
Кретинизация населения нужна, что бы проще проворачивать мутные схемки. Про форумы не знаю.
Ответить | Правка | К родителю #84 | Наверх | Cообщить модератору

140. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (141), 04-Авг-24, 15:17 
> Кстати, а какая у них мотивация?

Продвинуть никнейм в поиске, накидать ссылок в резюме, мол, смотрите какой я дофига спец. Многие айтишники пиарят свои никнеймы, которые одинаковы везде: на гите, на стеке и которые легко гуглятся.

Ответить | Правка | К родителю #84 | Наверх | Cообщить модератору

145. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от нах. (?), 04-Авг-24, 15:37 
>> Кстати, а какая у них мотивация?
> Продвинуть никнейм в поиске, накидать ссылок в резюме, мол, смотрите какой я
> дофига спец. Многие айтишники пиарят свои никнеймы, которые одинаковы везде: на
> гите, на стеке и которые легко гуглятся.

но не на мертвом же форуме? Хотя, с другой стороны... за откровенный мусор на стеке вообще банят, а как минимум уйдет в область отрицательных подтверждений ответа. На гитхап надо что-то выложить, а им нечего. А мертвый форум хоть индексируется.


Ответить | Правка | Наверх | Cообщить модератору

148. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от BrainFucker (ok), 04-Авг-24, 15:47 
> смотрите какой я дофига спец.

Не, площадка не обязательно про IT, а на классических форумах традиционно нонеймы с ни о чём не говорящими никнеймами как тут.

Ну я не знаю, может таким персонажам кажется что они делают полезное дело для интернет, распространяют контент. Репостили что угодно, новости с ленты.ру (не обязательно политоту), выкачивали музло с торрентов и заливали на бомжеобменники, где ссылки умирают через месяц и т.д.

Ответить | Правка | К родителю #140 | Наверх | Cообщить модератору

170. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Ворчливый 30 летний дед (?), 04-Авг-24, 17:24 
Я не знаю про какие "форумы" вы пишете. В интернете в сущности две площадки: reddit и stack overflow. Они имеют вес и неплохо индексируются поисковиками. Про русскоязычное ничего не скажу.
Ответить | Правка | Наверх | Cообщить модератору

177. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от BrainFucker (ok), 04-Авг-24, 17:38 
Это не про текущее время, явлению как миниму 15 лет ну и да, речь о российском интернет, на зарубежных площадках не наблюдал такого, впрочем мог просто не заметить в силу того что проводил там меньше времени.
Ответить | Правка | Наверх | Cообщить модератору

174. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от нах. (?), 04-Авг-24, 17:29 
> (не обязательно политоту), выкачивали музло с торрентов и заливали на бомжеобменники,

не, ну с этим вот понятно - торрентcpy без впн считай уже нету, да и по головке могут не погладить, а музон на работу хочется - скачал дома, залил на слилру, пришел на работу, скопировал в хомяк.

Ответить | Правка | К родителю #148 | Наверх | Cообщить модератору

176. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от BrainFucker (ok), 04-Авг-24, 17:36 
Это не про текущее время, явлению как миниму 15 лет.
Ответить | Правка | Наверх | Cообщить модератору

187. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 04-Авг-24, 18:18 
> Это не про текущее время, явлению как миниму 15 лет.

так за торренты на работе и пятнадцать лет назад п-дили веником

а за просто музычку слушать - не везде

Ответить | Правка | Наверх | Cообщить модератору

199. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от BrainFucker (ok), 04-Авг-24, 20:30 
А причём тут работа? 🤦
Ответить | Правка | Наверх | Cообщить модератору

203. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 04-Авг-24, 20:54 
> А причём тут работа? 🤦

чуваку хочется там музычку. Чувак скачивает с торрента дома, где против только кот.
И вылаживает на сцайт с одноразовыми ссылками всем на радость, но главное - себе. С работы лазить по сцайтам не запрещено.

всегда ж так делаем.

Ответить | Правка | Наверх | Cообщить модератору

171. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Ворчливый 30 летний дед (?), 04-Авг-24, 17:26 
> Продвинуть никнейм в поиске, накидать ссылок в резюме, мол, смотрите какой я дофига спец.

Так оно и есть. На linkedin считается нормой оставлять ссылки на stack owerflow.

Ответить | Правка | К родителю #140 | Наверх | Cообщить модератору

66. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +3 +/
Сообщение от Ю.Т. (?), 04-Авг-24, 07:16 
Этот проект -- не изделие , а конкурс проектов, и 26 августа у них Proposer's Day. А описан в новости как изделие. Исправьте, авторы, сами.

И название оригинальной статьи надо было процитировать. "Устранить уязвимости работы с памятью раз и навсегда". Панацея, господа!

Конечно, за кадром остаётся вопрос -- кому сопровождать эти преобразованные проекты.  

Итожа: по видимости, затеяны чистка и, так сказать, построение ("стройся, раз-два") корпуса прикладного СвоПО. Большие проекты не пройдут эту штуку, какой бы она не оказалась.

Ответить | Правка | Наверх | Cообщить модератору

127. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –2 +/
Сообщение от n00by (ok), 04-Авг-24, 13:48 
> И название оригинальной статьи надо было процитировать. "Устранить уязвимости работы с
> памятью раз и навсегда". Панацея, господа!

Слабоватое название. Надо было "эпикфейл Фредерика Брукса". Или тогда бы пришлось дополнительно пояснять, кто это?


Ответить | Правка | Наверх | Cообщить модератору

78. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (78), 04-Авг-24, 09:49 
А зачем транслятору AI? Хотят бабла побольше на железо для разработки выпросить?
Ответить | Правка | Наверх | Cообщить модератору

80. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +2 +/
Сообщение от 12yoexpert (ok), 04-Авг-24, 09:56 
Да. Сейчас эта аббревиатура - как блокчейн 7 лет назад
Ответить | Правка | Наверх | Cообщить модератору

137. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (136), 04-Авг-24, 14:26 
Надо бы предложить хранить раст-исходники в блокчейне. Озолотиться можно.
Ответить | Правка | Наверх | Cообщить модератору

196. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Dzen Python (ok), 04-Авг-24, 20:03 
Ты забылЖ, что для идеального результата нужно обязательно задйствовать все баззворды лет на 20 в глубину:

"Самообучающаяся AI-нейросеть будет хранить управляемый растовый код в блокчейне, как у биткоина, причем в базе данных на вебассембли целиком на стеке веб 2.0 в мультимедийном формате, написанном на java"

Ответить | Правка | Наверх | Cообщить модератору

204. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 04-Авг-24, 20:55 
безопастный забыл!

> "Самообучающаяся AI-нейросеть будет хранить управляемый растовый код в блокчейне, как
> у биткоина, причем в базе данных на вебассембли целиком на стеке
> веб 2.0 в мультимедийном формате, написанном на java"

Ответить | Правка | Наверх | Cообщить модератору

210. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +3 +/
Сообщение от Dzen Python (ok), 04-Авг-24, 21:50 
> безопастный забыл!

Безопастная самообучающаяся AI-нейросеть будет хранить управляемый формально верифицированный растовый код в зашифрованном постквантвым шифрованием образе на блокчейне. Внутри образа будет атомарно обновляемый nix-гипервизор и набор из контейнеров типа "матрёшка", внутри которой будет хранится сам код, лефтпад из карго информация для создания повторяемых скомпилированных программ. Образ дополнительно версионифицируется внутри написанной на векбассембли no-sql базе данных, которая может работать на голом стеке веб 2.0 и при этом при неверном пинкоде при расшифровке преобразовываться в невер гонна гив ми ап. Всё это исполняется на браузере на java, чей байткод через прослойку eBPF траспилируется в IL dotNET и наконец-то отправляется на облачный сервер. А для премиум-ползователей доступно и туманное исполнение!

Думаю, так луДшееее

Ответить | Правка | Наверх | Cообщить модератору

304. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от 12yoexpert (ok), 05-Авг-24, 22:27 
во первых, веб уже 3.0, во-вторых, у тебя ни слова про индустрию 4.0, 5G и интернет вещей
Ответить | Правка | Наверх | Cообщить модератору

81. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от BrainFucker (ok), 04-Авг-24, 09:57 
Не понимаю чего так все с этим растом носятся, там же синтаксис упоротый. Сейчас бы наобоорот что-то такое чтобы меньше времени на кодинг тратить. Что-то типа питона, только без его недостатков. Nim может быть?
Ответить | Правка | Наверх | Cообщить модератору

83. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от 12yoexpert (ok), 04-Авг-24, 09:58 
Nim прекрасный язык, но делать на нём большие проекты лично мне мешает отсутствие нормального отладчика. Дебажить можно только сгенерированный сишный код, в чём не особо много смысла.

Но я всё равно делаю...

Делать что-либо на подобие фронта для несвободного llvm Андреа, автор языка, чёт пока не хочет. С разумной вроде бы аргументацией, мол, мы генерим код на разных языках, а компиляторы уже компилируют, нафига нам заморачиваться. Но дебажить приходится через echo

Ответить | Правка | Наверх | Cообщить модератору

200. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (201), 04-Авг-24, 20:36 
C# - лучшее, что может позволить себе сейчас индустрия. Это если смотреть прямо в сегодня. А в завтра... не только лишь все могут смотреть, но кто может, тот выбирает D.
Ответить | Правка | К родителю #81 | Наверх | Cообщить модератору

241. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от нах. (?), 05-Авг-24, 10:10 
> C# - лучшее, что может позволить себе сейчас индустрия.

мляаааа... ну тогда надо искать в аренду приличную пиццерию подешевле и поближе к дому.

Если это - луДшее, значит миру кранты.

Ответить | Правка | Наверх | Cообщить модератору

252. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (252), 05-Авг-24, 14:35 
> C# - лучшее, что может позволить себе сейчас индустрия.

Не успел ещё протереть монитор от жиpa из предыдущих коммeнтов как снова набpaсываете.

Ответить | Правка | К родителю #200 | Наверх | Cообщить модератору

329. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от нах. (?), 06-Авг-24, 00:53 
>> C# - лучшее, что может позволить себе сейчас индустрия.
> Не успел ещё протереть монитор от жиpa из предыдущих коммeнтов как снова
> набpaсываете.

а если он не врет?!

Ответить | Правка | Наверх | Cообщить модератору

414. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (414), 10-Авг-24, 11:26 
У меня ничего на C# нет. А на винде не было выбора это не использовать, потому что оно является системным компонентом и стартует вместе с виндой (net framework с быстрым preload'ингом).

Кмк там где оно не пропихивается MS - там оно плохо работает или с костылями. И все равно медленно.

Скорее всего вам не C# как таковой больше наравится, а вообще вся экосистема в которой вам не надо пальцами шевелить чтобы сбилдить/документировать/не надо настраивать IDE/тестировать/деплоить а все уже сделано за вас любителями вендорлокать все живое.

Ответить | Правка | К родителю #200 | Наверх | Cообщить модератору

87. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +2 +/
Сообщение от 12yoexpert (ok), 04-Авг-24, 10:04 
Получается, программисты на раст теперь не нужны, переписывать на раст за них будет скриптик
Ответить | Правка | Наверх | Cообщить модератору

90. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (90), 04-Авг-24, 10:25 
Угу, а новый код тебе в сконвертированные проекты тоже ИИ дописывать будет?
Ответить | Правка | Наверх | Cообщить модератору

154. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Tron is Whistling (?), 04-Авг-24, 16:10 
А зачем в сконвертированные, дописывать будут в исходный проект :D

Хеллоуворлд-обезьянки по миру от этой новости стопудово напряглись - их внезапно могут заменить.

Ответить | Правка | К родителю #87 | Наверх | Cообщить модератору

215. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (215), 04-Авг-24, 22:52 
Эксперта оупеннета посещают большие сомнения, что что-то вообще взлетит. Живые люди даже не особо на расти кодят, а тут ИА. Представляю какого бреда он там нагородит
Ответить | Правка | К родителю #87 | Наверх | Cообщить модератору

235. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Tron is Whistling (?), 05-Авг-24, 08:57 
Для синтаксиса раста бред - это нормально - никто разницы и не заметит.
Ответить | Правка | Наверх | Cообщить модератору

250. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Аноним (252), 05-Авг-24, 13:48 
Нормальный там синтаксис. Язык создан by design чтобы использоваться в IDE с подсветкой. В отличии от той же Сишки, которая написана была во времена, когда кодили с помощью блокнота и ручки, раз в месяц получали доступ к ЭВМ, чтобы ввести программу.
Ответить | Правка | Наверх | Cообщить модератору

255. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Tron is Whistling (?), 05-Авг-24, 15:00 
Язык создан by design чтобы сломать об закорючки глаза.
Хуже только перл и питон с его пробелами.
Тчк.
Ответить | Правка | Наверх | Cообщить модератору

314. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –2 +/
Сообщение от Прохожий (??), 06-Авг-24, 00:21 
Там вполне себе читабельный синтаксис, если понимать концепции языка. А их таки надо понимать хорошо.

В остальном закорючек не более, чем в тех же Плюсах.

Ответить | Правка | Наверх | Cообщить модератору

340. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (340), 06-Авг-24, 02:17 
Вот, пожалуйста, где-то там, с плюсами, с++2раст надо. Враппер на враппер перегонится как надо
Ответить | Правка | Наверх | Cообщить модератору

395. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от 12yoexpert (ok), 07-Авг-24, 23:00 
там нет концепций, напихали рандомно всякое в рандомные места, получилась каша
Ответить | Правка | К родителю #314 | Наверх | Cообщить модератору

417. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 10-Авг-24, 15:16 
Конечно, они там есть: безопасная работа с памятью, владение и заимствование, вывод типов и другие. Каша же получается в головах тех, кто не привык об этом думать.
Ответить | Правка | Наверх | Cообщить модератору

249. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +2 +/
Сообщение от Аноним (252), 05-Авг-24, 13:46 
> Живые люди даже не особо на расти кодят

Ваше мнение ошибочно. Не знаю как в русскоязычном интернете, но на Западе сейчас на Расте даже вэб переписывают.

Ответить | Правка | К родителю #215 | Наверх | Cообщить модератору

282. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –2 +/
Сообщение от Аноним (261), 05-Авг-24, 18:15 
Не знаю насколько Ваш запад западнее, но сильно западнее РФ, где проживает Ваш покорный слуга, хруст пока ещё в грабу видале. Отдельные индивиды что-то покодили, но большинству тупо лень с ним связываться.
Даже такой инсайтик: давеча один оооочень растанутый персонаж, который его уже много лет продвигает и является активным мембаром кам-юнити в самом прямом смысле этого слова, вот он поведал что подчас и клиенты-то просят "а можно без раста"..
Сам не по вебу, но могу представить где и как его наши вебщики вертели
Ответить | Правка | Наверх | Cообщить модератору

285. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (252), 05-Авг-24, 18:57 
История похожа на лампокота. Сорян.
Ответить | Правка | Наверх | Cообщить модератору

339. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (340), 06-Авг-24, 02:14 
У анонима что-то не то с сертификатом шифрования
Ответить | Правка | Наверх | Cообщить модератору

89. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Аноним (89), 04-Авг-24, 10:18 
походу нужно уже какую то замену rust создать чтобы простой был а не как сейчас комбайн какой то уродливый
Ответить | Правка | Наверх | Cообщить модератору

96. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (96), 04-Авг-24, 10:37 
Лиспы уже существуют.
Ответить | Правка | Наверх | Cообщить модератору

118. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Вы забыли заполнить поле Name (?), 04-Авг-24, 13:22 
Эта darpa как бы раньше лиса использовала. Так что с выбором технологий у них явно проблемы.
Ответить | Правка | Наверх | Cообщить модератору

111. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (113), 04-Авг-24, 12:42 
Она называется zig.
Ответить | Правка | К родителю #89 | Наверх | Cообщить модератору

175. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Ворчливый 30 летний дед (?), 04-Авг-24, 17:29 
Не взлетел.
Ответить | Правка | Наверх | Cообщить модератору

247. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (247), 05-Авг-24, 13:17 
остаётся карбон
Ответить | Правка | Наверх | Cообщить модератору

198. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (201), 04-Авг-24, 20:29 
Месье первый раз слышит про C# или D ?
Ответить | Правка | К родителю #89 | Наверх | Cообщить модератору

217. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (217), 04-Авг-24, 23:13 
Moonbit, ballerina, gleam
Ответить | Правка | К родителю #89 | Наверх | Cообщить модератору

316. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 06-Авг-24, 00:28 
Да он и есть относительно простой (если с теми же Плюсами сравнивать, где стандарт на примерно тыщу страниц никто в мире, наверное, освоить не смог).
Ответить | Правка | К родителю #89 | Наверх | Cообщить модератору

109. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от ilowryemail (?), 04-Авг-24, 12:26 
Все правильно. Люди будут писать на нормальном языке, а машина будет конвертировать это все в очень безопасный, но совершенно безумный синтаксис.
Ответить | Правка | Наверх | Cообщить модератору

110. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (113), 04-Авг-24, 12:42 
В той же сишке можно на каждое выражение сделать столько же проверок что делает раст и получится тоже самое что раст. Если это сделает ИИ норм. Останется только боровом почекать и всё.  
Ответить | Правка | Наверх | Cообщить модератору

237. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (236), 05-Авг-24, 09:04 
Получится лапша ещё хуже нативного раста.
Ответить | Правка | Наверх | Cообщить модератору

317. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 06-Авг-24, 00:30 
В рантайме - да, можно. Но ведь изюминка Раст в том, что большинство проверок делается на этапе компиляции.
Ответить | Правка | К родителю #110 | Наверх | Cообщить модератору

319. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 06-Авг-24, 00:34 
Люди уже пишут на нормальном языке, который называется Rust. С разморозкой тебя. Синтаксис у Rust очень даже разумный, кстати. Просто основные идеи понимать надо, которые стоят за этим синтаксисом.
Ответить | Правка | К родителю #109 | Наверх | Cообщить модератору

338. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (340), 06-Авг-24, 02:12 
Ну не только, ещё на Go. Кстати, интересно когда биндинги запилят, чтобы пол проги на рас пол на гоу
Ответить | Правка | Наверх | Cообщить модератору

371. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от _ (??), 06-Авг-24, 20:02 
Если оно не будет тащить с собой node-js и последнюю жабу - то нафиг такие пионерские поделки не нужны!
Ответить | Правка | Наверх | Cообщить модератору

120. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (120), 04-Авг-24, 13:25 
Главное, чтобы обеспечивались лицензионные требования исходного кода.
Ответить | Правка | Наверх | Cообщить модератору

257. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Вы забыли заполнить поле Name (?), 05-Авг-24, 15:21 
Уже проходили с копилоткой: переписывает не человек, так что извиняйте.
Ответить | Правка | Наверх | Cообщить модератору

126. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (123), 04-Авг-24, 13:47 
Такие перводчики (трансляторы) известны. Например, см. приложение к книге Брандта (там с Фортрана на С). Но на самом переводы настолько удручающие, что проще переписать ПО заново.
Ответить | Правка | Наверх | Cообщить модератору

320. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 06-Авг-24, 00:35 
Речь идёт не о банальном трансляторе, всё-таки.
Ответить | Правка | Наверх | Cообщить модератору

138. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (138), 04-Авг-24, 14:32 
Изнините, но LLMы и так отлично справляются.
Ответить | Правка | Наверх | Cообщить модератору

190. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +2 +/
Сообщение от Аноним (252), 04-Авг-24, 19:09 
>  LLMы и так отлично справляются

Со сниппетами на десяток строк? Да. Но год назад пророчили, что за эти месяцы напишут нечто ТАКОЕ и люди напишут СТОЛЬКО кода, что за десятки лет не написали бы. И что? Наигрались и вернулись к старой доброй пасте из гугла.

Ответить | Правка | Наверх | Cообщить модератору

151. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Polo (?), 04-Авг-24, 16:02 
Зачем это Министерству Оборону? Свой удаленный терминал (винду) решили на раст переписать?
Ответить | Правка | Наверх | Cообщить модератору

166. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Не Кокс (?), 04-Авг-24, 17:06 
Ждем

TRAPTOR  - Python 2 Rust
TRAPHTOR - PHP 2 Rust
TRAGTOR  - Go 2 Rust
TRAJTOR  - Java 2 Rust
TRAJSTOR - JavaScript 2 Rust

И как последня вишенка на торте

TRABTOR - Brain to Rust

Или попросту - превратить все в ржавчину и мировые проблемы решенны,
Да здравствует  ИИ ! Копирующий человеческие глупости и преумножающий их...

Кто только будет потом сопровождать эту срань... молчит наука

Ответить | Правка | Наверх | Cообщить модератору

188. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (182), 04-Авг-24, 18:31 
хотят повторить историю "успеха" с Ada'ой, от которой сами же потом отказались в конце 90-х. хорошо хоть iso подобрала язык, как-то ещё живёт
Ответить | Правка | Наверх | Cообщить модератору

191. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +2 +/
Сообщение от Аноним (252), 04-Авг-24, 19:20 
Ada по задумке не предназначалась для массового замещения Си. Живёт и здравствует там, где надо.
Ответить | Правка | Наверх | Cообщить модератору

224. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (221), 05-Авг-24, 00:20 
>TRAPTOR  - Python 2 Rust

Месье знает толк.

Ответить | Правка | К родителю #166 | Наверх | Cообщить модератору

254. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от AKTEON (?), 05-Авг-24, 14:51 
На Расте нельзя написать интерпретатор Der Grune Shlange ??
Ответить | Правка | Наверх | Cообщить модератору

334. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (340), 06-Авг-24, 01:50 
Зря смеётесь, молодой человек
Ответить | Правка | К родителю #224 | Наверх | Cообщить модератору

301. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Tron is Whistling (?), 05-Авг-24, 22:04 
И наконец - TRAXTOR - графический интерфейс под иксы ко всему этому.
Ответить | Правка | К родителю #166 | Наверх | Cообщить модератору

185. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (185), 04-Авг-24, 18:11 
Вот это уже ближе к истине - Rust язык не для человеческого ума, а для нейросетей.
Ответить | Правка | Наверх | Cообщить модератору

189. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (182), 04-Авг-24, 18:34 
нейро-(де)генеративные сети не думают, они галлюционируют
Ответить | Правка | Наверх | Cообщить модератору

197. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (201), 04-Авг-24, 20:27 
...и самое гнусное, что их глюки очень похожи на взаправдышный код!
Ответить | Правка | Наверх | Cообщить модератору

208. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 04-Авг-24, 21:12 
> ...и самое гнусное, что их глюки очень похожи на взаправдышный код!

так их ИМЕННО ЭТОМУ, блжд, и обучают! У них критерий подбора ответа именно "чтоб был похож на взаправщашний". А не чтоб решал задачу, она т-пая, она не умеет программировать.

Предполагалось что достаточно похожий на настоящий код и будет настоящим. Ну да, щяссс...

Ответить | Правка | Наверх | Cообщить модератору

211. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 04-Авг-24, 22:21 
> похожи на

Примерно так и работают генеративные текстовые модели. Ключевое выделил. Поэтому нынешняя технология лишь пробе пера перед чем-то более совершенным. Но когда это будет (и будет ли) — хз.

Ответить | Правка | К родителю #197 | Наверх | Cообщить модератору

219. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Аноним (217), 04-Авг-24, 23:30 
>Примерно так и работают генеративные текстовые модели

Ассоциативная память это называется. Но ведь для программирования мало только памяти, нужно уметь обобщать, специализировать, оптимизировать, фантазировать/композировать. Наконец надо понимать а что ты делаешь, какой код и для чего пишешь. А этот трактор - ведь просто железка с памятью.
Компьютеры -изначально мертвы. Соображать умеет только живое существо (или живой процесс)

Ответить | Правка | Наверх | Cообщить модератору

239. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Аноним (239), 05-Авг-24, 09:54 
- Министерства обороны США! Ваш ИИ  произвольно вставляет зонды в код!
- Это просто галлюциии.
Ответить | Правка | К родителю #189 | Наверх | Cообщить модератору

321. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 06-Авг-24, 00:38 
> Rust язык не для человеческого ума

Скажем так - не для каждого человеческого ума. Здесь немного напрячься надо при обучении. Ну как с математикой той же.

Ответить | Правка | К родителю #185 | Наверх | Cообщить модератору

398. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (398), 07-Авг-24, 23:44 
Да, это точно подмечено, что мышление при программировании на Rust'e похоже на математическое мышление. Но разве это хорошо? Думать при программировании надо приближённо к машине, а не к человеку.
Ответить | Правка | Наверх | Cообщить модератору

415. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 10-Авг-24, 15:06 
Если предположить, что программа - это своего рода модель поведения, то приближенность к математике делает приближенность Rust к математике хорошим свойством.
Ответить | Правка | Наверх | Cообщить модератору

209. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Ivan_83 (ok), 04-Авг-24, 21:23 
Не получится ничего годного, некоторые типа не безопасные конструкции транслировать наверное никак не выйдет чисто по идеологическим причинам.
Как вариант такое можно будет пробовать во что то под типа глобальной блокировки оборачивать но просядет производительность сильно.

Вот обратно из хруста в С - должно быть легко.

Ответить | Правка | Наверх | Cообщить модератору

218. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (217), 04-Авг-24, 23:21 
> но просядет производительность сильно

Это вот точно будет

Ответить | Правка | Наверх | Cообщить модератору

253. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +3 +/
Сообщение от Аноним (252), 05-Авг-24, 14:37 
> просядет производительность сильно

На Pentium II 266 MHz? Может быть.

Ответить | Правка | К родителю #209 | Наверх | Cообщить модератору

337. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (340), 06-Авг-24, 02:08 
Вы удивитесь, но не все эвм чтобы кал оф дюди на них гонять
Ответить | Правка | Наверх | Cообщить модератору

345. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Мальчик Бананан (?), 06-Авг-24, 03:11 
Держу пари что даже на полудохлом целероне 10 летней давности разница будет в пределах статистической погрешности.
Ответить | Правка | Наверх | Cообщить модератору

223. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (223), 05-Авг-24, 00:18 
>задействовав методы машинного обучения для достижения уровня результирующего кода на Rust, близкого по стилю и качеству к коду, написанному опытным программистом

Кажется где-то тут закралась ошибка

Ответить | Правка | Наверх | Cообщить модератору

238. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (239), 05-Авг-24, 09:50 
Раст настолько популярен что для без министерство обороны США не обошлось.
Ответить | Правка | Наверх | Cообщить модератору

245. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –2 +/
Сообщение от Аноним (286), 05-Авг-24, 12:08 
Значит, будет популярен как Ada.
Ответить | Правка | Наверх | Cообщить модератору

271. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Аноним (271), 05-Авг-24, 16:45 
Известно ведь, что усиленно рекламируют то, что не пользуется спросом
Ответить | Правка | К родителю #238 | Наверх | Cообщить модератору

322. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Прохожий (??), 06-Авг-24, 00:41 
Зайди на Стековерфлоу и посмотри последний опрос программистов по всему миру. Пользуется спросом, ещё как. Пока не таким, как Си или Джаваскрипт, но потихоньку набирает обороты.
Ответить | Правка | Наверх | Cообщить модератору

397. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (398), 07-Авг-24, 23:39 
Для каких задач используют?
Ответить | Правка | Наверх | Cообщить модератору

416. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 10-Авг-24, 15:13 
Rust - универсальный язык программирования. Но на рынке - явный дефицит квалифицированных программистов. А программирование на Rust подразумевает под собой квалификацию немного выше средней (на мой взгляд, разумеется, я не претендую на объективность). Поэтому для задач, где распространены программисты с не особо высокой квалификацией, Rust встретить вряд ли возможно (ну или это будет очень редким явлением). Спектр же остающихся задач не так, чтобы очень широк - системное программирование, написание программ, требовательных к ресурсам. Примерно такая область применения.
Ответить | Правка | Наверх | Cообщить модератору

423. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (423), 15-Авг-24, 15:48 
> Rust - универсальный язык программирования. Но на рынке - явный дефицит квалифицированных программистов.

Я бы сказал, что "квалифицированных программистов" вообще дефицит.
Что для раста, что для сишки, даже для JS.
Сейчас человеку достаточно посмотреть десяток видосов, пройти курсы и считать себя программером.
Некоторые даже продвигают идею, что фундаментальное образование не нужно, можно все в интернете выучить.

> А программирование на Rust подразумевает под собой квалификацию немного выше средней (на мой взгляд, разумеется, я не претендую на объективность).

Думаю для C/C++ тоже. Это не на пыхе сайты-визитки лабать.
Но тут скорее проблема в том что сишники будут уже с переломанным мозгом.
Найти программера который начинал не с сишки, но теперь в ней специализируется очень сложно.

Ответить | Правка | Наверх | Cообщить модератору

251. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –2 +/
Сообщение от xsignal (ok), 05-Авг-24, 14:12 
Почему с Си, а не с Ады? Это же их любимый язык вроде.
Ответить | Правка | Наверх | Cообщить модератору

323. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Прохожий (??), 06-Авг-24, 00:44 
Потому что код на Си дыряв. И его очень много. А работать как-то надо.
Ответить | Правка | Наверх | Cообщить модератору

384. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от xsignal (ok), 07-Авг-24, 13:55 
Любой код дыряв, потому что программ без ошибок не бывает, тем не менее на Си всё (в мире) работало, работает и будет работать!
Ответить | Правка | Наверх | Cообщить модератору

392. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  –1 +/
Сообщение от Прохожий (??), 07-Авг-24, 21:29 
Код на Си особенно дыряв. Как-то он работает, конечно. Но слишком много надо усилий прилагать, чтобы эта работа была стабильной. Разумеется, речь идёт о сложных программах.
Ответить | Правка | Наверх | Cообщить модератору

256. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (256), 05-Авг-24, 15:14 
https://www.codeconvert.ai/

https://products.codeporting.app/convert

Мне кажется что нужны хорошие конверторы;
C -> SPARK
C++ -> SPARK
Py -> SPARK
Java -> SPARK
Rust -> SPARK

Ответить | Правка | Наверх | Cообщить модератору

299. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (252), 05-Авг-24, 21:16 
Не, спс.

Ввёл первое, что пришло в голову:

mov ah, 0x0e
mov al, 'X'
int 0x10

На выхлопе получил:

#include <dos.h>

int main() {
    union REGS regs;
    regs.h.ah = 0x0E;
    regs.h.al = 'X';
    int86(0x10, ®s, ®s);
    return 0;
}

Ответить | Правка | Наверх | Cообщить модератору

356. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (356), 06-Авг-24, 09:19 
Ничего вы не понимаете в словах: безопасность, надёжность, верифицируемость.
Ответить | Правка | Наверх | Cообщить модератору

270. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Аноним (270), 05-Авг-24, 16:14 
Что-то долго они разрабатывают s/(\w+)\(/unsafe $1(/g
Ответить | Правка | Наверх | Cообщить модератору

272. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от анон (?), 05-Авг-24, 16:48 
На форче уже столько примеров под новостью привели, когда из с в раст перевести нельзя, т.ч. ждем, когда дарпа профинансирует добровольно-принудительное переписывание сишного опенсурса на гитхабе в удобоваримый формат для нейронки.
Ответить | Правка | Наверх | Cообщить модератору

327. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Прохожий (??), 06-Авг-24, 00:50 
Можно ссылку?
Ответить | Правка | Наверх | Cообщить модератору

275. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от riokor (?), 05-Авг-24, 17:07 
Ну прекрасно, программистам хоть полегче станет. Займутся семьёй, детьми. Починят авто. А код пускай ии пишет, если ему так легче.
Ответить | Правка | Наверх | Cообщить модератору

279. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (271), 05-Авг-24, 17:28 
> программистам ... полегче станет ...

помнится, как ещё в 80-е годы распевали "до чего дошёл прогресс, до невиданных чудес ...
вкалывают роботы - счастлив человек!"

Но время показало, что не стали счастливы люди

Ответить | Правка | Наверх | Cообщить модератору

405. Скрыто модератором  +/
Сообщение от Аноним (405), 08-Авг-24, 13:53 
Ответить | Правка | Наверх | Cообщить модератору

378. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (378), 06-Авг-24, 22:10 
Чему радуетесь, Пентагон и USDoD свой ТРАКТОР никому не даст
Ответить | Правка | Наверх | Cообщить модератору

393. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +1 +/
Сообщение от Прохожий (??), 07-Авг-24, 21:31 
Никому, кто в правила современного мира и цивилизованность не умеет - этим, разумеется, вряд ли.
Ответить | Правка | Наверх | Cообщить модератору

406. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от нах. (?), 08-Авг-24, 14:36 
да эти сп-ят как обычно, и будут трубить про импортозамещение.

Возрождение Кокома, с неиллюзорными сроками всем причастным к цапцарапу технологий или деталей, увы, маловероятно.

Ответить | Правка | Наверх | Cообщить модератору

409. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от pavlinux (ok), 08-Авг-24, 21:02 

int main(int b,char**i){long long n=B,a=I^n,r=(a/b&a)>>4,y=atoi(*++i),_=(((a^n/b)*(y>>T)|y>>S)&r)|(a^r);printf("%.8s\n",(char*)&_);}


main <- function(b, i) {
  n <- B
  a <- I ^ n
  r <- (bitwAnd(a, b) & a) >> 4
  y <- as.numeric(i[[2]])
  _ <- (((bitwXor(a, n / b) * (bitwShiftR(y, T) | bitwShiftR(y, S))) & r) | bitwXor(a, r))
  cat(sprintf("%.8s\n", as.character(_)))
}

Ответить | Правка | Наверх | Cообщить модератору

410. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (90), 08-Авг-24, 22:38 
Код восхитительный для какой олимпиады.
Но, не дай бог-машина, такое чудо придет в проект и начнет выдавливать из себя такой код в прод.
После первого предупреждения - увольнять нафиг, иначе уже через пару месяцев код превратится в неподдерживаемую лапшу.
Ответить | Правка | Наверх | Cообщить модератору

411. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от pavlinux (ok), 09-Авг-24, 09:26 
> увольнять нафиг, иначе уже через пару месяцев код превратится в неподдерживаемую лапшу.

The International Obfuscated C Code Contest

https://www.ioccc.org/2020/burton/index.html

Ответить | Правка | Наверх | Cообщить модератору

412. "DARPA развивает AI-транслятор для переписывания Си-кода на R..."  +/
Сообщение от Аноним (-), 09-Авг-24, 10:58 
> The International Obfuscated C Code Contest
> https://www.ioccc.org/2020/burton/index.html

А... ну так я почти угадал.
Спец. олимпиада для особых программистов.
Ну и пособие для остальных "как не надо писать".


Ответить | Правка | Наверх | Cообщить модератору

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

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




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру