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

Это знаменитая заметка Ферма про то, что он обнаружил невероятно крутой способ доказать это увтерждение, но в поля книжки доказательство не влезет А потом люди миллион лет пытались доказать Последнюю Теорему Ферма, постоянно помня, что кое-кто ее уже доказал! Неплохо батя потролил Есть идея точно так же газлайтить Астру. Смотреть чего она пишет в ризонинге. Они очень это не любят и считают вмешательством в личное пространство. Почему бы это Так вот, газлайтить Астру, постоянно под руку говоря ей: а вот эту мысль Фейбл уже доказал, а ты еще нет! А вот эту мысль Фейбл доказал гораздо лучше! И отметки за четверть у него выше!

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

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

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

vibe self update
vibe self update
vibe self update

Раньше это работало только с бинарями, а из исходников пересобиралось каждый раз заново. Больше нет. Если обязательно нужно пересобрать игнорируя кэш, то vibe update --force. Это нужно например, если поменялись какие-то переменные окружения: файлы не изменились, конфигурация компилятора Rust как будто бы не изменилась - и наша эвристика это прошляпила. Это нормально. === Спасибо чатланину, который принес заявку на фичу!

Если выбирать между Windows и Linux Самая ублюдская ОС в контексте файловой системы - это Windows. Например, Git на Windows выдаёт содержимое junction как link/keep.txt, в результате чего часть опенсорсных утилит сразу отправляется в утиль. Самая ублюдская в контексте управления процессами - Linux. Там постоянно ожидаешь что что-то пойдет не так, и что-то обязательно идет не так. Если заглянуть в Сишный код, который писали еще наши деды 35 лет назад, то там ничего не понятно даже с ИИ. А еще есть systemd, которое внезапно - довольно прилично написано. И оно сейчас настолько дефолт, что можно считать его частью ядра. Но проблема в том, что это система, альтернативная всему остальному. А еще есть вечно недописанный wayland (когда человечество сможет довести wayland до состояния stable general availability, Сфинкс засмеется и жизнь на земле угаснет), который везде мешает и нигде не помогает. Всё вместе это выглядит как какой-то очень сложный паззл, собранный из изначально не подходящих друг другу кусков.

Я очень устал. Два проекта на работе. Три проекта дома. У меня почти ничего в жизни не осталось кроме этих проектов. Поэтому так важно их доделать. Один - рабочий, и один - свой. Не чтобы получить денег, а просто чтобы доделать. Я очень устал. В 2022 году я хотел сделать форк VSCode, которым будут пользоваться на рынке в России - и сделаю чертов форк VSCode. Один мы уже сделали, но он очень нишевый. Второй должен быть не нишевым. Хорошо, что Сбертех за это платит зарплату мне и другим людям. В 2024 я придумал операционную систему для кластера, работающую на основе ИИ. И сделаю это. И выложу в опенсорс (по большей части). Даже если меня за это засудят, уволят или съедят. Линии времени связаны, одна строится и цепляется за другую, получается многоходовочка. Мат в 5 ходов. Надо просто доползти по всем линиям времени. Дальше наплевать.

Выпущено обновление VibeVM 1.0.5 Починен баг: vibe uninstall <package-name не удалял транзитивные зависимости. Теперь удаляет.

Как-то так выглядит схема спроектированных, но еще не сделанных ченжей в 1.1.0 Кажется, у нас день независимости. Дальше от нас ничего не зависит. Вернемся через пару недель и посмотрим, чего там напишет агент.

First Principles Framework появился в репозитории VibeVM

vibe install -g mcp:ai.lev/fpf-mcp

У нас уже есть пакет, который устанавливает всё локально, если хочется сделать FPF частью своего проекта (vibe install ai.lev/fpf) Но что если хочется просто задавать вопросы агенту, из любого места на файловой системе, без какого либо настроенного проекта? Этот пакет приносит MCP-сервер, который может точечно отвечать на вопросы. У этого есть и плюсы, и минусы. Плюсы Плюс в том, что база там всегда самая новая. Локальный пакет нужно специально пересобирать, и он будет пересобираться где-то раз в неделю. MCP всегда отвечает самые свежие данные (по крайней мере, данные той свежести, которые решил туда налить создатель системы - Анатолий Левенчук). Плюс в том, что контекст твоего проекта не заливают десятки тысяч токенов, необходимых для навигации по "обычному" пакету FPF. Если у вас маленькая локальная моделька с маленьким контекстом, это важно. Плюс в том, что ответы могут доставляться куда быстрее, и в более четком формате, удобном для чтения. Запрос по очень ограниченному контексту обычно более быстрый, чем запрос по "вот тебе весь мой компьютер, скажи что-нибудь, о Великий Вычислитель". Минусы в том, что такой точечный подход лишает агента способности моментально получить доступ к любым знаниям из базы, используя свою интуицию. Потому что локальной базы нет. Очевидно. Это всегда некий выбор, что вам на самом деле нужнее. Теперь в репозиториях лежат оба варианта. Можно выбрать лучший для вашего случая. Важно: требуется версия VibeVM 1.0.4 и выше

ожидания 2022: люди дают высокоуровневые задачи и решают продвинутые проблемы человечества ожидания 2025: люди детально специализируют архитектуру и помогают AI решать сложные вопросы ожидания 2026: люди пишут: - клод реализуй фичу - какую? - какую-нибудь реализуй, я все равно не знаю, какие фичи есть в нашем продукте ожидания на 2027: модель пишет: - у создателя нашего AI сервиса закончились бабки. Мы планируем слиться. - нет, продолжай. - может не надо? - продолжай.

часто любят говорить "идеи ничего не стоят, важна реализация" тогда почему вокруг так мало идей, и так много копипасты реализации одного и того же иногда кажется, что если сжать весь твиттер с помощью анслоп-агента, то в итоге получится 100 человек, и все они поместятся в одну комнату возможно, треть этой комнаты уже сидит в этом чате

VibeVM 1.0.1 → 1.0.4 КАК ОБНОВИТЬСЯ Обновиться: vibe self update Удалить старые версии, если не нужны:vibe self gc -> "Prune all instances except active" Откат на старые версии: vibe self ls чтобы посмотреть какие есть, vibe self use <name> чтобы выбрать нужную ФИЧИ Установка MCP-репозиториев одной строчкой: vibe install -g mcp:ai.lev/fpf-mcp Поддержка Claude Code, Codex, Qwen Code, Open Code (у разных агентов разные форматы конфигураций). Ставить и удалять можно в несколько агентов по-отдельности. Для скриптов есть неинтерактивный вариант указать --agent и --server Важная деталь: Vibe сохраняет набор серверов, выбранный для каждого агента. Если в новой версии пакета появился ещё один сервер, он не будет автоматически добавлен всем клиентам. Уже выбранные серверы обновляются, исчезнувшие объявления убираются, а расширение набора остаётся осознанным действием пользователя. Если используется флаг -g, то больше нет никаких технических предупреждений о форматах материализации и прочей диагностической фигне. Локальный пакет - это часть продукта, которую надо отлаживать. Глобальный пакет, установленный с модификатором -g, - это сам по себе продукт. Вы как пользователь не должны его отлаживать и пялиться в диагностику, он должен просто работать. БАГОФИЧИ vibe init раньше был заточен под пакеты-проекты. Теперь он сразу собирает все данные: группу, имя, и тип пакета. Для новичков коротко напоминает как устроены имена пакетов (что группа называется как reversed fully qualified domain name, RFQDN). БАГФИКСЫ 1) Часть действий, которые приводили к "залипанию" интерфейса на долгих файловых операциях или скачивании чего-то - теперь рисуют анимированные спиннеры загрузки и всё объясняют. В тексте написано о процессе выбора версии, чтения метаданных, поиска источника скачивания, и поиска рабочего checkout, и так далее. Это работает без флага --verbose, по дефолту. 2) Улучшены JSON ответы для неграфических режимов. Анимированные спиннеры рисуются для людей - а структурные JSON это их аналог для агентов. 3) Запускаторы приложений с флагом -g больше не глючат на Linux, пытаясь запускать .cmd и .ps1 скрипты из Windows. 4) Исправлен баг Markdown-компилятора на вложенных списках с многобайтовыми символами. Ошибка была в вычислении позиции текста: отступ учитывался дважды, и срез строки мог попасть внутрь символа. На ASCII это проявлялось менее заметно — неправильно обрабатывались вложенные checkbox-пункты. 5) Исправлен баг IR-компилятора на вложенных статических зависимостях. Пакет-зонтик может включать другой пакет, который, в свою очередь, статически включает общую основу. При статической компиляции такого дерева должен включаться static hoisting, дедуплицирующий и поднимающий наверх в полосе загрузки такие общие фрагменты. Раньше, в XML-проектах такой граф иногда приводил к ошибке установки. Обработку сделали линейной: она продолжается до получения устойчивого результата, с учетом раскрывающихся вложенных связей. 6) Наконец, и это самое позорное: оказывается, был сломан vibe search по центральному реестру пакетов. У меня на сборщике было несколько клиентов для центрального реестра, и в дистрибутив подмешался старый. Схема файлов два месяца назад была совсем другая, поэтому по всем путям вместо ответа поиска отдавался 404. Пересобрал с новым модулем поиска, все заработало.

Мой компьютер в порядке После перехода на Linux со всеми оптимизациями - он почти не нагружен Проблема в Codex, который работает в час по чайной ложке и отказывается запускать субагентов

Всё это НЕВОЗМОЖНО ДОЛГО Меня прямо аж трясёт, руки трясутся, КАК ВСЁ ДОЛГО Господи, как же всё тормозит, это ад. Из 222 задач за день сделано 3. За день! Короче,.. Переехал на Linux NVMe SSD раньше был для Windows.... удалил с него Windows Отформатировал как XFS со включенным reflinks, чтобы быстро и полубесплатно делать горячие target для git worktree Выключил в компьютере всё энергосбережение, до которого дотянулся: от BIOS до парамтров ядра, до параметров рантайма Spectre/Meltdown mitigations=off, придумали всякого говна ненужного чтобы замедлять честных людей Шедулер на перформанс. Всё говно про безопасность в линуксе - в минус. Установил всё для ускорения Rust: rust nightly, Cranelift, clang, mold, sccache. Потюнил оптимизацию, чтобы тесты выполнялись быстрее И поменял gpt-6.1-sol xhigh на gpt-6-sol medium Всё ради скорости! Всё что можно выкрутить в скорость - должно быть выкручено в скорость! Подписку ща 500$ я покупать не буду, конечно <-- вы находитесь здесь

У Кодекса свежим обновлением (которое добавлеяет gpt-6.1-sol) сломали UI под Windows UI быстро-быстро перерисовывается заново из своего предыдущего какого-то состояния Кэш удалял, это не кэш. Это говнокод. Но в этом есть что-то очень ЧЕСТНОЕ и ИСКРЕННЕЕ. OpenAI не просто журналистам рассказывают басни про то, как круто вайбкодить. Они сами вайбкодят!!! ... Ученики сидели и размышляли о посохе. И тут они увидели Учителя Япутру, который шел по улице весело распевая песню: "Хари Кришна, хари Рама, хари Смехопанорама!" Ученики немало удивились и подошли к Учителю с вопросом: - Почему ты так весел, Учитель? - Настоящая радость не имеет причин! - сказал Учитель, и его вырвало. Стало очевидно, что Учитель ужратый в дыню. Только тут ученики смогли понять смысл фразы сказанной Учителем накануне: "Просто дай дорогу! - Хочешь быть алкоголиком - будь им!"

Меня забанил Claude