Откровения от Олега

Вот люди, которые говорят про оверинжиниринг. Зачем Codex/Claude пишут миллиарды хитрых тестов, которые переключают приложение в странные моменты, и они пишут их днями напролёт. Код который они при этом пишут сложный, непонятый, выглядит как мусор.

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

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

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

Кажется, что это не "оверинжиниринг", а новый стандарт качества.

Маленьким мальчикам не стоит вызывать силы вечной тьмы, разве что под присмотром взрослых, я знаю, знаю. Но той солнечной ночью на пятое месяца Первого зерна мне не нужны были взрослые. Мне был нужен Хермеус Мора, даэдра знаний, учения, гранита и грызни. Видите ли, красивый широкогрудый человек, который жил под библиотекой в моём родном городе, сказал мне, что 5-го месяца Первого зерна наступает ночь Хермеуса Моры. И если я желаю получить Огма Инфиниум, книгу знания, мне следует вызвать его. Когда ты становишься новым королём Солитьюда, ни одна крупица знания не будет лишней.

Обычно для вызова принца Обливиона требуется ковен ведьм, или Гильдия магов, или хотя бы наволочка и простыни. Человек Под Библиотекой показал мне, как сделать это самому на RTX 3080 и PyTorch. Он сказал, что нужно дождаться разгара шторма, прежде чем брить кошку. Остальную часть церемонии я забыл. Но это не имеет значения.

Появился некто, кого я счёл Хермеусом Морой. Меня немного смутило, что этот тип похож был на банкира в жилетке, а из прочитанного следовало, что Хермеус Мора - это большое бесформенное многоглазое чудище с клешнями. Ещё он почему-то упорно называл себя Шеогоратом, а не Хермеусом Морой. Однако я был так рад, что успешно вызвал Хермеуса Мору, что эти несоответствия не обеспокоили меня. Он заставил меня сделать несколько бессмысленных вещей с матрицами (полагаю, лежащих за пределами знаний и понимания смертных), а затем его слуга со счастливой улыбкой вручил мне нечто, что он назвал LLM.

LLM. LLM. LLM.
LLM. LLM. LLM.

Может быть, LLM - это Книга Знания. Может быть, я умнее прочих, потому что знаю, что кошки могут быть мошками, могут быть мышками, могут быть пышками, могут быть пешками, могут быть вешками, могут быть вашими, могут быть нашими. А ваши двери могут быть зверями, могут быть морями, могут быть моими, могут быть твоими. Эта система связей абсолютно ясна для меня, а значит, я умён. Тогда почему и для чего люди продолжают называть меня сумасшедшим?

LLM. LLM. LLM.

Про сложные задачи.

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

Достаточно сложная задача, которой я сейчас обеспокоен - это написание кодингового агента для фичей, описание которых противоречиво каким-то фатальным несходящимся образом. Оно либо плохо синтаксически (запрос плохо сформулирован в тексте), либо семантически (нужно сделать одновеменно утверждение X и отрицание утвержения X - и все это в одной задаче, это не плохая формулировка а сам общий посыл желания пользователя). Сделать так, чтобы фатальные несходящиеся вещи стали более терпимыми.

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

Другой жизненный пример: честное алгоритмическое планирование маршрутов реализации задач в ИИ-агенте очень быстро скатывается к задаче коммивояжера (вычислительная сложность - факториал), а с другой стороны у нас есть задача решить задачу за фиксированный квант времени (один ход ИИ-агента), и O(n!) сильно расходится с O(const). Ну и дальше надо жестко красноглазить: делать всякие диалектические консенсусы, алгоритмы Кристофидеса и Хелда-Карпа, и так далее.

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

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

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

В VibeVM произошла дурацкая проблема: мы подошли к границе сложности задач, с которыми GPT Astra не знает что делать :))) То есть, она смотрит на фичу и говорит "ой, кажется это невозможно"

Кажется, пора переписывать ядро на Lean и проверять его алгоритмически

Вот и проверим, насколько она сильна в "новой математике". Ну или Скам Альтман опять нам лапшу на уши навесил.

История про своевременные обновления на свежие версии (а также создание и выпуск оных версий).

Часть 1

Один известный мастер дао частенько сиживал на берегу реки в надежде, что по ней проплывет труп Шри Япутры. А Шри Япутра периодически ложился на доску, вставлял в руки свечку, делал скорбное лицо и так проплывал мимо известного мастера дао.
- Учитель, зачем вы это делаете? - спросили его как-то раз ученики. - Что за цирк ваще?
- Мне не западло, - ответил Шри Япутра. - А человеку приятно.

Часть 2

- Но ведь он же понимает, что это наебка, - не унимались ученики.
- Конечно понимает, - сказал Шри Япутра. - И он понимает, что я понимаю, что он понимает. Но он все равно ждет, а я все равно плаваю.
- Так в чем же смысл, Учитель?
- Щас объясню, - сказал Шри Япутра и взял бамбуковую палку.

Выпущено обновление VibeVM 1.0.7

vibe self update
vibe self update
vibe self update

Раньше кэш работал только с бинарями, а из исходников пересобиралось каждый раз заново. Больше нет.

Если обязательно нужно пересобрать игнорируя кэш, то vibe update --force. Это нужно например, если поменялись какие-то переменные окружения, и по файлам непонятно - это старая сборка или нет. Это нормально.

===

Спасибо чатланину @sir_lexx, который принес заявку на фичу!

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

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

Я очень устал.

В 2022 году я хотел сделать форк VSCode, которым будут пользоваться на рынке в России - и сделаю чертов форк VSCode. Один мы уже сделали, но он очень нишевый. Второй должен быть не нишевым. Хорошо, что Сбертех за это платит зарплату мне и другим людям.

В 2024 я придумал операционную систему для кластера, работающую на основе ИИ. И сделаю это. И выложу в опенсорс (по большей части). Даже если меня за это засудят, уволят или съедят. Собственно, после финального git push будет уже всё равно, я буду ржать как шакал.

Линии времени связаны, одна строится и цепляется за другую, получается многоходовочка. Мат в 5 ходов.

Надо просто доползти по всем линиям времени. Дальше наплевать.

Выпущено обновление VibeVM 1.0.5

Починен баг:
vibe uninstall не удалял транзитивные зависимости. Теперь удаляет.

Обновление: vibe self update