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

Нужна ли программисту математика?   Ну, попробуйте написать код на 20-30 строк, не зная арифметику :) В частности, арифметику булевого типа.   Для миддлов сеньоров будет странно, если они например не знают арифметику функций или множеств. В таком случае это будут просто технически хорошо прокаченные джуны, и не более :)   Кто говорит, что "программисту математика не нужна", сам не владеет базовой математической логикой (что естественное следствие такой посылки :), потому что очевидно, что есть разница между "все программисты могут извлечь выгоду из изучения математики" и "все программисты должны изучать математику".   Совершенно точно, каждому сеньору можно подобрать по крайней мере одну область математики, изучение которой принесёт ему пользу в контексте его прямой работы (теория типов, например).   Другое дело, что если собрать 100 случайных программистов и заставить их изучать матан, вряд ли он будет полезен более чем 2-3%. Однако если их обучать регуляркам (алгебра Клини), то это будет полезно, ну, минимум 50%. И т.д.   =   Я в этом плане принудительно экспериментирую над ментатами :) например через теорию типов до HoTT, и пока отзывы были очень положительные, хотя в целом результат выражается в первую очередь в мощной думательной тайп-машинке, что по критерию объективной пользы измеряется довольно слабо.   Поэтому думаю, на чём сделать акцент дальше именно в плане чистой математики (так-то прикладные формальные темки разбираем на Функциональных архитектурах), но с потенциальной привязкой к AI.   Примерных  направлений тут два: во-первых, теория категорий - суперпрокачка в свёртке и декомпозиции сложнейших понятий, хотя возможно чрезмерно абстрактная (а может быть это как раз и хорошо).   и во-вторых, теория моделей (FOL, логика предикатов). Описываем свой домен формально - как класс моделей (семантика), после чего пытаемся определить, а какая теория у этого класса (синтаксис), какие аксиомы, какая алгебра (например, Линденбаума).   Проблема что такая теория будет скорее всего неразрешимой, если класс содержит хотя бы арифметику :) Ну и так-то, вычисление теории по классу задачка - о-го-го (множество всех логических следствий из аксиом)...   Хотя с другой стороны любой программист этим по сути и занимается, пытаясь фактически реализовать теорию для своего домена говнокодом на коленке :) просто не имея ни малейшего представления о том, что он по сути занимается сложной математической темкой; в этом собственно и прячется сложность, с которой разработчик ведёт постоянную борьбу, и чаще всего безуспешно.   ...И хорошо бы такую теорию как-то выразить формально, SAT-солвер не потянет (только пропозициональные переменные), SMT? Ну возможно, через DPLL(T)...   А если в теорем-пруверах вроде Lean? Тут мы сразу работаем внутри исчисления, а тактики прувера будут исследовать структуру нашей кастомной алгебры, выводя разные следствия. Но это слишком трудоёмко.   ...В итоге мы попадаем в ту самую область, где именно по этому золотому стандарту и верифицируют чипы, и софт для критических инфраструктур :)   Да, но ведь любой математик скажет, что FOL захлебнётся в кванторах уже на сотне сущностей, а как тогда формально верифицируют чипы на тысячи регистров, софт с тысячами классов?   (продолжение будет для ментатов на Функциональных архитектурах, остальные могут проконсультироваться у ЖПТ :)

Смотрю, мало того что русские хостинги с десятками тысяч сайтов стали работать с постоянными сбоями, так сегодня ещё и гитхаб raw тоже стал сбоить. Посмотрю, может учебный сервер переведу на http :) Так понимаю, ТСПУ просто протухают под нагрузкой и тупо шлют RST пакеты, и надо ждать сколько-то минут, пока их кэш сбросится, а нешифрованный трафик РКН как правило не трогает. = Сегодня в 12:00 напомню, стрим Когда Spec-Driven Development хуже вайб-кодинга? Иван Закутный и Родион Мостовой Всем быть 🤓

Наш учебный сервер хостится у одного из крупнейших провайдеров (десятки тысяч сайтов), и где-то с мая впервые за 20 лет начались регулярные сбои доступа к нему. Протестировал, собрал статистику, отправил хостеру, вот его ответ: На основе предоставленной информации и анализе работы сервера можем отметить, что проблема с доступностью сайта вызвана скорее всего блокировками на стороне РКН и работой ТСПУ. Эта проблема сейчас носит массовый характер. Подробней об этом Вы можете прочитать, например, на странице: К сожалению, напрямую повлиять на решение этой проблемы мы не можем. В данном случае необходимо ждать, когда будет налажена работа ТСПУ. А она разве будет когда-нибудь налажена? Уверен на 98%, что дальше будет только хуже.

Между врачами и менторами есть интересная аналогия. Приходишь такой к врачу с совершенно ошибочным паттерном, что сейчас тебя внимательно выслушают, поставят точный диагноз как доктор Хаус, выпишут волшебный рецепт, ты купишь в местной аптечке лекарства, и быстро выздоровеешь без малейших усилий, и жизнь сразу наладится сама собой! А когда врач начинает говорить про важность режима дня, сна, питания, физической активности, и необходимость длительной работы над собой в этом плане, у поциента возникает сильное раздражение :) Точно так же когда приходишь такой к ментору с совершенно ошибочным паттерном, что сейчас тебя внимательно выслушают, посоветуют волшебные курсы и гайды, ты их пройдёшь и после этого сразу тебя засыплют оферами на 300k, стоит тебе просто выложить резюме на хх без малейших усилий, и карьера сразу наладится сама собой! А когда ментор начинает говорить про важность базовых знаний и АСД, про глубокое понимание своего стека и новое множество скилов в контексте AI, а также необходимость длительной работы над процессом поиска более-менее нормальной работы, у менти возникает сильное раздражение :)

"Я считаю, что не надо роптать, потому что давайте поставим на чашу весов: ты не смог зайти в интернет или спасенные жизни людей." Ну вот лично мне жизненно важно другое (или я чем-то хуже "других", что на мою жизнь можно наплевать?): ежемесячно покупать дорогие лекарства и дорогие медицинские процедуры и консультации, вот это для меня абсолютная тема безопасности, и если я не смогу зайти в интернет, то не заработаю деньги (или например не смогу оплатить онлайн) и быстро умру, буквально. Вот это будет в таком случае точно 100%. Впрочем, это я просто к слову; никаких улучшений давно уже не жду, совсем, на этой жизни точно, и дальше - судя по всему, на десятилетия - будет только хуже. А выборы? Да вообще пофиг, абсолютно, за кого там голосовать. Во-первых, это математический факт, что конкретно твой голос никак не повлияет на результат. Во-вторых, ну когда взрослые люди с серьёзным видом ставят галочки в списках... детский сад какой-то. Поэтому, дорогие, упражнения с гирями и аэробная выносливость, суставная гимнастика и закаливание, осознанность и дыхательные практики -- это всё должна быть базовая подготовка к растущей жизненной турбулентности. Хотя первична, конечно же, Душа. Не "я тело, у меня есть душа", а "я душа, у меня есть тело". Многие, строго наблюдая за внешним, упражняясь в науках и заботясь о жизни правильной, считают это совершенством, не вникая в свое сердце, не примечая там пороков, какие обладают душою. Прп. Макарий Великий

Просили пояснить за инди-хакерство: а какой "saas" делать-то? Хорошо, дам несколько идей. Сейчас например тысячи онлайн-сервисов, обучающих работе с AI, в самых разных областях. Я рекомендую конкретно что-то в духе "как в ваш говнопроэкт срочно впендюрить аишку и получить x10...x100", но в целом область может быть любой, в которой вы условный эксперт. Например "как математичке выйти на содержание 500 тыс/мес за 23 дня" :) Сермяга в том что 98.98% всех этих сервисов неотличимы друг от друга даже по своим силлабусам: одни и те же приёмы, одни и те же переработанные промпты, одна и та же унылая реклама "10 инструментов ИИ, которые изменят твою жизнь". Вашим уникальным конкурентным предложением должен быть не доступ к секретным технологиям, которыми владеете только вы (так то, если человек рассказывает, что учит подобному силовиков, это пizдобол 100%:), вашим уникальным преимуществом должна стать фильтрация. Ты постоянно отыскиваешь рабочие процессы, которые на самом деле используют рядовые синьоры в твоей теме, устраняешь технический беспорядок, выделяешь структуру/инварианты и объединяешь это в понятные и пригодные для использования действия и промпты. Каждый пункт твоего сервиса проходит один и тот же тест: сможет ли менеджер, который никогда не открывал жпт (или тимлид, который работает с нейронкой чисто в чатике), задействовать его к утру вторника и быстро получить измеряемый результат (чаще всего существенное сокращение рутины)? Ты реально понимаешь, в чём на самом деле заключаются трудности для твоих пользователей, не обладающих техническими знаниями (или обладающих, но не самыми современными и продвинутыми). Это и есть хороший экспертный вкус.

Западная профессиональная финансовая пресса почти единодушно предсказывает взрыв пузыря искусственного интеллекта в ближайшем будущем, но мнения о его долгосрочных последствиях расходятся. От "мировой крах всё пропало" до "останется много полезняшек", как собственно после краха пузыря доткомов осталось мощная оптоволоконная инфраструктура. Тем временем в программной инженерии накопилась обширная статистика, показывающая, что искусственный интеллект не только (и не столько) создаёт новые проблемы, сколько усугубляет те, которые уже давно существуют. Если в проекте был бардак, то внедрением AI он станет лишь сильно хуже :) "В их алгоритмах правды на один из ста Слежу за ловкостью рук, моя работа проста" (с) Фишка от мудрецов: Как же в 2026-м резко повысить продуктивность твоей команды? Выделяй 50% рабочего времени на обучение и развитие сотрудников (в контексте проекта конечно), включая и нейронки обязательно. Выхлоп будет мощнейший - в многие разы а то и на порядок, а почему так почти нигде не делают, вопрос риторический. Сто лет звал Ной к себе людей, а пришли одни скоты. Прп. Нектарий Оптинский

. Облако драгоценностей за неделю. Приватный клуб. Почему топовый консультант из экс-архитекторов FAANF не рекомендует своим клиентам переходить на PostgreSQL, да и вообще мигрировать на что-то "новенькое". Для донов-начинающих: База по карьере, серия 28. ...Однако в какой-то момент ваши положительные впечатления от текущей ситуации могут легко испортиться. И когда это произойдёт, вам придётся вернуться в режим анализа и выяснить, что именно, в частности, вызывает беспокойство. Какая твоя самая большая слабость? Этот вопрос на собеседовании часто вселяет страх и ужас в сердца кандидатов на работу: что, если они спросят о моей самой большой слабости?! Что я скажу? Надо ли будет врать? ЧТО мне ДЕЛАТЬ??? Это однозначно один из самых глупых вопросов на собеседованиях, и именно поэтому кадровики так любят его задавать :) Дело в том, что он выводит вас из себя и заставляет делать одну из трех ошибочных вещей... Для донов-неначинающих: Самая лучшая техническая база в System Design не сильно поможет, если вы пропустите первый шаг... 92. Функциональная архитектура - что это? Давайте более глубоко погрузимся в тему функционального проектирования, для чего однако предварительно надо разобраться, а знаете ли вы, что такое функциональное программирование?.. (все старые материалы для донов быстро сгорают) = Новые материалы для ментатов Лаборатории. null (играл в готику немного отвлёкся на геймдев :) вывод за всю мою карьеру на тысячах часов впустую потраченного времени с универсальными движками/мейкерами остаётся прежним: хочешь сделать что-то хорошо, пили под нишу/жанр свой движок с околонуля, максимально комфортный под себя) = "Функциональные архитектуры" 121(+3) топик Продолжаю разбор мета-спецификаций, на DSL с какой структурой и семантикой продуктивнее всего делать спеки для AI, и почему тут крайне слабо работают Gherkin, DDD и skills/agent md. = "ЛаМПовое": Дзен и искусство ухода за Arch Linux (10) ...Однако оставляя консольный доступ, вы создаёте обходной путь мимо вашей строгой SSH-политики (ключи + IP). Если этот путь защищён слабо, все ваши усилия по SSH теряют смысл. "Гарри Поттер и Методы Математического Мышления". Глава 11. Контракт с реальностью = Лаборатория идёт со скоростью самых лучших ментатов 💪🏻 (продолжаю бесконечное ужесточение правил занятий :) = - Эти ментаты, скажу я тебе, - фыркнула Марти. - Цена им десять центов за дюжину, вот что! "Капитул Дюны"

Гарри Поттер и Методы Математического Мышления Книга 1. Гарри Поттер и Неорганический Интеллект. Глава 11. Контракт с реальностью — Хорошо, — сказала Гермиона, поднимая голову. — Допустим. Как это применить к реальной магии? У нас нет λ-исчисления в чистом виде. У нас есть палочка, намерение и примитивы: человек, свет, тьма, замок, объект... Драко взял мел и написал на доске: S (S (K (S (K S) K)) (S (K (S (K (S K)) K)) I)) (S (K (S (K S) K)) (S (K (S (K S)) I))) Гарри присвистнул. — Это работает, — сказал он, изучая строку... Это безумие, — сказал Невилл. — Нельзя в бою конструировать заклинания с нуля... ...Неорганические не поймут. У них нет тела, нет интуиции, нет чувства эквивалентности. Они видят только последовательности символов. А мы строим структуру.

На днях 150 топовых математиков опубликовали Лейденскую декларацию, протестующую против маркетинговой практики техногигантов рассказывать сказки о том, как AI успешно решает сложные математические задачи без профессиональных консультаций с академическим сообществом и его оценок. Конечно, это чистый пиар: смотрите, наша модель решает сложнейшую математическую задачу. Но на самом деле их цель совершенно не развитие математики, И даже маркетинг здесь на втором плане. Математика им особенно интересна, потому что эта наука очень полезна для стратегического обучения AI: факт, с тем, что по мере того, как AI совершенствуется в математике, улучшаются и его общие навыки рассуждения. Что здесь особенно противно, так это то, что горстка корпораций мобилизует свои огромные финансовые ресурсы, чтобы с мощной силой навязывать такой крайне обедневший взгляд на математику (в тот момент, когда и академические научные исследования уже подвергаются политическим нападкам), и в конечном итоге они вполне могут разрушить те немногие социальные институты, которые сегодня ещё позволяют математике как-то развиваться. Нейронки -- это в корне глубоко неэтичная технология, поскольку она основана на краже интеллектуальной собственности, чрезмерной эксплуатации рабочей силы, растрате природных ресурсов, распространении дезинформации, сокращении работников, задержке когнитивного развития школьников и студентов и содействии консолидации технократической власти.

Тестируем искусственного идиота на гипотезе гомотопий (эквивалентность Гротендика между ∞-группоидами и топологическими пространствами). Π_∞ ⊣ |−| : ∞Grpd ≅ Top |−| ⊣ Π_∞ : Top ≃ ∞Grpd Π_∞ ⊣ |−| : ∞Cat ≃ Top Π_∞ ⊣ |−| : ∞Grpd ≃ Top Π_1 ⊣ |−| : ∞Grpd ≃ Top Π_∞ ⊣ |−| : ∞Grpd ≃ sSet ? Π_∞ ⊣ |−| : ∞Grpd ≃ Top жпт5.5 и клод4.6 заразы сразу решили :) а дипсик думал 10 минут и не справился даже после подсказок и этот ваш распиаренный фабл5 затупил ахаха развод гоев на токены. перепутал порядок сопряжения: Π_∞ это левое сопряжённое

А мне это надо?? Легендарная "Теория категории для программистов" Милевски, русский перевод PDF Классный разбор теорката от Сергей Свиридов, активно пишется, на скале Лет 5+ а назад я сделал трек по вычислительным моделям на Julia - именно на этом языке по наводке мудрейших, и как прозорливо это оказалось: по сути только для этого языка реализована полноценная вычислительная теория категорий - AlgebraicJulia, причём активно пилится. В принципе в Agda или Lean теоркат как-то формализован, т.е. там работают доказательства автоматически, но писать на них оочень нудно. Хаскель наоборот более практичен, собственно основы теорката в нём база. Но из-за того что они глубоко встроены в язык, он скорее провоцирует думать базовыми абстракциями теории категорий, а вот в AlgebraicJulia категорные структуры (в частности моноидальные и дуальные, чего нет в хаске) явно вычислимые. Да, пока нету профункторов, Кан-экстеншенов, но это временно. Если вы жавишник, можете взять arrow для котлина, шарписты юзают F# с либами, он конечно в этом плане послабее даже скалы, и к сожалению потенциал его сильно ограничен просто самой системой типов NET, теоркату с ней приходится постоянно сражаться :)

То странное чувство, когда понимаешь на уровне кода, что свободная монада — это левое сопряжённое к забывающему функтору. type Program<'a> = Return of 'a | Op of Op<Program<'a>> Для категорщика, поди, это очевидно (масло масляное?), но уже даже хороший функциональщик, продвинутый F#/Хаскель-практик, в таких абстракциях почти не думает. В прикладном плане, прозрачно разделяем например "интерпретатор" от "алгебры эффектов", хотя в новом дивном эйай-мире это уже нафиг никому никогда не сдастся...

ооочень наглядное рекурсивное вычисление фибоначчи вот прям для самых-самых начинающих.

Читал какого-то американского музыканта (я тут совсем не в теме, вольный перевод):   "В кафе играло джазовое фортепианное трио, оно было записано превосходно. Но я не мог узнать пианиста. Ни одной неуместной ноты, замечательные штрихи. Возможно, это ранее не издававшаяся запись Кита Джарретта? Но даже Кит Джарретт иногда берёт плохие ноты, а тут всё было идеально.   ...Но затем я заметил, что динамика не изменилась. Примерно через две минуты я понял, что в трио нет циклической структуры аккордов -- другими словами, нет песни. Аккорды были довольно модными, и басист старательно их подбирал, но не было никакой осмысленной последовательности.   Затем музыка сменилась на гитарное трио, то же самое. Невероятно идеальное соло, но никакой динамики, аккорды ни к чему не ведут.   И тут я понял, что это была нейромузыка..."   Тем временем на ютуб в этом году было загружено 700 поддельных видеороликов великого физика Ричарда Фейнмана, и т.д. и т.п.   И дальше будет только хуже.   Остаётся пока ещё слушать любимую песню Гены Букина :)

Наш хостер пишет: Уважаемый клиент! Сообщаем, что 9 июня 2026 года с 11:00 до 17:00 будут проводиться дополнительные плановые работы по обновлению программного обеспечения виртуального shared-хостинга. Работы являются продолжением ранее выполненных мероприятий и направлены на дальнейшее повышение стабильности и качества предоставляемых услуг. В указанный период возможна кратковременная недоступность сайтов и почтовых сервисов. Ориентировочное время перерыва в работе составит до 60 минут. Приносим извинения за возможные неудобства и благодарим за понимание. Как обычно, в целях повышения (чьей?) безопасности и надёжности, но пока наши учебные серверы нихера не работают :) Хотя и 17 ещё нету. С другой стороны, есть и такие, кто в нарушение законов 149-ФЗ "Об информации" и "О связи" от отчаяния уже рвут tcp-raw в русской Сети, роняя кучу финтеховских и социально важных национальных сервисов, и только телеграм и винни-пухосос продолжают работать, работать и работать :)

Выжимка исследований с платного медиума. - Microsoft запретила использовать Claude Code из‑за неподъёмных счетов. - Uber за 4 месяца сжёг годовой бюджет на AI: разработчики тратили 500–2000 долл./мес на API, но связи между активностью AI и реальной пользой для пользователей не выявлено. - AI увеличивает объём кода и число запусков CI/CD (+59% год к году), но для большинства команд результата нету. - Медианная команда с AI выросла в продуктивности всего на 4%, а выпуск в прод даже упал на 7%; нижний квартиль -- 0% :) - Сгенерированный нейронкой код содержит в разы больше ошибок; 49% команд сообщили о снижении реальной продуктивности. - AI не умеет самоисправляться: в 60% случаев модели не находят собственные ошибки, даже когда их просят. AI не накапливает опыт, его ошибки в начале и конце проекта одинаковы. - В компаниях сильно вырос объём кода на сопровождение (в среднем +38%, хотя я думаю, чаще +380% :) и они тратят больше времени на исправление ошибок, нежели экономит AI на кодогенерации. - Компании, быстрее всех уволившие людей из-за AI, теперь быстрее всех их нанимают обратно. Особенно берут обратно опытных разработчиков, которые хорошо знают структуру системы. 55% компаний планируют нанимать больше сеньоров и сокращать джуниоров. = База: плохую архитектуру AI не исправляет, а лишь усиливает хаос. Он провоцирует на впечатления от всей этой суматохи, движухи и технических результатов, которые вы вроде бы производите с его помощью. Но вашим пользователям всё равно. Они никогда не увидят ваши спецификации, никогда не будут интересоваться вашим кодом, и им даже будет все равно, насколько умным вы себя считаете :) Позитивное восприятие продукта/сервиса конечным пользователем, прямое получение с помощью этого продукта нужных ему результатов -- это единственный простой и честный критерий твоего успеха.

Продолжаю работу с ментатами 🤓   С начала занятия в Лаборатии я уже сразу заметил существенное снижение экранного времени, но все равно за последние 7 дней: 11 часов в ютубе, 8 часов в запретнограме, 7 часов в телеграме, 700 разброкировок телефона...   Само собой получилось в новом проекте вынести I/O на границы, хоть и использовал Entity Framework (больше для миграций и удобной инфраструктуры работы с БД). Не делал никаких абстракций репозиториев, просто отделил статические Persistence-классы с набором функций, с передачей контекста и нужных параметров внутри. Цикломатическая сложность как раз вышла 1-2. Все просто и понятно, не нужно бегать по boxed (матрёшке) зависимостям. Мне никогда не нравилась Clean Architecture как раз из-за своей неоднозначности. Хотя бы теперь могу спокойно использовать I/O на границах / Порты/Адаптеры, хорошо понимая преимущества и недостатки...   От этого кстати стало понятно, зачем вообще алгосы на собесах спрашивают - если тип с мозгами и хорошо думает, то уж в спринге или асп нете разберётся :) А сидеть и "изучать" блэйзор, как вы в принципе и пишите, лажа! Лучше подумать о том, что вся программа на F# без io это одно большое выражение в смысле лямбда-исчисления. Все функции карированные, в качестве данных у нас константы, и вычисление программы это редукция этого выражения те последовательное применение бета-редукции...   Курс произвёл неизгладимое впечатление, особенно функциональные архитектуры. Ранее в основном работал с ООП и его подобием и насколько же после этого лаконичным и понятным выглядит функциональный стиль когда логика сосредоточена в наборе чистых функций, не хранящая никакого состояния, легко тестируемая и понятная. Очень рад что удалось изучить и поупражняться с тем, о чём ранее читал, но никогда не использовал. Монады (узнал о монадах состояний) - показали как используя функциональный стиль можно собирать конвейер обработки данных.  Event Sourcing (впервые узнал из книги Влада Хононова о DDD) - практика и эталонные примеры показали силу этого подхода если нужно моделировать фактор времени, восстанавливать состояние системы в определенный момент или текущее состояние по полному набору событий (или снапшоту если говорить об оптимизациях)...   (Тут речь про "Ясную архитектуру" - практика в архитектурных паттернах, там функциональщина слегка затрагивается по факту, а так по ней отдельный трек ФП)   Оказалось, что неделю назад они решили отказаться от синхронного вызова через RestTemplate и заменить его асинхронным через WebClient (непонятно, для чего им понадобился WebClient, если весь проект не реактивный и можно было обойтись CompletableFuture, но ладно). Вот тут мне и пригодились мои знания, полученные при выполнении задания по Дипломному проекту (реактивная вычислительная модель). Оказалось, что реактивную цепочку для запроса написали, а терминальную операцию (подписку на результат) забыли, поэтому запрос и не уходил...   Вы бы знали, какой у нас интересный расчет за использование LLM. Есть одно подразделение, которое монополизировало хостинг LLM. Аренда даже на 1 токен в месяц будет стоить 400 т.р. в месяц...