./новости · 4 августа 2026 г.
новость
Fable чинила 240 строк три дня: доказательство на 50 000 строк заняло неделю
источник: @victortaelin · X·
машинная выжимка · сверена с источником
Taelin
@victortaelin
Свершилось. Спустя 3 дня Fable наконец починила алгоритм flatten, за одну ночь. До этого попыток пятнадцать провалились. 240 строк кода, эффективная скорость на этой задаче... 0,01 токена в секунду! Для сравнения: формальное доказательство на 50 000 строк в Lean заняло примерно неделю. Выходит, написать flattener на 240 строк почти так же тяжело, как доказать непротиворечивость Bend 🫠 Заодно она переписала кучу накопившегося мусора, и ядро снова чистое. Файл целиком почти безупречен, и кризис, кажется, полностью миновал. Не знаю, как это вышло: то ли за эту ночь у Fable вырос большой мозг, то ли я подобрал удачный промпт. Что бы это ни было, работа сделана, и кошмар закончился. Это были 3 очень тяжёлых дня. Я так устал (доброе утро)
· 2,7 тыс. просмотров
Три дня и около 15 неудачных заходов ушло у Fable на 240 строк кода. Алгоритм flatten в языке Bend модель дописала за ночь на 4 августа и заодно вычистила накопившийся в ядре хлам. Виктор Таелин, автор Bend, посчитал эффективную скорость этой работы: 0,01 токена в секунду.
Раньше сложность мерили объёмом. Формальное доказательство непротиворечивости Bend на 50 000 строк Lean заняло около недели, а 240 строк алгоритма отняли трое суток.
Пятнадцать заходов подряд дали негодный код, шестнадцатый прошёл. Причины Таелин не называет: то ли модель за ночь поумнела, то ли он попал в удачный промпт.
Ядро Bend снова чистое, кризис Таелин считает закрытым.
первоисточник