Короче говоря, после активного мышления письмом в последние дни, я наконец-то сложил в уме весь паззл!!1

Модельки конечно здорово помогли, последние версии 4.6 5.3 прям хороши (правда едва ли не каждый день по 100 долларов уходило на интенсивное общение и эксперименты:).

Построил я достаточно стройную мета-модель, как нейронки агенты использовать, чтобы писать в 1000 раз компактный код (любые технологии фреймворки, не важно), и чтобы человек уровня миддл мог реализовывать проекты любой сложности, сохраняя её рост линейным.
Пока конечно будет требоваться достаточно высокий архитектурный уровень подготовки, но со временем хочу постараться существенно снизить порог входа. Уничтожим всё белковое программирование )))

Что особенно приятно, в этом пазле стройно сложились в одно
и теория типов до HoTT и дальше,
и моё любимое метапрограммирование по Алану Кэю (потому что с математической точки зрения оно -- единственный на сегодня действенный метод значительного снижения сложности),
и системная инженерия,
и подходящая математика (в частности, генерация PEG-парсеров - потому что нужна иерархия DSL с наследованием - потому что нейронки на удивление хорошо разбираются с формальными грамматиками)...

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

Основная идея, что это будет нейро-DDD + метапрограммирование + LLM как компилятор DSL.

Как до сего года ещё работали сеньоры, да и миддлы, в своём поддомене?

Написал код - боль :) - отрефакторил - домен немного прояснился. И так по кругу.

А в этом году нейронка этот цикл убила:
Написал промпт - ллм сгенерила 5000 строк -
рефакторить уже почти нечего, всё "работает" :)
А домен закостенел кривым, неполным и противоречивым образом, и ничего ты с этим уже не поделаешь.

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

Я же хочу автоматически генерировать всю инфраструктуру домена полностью под правильную математику.

То есть от тебя требуется совсем пустяк:)
A) Найди, какая математическая структура уже описывает твой домен;
Б) Дай её нейронке явно в виде соответствующей грамматики (иерархии грамматик с наследованием);
В) Профит!

Пока конечно пункт A -- на 80% искусство, но думаю что со временем его получится снизить до прикладного мастерства. А вот пункт Б уже и сейчас можно достаточно прямо формализовать.

Главное, понимаю, как этому продуктивно обучать. С прицелом в ближайшее нейро-будущее 2-3 года!

Начинаем с базы DDD, перекраивая её под специфику нейронок, формализуем постепенно, всё более сильную математику добавляем, генерим инфраструктурные паттерны сперва на хаскеле, с которого нейронка уже очень хорошо сгенерирует код на этих ваших python go c# java, потом будем подключать system f, хотт/кубики...

"Люди стоят дорого. Мало того, люди, способные выполнять работу по преподаванию нетривиальных определений в современной исследовательской математике, представляют собой редкую породу. При нынешнем положении дел, если бы человек приступил к проекту по более подробному изучению философии Ленглендса с помощью компьютера, он должен был бы быть экспертом как в философии Ленглендса, так и в языке рассматриваемого ITP. Я пытался обучать аспирантов и докторантов этим навыкам, но их расхватывают технологические компании!" (c)

Этой весной.