Лаборатория Математики и Программирования Сергея Бобровского

ВШЭ подняла цену на обучение, внимание, прикладной математике! (этому реально трудно учиться, по себе знаю 💪🏻) с 467 до 767 тысяч рублей за год учёбы. Но главное конечно, что спрос на эти темки ощутимо растёт, и это прекрасно ❤️ Даже, думаю, стратегически, на 51% сместить акцент на математику, конкретно в контексте программирования конечно, но всё же по достаточно серьёзным темам 🤓 Вчерашний отзыв от ментата, приближающегося к уровню Гипотетик (подготовительное перед гайдом по гомотопической теории 🚀): Я прочитал книгу "Типы в языках программирования" (Пирс). Особенно интересными для меня были следующие моменты: 1) Константы Чёрча в лямбда-исчислении. Всегда воспринимал константы как "атомы", а оказалось, что их можно составить из более низкоуровневых конструкций. 2) Соотношение Карри-Говарда между логикой и типами. Вот, оказывается, как теория типов связана с доказательством теорем. 3) Помимо типов в какой-то момент появляются виды, которые относятся к типам примерно как типы - к значениям. При этом типы с видами не смешиваются. Совсем недавно из других книг по математике я узнал, что явное разделение таких вещей используется, чтобы избежать парадоксов в теории множеств. Математика для меня не будет прежней :) ❤️❤️❤️

Вы же понимаете, что и язык квантовых вычислений Q#, и функциональный Erland в акторной модели -- это никакие не разные парадигмы, а просто симметричная моноидальная категория ? Вот только чтобы понять это, надо сперва осознать, почему Q# и Erlang -- разные парадигмы и качественно разные вычислительные модели.

Когда в понедельник локально отладил тикет, и вечером пообещал тимлиду, что "завтра задеплоим!".

. Облако драгоценностей за неделю. На начальные курсы набор закрыт. Для НЕ-начинающих сегодня последняя возможность попасть в мою Лабораторию: осталось одно место, и потом закрываю до осени/зимы. Изучаете материал "Как понять в программировании всё (БАЗА)", кто его успешно осваивает, может продолжить в моей Лаборатории. Но найти это место - хардкорный квест уровня хакерских паззлов из "Quadrilateral Cowboy" (правда, в прошлый раз его нашли за 45 минут :) Основной паблик: Разбираемся на практике, почему слабое связывание (loose coupling) — это ПЛОХО (в 100% учебников, курсов, университетов вас учат ровно противоположному: loose coupling — это ХОРОШО). Засада с исключениями Засада с инициализацией Засада с контроллером Для донов-начинающих: (продолжение сериала) Более совершенные инструменты разработки сделали нас более продуктивными. Но вот что это значит в эпоху AI... ...Так вот, стратегическая проблема с вайб-кодированием заключается в том, что оно не достигает вообще НИЧЕГО из нижеперечисленного... Представьте, что следующее поколение бортового программного обеспечения и автопилота для Суперджета разрабатывается программистами по схеме vibe coding... 7 рекомендаций, где начинающим лучше использовать AI. А больше всего я беспокоюсь, что вы сами превратите себя в вайб-код и сгинете в забвении, вместо того чтобы учить AI тому, как пишется хороший код, и правильно использовать его в своих проектах... Для донов-неначинающих: СильныеИдеи++ 41. SOLID25 : [1...] Хорошо, SOLID мы захейтили, но не предлагать работающие альтернативы было бы неконструктивно. В заключение темы SOLID разбираем новую инженерную парадигму ей на смену, состоящую также из пяти принципов. Продолжение трека "Элитный программист": 28) Практика ведения дискуссии с несогласными людьми. Когда вы ведёте переговоры о зарплате, вы по определению сталкиваетесь с противником — с теми, кто хочет, чтобы она была как можно ниже. Для вас это доход, а для вашего работодателя или клиента это расход. Поэтому необходимо уметь связно излагать свою позицию и справляться с возражениями... Как я перестал беспокоиться и начал счастливо кодировать. Практический совет и 5 рекомендаций по AI-IDE... Тестируем на практике 4 нейронки: подробный гайд, когда же жпт заменит сеньоров-архитекторов. = Напомню, что первые две дюжины существенно переработанных и улучшенных материалов СильныхИдей (по сути две книги) пока доступны на бусти, но скоро будет мощный третий гайд по SOLID, и дружелюбные цены вырастут: 1. БАЗА программной инженерии 2. Software Design с акцентом на Programming in Small = Гайд "Гомотопическая теория типов для программистов (2)": этим летом 💯 будет готов. Взялся за "Кубическую теорию типов для программистов", этим летом/осенью 💯 будет готов. И потом стану думать над симулятором мегароя (тренажёр HoTT), но доступен будет только моим ментатам, и только уровня Гипотетик. = Трек "Чистое Проектирование/Software Design in Large", материал "Ясная архитектура" Добавлен разбор реализации "15. Event Sourcing" = Self-Hack (тайм-менеджер + мотиватор + idle-игра). Готово 17 уровней из ~50 альфа-версии. этим летом бета-версия 💯 будет готова. p.s. Сергею Бобровскому респект за второй подряд кубок Стэнли 🏆

В заключение попросил жпт написать несколько сценариев по моим постам => 0. Общая особенность: в сражениях мегароев нет фронтов и тыла -- это хаотичные, постоянно меняющиеся облака взаимодействующих единиц, где каждый дрон одновременно солдат, разведчик и командир своего микроучастка битвы. Например, первый рой формирует плотные "стены" из дронов-перехватчиков, второй создает "копья" из скоростных штурмовых единиц. Сражение превращается в трехмерные шахматы: рои постоянно перестраиваются, создавая ложные цели, окружения, прорывы. Победа достается тому, кто лучше предсказывает маневры противника и быстрее адаптируется. (только, отмечу, такой бой будет идти скорее всего не часы и дни, а считанные минуты и секунды, между математическими логиками с непостижимо быстрыми реализациями). 1. Атакующий мегарой пытается захватить город, обороняющийся использует городскую инфраструктуру. Нападающие формируют "реки" дронов, текущие по улицам, защитники превращают здания в "ульи": каждое окно становится огневой точкой. Сражение идет на всех уровнях -- от подземных коммуникаций до крыш небоскребов. Гражданское население эвакуируется дронами-спасателями обеих сторон. 2. Мегарои сражаются над океаном за контроль морских путей. Подводные дроны атакуют снизу, надводные создают "ковер" над водой, воздушные господствуют в небе. Формируются гигантские "торнадо" из дронов, водяные смерчи от массовых погружений, "молнии" из трассирующих снарядов. Океан превращается в кипящий котел технологий. Победа за тем, кто лучше использует трехмерность морского театра военных действий. 3. Мегарои сражаются за контроль над месторождениями редких металлов. Один рой специализируется на обороне - создает многослойные барьеры, минные поля из дронов-камикадзе, подземные туннели. Второй рой атакует волнами - сначала разведчики, затем подавители ПВО, наконец основные силы. Ключ к победе - логистика: кто быстрее восполняет потери и доставляет боеприпасы. 3. Рои атакуют не только физически, но и информационно. Дроны-хакеры пытаются взломать системы управления противника, дроны-глушилки создают помехи, дроны-обманщики транслируют ложные сигналы. Сражение происходит одновременно в реальном и цифровом пространстве. Победитель тот, кто сумеет "ослепить" и "оглушить" вражеский рой, лишив его координации. = Вышел кстати очень неплохой, типа, шпионский боевик с Мистером Роботом: "The Amateur". Интересно, в США оказывается считается, что кинуть/подставить родную контору ради демократических идеалов -- это гуманистическая норма, а не предательство. И сам сюжет сказочный и довольно линейный ("планы внутри планов", но уже не котируется, нужны "планы внутри планов внутри планов "), но Малеку конечно очередной зачёт конечно за классную крипто-роль.

А когда допилю "кубики" к этому всему, будет вообще 🔥🔥🔥 -- Потому что например, доказав, что "существует безопасная траектория для роя", мы получаем и конкретный метод её построения (каждое доказательство в конструктивной теории типов по определению содержит и алгоритм). Мегарой не просто знает, что может избежать столкновения -- он знает как это сделать, причем оптимально. -- Интуиционистская логика не принимает решений без конструктивных оснований, причём для каждой альтернативы. Соответственно наш мегарой не делает бинарных выборов (когда по закону исключённого третьего решаем "атаковать или отступать") без достаточной информации, а откладывает решения до получения конструктивных данных. -- В CTT все функции гарантированно завершаются: система принуждает к построению алгоритмов, которые всегда дают результат за конечное время. Соответственно наш мегарой никогда не зависнет в критических ситуациях: даже если оптимальное решение недоступно, он всегда найдет достаточно хорошее за предсказуемое время. -- Предикативная иерархия упорядочивает уровни абстракции: отдельные дроны → локальные группы → региональные формации → глобальная стратегия что исключает "зацикливание" команд и гарантирует предсказуемое время отклика на любом масштабе. -- Каноническая нормализация автоматически приводит все эквивалентные решения к единственной оптимальной форме: мегарой всегда выбирает "самое простое" представление, мгновенно находит лучший вариант среди эквивалентных стратегий. -- HoTT + CTT: наш мегарой не только думает топологически (HoTT), но и действует конструктивно (CTT). И в результате мы получаем не просто рой дронов, а искусственный сверхорганизм с математически гарантированной эффективностью 🚀🚀🚀 = Обычный рой: локальная информация с линейным распространением, O(n) независимых решений. HoTT-рой: глобальная информация с мгновенным распространением через эквивалентности (параллельная адаптация, все эквивалентные группы одновременно), O(log n) уровней абстракции с экспоненциальным усилением каждого уровня. Обычный рой принимает глобальное решение за ~30 секунд, HoTT-рой ~0.1 с. Обычный рой адаптируется к новой тактике ~5 минут, HoTT-рой ~10 с. Обычный рой координирует маневры ~60 секунд, HoTT-рой ~1 c. В обычном рое 60-70% дронов участвуют в оптимальных действиях, в HoTT-рое -- 90-95%. В обычном рое потеря 30% дронов приводит к деградации координации, а HoTT-рой: сохраняет эффективность при потерях до 60%. Вероятность победы HoTT-роя: 85-90%. Это не магия, а результат математически качественно лучшей архитектуры. HoTT превращает хаотичную схватку миллиона дронов в координированную симфонию разрушения. Это не просто количественное, а качественное превосходство в самурайском искусстве. Придумал кстати название для будущего симулятора мегароя: СМРЙ 🤘 = Всё, выдыхаем, всё остальное будет покрыто тайной 😎 осталась заключительная попса, нашего мини-сериала ))

Ещё немножко научно-популяризаторского. (потерпите пожалуйста 🙏🙏🙏 , ещё 2 поста после этого запланировал на додумать и зафиксить ключевые пункты на будущее) Гомотопическая теория типов предлагает радикально новый способ мышления о сложных системах (включая прежде всего айтишные ultra-large-scale). -- Если мы можем показать, что две различные стратегии управления роем эквивалентны (приводят к одинаковым результатам через разные пути), то унивалентность позволяет нам заменить одну стратегию на другую в любом контексте без дополнительных доказательств. -- h-уровни: -2 -- единственные решения -- оптимальная траектория в детерминированной среде. Группоиды (конфигурации с симметриями) -- эквивалентные формации, отличающиеся только поворотом. Высшие уровни -- сложные паттерны коллективного поведения с множественными уровнями эквивалентности. Это особенно здорово для оптимизации алгоритмов: мы можем начать с простой, легко проверяемой и, главное, достаточно просто верифицируемой стратегии, а затем заменить её на эквивалентную, но существенно более эффективную и масштабируемую, автоматически перенося все доказательства корректности. Как в моём будущем симуляторе. -- HoTT естественно интегрируется с модальными типами (идеально для распределённых систем), и мы можем композиционно рассуждать о сложных темпоральных свойствах. Например, модальности - возможность: "существует выполнимая траектория к цели" - необходимость: "все возможные эволюции системы сохраняют безопасность" - следующий момент: "на следующем временном тике" - в конечном итоге: "миссия выполнима" -- Поведение роя моделируем как ∞-категорию, в категорной семантике, с поддержкой композиционного масштабирования (управление подроем автоматически композируется в управление всем мегароем через функториальность). Существующие западные пруф-ассистанты (Agda, Coq с UniMath, Lean) не оптимизированы для задач такого масштаба, и вряд ли когда-нибудь станут — из-за своей кривейшей архитектуры, написанной европейскими математиками на хаскеле. = Применение HoTT к построению + верификации(!) сверхсложных систем приведёт к качественному скачку в наших с вами возможностях: вместо борьбы с комбинаторным взрывом мы получаем математически элегантные способы работы с бесконечными пространствами состояний 😇 Я создаю не просто новый инструмент ТОП (топологически-ориентированное программирование) -- это будет новая парадигма мышления о сложных системах, где геометрическая интуиция и алгебраическая строгость объединяются для решения задач, ранее считавшихся неразрешимыми 💥 Но даже формальная верификация мегароя из миллионов дронов -- это лишь предвестник ещё более сложных задач грядущего будущего 💪🏻 Нигде в мире (пока) подобному не научат, а мои материалы уже частично доступны (но только моим ментатам, и только уровня Гипотетик) 🏆

. ...Вместо попыток перебрать астрономическое количество дискретных состояний мегароя, мы можем рассматривать пространство состояний как гомотопический тип -- геометрический объект, где состояния связаны непрерывными путями трансформаций. Каждое состояние миллиона дронов -- это точка в многомерном пространстве; HoTT позволяет работать с целыми областями этого пространства как с едиными объектами (гомотопическая эквивалентность). Два состояния роя гомотопически эквивалентны, если одно может быть непрерывно деформировано в другое без нарушения ключевых инвариантов системы: вместо анализа триллионов отдельных конфигураций мы можем работать с единичными классами эквивалентности. = В HoTT каждый тип несет в себе не только информацию о структуре данных, но и о допустимых способах их трансформации. Для мегароя например можно определить тип, представляющий все конфигурации роя, где дроны не сталкиваются (автоматическое исключение "плохих" состояний на уровне системы типов, делая невозможным даже просто сформулировать в коде некорректную конфигурацию). Тип также может описывать состояния, где рой остаётся связным (морфизмы между элементами типа -- допустимые переходы, сохраняющие связность). И т.п. Ключевое преимущество HoTT: композиция типов автоматически обеспечивает композицию свойств. Детали раскрывать не буду, вот навскидку: - Стратегические решения мгновенно телепортируются по всему рою. Если одна группа дронов обнаружила эффективную тактику, она немедленно становится доступной всем гомотопически эквивалентным группам. -- Автоматизация путей идентичности позволяет видеть возможные траектории развития боя на несколько ходов вперёд: рой не просто реагирует, а "сознательно" формирует будущее поле боя. -- Fibrations создают динамическую иерархию: в каждой точке боя автоматически формируется оптимальная структура управления. Лидеры появляются там, где нужны, и исчезают, когда не нужны. -- Suspensions мгновенно активирует "подвешенные" контр-стратегии: если одна не работает, система перебирает весь спектр возможностей за секунды. -- [...] "свёртывает" видимое поведение к ловушке (например, часть роя имитирует преследование, основные силы готовят контрудар). -- [...] мгновенно "склеивает" разрозненные группы в новые боевые формации: даже физически разделённые части действуют как единое целое. Пока я нашёл семь таких ↑↑↑ гомотопических автоматов для моделирования мегароя. Размышления продолжаю :)

При этом управление таки мегароем имеет на сегодня абсолютные объективные физические ограничения. Сто белковых операторов, каждый со своим дроном, и каким-то более-менее централизованным управление командой -- ну наверное. Тысяча? Уже начинается куча организационных вопросов. Миллион — ну наверное для каких-то азиатских стран. Но как ими управлять-то? Иерархическая схема здесь не работает, требуется именно что-то горизонтальное — но возникает куча не только организационных но и технических засад (лаги, связь, полоса пропускания...). AI? Но система управления мегароем не может быть централизованной в принципе: никакой компьютер не сможет в реальном времени обрабатывать информацию от миллиона агентов и выдавать им индивидуальные команды (экспоненциальный рост пространства состояний). Поэтому каждый дрон представляем как локальный автомат состояний (подлёт к цели, поиск объектов, обмен информацией с соседями, уклонение от препятствий, поддержание строя, аварийный режим, возврат на базу...). Решения принимаются на основе локальной информации (что видят сенсоры дрона и что сообщают ближайшие соседи). Но такие локальные решения должны приводить к глобально разумному поведению. Бой происходит в реалтайме, но мы вынуждены дискретизировать время на малые интервалы. На каждом тике каждый дрон получает информацию от сенсоров и соседей, принимает решение и изменяет своё состояние. Эти изменения влияют на соседей, которые в свою очередь изменяют свое поведение, создавая сложные цепочки взаимодействий по всему мегарою... Добавляем сюда физику полета, ограничения на энергию, помехи связи, отказы железа, изменения внешней среды -- и получаем систему, поведение которой невозможно предсказать аналитически. При этом мы должны обеспечить: -- Б - безопасность. Дроны никогда не должны сталкиваться друг с другом. При плотности в миллион агентов в ограниченном воздушном пространстве... Каждый дрон должен постоянно отслеживать позиции соседей и корректировать свою траекторию, но при этом не нарушать общий план полета. -- С - cвязность. Мегарой не должен распадаться на изолированные группы. Информация должна молниеносно распространяться по всей системе, данные разведки должны оперативно собираться и оперативно анализироваться -- в условиях ограниченной дальности связи и возможных помех... - Ж - живучесть. Миссия должна быть выполнима. Мегарой не должен "зависать" в промежуточных состояниях, даже если часть дронов уничтожена или внешние условия изменились (адаптация + самовосстановление). - Э - энергия. Критически важно, поскольку у каждого дрона ограниченный запас энергии. Система должна планировать миссии так, чтобы все дроны успели вернуться на базы для подзарядки, а в случае непредвиденных обстоятельств принимаются решения о приоритезации задач. - Ч - человечность. В конечном итоге, мегарой должен взаимодействовать с белковыми операторами, которые ставят высокоуровневые задачи и контролируют выполнение. Здесь критически важна объяснимость (способность системы предоставить внятные объяснения своих решений), нейронки не годятся в принципе, а галлюцинации вообще недопустимы. Почему мегарой выбрал именно такую траекторию? Почему некоторые дроны вернулись на базу раньше времени? Что произойдёт, если изменить параметры миссии? - И - UI. Интерфейсы визуализации должны представлять состояние миллиона агентов в наглядной форме, выделяя ключевые паттерны и аномалии, а модуль предупреждения должен заблаговременно информировать о потенциальных проблемах. (Какая классная игра-симулятор получается :) = -- Но, Сергей Игоревич, если вы создаёте мегарой под управлением продвинутой математической теории, разве всё равно не будет вероятность победы 50 на 50? Ведь каждый дрон фактически просто будет атаковать ближайший дрон противника, равный ему по силам? Ok, поясню далее, какое непреодолимое преимущество в данном случае даёт HoTT + CTT.

То странное чувство, когда последовал своим собственным рекомендациям из курса по вайб-проектированию, и вместо 100 долларов на первую неудачную итерацию теперь потратил всего 5, а получил полноценную реализацию первых базовых понятий CTT, причём с полного нуля и вдобавок с готовой спецификацией для последующей работы. Клод4 затупил всего в двух тестах, и только в одном относительно серьёзно. Вообще уже не раз замечал, жпт начинают путаться, когда надо выполнить композицию различных сущностей -- например, при композиции кубов, двух систем по общим граням и т.п. (я специально решил сделать явный оператор композиции, который объединяет два куба вдоль общей грани, потому что это дальше будет база по композиции путей и для условия Кана). И по мере того как изучаю это всё, открываются весьма неожиданные темки в плане применения движка HoTT+CTT: верификация квантовых алгоритмов в принципе ещё где-то на первых, поверхностных уровнях пространства понимания. = Как вам например такая задачка, как управление мегароем небольших дронов (размером с птицу). Сегодня мы видим сотни дронов, скоро счёт пойдёт на тысячи, в следующем десятилетии и на миллионы; ну в конечном итоге так-то точно и будет когда-нибудь.Засада в том, что такой миллион летающих роботов должен действовать как единый организм. Вы же читали профильную классику -- "Непобедимый" Лема, "Рой" Стерлинга, "Муравьиная ферма" Фрэнка нашего Герберта? Ну вот она уже тут. По Лему кстати пару лет назад вышла шикарная игра "The Invincible", собравшая кучу призов. Но структура такого мегароя -- не просто большое число, это качественно новый уровень сложности. В нашем мозгу всего-то 80+ миллиардов нейронов, но они не летают в трёхмерном пространстве и не рискуют столкнуться друг с другом на скорости 20 метров в секунду. Для сравнения, современный игровой движок даже просто коллизии простых сфер потянет, ну может сотню тысяч для нескольких тысяч объектов на кадр. А если меши, так вообще штук сто на 10 тыщ коллизий. А если continuous collision detection требуется? Так-то каждый дрон может находиться в тысяче (порядок) различных состояний, и соответственно общее число возможных состояний мегароя составляет тысячу в степени миллион. Никакая счётная математика это не потянет в принципе, здесь нужен на порядок более глубокий концептуальный уровень. На сегодня поможет в этом только гомотопическая теория типов.

Как лучше всего прокачать свою продуктивность стратегически? Ну, лучший совет: развивайте в себе неврозы и тревожность (и лучше стать глубоким невротиком, как я), и исходить из негативной мотивации. Инфографика приложена. Не "Как здорово зарабатывать 300k/s!", а "Как ужасно зарабатывать 30k/мес... И что со мной будет дальше? Ведь с каждой минутой я старею, здоровье всё хуже, AI развивается экспоненциально..." (сами придумайте для себя, что вас сильнее триггерит) А разве лучше тащиться по жизни чуть тёпленьким, спокойненьким (а на самом делде просто с тотально подавленными эмоциями), с успокоительными таблеточками от невролога, на (иллюзорно) стабильненькой работе? Думайте. Graviora manent.

Как заработать 1 млн долларов за год? Ну, это простая математика: 60 x 60 x 24 = 86 400 секунд в день 86 400 × 365 = 31 536 000 секунд в год 1,000,000 / 31,536,000 = $0.0317 Вам просто нужно зарабатывать 300k/s $0,03/s , или 2-3 рубля каждую секунду, И вы только что влезли в долги на 20 рублей, читая это.

Я закончил второй гайд по гомотопической теории ↑ ↑ ↑ И сразу взялся за "кубики", ещё шесть лет назад планировал. Казалось бы, да ну чего там, эх! в сравнении с HoTT в CTT база чистая геометрия: куб, грани, интервал (1-куб), направления, system, и потом сразу заходим на открытые боксы в кубическом типе... ага, щас, за 4 часа слил сотку баксов на клода4 и крепко наполучал граблями по лбу; cхема классов вроде бы очевидная, но внутри там такие хардкорные математические завязки... Начал всё переделывать с нуля по взрослому, в соответствии со своими собственными рекомендациями по проектированию :) свежий отзыв на материал по вайб-проектированию: "Я вчера добил ваш [...] по Vibe Coding – хороший материал, и востребованный, в том смысле что до сих пор удивительно много разработчиков которые вообще не пользуются LLM для ускорения своей работы Конечно, одно из самых ценных что вы упоминаете это тестирование, это надо выделить красным огромным заголовком вообще, потому что прочитают и забудут, и не будут тесты никакие нормальные генерировать (в cursor это вообще надо прям в cursorules наверное прописывать)." Да, ну там всё же основной акцент на software/system desing, тесты это действительно просто техническое must have, необходимость которых даже и упоминать странно в контексте AI. = Ладно, я реализацию HoTT только на 5-7-й итерации смог сделать, а CTT вдобавок действительно немного необычная, много топологических нюансов. Суммарно обе эти теории, подозреваю, в тысячу зелёных обойдутся 🙈 Ну ничего, во-первых я сам хочу эти темки глубоко изучить, и по потенциалу это буквально бесценно в контексте грядущей сингулярности, вот увидите, и во-вторых с моей стороны это сущая благотворительность, тоже плюсик в карму 😇 Везде ценят победителей и рассказывают о них, а мы ценим тех, кто отказался от эго. -- "Бриллиантовые псы" с Дольфом Лундгреном (приключения в Тибете)

↑↑↑ это всё, что нужно знать о моих донатерах на бусти. ↑↑↑ "Я как пленный в холодной яме, независимый и несчастный..." ДДТ ...Вы же в курсе, что Физтех и другие физматы в этом году резко подняли цены на обучение на 50%? Спрос на правильные образовательные темки здорово растёт, и это очень здорово... "дорогие помогите пожалуйста, у меня очень тяжёлая жизненная ситуация, рубликов тридцать хотя бы подкиньте" )))

Взял свежачок -- второе издание "Алгебраической топологии" Хатчера. Вся база: гомотопическая топология, теория (ко)гомологий (когомологии с локальными коэффициентами, теорема Брауна о представимости, когомологические операции, спектралки...). Всего-то 700 страничек. Ключевая фишка -- акцент на топологии, мне именно это нужно для верификации квантовых алгоритмов 😇 Плюс шикарный набор примеров и упражнений, как раз чтобы делать на их базе тесты реализации 💪🏻 ...Тупые коммерсы в msk в филях взялись строить гандбольно-мультиспортивный зал на 3 тыщи зрителей 😬 Конечно хорошо само по себе, но блин, лучше бы этот миллиард рублей нищим математикам МИАН Стеклова задонатили, пользы обществу на 2-3 порядка больше. Даже китайские триады у себя в стране научные институты мощно поддерживают денежкой.

Как лучше всего прожить свою жизнь до технологической сингулярности? Вдумчиво изучая материалы Лаборатории.

Андрей Карпатый конечно гениальный маркетолог. Пока что оправдать радужные обещания на триллион долларов, что AI заменит программистов, как-то не очень получается, мягко говоря, и инвесторы уже начинают что-то подозревать. Ну пока что в мире не было ни одного примера, когда например сидел джуниор, делал рабочие несложные задачки, и вот его сокращают, на его место сажают AI-агента за подписку 200 долларов, загружают в него весь проект и историю тикетов джуна, и он тут же начинает фигачить 24/7 x10 в уже существовавшем рабочем процессе. Ага. Поэтому новоявленный Остап Бендер Карпаты, выступая намедни на каком-то там питерском Форуме, выдвинул новую -- уже уже гораздо более абстрактную -- идею Нью-AI-Васюков для развода богатеньких лохов. И тут уже суммы на порядок другие -- на десятки, если не сотни триллионов долларов! Видите надпись из слайда над его головой? Это будет типа Software 3.0. Схема развода такая: сегодня есть куча плохого кода, написанного белковыми, а завтра он будет весь переписан AI и станет хорошим ))) Представляете, переписать весь софт в мире? При этом системы внешне как работали, так и продолжат работать, особо ничего и не изменилось -- может где-то стал посимпатичнее дизайн, где-то добавились 2% производительности, где-то вроде бы стала поменьше багов (а может, и нет...) но зато, "внутри-то всё отрефакторено! вот же, посмотрите ого-го какой стал код!" То есть идея -- отдать всё мировое ПО на откуп AI, навечно подсадить весь мир на абсолютную иглу конкретных нейронок (в основном от Карпатого, конечно). Молодец, чо.

Давайте поговорим про котиков и анонов. Вы же знаете что такое кошачьи кубиты ? Это специфический тип квантовых битов (вы же изучали мой гайд по языку квантового программирования Q# ? ), которые могут находиться в суперпозиции двух макроскопических состояний и обладают особо высокой надёжностью и устойчивостью к ошибкам. Я с ними познакомился, когда делал гайды по гомотопической теории типов, и (не)случайно попутно встретился с K-теорией (это отдельная история). Разбирался как доказывать корректность алгоритмов на типизированных функциональных языках, и натолкнулся на cohesive Homotopy Type Theory -- расширение HoTT дополнительными операторами (flat , sharp , shape), которые позволяют формализовать понятия пространственного и временного контекста (надо будет кстати со временем и когезионщину в гайды добавить). Отсюда узнал, что топологические инварианты могут формализовать кубиты через абстрактные типы, описывающие пространственные взаимодействия. И вот тут добрался до неабелевых анонов :) Очень прикольно: non-Abelian anyons (энионы) -- это особый тип частиц, которые существуют в двумерных системах (в переплетениях мировых линий :) и имеют необычные свойства: в отличие от фермионов и бозонов, они не подчиняются простому правилу коммутации при перестановке местами -- их порядок имеет значение! (потому и неабелевы) Последовательность, в которой частицы меняются местами, влияет на их общую фазу. Короче говоря, эти аноны -- как топологические инварианты -- позволяют кодировать кубиты именно в топологических свойствах системы! И на базе HoTT вполне можно запилить инструменты для абстрактного моделирования таких систем (через многомерные типы и гомотопии), что существенно упростит проектирование особо устойчивых квантовых алгоритмов, а в перспективе даст возможность формальной верификации топологических квантовых программ, что особенно важно при работе именно с такими квантовыми состояниями, как кошачьи кубиты, которые требуют особых подходов. Я гарантирую на 100500% , что самые последние программисты в мире перед технологической сингулярностью будут заниматься именно этими темками.

Пророческое от Пелевина (2011-й!), про промпты :) "Священники говорят, что любое обращение к Сингулярному должно подробно излагать все обстоятельства дела. Злые языки уверяют – причина в накрутках за декламацию: чем длинее воззвание, тем дороже стоит зачитать его в храме." Между прочим наш любимый Антропик системные промпты пишет на сотни тысяч символов, вот с чего надо брать пример для своих проэктов (без иронии). Другое дело, что Клод вряд ли будет прямо точно этого всего придерживаться - примерно как в армии приказ отдан и считается абсолютным к выполнению, но в реальной жизни отнюдь не факт что он будет выполнен 😬

С чего же начать с полного нуля в итэ-предпринимательство, если вообще не знаете и не представляете, каким должен быть самый первый шаг? В любой непонятной ситуации делайте КОНТЕНТ, полезный другим. Вот и всё. -- Но, Сергей Игоревич, посмотрите сколько вокруг контента, блогов, жпт, книг, гайдов, зачем, да и кому, нужен ещё один?? Вообще, на сегодня, уверен уже на 98%, остался единственный реальный путь создать соло итэ-бизнес с нуля -- это a) вообще забыть про AI, и b) развивать платный/донатный/рекламный блог, и/или вести условные "стримы за донаты". Подписчики -- это новая нефть. Только не надо делать классические ошибки ведения блога, я их подробно разбираю в рекомендациях (не превращайте свой блог в справочник; не надо никого учить; не пишите скучно, но избегайте чрезмерной эмоциональности; не начинайте блог бесплатным, чтобы потом перевести его в платный; и т.д.). Им впрочем никто не следует. = Сейчас в Сеть хлещет какой-то бесконечный поток хипстерского жпт-кала, каждый день являются десятки новых ai-сервисов, доверие к которым уже стало фактически полным нулём. Ну и зачем пытаться влиться в эту муть? AI, позволивший создать кому угодно прототип чего угодно за один день, по сути уничтожил классическое стартаперство. То есть ровно как в сегодняшнем убитом найме: вместе с одним твоим честным резюме с тремя годами опыта на вакансию прилетает ещё 300 резюме с накруткой, и ты просто затеряешься. = Если бы я например начинал в какой-то новой темке с полного нуля, то первое бы что сделал -- это прошёл скучный качественный дорогой курс "Как зарабатывать на блоге", "Как развивать личный бренд" с проверенным ментором. Но и так тоже никто не делает. Ну ok, на бусти за 1000 рублей можно найти отменные гайды по всем этим темам, им просто надо следовать. Но и так не хотят. Напомню базу: -- ваш блог - это по умолчанию готовый нетворк с кучей бонусов + потенциальные пользователи, ваших saas-ов :); -- пока вы не зарабатываете на блоге миллион рублей в месяц, развивайте его исключительно через платную рекламу, и забудьте про органический трафик (вы бессмертный?); -- вам надо взять одну (ОДНУ!) тему (в идеале -- вообще жёстко занишеваться), и тупо развивать её МИНИМУМ 9 месяцев. Но и это вообще никто не делает, особенно из тех, кто любит поговорить о "своём бизнесе" с нулевым результатом, и бесконечно прыгает по идейкам на миллион; а уж если случайно заработал сто долларов, так самомнение улетает в космос, и вообще уже никого не слушает. Короче, я отключил с трека карьерных ачивок всё связанное с итэ-бизнесом, и больше в этом не помогаю; вернулся к прежней версии с блогом. А в англоязычном мире сабстэк например уже стал не просто средством заработка для отдельных известных блогеров, а по сути отдельной огромной экономикой, стилем жизни для множества профи. Поэтому если хотите создавать бизнес с нуля за доллары, изучайте как следует английский и идите на сабстэк; хотя я всё же посоветовал бы начинать с платного блога в России: если получится тут, то 100% получится и там, потому что там это во многом ми-ми-ми, а у нас это больше хардкор :) = За последние лет пять я читаю ну максимум дюжину программистских текстовых блогов в телеге/бусти, и примерно столько же видеоблогов на ютубе, которые хотя бы на 42% реально интересно почитать посмотреть. Причём из них примерно половина авторов живёт не в России. И это ВСЁ. А потенциал русского рынка БЕСКОНЕЧЕН! И я, и многие другие, подписывались бы на хорошие платные блоги больше в разы, и на ютубе донатили бы на каждом стриме -- но их как не было, так и нету. Я не знаю, почему так, честно. Или нет, всё же знаю: люди хочут -- быстренько срубить на халяву И -- заниматься интересненьким И -- чтобы всегда получалось легко и просто Ну ок.