15 сентября 2026 г.
Кодовую базу Bend4 не хочется переписывать: AI slop остался под контролем
14 сентября 2026 года Виктор Таелин сообщил, что не хочет переписывать кодовую базу Bend4. Он признаёт, что в коде много AI slop. По его оценке, он нужен для больших Lean-доказательств и сложных оптимизаций компилятора, но остаётся ограниченным так, чтобы Таелин сохранял контроль.
Taelin
@victortaelin
Не могу поверить, что сейчас это напишу, но я очень доволен кодовой базой Bend4 и совсем не хочу её переписывать. AI slop там действительно много, но он необходим из-за больших Lean-доказательств и сложных оптимизаций компилятора. При этом его удаётся ограничить так, чтобы я сохранял контроль над кодом...
· 1,9 тыс. просмотров
Таелин сократил ядро, компилятор и рантайм Bend2 с 242 тысяч до примерно 80 тысяч токенов и, по его словам, сохранил 90% важной функциональности. 1 сентября он сообщил о 50 аудитах GPT-5.6-Pro и оценил Bend2 как до 100 раз более быстрый, чем Bend1.
Контроль. Type checker Bend проверяет изменения не дольше 1 секунды. В демонстрации `LAWS.bend` и `PROOF.bend` не дают ИИ слить изменение, нарушающее формально заданный закон. Практический вывод для ИИ-кодинга: качество держится не на обещании «без AI slop», а на проверках, которые удерживают код в заданных границах.
Запуск. Официальная страница уже показывает команды `bend hello.bend`, `bend hello.bend -o hello` и `./hello`. Раздел установки пока помечен «Coming soon!», а README старого публичного репозитория предлагает Rust, GCC до 12.x и CUDA Toolkit 12.x для CUDA-режима.
Ближайшая практическая веха Bend4 — раздел установки: команды запуска уже опубликованы, а он всё ещё помечен «Coming soon!»
Первоисточник
