Лабораторный журнал
2.3K subscribers
102 photos
9 videos
1.54K links
трансляция блога А.И.ЛЕВенчука из ЖЖ (http://ailev.livejournal.com)
Download Telegram
First Principles Framework (FPF) появился в репозиториях VibeVM

vibe install ai.lev/fpf


Это всё что нужно сделать :)

Для использования нужна свежая VibeVM 1.0.1 c https://vibevm.org

FPF (First Principles Framework) - язык паттернов для строгого мышления в инженерии, исследованиях и менеджменте: набор именованных, связанных между собой паттернов, которые помогают командам и AI-агентам сохранять устойчивыми смыслы, утверждения, свидетельства и решения, пока работа переходит между людьми, инструментами и во времени. По форме это скорее техническая спецификация, чем книга по менеджменту: определения, паттерны и правила проверки. Сейчас FPF - уже не одна спецификация, а экосистема: трансдисциплинарное ядро FPF Core плюс доменные фреймворки (DPF), например для инженерии и нарративизации. При этом автор подчёркивает, что FPF - не агентный фреймворк и не методология программирования, а фреймворк знаний и рассуждений, применимый от производства и строительства до медицинских технологий и образования. Проект открыт на GitHub (github.com/ailev/FPF) под лицензией CC BY 4.0 и развивается в режиме «вечной альфы»: уже используется в рабочих проектах, но продолжает меняться.

Анатолий Левенчук — научный руководитель Школы системного менеджмента и директор по исследованиям Русского отделения международного совета по системной инженерии (INCOSE), с более чем тридцатилетним стажем стратегического и методологического консультирования по инженерии и менеджменту. Профессионально занимается методологией системной и программной инженерии, системного менеджмента, стратегирования и технологического предпринимательства; среди его интересов — искусственный интеллект, глубокие нейросети, онтология, эпистемология и рациональность. Ведёт блог "Лабораторный журнал" (ailev.livejournal.com). Автор серии учебников, включая двухтомник "Системное мышление 2024" и "Методологию 2025".


ТЕХНИЧЕСКИЕ ДЕТАЛИ

Размер корпуса FPF огромный. Одна только FPF-Spec.md весит 15 мегабайт. Мегабайт: Гитхаб отказывается этот файл показывать в веб-интерфейсе. Чтобы загружать контексты такого размера целиком, нужно быть миллиардером.

И вот тут на помощь приходит VibeVM. Всё дерево пакетов FPF, включая FPF-Spec, Foundational Thinking и Engineering занимает всего лишь 132 тысячи токенов. Ясно, что дальше оно будет разрастаться, по мере чтения новой информации.

Благодаря чему это достигается?

Во-первых, формат материализации - XML. Это позволяет оставить документацию в формате Markdown (т.е. оставить в покое тот текст, который написал автор), но LLM работает уже с его XML представлением, и поэтому хорошо ориентируется по тексту. Именно для этого компилятор Markdown -> XML и был сделан. Для огромных корпусов Markdown, где LLM не может четко определять границы правил внутри Markdown.

Про размеры в токенах. Все спецификации мелко порезаны на целых 37 пакетов. У каждого есть минимальный статический загрузчик, и вот все эти загрузчики в сумме и дают 132 тысячи токенов. В этой "приоритетной линии" лежат оглавления разделов, чтобы агент мог навигироваться по материалу без загрузки полного содержимого пакетов.

Дальше навигация делается spec://-ссылками с динамической загрузкой. Их около 22 тысяч: не катастрофически много, но и не очень мало. Достаточно умный агент все еще может по ним навигироваться.

Для генерации содержимого пакетов применяется скрипт: при обновлении исходного материала на гитхабе, пакеты быстро регенерируются почти без необходимости использовать LLM. Тут очень повезло, что Анатолий уже написал свои спецификации так, что они почти полностью ложатся на модель VibeVM. Иногда мысли у людей сходятся.

В 1.1.0 (на подлёте от недели до месяца) будут специальные оптимизации для FPF. Ну и другим спецификациям такого размера они будут нужны. По сути, текущая комбинация статического загрузчика с динамическими ссылками внутри - это хак, который используется за отсутствием прямой декларации более мощной идеи. С фичами из 1.1.0 можно подумать над еще большей компрессией и динамикой для агентов, которые не могут держать большой контекст в 200к токенов.
🔥9👏2🤔1
Тридцать мегабайт мышления: как скормить библиотеку FPF нейросети

Отвечаю на обещание написать про доступ к корпусам знаний в целом, к корпусу библиотеки FPF в частности:
* VibeVM и дискуссия у меня в чате телеграма об "оптимальном для LLM доступе к знаниям"
* Промпт задания на исследование
* Постановка задачи и основные выводы итогового отчёта (merge двух начальных вариантов, F19 и переструктурирование по уровням заземления)
* Промпт, по которому были запущены изменения в библиотеке FPF
* Что происходит прямо сейчас

https://ailev.livejournal.com/1812981.html
🔥3❤2👍1
Для участников дискуссии, которые знают про Jev (кстати, сетка поначалу спутала его с JEPA, сочла опечаткой — пришлось поправлять, для этого человек и нужен).
❤1😁1
А это ответ на вопрос дискуссии. Почему самовар? Без понятия, но смысл, думаю, понятен — хотя полностью понятен только разработчикам (заклинания для них как раз на краниках). В FPF вошёл тот же обобщённый ответ, который работать должен даже с бумажными базами знаний (как раньше говорили про неструктурированную информацию — "банками знаний").
❤4🙏1
К текущим дискуссиям в чате. Всё уже работает )))
🔥10🎉5
Forwarded from Denis Migulin
народное творчество
😁11🔥8😱1
Вот ещё, кстати, к бушующей в чате дискуссии о терминологии. Если будете записываться в чат, то проверьте, что у вас есть телеграмный username, спамодавка анонимов не пускает (ник — это не username).
Из рабочих будней наставника МИМ (с)
😁14🔥3
Как записаться в библиотеку FPF. Инструкция для непрограммистов:
— Берут тексты из библиотеки, а не берут библиотеку
— Читательский стол и книжные полки
— Первый способ: найти паттерн самому на сайте
— Второй способ: записать в библиотеку ИИ-агента ("подключить по MCP")
— Третий способ: взять копию всех файлов на свой компьютерный диск (чуть больше 30 MB)
— Первый поход в библиотеку: принести что-нибудь полезное

https://ailev.livejournal.com/1813179.html
❤4🔥3
На всякий случай повтор про USING-FPF и напоминание про F.19 (если вам надо по-быстрому править невнятные тексты).
👍6❤1
Математика по заказу: представления и операции с ними
— Жреческая бизнес-модель математики
— Давайте математику из цирка (ладно, спорта) математиков превратим в нормальную работу по заказам
— Заказные математические проекты: я этого хотел, и вот мне!
— Зачем мне математика для представлений

https://ailev.livejournal.com/1813318.html
🎉1
Математика представлений: что именно я заказываю не очень живым математикам, пока живые бастуют
— Зачем мне понадобились гирлянды языков Ромы Михайлова
— Пересмотр формальности
— Математика продвинутой онтологии и онтологического описания
— Идея: можно попытаться взять для математики представлений fr-коды

https://ailev.livejournal.com/1813511.html
Мой заказ на методологию как естественную науку
— Естественные науки базируются на математике: методология как естественная наука тоже базируется на математике
— Метод как предмет разработки
— От математического объекта к изменению мира
— Естественная наука о методах
— Не просто естественная наука о методах, но естественная наука о развитии методов
— Многоуровневые холоны методов
— Методы разработки методов

https://ailev.livejournal.com/1813919.html
🔥4👍3