Лабораторный журнал – Telegram
Лабораторный журнал
2.19K subscribers
16 photos
5 videos
1.42K links
трансляция блога А.И.ЛЕВенчука из ЖЖ (http://ailev.livejournal.com)
Download Telegram
Выполняю планы размышлений на эту осень: осторожно возвращаюсь к теме обучения, школа (да хоть детский сад) уже при сообществе, а не сообщество при школе, но проблем более чем хватает. В любом случае, двигаем к эко-системе МИМ и меняем формат стажировок. Главное, будем что-то замерять, весь вопрос — что, на эту тему 24Кзнака:
— Эко-система мастерской инженеров-менеджеров
— "Обучение-образование" против "стажировок"
— Первый шаг: характеризация стажёров в ходе учебного процесса
— Вопрошание GPT-5 Auto и GPT-5 Pro про обучение инженеров-менеджеров FPF
— Мой семинар по механизмам характеризации: 7 декабря 2025

https://ailev.livejournal.com/1779964.html
3👏2🙏1
Очередное обновление, в этот раз не столько для FPF, сколько для задания на principled enactment architecture в FPF: математика-физика-инженерия как "от идеи к изменению мира", "от мышления к действию". Ссылки все в тексте, для незнакомых с интеллект-стеком будет вообще непонятно, для знакомых — трудно (скажем, для меня самого — трудно, это моё мышление письмом). Заканчивается текст (10Kзнаков в ЖЖ) так:

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

Но овчинка явно стоит выделки, моё обоснование тут можно начинать так: "Во-первых, это красиво". Ну, и это я точно первыми принципами занимаюсь. Это точно продолжение моей работы по интеллект-стеку: идея про "всё сидит на математике-логике, связано с физикой и физичностью мира, а занимаемся мы инженерией и менеджментом". Это точно продолжение моей работы по системному мышлению, ибо оно оказывается только небольшой частью общехолонического мышления, прихватываем ещё и эпистемы. Это точно продолжение моей работы по методологии, ибо вот это principled enactment - это и есть ход "от математики и рассуждений к действию по изменению мира". Поэтому я ещё поупираюсь, поглядим на результат. И инструмент у меня для этого подходящий, хотя я был бы благодарен мирозданию за LLM-модельку получше. Но я вообще с o3 начинал, так что GPT-5 Pro до сих пор выглядит подарком богов (посылаю этим небожителям лучи добра). Всё-таки приматы очень ограничены по своим биологическим способностям, палка-копалка сильно увеличивает их производительность по возне с землёй, экскаватор заставляет забыть про палку-копалку, гусиное перо увеличивает производительность по возне с идеями тоже сильно, а вот современные LLM (да ещё с возможностью подключения инструментария, например, ChatGPT можно попросить сделать grep по тексту на 3Мзнака) заставляют забыть про гусиное перо, чтобы тут же вспомнить, что homo sapiens - это всего лишь примат, весьма ограниченный биологическими мозгами).

https://ailev.livejournal.com/1780212.html
7👍7
Пишу про архитектуру графа трансдукций, для которой выбрано эйлерианское (а не лагранжево) представление потока. Пытаюсь объяснить, почему так сложно: Если ты делаешь скворечник или даже табуретку -- это всё абсолютно не сложно! Но когда ты переходишь к массовому выпуску скворечников или табуреток с заданным качеством, то сразу всё сложно: требуется минимум дефектов (шесть сигма, чуть больше трёх дефектов на миллион реализаций!) и большая точность (чтобы всё собиралось без подгонки каждой детали по месту напильником, как ещё полвека назад). Ну, и о запусках ракет надо забыть, ибо там всё то же: минимум дефектов и большая точность, а качество всей системы определяется качеством слабейшей её подсистемы -- и так "до самого низу", до болтика. Поэтому делаем моделирование точным и надёжным, а в граф встраиваем кучу проверок. Фишка в том, что на каждом ребре, если по уму делать этот граф, не нужно делать все проверки. Можно делать только минимально необходимые проверки, подсказанные математикой. Вся эта математика и принципы такой организации графа приведены в тексте (разделы SoTA Echoing).

И что же мы описываем этим графом трансдукций? Разные-всякие потоки над формами-холонами (системами, эпистемами), ибо смотреть на этот поток можно по-разному (views, как в ISO 42010), но сам поток один и тот же -- вот мы его в целом и моделируем:
* функциональные/принципиальные представления: всевозможные flow, от электрических и кинематических схем до DataFlow. Резистор - это такой механизм, который реализует закон Ома. Attention - это такой механизм, который реализует "законы внимания" (формулы!) в нейронных сетях.
* модульные представления: какие-то модули, соединённые друг с другом через интерфейсы. И они что-то передают друг другу через эти интерфейсы.
* процедурные представления: какие шаги предпринимаются и кем в какой последовательности.
* эволюция: что там меняется в этом графе (какие трансдукции-узлы и передачи-рёбра появляются, как меняются там правила).
* ... самое чудесное, что список этот открыт.

Тем самым это основание для методологии в FPF, выходы на все flow (функциональный дизайн, архитектура и много чего ещё).

Как всегда, даю ссылки на результаты (текущий FPF и задание на реализацию архитектуры графа трансдукций в FPF).

https://ailev.livejournal.com/1780227.html
14
Продолжаю писать о том, почему эйлерианская архитектура графа трансдукций так хороша: она даёт evolvability — и провожу параллели с микроядерной архитектурой, акаузальным "физическим моделированием" (Modelica, Dyad), решениями expression problem в языках программирования. Обсуждаю "эйлеров" против "эйлерианский", рассказываю о том, как я пришёл к этой архитектуре, жалуюсь на трудности работы с нейросетями (они те же, что трудности работы с людьми), увязываю с необходимости моделирования эволюционной системной инженерии, всё это на 15Кзнаков в ЖЖ.

https://ailev.livejournal.com/1780650.html
4
Два месяца не писал lytdybr, но много чего происходит, а пишу я главным образом задания к нежити и в чаты с нежитью — и при этом не могу сказать, что моя жизнь стала скучнее или мозг стал лениться; всё ровно наоборот, чем умней становится твой собеседник, тем с ним беседовать интересней. Договорились, что программа рабочего развития МИМ состоит из десяти стажировок, каждая длится примерно месяц и проходит по отдельному руководству как "инструктаж и разборы/review" с наставниками, даю список этих стажировок. Текущие группы с наставниками пока дойдут по старым текстам и программам, набора на стажировки с наставниками для старых форматов уже не будет. Типовой отзыв на длинную программу сводится к тому, что "надо удержаться как минимум до второго раздела системной инженерии — вот тут и понимаешь всю пользу". По-прежнему надо искать слова, чтобы заменить "обучение" и "домашние задания с проверкой", слова "инструктаж" и "рабочие задания с разбором/review" тут уместней. Поздравляю команду "Рациональной работы", от их руководства инженеры-менеджеры в восторге, тоже есть отзывы. Много всего разного писал в чаты, даю пару ссылок. Полезное заклинание на выбор термина по F.18 FPF (выдаёт Name Card). Что делаю по поводу выхода новых LLM-моделей: ничего. Работа над FPF продолжается, пишу о текущих планах, даю ссылку на одно из заданий. Во вторник буду обсуждать темы моих семинаров по FPF, готов принимать советы — о чём рассказывать сначала, о чём потом (в этих пожеланиях пока лидирует эйлерианский граф трансдукций).

https://ailev.livejournal.com/1780938.html (в ЖЖ 11Кзнаков)
14👏1
Пишу (22Кзнаков) про проблемы, которые разгребаю сейчас в FPF:
— Семантический треугольник 45 лет назад: " всего три! всего три вещи! но я уже пятый день не могу их внятно связать друг с другом!"
— 45 лет спустя: ищем корень зла, и находим его в понятии "места в отношении"
— Эпистема — что же это такое? Ах, лучше это слово вообще запретить.
— Из засады выскакивают слоты/параметры/места в отношениях и сигнатурах
— Ближайшие планы с FPF

https://ailev.livejournal.com/1781066.html
6🔥4👏2
Существенно обновил F.18, воткнув туда четыре лексических оси: semantic fidelity, cognitive ergonomics, operational affordance, alias risk. Сделал паттерны дисциплины именований в слотах сигнатур (читай: как думать об интерфейсах), надо пользоваться тройкой SlotKind, ValueKind, RefKind, но пользоваться этой тройкой никто не будет. Сделал паттерн эпистемы с графом слотов, теперь надо его долго править. Приходится поминать и семантический треугольник, и тут тоже будут правки. Поговорили о семинаре 7 декабря, он будет обзором того нового, что появилось в FPF после первого семинара — а потом можно будет это всё пробовать, ибо FPF всем доступен. Идея программы исследовательского развития в том, что там уже нет стажировки, но есть семинары. Для школьного возраста я бы давал не столько программу личного или рабочего развития, сколько как раз первые принципы — программу исследовательского развития, хотя и в упрощённом варианте. Детей можно учить первым принципам, особо не спрашивая, хотят ли они им учиться, а вот со взрослыми — не так, если сказать "буду учить первым принципам", то придёт ноль человек.

https://ailev.livejournal.com/1781329.html (в ЖЖ 11Кзнаков)
👍5
Перепилил "Системное мышление" на два руководства - "Системное мышление" и "Системное моделирование", содержание не изменилось, а опубликовано будет в Aisystant где-нибудь в январе, чтобы текущие группы с наставниками могли нормально закончить текущий вариант. Закончил основные паттерны FPF для современного прочтения эпистемы и multi-view описаний и публикаций по мотивам обобщённого ISO 42010:2022, это ещё шажок к разворачиванию в FPF полноценного понятия архитектуры. Написал и отдал проект программы трёхчасового семинара «First Principles Framework на пороге 2026», он пройдёт 7 декабря 2025 (воскресенье), стать участником можно будет где-то с 1 декабря, а я пока буду делать слайды. Писали раньше в соцсетях "для людей", а теперь пишут "для алгоритмов", ибо если не для них, то люди посты не увидят (перенос ссылки в первый коммент в фейсбуке у меня дал x3 просмотров). В ARC-AGI-2 open source надстройка над коммерческими LLM взяла 65% в public set, оркестрация LLM может творить чудеса, были бы на неё деньги и собственные мозги. Нейросетки приобретают привычку нравиться людям, поэтому они менее творческие: если фрукт — то обязательно яблоко, ибо экзотика людей пугает, а нейросетки призваны ублажать людей, а не пугать. Настоящий киберпанк, конечно: вся эта роскошь из будущего не мешает людям воровать, воевать, верить в богов и нечистую силу. А каюк наступает не от искусственного интеллекта, а от хорошей жизни. Просто с ростом уровня жизни на планете падает рождаемость, если кто следит. "Systemic thinking": так говорят гуманитарии. Всё кратенько, 6Кзнаков в ЖЖ.

https://ailev.livejournal.com/1781585.html
👍5🔥3
Сделал с помощью FPF обзор статьи по архитектуре диффузионных нейросеток a la gonzo-обзор от Григория Сапунова, но формат взял сразу записи архитектурного решения (ADR). Если вам нравится какая-то статья и вы хотите посмотреть на неё как на архитектурный паттерн, вы подгружаете FPF в вашу любимую модель и говорите "Сделай по следующему тексту паттерн ML.1 для FPF, используй шаблон из E.8, пиши для инженеров и добавь дидактичность в стиле, пиши по-русски. Учти E.TGA, в паттерне используй обычный язык инженеров, а не лексику FPF: <ссылка на текст статьи, или сам текст статьи, или вообще что угодно, а не "статья">". В качестве "чего угодно" я взял запись из gonzo-обзора, результат публикую. Это я готовлюсь к своему второму семинару по FPF, мне же надо показать работоспособность и полезность текущего варианта, а не только великие планы по его созданию. Семинар пройдёт 7 декабря 2025 с 11:30 до 14:45, о начале записи на семинар и программу семинара я сообщу завтра-послезавтра.

https://ailev.livejournal.com/1781805.html
10🔥7👍1
Рассказываю о семинаре «First Principles Framework на пороге 2026», который будет 7 декабря 2025.

К сожалению, никаких подробных материалов (кроме самого текста фреймворка на английском языке) по FPF сегодня нет, поэтому и было принято решение знакомить с подробностями этого проекта в форме лекционных семинаров в рамках программы исследовательского развития инженеров-менеджеров. Это второй семинар в серии, первый прошёл 4 октября 2025.

Даю подробную программу семинара:
1. Обновления в ядре FPF и первых принципах
2. Эйлерианский граф потоков общего вида и пример «от принципов к работе»
3. Характеризация, эпистемы, понятизация
4. Как работать с огромными текстами с помощью LLM (на примере FPF).

FPF – это не “серебряная пуля”. Но он уже активно используется инженерами-менеджерами МИМ и помогает им в работе. После семинара участники смогут самостоятельно попробовать в своих проектах те новинки, о которых будет рассказано. Семинар как раз нужен, чтобы было понятно, что именно там пробовать.

Даю ссылки на то, как попасть на семинар, где в GitHub лежит FPF, а также рабочий текст задания на архитектуру графа трансдукций.

https://ailev.livejournal.com/1782125.html
👍5
Отвечаем про нефальсифицируемость FEP: да, репрезентации не фальсифицируются, фальсифицируются теории на базе этих репрезентаций. Моя иллюстрация для verbilized sampling (aka "есть ли творчество в LLM"), выбор FPF-шутки для кофе на базе NQD из части G. Каким разнообразием LLM я пользуюсь: малым! Многоуровневое всё, первые принципы лишь один из уровней, на семинаре расскажу про нулевые принципы (и даю в посте их весьма короткий список).

https://ailev.livejournal.com/1782484.html
6🔥3😁1
Для читателей канала даю эксклюзив: более точную и весёлую, но визуально сильно перегруженную картинку.
11👏3😁2🤯2🤩1
Даю второй и третий примеры (первый дам на семинаре 7 декабря) для коротенького промпта ""распиши P2W из E.TGA в FPF для моей ситуации: <текст ситуации>":
— Цепочка "от принципов к работе" (P2W) из FPF
— Пример 2. Автоскейлинг микросервисов в облачной системе
— Пример 3. Управление дозировкой лекарств в терапевтическом отделении

Где тут первые принципы? Идите к началу цепочки и задавайте вопрос: а если поменять что-то в этом начале цепочки (скажем, если не думали вообще о теории, а теперь вдруг подумали! не думали об онтологии, а теперь подумали!), как это отразится на том, что вы сейчас делаете? Не появилось новых идей?

https://ailev.livejournal.com/1782697.html
Сделал 51 слайд (на картинке они) к завтрашнему семинару, добавил там пример графа потоков для TameFlow и даже в варианте для резидентуры МИМ, а ещё сделал сделал аккуратное предположение, что FPF выходит уже из чисто "исследовательского" проекта на MVP вполне рабочего проекта. Термин "резидентура МИМ" вместо "стажировки МИМ" и "резидент" вместо "стажёра" в предыдущем абзаце -- это пример работы F.18 в FPF, и эта терминология вроде как сильно получше "стажёрской", она из бизнеса, венчурного предпринимательства, художественных и писательских мастерских, а мы ведь тоже мастерская, мастерская инженеров-менеджеров! Попробовал по-быстрому FPF на традиционно сложном примере социальных танцев, короткий промпт "выдай UTS для основных терминов танца бальбоа", и впечатлился результатом — "мы этого хотели, вот нам!" (и пишу, как это делать для разных предметных областей). Настроение у меня более чем довольное: полгода работы -- и вот First principles framework уже может наносить непоправимую рабочую пользу, причём без моего участия, на радостях пойду сегодня на вечеринку, спляшу там этот самый бальбоа.

https://ailev.livejournal.com/1782911.html
🔥81
Вот очередной эксклюзивный eye candy, отходы от производства слайдов для завтрашнего семинара. Основная идея FPF: изгоняем всякую эзотерику и попсу из LLM, оставляем для общения с собой только SoTA-машинку!

На самих слайдах семинара тема сисек, кстати, раскрыта (если кто помнит эту шутку советского времени, я её ещё в "Образовании для образованных" реализовывал). Всё прилично, Альфонс Муха хороший!
😁65
Проверьте, у всех ли есть телеграмное @username — безымянных спамодавка уводит в бан в чатах трёх каналов (мой чат, рабочего развития и исследовательского развития). Позвать назад не могу, ибо имени-то как раз и нет! Это у вас тем самым бага, а не фича.
3
Давайте не заваливать чат нейрослопом! Знаю, что FPF может шутить, но -- горшочек, не вари!
5😁2👍1
Основной для меня итог сегодняшнего семинара «First Principles Framework на пороге 2026» — это внешнее подтверждение, что FPF кроме вечной стадии исследовательского проекта стал ещё и MVP, им вполне успешно пользуются в рабочих проектах, а ещё и в личных проектах (что неожиданно, но факт). Хором мне подтвердили, что "LLM с FPF против vanilla LLM — это совсем другое дело, небо и земля". Так что успешный успех, а в обмен на эти приятные новости я рассказывал 4 часа 6 минут (и теперь есть 51 слайд и видео) о том, как пользоваться FPF и ещё — как я его сумел сделать. Ну, и ещё много обсуждений в кулуарах, а в GitHub уже 33 звезды и 10 форков (и это прошла всего неделя, как я его туда выложил). На фото дошедшие до офиса в Москве 10% участников.

https://ailev.livejournal.com/1783194.html — а полный текст в ЖЖ на 6Кзнаков.
12👏8🔥6🎉4
Разъясняю, что делает FPF с и так уже умной LLM (в ЖЖ это 22Кзнака):
— Vanilla LLM против LLM+FPF
— Пример с характеризацией резидентов и резидентуры
— Выбор точных имён с помощью LLM+FPF
— LLM+FPF не панацея, не философский камень, не магия, не будет работать за вас
— Пример онтологической проверки текста с помощью LLM+FPF

Картинка из презентации ко вчерашнему семинару.

https://ailev.livejournal.com/1783512.html
👍71
Рассказываю о прогрессе в проекте FPF и немного о планах, на 15Кзнаков в ЖЖ:
— Ура, всё работает, причём не только у меня!
— Second Principles Framework начинается с выплаты архитектурного долга
— Строгаем мастерство SoTA-мышления новым рубанком
— Разгон RAG

https://ailev.livejournal.com/1783755.html
👍7🔥73