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

0

4

А тем временем команда из 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-агентов →

← 1 2 →

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

Компилятор пока 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)

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

write-only лапша

А это никто улучшать и не будет. Надо исправить ошибку? Перегенерировать всё.

her_s_gory ★★
(13.05.26 10:26:49 MSK)

компилятор собирает

А результаты компиляции работают?

her_s_gory ★★
(13.05.26 10:27:24 MSK)

Ответ на: комментарий от her_s_gory 13.05.26 10:26:49 MSK

Нет, в реальном коде это не прокатит. Слишком дорого.

Поэтому пока еще нужен, код, поддающийся правкам.

wandrien ★★★★
(13.05.26 10:28:25 MSK)

Ответ на: комментарий от her_s_gory 13.05.26 10:27:24 MSK

Да. И тесты проходит, и работает.

Но работает медленнее, чем код, собранный gcc в режиме без оптимизаций.

Поэтому «20 килобаксов на бочку» как доказательство концепции годится, как реальная технология создания сложного ПО - пока нет.

wandrien ★★★★
(13.05.26 10:29:55 MSK)

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

Пусть сразу маш-коды пишет

И пусть на разных платформах будут абсолютно разные продукты.

her_s_gory ★★
(13.05.26 10:30:59 MSK)

Ссылка

Ответ на: комментарий от wandrien 13.05.26 10:28:25 MSK

Нет, в реальном коде это не прокатит

Да это грустный сарказм был…

her_s_gory ★★
(13.05.26 10:31:55 MSK)

Ссылка

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

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

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

Manhunt ★★★★★
(13.05.26 17:22:29 MSK)
Последнее исправление: Manhunt 13.05.26 17:23:43 MSK (всего исправлений: 2)