Экскурс с глубоким погружением: как алгебра, а затем LLM через агентское программирование превращают мир в живую развивающуюся систему — и как человек становится Создателем нового уровня, преодолевая собственные границы, как спутник преодолевает орбиту. Курс для тех, у кого есть логика и математика и кто хочет выйти за пределы возможного.
Этот курс — не про «кнопки» и не про хайп. Он про сквозную линию от алгебры к нейросетям, а от них — к агентскому программированию, которое превращает software в живую, развивающуюся систему. В этой системе роль человека меняется: он перестаёт быть исполнителем и становится Создателем — тем, кто проектирует, а не пишет строки.
Главная мысль набирает силу к финалу: будущее — за математически корректными программами, где язык математики становится языком общения человека и компьютера — нейросети новых поколений. Эпоха программистов сменяется эпохой инженеров и проектировщиков. А вершина — агентское программирование, выстроенное как дерево надзора (Rose Tree Supervision) по аналогии с Erlang/OTP — и образование как то, что растит создателей нового поколения.
Для тех, у кого есть логика и математика и кто готов выйти за пределы привычного: разработчиков, инженеров, студентов и всех, кто хочет создавать новое вместе с ИИ.
От азов нейросети — к проектированию устойчивых систем нового класса, которые раньше не представлялись возможными: оркестрация устойчивых агентских систем — и поколение, способное их строить.
От уравнений к структурам и линейной алгебре: алфавит, на котором мы заговорим с машиной. С интерактивом.
читать → глава готоваII · логикаДоказательство как доверие: почему корректность важнее количества кода.
читать → глава готоваIII · вероятностьАксиоматика Колмогорова как фундамент машинного обучения.
читать → глава готоваIV · MLВглубь: что такое ML, нейромодели, общая история и почему LLM. С хронологией.
читать → глава готоваV · агентыСинтез фундамента: устройство LLM, агентный цикл, история, MCP и порядок; применение в ПО/дизайне/графике.
читать → глава готоваVI · ФПЧистые функции, неизменяемость, композиция, λ-исчисление, моноиды. С примерами на Elixir.
читать → глава готоваVII · корректностьТипы как теоремы (Карри-Ховард), тотальность, спектр уверенности, зависимые типы.
читать → глава готоваVIII · языкТочность против двусмысленности; нейросеть мыслит математикой; от прозы к спецификации.
читать → глава готоваIX · рольСмена эпохи (цель→ревью→одобрил), грани роли, рычаги и оркестрация, и синтез всей серии.
читать → глава готоваX · инструментыПрограммирование доступно каждому: программы и ОС по проектам, новые виды моделей, обзор Claude Mythos.
читать → глава готоваXI · мифРазвеяние мифа о «восстании машин»: почему опасаются больших моделей и как их проверяют профессионалы кибербезопасности.
читать → глава готоваXII · финалФП против растущей сложности; новое поколение инженеров-проектировщиков и эстафета поколений.
читать →Этот курс вырос из предыдущего курса «Столетие школьной математики» — о том, как умение видеть структуру и форму важнее шаблона. Несколько её страниц остаются как историческое введение и манифест, с которого начинается дорога к образованию будущего.