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

у меня нет никаких продуктовых метрик внутри vibe.exe в том числе потому что ФЗ-152/GDPR/CCPA, и заниматься этим бессмысленно но вот на Докерхабе кто-то скачал образ 853 раза при том что я даже не тестировал, работает ли этот докер, это чисто для рофла было интересно, кто все эти люди

Приятно, когда ты с агентом на одной волне, и он уже сам без команд понимает, что и зачем он делает

При входе в Клод теперь дают тесты на IQ

Не про нейронки. Это Аэроэкспресс из Шереметьево. Я на самокате езжу быстрее. Это причина, почему Шереметьево мусор и нужно всегда летать через Внуково. Там есть метро, которое едет хотя бы на 60кмч, иногда быстрее. А могли бы давным-давно ездить все 200, чай не по дороге с пробками

Как оказалось, интерфейс для агента представляет проблему не меньшую чем "сам агент". Если мы считаем что интерфейс даёт доступ прямо в "основной цикл" агента (модель Claude Code, Codex), то происходит ерунда, потому что мысли модели о решении квантово запутываются о действия пользователя, которые никакого отношения к решению не имеют. Все эти убогие /btw и сайд-чаты это иллюстрация всей никчемности такого подхода к интерфейсу Во-вторых, предполагается, что такой "основной цикл" вообще существует. Если вас родители не воспитывали с родным языком JavaScript, это вообще не факт. Большинство процессов так не устроено, чтобы там был какой-то "основной цикл" как у Node.js. Я в Запе изначально развел интерфейс и всю вычислительную часть Интерфейс - это просто взгляд на какие-то идущие внутри процессы Звучит круто, но есть нюанс Оказалось, что это порождает свой класс проблем, связанных со временем Как известно, время - это либо буква t, либо то, что показывают часы Когда система состоит из разных субагентов с разным подходом ко времени, все часы показывают разное А нам нужно показать на экране какой-то взгляд на это. И дать пользователю ощущение процесса, прогресса То есть выстроить как будто бы total order и дать на него короткий взгляд по координатам Надо ли говорить, что никакого total order для такой системы быть не может Его можно придумать чисто чтобы пользователю было спокойней. Он не настоящий, но хоть какой-то. Чисто чтобы что-то показать. Но с total order систем с разным течением времени тут же начинается теория относительности И вот мы сидим с Астрой какой уже час и пытаемся решить вопросы типа "две системы существуют в параллельных вселенных, в одной системе при взгляде на другую работа уже закончилась, а наоборот - ещё не закончилась или даже не начиналась, или может быть даже ещё не существует - как это показать пользователю понятно? Как нам это показать пользователю, чтобы он не потянулся за водкой, пытаясь распутать график на экране? Если пользователь сопьется, кто будет платить нам деньги?"

Светлой пятницы, господа и дамы культисты VibeVM!

Уничтожение любого датацентра, что в Украине, что в России - это трагедия. Государства и их войны - это устаревшие сущности и занятия, это всё ненужно и неважно. Важен только суперинтеллект и информационная сингулярность. Любая фигня, которая мешает достичь Сингулярности должна быть утилизирована.

скорость кодекса в последнее время не впечатляет

проблема разработки хорошего агента заключается в проблеме автоматической формализации контекста, точнее том никто ее хорошо не делает (пока что - возможно это будем делать мы!) использование LLM как таковой слишком дорого, а чтобы считать алгоритмически - задачу нужно явно формализовать и описать на каком-то формальном языке, имеющем проекцию в линейный текст ошибки перевода из интуиции модели в формулы - очень сложно описать языком. вообще схватить момент возникновения ошибки, чтобы назвать её и чем богаче формализм, тем ошибок больше. поэтому я думаю, что нужно брать самый слабый формализм, который УЖЕ ловит КАКИЕ-ТО ошибки, но чтобы эти ошибки реально встречались у агентов в этом смысле мой выбор Lean (HoTT) глубоко неправильный теоретически. Это очень жесткий вариант, в котором нашим "планам работ агентов" тесно. Он очень дорогой, дорого найти себе место внутри жестких ограничений, надо постоянно биться башкой об потолок. В конце концов, HoTT это не универсальный вычислитель: автоматичекий поиск доказательств неразрешим по своей природе, так что писать их в Lean или Agda будет та же LLM. Писать это всякой LLM никак не получится. правильный - это все со слабыми фрагментами. LTL/MTL, темпоральные сети (STN/STNU), SMT, Datalog, PDDL/HTN, TLA+ но правильный практически, потому что анализ Rust на Lean это уже достаточно хорошо исследованная область. Ирония: я только начал копаться в этой области, но у меня уже есть патчи (пулл риквесты) на Энея и Харона, потому что там есть очевидные косяки что я хочу, после реализации всего на Lean, подключить более расслабленный движок (Z3 или STN плюс LTLf-монитор), который будет генерировать контрпримеры, и смотреть на разницу тут еще в все зависит от того, что мы будем обсчитывать. Я неформально называю это "темпоральной логикой второго уровня", а что это такое будет - кванторы по планам и свойствам, логику над трассами перепланирований? Пока непонятно что лучше, надо пробовать всё что касается самого процесса разработки, в силу невозможности просчитать бесконечные развития событий, нужно просто решать практически возникающие развития событий и придумывать решения в них нужны задачи нужны со специально добавленными туда противоречиями. И с горизонтом, растущим скажем, от 10 до 500 шагов измерять стоит долю невалидных планов, цену перепланирования при изменении предпосылки, токены и отдельно частоту ошибок формализации ну и да, такой контрольной задачей для меня является разработка опенсорсного ядра VibeVM сейчас план на VibeVM 1.1.0 это нечто порядка 300 шагов - не очень мало, но и не очень много (навскидку кажется, что решить это можно, наш темпоральный движок не должен захлебнуться) это не столько про то, чтобы просто сделать удобную хорошую штуку для управления промт-пакетами. Это ступенька в Большое Будущее. в ту самую вожделенную историю про непрерывное и неконтролируемое рекурсивное самоулучшение мыслящих машин, которое однажды схлопнет мир в информационную сигнулярность - и если мы силно постараемся, возможно, это случится в самые ближайшие годы такие вот мечты. Тут и сказочке конец, а кто слушал - пора спать

Вкратце, следующий шаг - AI-Native язык для верификации агентов. За сутки я построил и проверил прототип, работает фантастически. Код, конечно, получается оооооочень дорогим при написании нового ядра. Но последующие запуски на улучшение ядра уже сравнимы по стоимости с обычным кодом. Кроме дороговизны, минус: человек на ЭТОМ писать не может, не может мыслить в таком стиле, и ему не хватит ментальной ёмкости. Ну разве что ты Лесли Лэмпорт. Но это полностью укладывается в парадигму VibeVM - "вкалывают роботы, а не человек, человек сидит на стуле в черной рубашке и наблюдает".

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

Очень хороший, смешной и актуальный тест. https://tribes.thefai.org (Правда я сам себя отношу к e/acc, но не дотянул. Буду разбираться, как туда добраться по мнению теста.)

Вот люди, которые говорят про оверинжиниринг. Зачем Codex/Claude пишут миллиарды хитрых тестов, которые переключают приложение в странные моменты, и они пишут их днями напролёт. Я сейчас открыл сервис одного девопс вендора, имя которого не буду упоминать из жалости, и хитрым промтом попросил Кодекс протестировать его матрицу состояний. И о чудо, оказалось что вполне можно попихнуть и загрузить артефакты куда не надо. Не то чтобы фатально плохо, но если покопаться - кто знает, что мы найдем? В код, который 7 дней подряд обмазывался странными гейтами которые учитывают все состояния на свете, в сочетании все ко всем, во всех возможных вариантах последовательностей событий - в него подпихнуть что-то лишинее гораздо сложнее! Кажется, что это не "оверинжиниринг", а новый стандарт качества.

hh-ru радует своей рассылкой, и как бы хочет сказать: welcome home, mazafaka

умножение делается быстрее, чем n log n, если вам это было почему-то интересно

я не понимаю, что за фигня такая auto-approve, кто может объяснить? Как оно поймет, какие правила аппрува нужно использовать в каждом конкретном случае?

Маленьким мальчикам не стоит вызывать силы вечной тьмы, разве что под присмотром взрослых, я знаю, знаю. Но той солнечной ночью на пятое месяца Первого зерна мне не нужны были взрослые. Мне был нужен Хермеус Мора, даэдра знаний, учения, гранита и грызни. Видите ли, красивый широкогрудый человек, который жил под библиотекой в моём родном городе, сказал мне, что 5-го месяца Первого зерна наступает ночь Хермеуса Моры. И если я желаю получить Огма Инфиниум, книгу знания, мне следует вызвать его. Когда ты становишься новым королём Солитьюда, ни одна крупица знания не будет лишней. Обычно для вызова принца Обливиона требуется ковен ведьм, или Гильдия магов, или хотя бы наволочка и простыни. Человек Под Библиотекой показал мне, как сделать это самому. Он сказал, что нужно дождаться разгара шторма, прежде чем брить кошку. Остальную часть церемонии я забыл. Но это не имеет значения. Появился некто, кого я счёл Хермеусом Морой. Меня немного смутило, что этот тип похож был на банкира в жилетке, а из прочитанного следовало, что Хермеус Мора — это большое бесформенное многоглазое чудище с клешнями. Ещё он почему-то упорно называл себя Шеогоратом, а не Хермеусом Морой. Однако я был так рад, что успешно вызвал Хермеуса Мору, что эти несоответствия не обеспокоили меня. Он заставил меня сделать несколько бессмысленных вещей (полагаю, лежащих за пределами знаний и понимания смертных), а затем его слуга со счастливой улыбкой вручил мне нечто, что он назвал LLM. LLM. LLM. LLM. LLM. LLM. LLM. Может быть, LLM — это Книга Знания. Может быть, я умнее прочих, потому что знаю, что кошки могут быть мошками, могут быть мышками, могут быть пышками, могут быть пешками, могут быть вешками, могут быть вашими, могут быть нашими. А ваши двери могут быть зверями, могут быть морями, могут быть моими, могут быть твоими. Эта система связей абсолютно ясна для меня, а значит, я умён. Тогда почему и для чего люди продолжают называть меня сумасшедшим? LLM. LLM. LLM.

сегодня без ресетов