ИИ не нужен, говорили они. Rust не нужен, говорили они.

0

3

А тем временем команда из 16 ИИ агентов работая параллельно написала компилятор си на Rust. Потратили конечно $20К на токены. Зато теперь иишный компилятор собирает Linux 6.9 на x86, ARM, и RISC-V. И заодно QEMU, FFmpeg, SQLite, PostgreSQL, Redis и прочее. Да, не все там радужно, но пару лет назад иишечка и пяти строк не могла написать на расте не перепутав названия переменных. Были бы лишнее $20K - обязательно проверил бы эти маркетинговые роскозни

https://www.anthropic.com/engineering/building-c-compiler

Ссылка

← Обучение

GitLab объявил о сокращении персонала, реструктуризации и подготовке к эре AI-агентов →

Уже обсуждали где-то.

Компилятор пока write-only лапша. Наблюдаем дальше.

wandrien ★★★☆
(12.05.26 12:48:43 MSK)

Было, и с тех пор даже вышли новые модели, это был Opus 4.6)

goingUp ★★★★★
(12.05.26 13:01:01 MSK)

Ссылка

Устраивается секретарша на работу. директор спрашивает:
- Какая у вас скорость печати?
- 1000 знаков в минуту!
- Так много???
- Правда такая ерунда получается...

Lordwind ★★★★★
(12.05.26 13:02:19 MSK)

Ссылка

https://en.wikipedia.org/wiki/Infinite_monkey_theorem

Было уже недавно с Cursor и FastRender. На выходе нерабочее ведро макарон, в котором не может разобраться ни человек, ни машина.

The compiler successfully builds many projects, but not all. It’s not yet a drop-in replacement for a real compiler.

The generated code is not very efficient. Even with all optimizations enabled, it outputs less efficient code than GCC with all optimizations disabled.

I tried (hard!) to fix several of the above limitations but wasn’t fully successful. New features and bugfixes frequently broke existing functionality.

Gary ★★★★★
(12.05.26 13:25:02 MSK)

Ссылка

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

iron ★★★★★
(12.05.26 13:26:30 MSK)

Ответ на: комментарий от iron 12.05.26 13:26:30 MSK

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

Утверждают, что теперь Си не нужен, потому что иишечка лучше умеет в раст или го, чем в си

mathieu
(12.05.26 13:28:03 MSK) автор топика

Ответ на: комментарий от mathieu 12.05.26 13:28:03 MSK

https://zackoverflow.dev/writing/zig-vs-rust-in-2026/

Bad_ptr ★★★★★
(12.05.26 13:31:14 MSK)

Ссылка

Ответ на: комментарий от iron 12.05.26 13:26:30 MSK

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

Не, как раз раст выбирают в таком случае, поскольку компилятор помогает LLM писать код

без выхода за границы буферов и UB

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

goingUp ★★★★★
(12.05.26 13:31:40 MSK)

Ссылка

Ответ на: комментарий от mathieu 12.05.26 13:28:03 MSK

иишечка лучше умеет в раст или го, чем в си

Сомнительно, (моя) практика не подтверждает. А вообще, конечно, исследование степени дружественности ЯП к ИИ ждет своего исследователя.

olelookoe ★★★★
(12.05.26 13:32:15 MSK)

Ответ на: комментарий от wandrien 12.05.26 12:48:43 MSK

Компилятор пока write-only лапша.

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

Camel ★★★★★
(12.05.26 13:48:13 MSK)

Ответ на: комментарий от olelookoe 12.05.26 13:32:15 MSK

А вообще, конечно, исследование степени дружественности ЯП к ИИ ждет своего исследователя.

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

mathieu
(12.05.26 13:49:01 MSK) автор топика

Ссылка

Ответ на: комментарий от iron 12.05.26 13:26:30 MSK

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

Как? Ведь, не существует кода на си без выхода за границы буферов и UB, стало быть, ИИ-шечка неизбежно будет писать код с выходом за границы буферов и UB.

tiinn ★★★★★
(12.05.26 13:49:04 MSK)

Ссылка

Ответ на: комментарий от Camel 12.05.26 13:48:13 MSK

Поторопился с каментом.

I tried (hard!) to fix several of the above limitations but wasn’t fully successful. New features and bugfixes frequently broke existing functionality.

Вот это прочитал в треде.

Camel ★★★★★
(12.05.26 13:49:12 MSK)

Ссылка

Ответ на: комментарий от Camel 12.05.26 13:48:13 MSK

нейроновки могут разобрать.

Не, в сабжевом случае проект довели до состояния, когда ИИ уже не мог дальше его править и объявили завершенным)

goingUp ★★★★★
(12.05.26 13:51:48 MSK)

Ответ на: комментарий от goingUp 12.05.26 13:51:48 MSK

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

Бва-ха-ха. Красавчики.

Camel ★★★★★
(12.05.26 13:53:17 MSK)

«ИИ» - суперсила!:) Незамутненность некоторых любителей хранить всё «в облаке» привела к тому, что некоторый очень коммерческий софт с закрытыми напрочь исходниками теперь запросто генерится этими моделями. При том, что нагуглить подобные алгоритмы я не мог годами.

lomaster
(12.05.26 14:11:16 MSK)
Последнее исправление: lomaster 12.05.26 14:11:42 MSK (всего исправлений: 1)

Ответ на: комментарий от iron 12.05.26 13:26:30 MSK

Зачем вообще все эти расты с си? Пусть сразу маш-коды пишет!

beastie ★★★★★
(12.05.26 14:11:28 MSK)

Ответ на: комментарий от beastie 12.05.26 14:11:28 MSK

вот прям поймал мой ход мыслей, красавчик :)

Morin ★★★★★
(12.05.26 14:50:29 MSK)

Ссылка

Ответ на: комментарий от beastie 12.05.26 14:11:28 MSK

а как же unit-тесты, руководство погроммиста ? Если там будет машинный код, оно в распечатанном виде будет весить как 3-этажный дом.

splinter ★★★★★
(12.05.26 15:38:56 MSK)

И? В чём смысл то этого компилятора? В чём смысл этой активности и потраченного 20к бабла? Чего с этим все носятся. Да, для ИИ не проблема взять тонну существующих компиляторов для с и переписать их куски на раст и сделать, чтоб что-то худо бедно работало. Но в чём киллер фича этого компилятора? Если её нет, то какой в этом всём смысл-то?

vtVitus ★★★★★
(12.05.26 15:47:35 MSK)

Ответ на: комментарий от vtVitus 12.05.26 15:47:35 MSK

Создать инфоповод.

todnaz_t
(12.05.26 15:58:12 MSK)

Ссылка

Ответ на: комментарий от lomaster 12.05.26 14:11:16 MSK

Например?

sabacs
(12.05.26 17:57:57 MSK)

Ответ на: комментарий от splinter 12.05.26 15:38:56 MSK

а как же unit-тесты

Как это мешает создавать юнит-тесты?

sabacs
(12.05.26 18:00:41 MSK)

Ответ на: комментарий от iron 12.05.26 13:26:30 MSK

Вы совершенно правы, это не Си, а испанский. Хотите я перепишу компилятор на итальянском?!

LightDiver ★★★★★
(12.05.26 18:04:22 MSK)

Ссылка

Ответ на: комментарий от sabacs 12.05.26 17:57:57 MSK

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

lomaster
(12.05.26 18:16:28 MSK)
Последнее исправление: lomaster 12.05.26 18:22:48 MSK (всего исправлений: 1)

Ссылка

А может кто-то сохранил ссылку на небольшую копипасту, в которой некий персонаж достал из коллизий хэша для какого-то файла что-то в духе ядра Линукса со всеми исправленными багами и Гимпа, поддерживающего ЦМИК?

bender ★★★★★
(12.05.26 18:20:48 MSK)

Ссылка

Ответ на: комментарий от splinter 12.05.26 15:38:56 MSK

Как будто кто-либо AI slop читает. Если уж «humans need not apply», то зачем все эти промежуточные пляски с бубном?

beastie ★★★★★
(12.05.26 19:30:31 MSK)

Ссылка

Вот прям сегодня попросил платный новый ChatGPT экспортировать pandas таблицу с NaN значениями и timestamp, хранимыми как float (для тех, кто не в курсе - особенность pandas), в PostgreSQL НОРМАЛЬНО. Он там совсем с катушек съехал и такого накрутил... Пришлось самому.

Shadow ★★★★★
(12.05.26 21:19:18 MSK)
Последнее исправление: Shadow 12.05.26 21:19:34 MSK (всего исправлений: 1)

Ответ на: комментарий от Shadow 12.05.26 21:19:18 MSK

А волшебные слова говорили? :)

sabacs
(12.05.26 21:51:23 MSK)

Ответ на: комментарий от iron 12.05.26 13:26:30 MSK

Тут было бы интересно посмотреть на такое сравнение: дать задачу написать одинаковые компиляторы, но один на Rust, а второй на Си. И посмотреть, с каким она справится быстрее и сколько $$$ на это потратит. Ну и потом еще дополнительно провести security audit результата (ну или включить его в цикл разработки).

Учитывая, что агенты многие задачи решают методом проб и ошибок, безопасность Rust должна положительно сказаться на скорости и качестве. С другой стороны, сложность борьбы с borrow checker может замедлить разработку.

Интересно, какой вариант бы победил.

maxcom ★★★★★
(12.05.26 22:07:10 MSK)
Последнее исправление: maxcom 12.05.26 22:09:18 MSK (всего исправлений: 2)

Ответ на: комментарий от sabacs 12.05.26 21:51:23 MSK

Да там у меня уже контекст наворочен и вообще по проекту он всё грамотно предлагает и пишет и рефакторит. Но тут просто, бег по кругу ни о чём.

Shadow ★★★★★
(12.05.26 22:09:14 MSK)

Ссылка

Ответ на: комментарий от maxcom 12.05.26 22:07:10 MSK

Если веса выйдут на сильно локальный экстремум, будет весело.

Shadow ★★★★★
(12.05.26 22:13:02 MSK)

Ссылка

Ответ на: комментарий от beastie 12.05.26 14:11:28 MSK

Думаю, к чему-то похожему придут.

Вижу тренд на редактирование программ в бинарниках, без полной перекомпиляции. Мол, сейчас у нас всё программирование построено на том, что есть набор исходных кодов, и если тебе нужно чуть поменять собранную 10 лет назад программу, то обычно предполагается её полная перекомпиляция (никто не сохраняет конкретные версии компиляторов и объектные файлы), а можно иначе: компиляция только изменённой части и патч прямо в собранном бинарнике.

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

ValdikSS ★★★★★
(12.05.26 23:36:32 MSK)

Ответ на: комментарий от Camel 12.05.26 13:53:17 MSK

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

VIT ★★
(12.05.26 23:46:08 MSK)

Ссылка

Ответ на: комментарий от ValdikSS 12.05.26 23:36:32 MSK

Дык. «Everything is Open Source if you know assembly». Туда дорога скорее всего и ведёт.

beastie ★★★★★
(13.05.26 00:03:38 MSK)

Ссылка

Ответ на: комментарий от ValdikSS 12.05.26 23:36:32 MSK

никто не сохраняет конкретные версии компиляторов и объектные файлы

Знаю фирму, где хранятся виртуалки с установленной MS Visual Studio на все подобные релизы за 10 лет работы.

tiinn ★★★★★
(13.05.26 06:07:08 MSK)

Ссылка

Ответ на: комментарий от vtVitus 12.05.26 15:47:35 MSK

Если её нет, то какой в этом всём смысл-то?

Это попытка доказать текущим и потенциальным клиентам, что их платформа может выполнять работу в автоматическом режиме продолжительное время.

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

То есть это реклама услуг компании.

i-rinat ★★★★★
(13.05.26 07:27:14 MSK)

Я у ИИ спрашиваю по работе, он мне мои инструкции с моего сайта мне суёт, было смешно.
Забыл сказать материал был подан в формате, разложенным по полочкам, как он обычно делает.

AZJIO ★
(13.05.26 08:13:43 MSK)
Последнее исправление: AZJIO 13.05.26 08:14:45 MSK (всего исправлений: 1)

Ссылка

Ответ на: комментарий от maxcom 12.05.26 22:07:10 MSK

Должен победить вариант с fail early, то есть боров

Manhunt ★★★★★
(13.05.26 08:14:18 MSK)

Ссылка

Ответ на: комментарий от sabacs 12.05.26 18:00:41 MSK

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

splinter ★★★★★
(13.05.26 10:01:36 MSK)

Ссылка

Ответ на: комментарий от i-rinat 13.05.26 07:27:14 MSK

То есть это реклама услуг компании.

Так ясен пень. А какая ещё могла быть цель в написании очередного компилятора для языка С, пусть и на Раст. Что, ядро линукс больше компилировать нечем, а $20К один хрен без дела валяются?

VIT ★★
(13.05.26 10:11:52 MSK)