Лаборатория Математики и Программирования Сергея Бобровского
1.39K subscribers
1.42K photos
28 videos
1.07K links
ЛаМПовое с Бобровским
Download Telegram
Мотивашка от Гранта Кардона "Правило в 10 раз больше"

Оглянитесь вокруг, и вы увидите мир, который полон посредственных людей, обыкновенного мышления и обычных — в лучшем случае — действий. А теперь заново посмотрите вокруг. На самом деле вы смотрите на людей, которые отказались от своей мечты, от своих стремлений и прекратили жить динамично и целеустремлённо. Вместо этого они готовы удовлетвориться тем, что, по их представлению, «нормально».

Когда вы выбираете себе учителей, ищите выдающихся людей — тех, кто своим жизненным подходом возвышается над толпой. И не беспокойтесь о том, что они незаурядны или что вы не такие, как они. Думайте о том, как они действуют и каким образом вы могли бы действовать так же.

В достижении успеха нет права выбора, и успех — не просто «один из возможных вариантов»; у вас есть долг — мыслить и действовать на верном уровне. Так что доведите дело до конца — ведь это ваша ответственность — и оставьте свой след на этой планете.

И тогда, когда вы отслужите свой срок на Земле, вас будут помнить за то, что вы жили только звёздными мечтами и необыкновенными действиями.

Помните: успех — это ваш долг, ваша обязанность и ваша ответственность. И если вы будете мыслить и действовать «десятикратно» — в стиле «в 10 раз больше», — то я уверен, что вы добьётесь успеха, который намного превысит даже ваши мечты!
👍34127🤔7🤓1
Проанализировал свою рабочую активность за последний месяц, и с ужасом обнаружил такой факт, что я переключаюсь между контекстами в среднем раз в 1 минуту 47 секунд! То есть 14 раз за помидорку 25 минут. Какой позор.

И это при том, что внутри помидорки я группирую переключения по ключам. То есть например если я переключаюсь 10 раз между вордом и конкретной вкладкой браузера, или между отладчиком и запускаемой программой, то это считается не 10 раз, а два.

В целом правда, за все две с половиной тысячи помидорок, когда стал собирать статистику, где-то раз в 4 минуты, что тоже конечно ужос, но не так.

Ну, да, слегка весной я расслабился :) Соберись, тряпка!
👍36🤓106🔥2😇2
.

Облако драгоценностей за неделю.

Приватный клуб.

У Алана Кэя на днях спросили: может ли условный AI CLI заменить классический графический UI в качестве первичного интерфейса для обычных пользователей, современные тренды искусственного интеллекта явно идут в консоль?

Для донов-начинающих:


Я хочу изучать программирование, но чуть позже. Планирую, но не сейчас. Пока присматриваюсь. Собираю бесплатную инфу. Хочу сделать всё правильно сразу, что бы точно без проблем, особых усилий, лишних трат и разочарований...

Я не собираюсь давать вам новую дорожную карту, инструмент или курс, просто хочу указать несколько распространённых ошибок, которые замедляют процесс, но начинающие этого не осознают по определению "начинающих" (лонгрид)...

Для донов-неначинающих:

Пришло время для краткого отчёта о состоянии дел.
Вы действительно достигли своих целей на май? Или месяц СНОВА пролетел незаметно в суматохе забот?
Если вам всё-таки удалось достичь всех своих целей, то поздравляю!
Но если вы этого не сделали, тогда нам нужно серьёзно поговорить....

91. Нечистый эффект наблюдения чистых функций
С практической точки зрения, исполняющаяся чистая функция также нечиста, потому что она выполняется недетерминировано: например, мы не знаем сколько она будет работать, да и завершится ли вообще...

(все старые материалы для донов быстро сгорают)


=

Новые материалы для ментатов Лаборатории.

В раздел "Элитный программист" добавлен материал
96) Три источника, три рычага потока
Было утро четверга, и вы сидели в офисе, отчаянно пытаясь закончить проект для стартапа. Курсор мигал в редакторе IDE в конце незаконченной инструкции.
К полудню вы полностью забрасываете код и погружаетесь во всё остальное -- электронную почту, новости, каналы, администрирование, упорядочивание файлов, которые не нуждаются в упорядочивании... К вечеру вы убеждаете себя, что рабочий день удался на славу, и что завтра вы сядете за работу с новыми силами...

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


=

"Функциональные архитектуры" 118 топиков

Добавил новый модуль "Мета-спецификации".

...Пока мы зашли в область, где формальные подходы и формальные языки могут дать существенный эффект, но к сожалению это область от практических ежедневных проектов и задач весьма далека.
Самое ценное -- это хотя бы немножечко думать в парадигме алгебраических свойств как спецификаций. Как AI сегодня тут помогает? Вытаскивает скрытые требования, предлагает инварианты, находит дыры в тестах, помогает формализовать критичные части...
Короче говоря, это всё хорошо, но на практике никаких формальных спецификаций делать никто не будет, и даже BDD мало где придерживаются. Спецификации нужны точечно, только там, где цена ошибки высока, но это отнюдь не наши с вашими повседневные задачи.
Поэтому дальше стратегически выделим два ключевых направления...

Разбираю в частности (в процессе, на неделе), почему здесь не подходят BDD Gherkin и DDD Ubiquitous Language и как правильно заниматься спеками с AI легко и просто.
Спойлер: нам нужны не сценарные или онтологические спецификации, а алгебраические, с операционно-декларативной семантикой.

=

"ЛаМПовое":

Дзен и искусство ухода за Arch Linux (9)
...Что делать с украденным устройством?

"Гарри Поттер и Методы Математического Мышления".
Глава 10. Осколок и змея.

=

it's a privilege to do things that are hard 💪🏻

=

Образование не заменяет ум -- то неуловимое качество, которое лишь частично определяется как способность разгадывать головоломки. Основная задача ума состоит в создании новых головоломок, когда чувства сообщают вам о недостаточности традиционных определений.
Первый урок ментата, "Дюна"
34👍21
Продолжаю работу с ментатами 🤓
 
С начала занятия в Лаборатии я уже сразу заметил существенное снижение экранного времени, но все равно за последние 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 т.р. в месяц...
314👍2
Выжимка исследований с платного медиума.

- 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 не исправляет, а лишь усиливает хаос. Он провоцирует на впечатления от всей этой суматохи, движухи и технических результатов, которые вы вроде бы производите с его помощью. Но вашим пользователям всё равно. Они никогда не увидят ваши спецификации, никогда не будут интересоваться вашим кодом, и им даже будет все равно, насколько умным вы себя считаете :)

Позитивное восприятие продукта/сервиса конечным пользователем, прямое получение с помощью этого продукта нужных ему результатов -- это единственный простой и честный критерий твоего успеха.
💯4013👍3😁3👌1
Наш хостер пишет:

Уважаемый клиент!
Сообщаем, что 9 июня 2026 года с 11:00 до 17:00 будут проводиться дополнительные плановые работы по обновлению программного обеспечения виртуального shared-хостинга. Работы являются продолжением ранее выполненных мероприятий и направлены на дальнейшее повышение стабильности и качества предоставляемых услуг.
В указанный период возможна кратковременная недоступность сайтов и почтовых сервисов. Ориентировочное время перерыва в работе составит до 60 минут.
Приносим извинения за возможные неудобства и благодарим за понимание.


Как обычно, в целях повышения (чьей?) безопасности и надёжности, но пока наши учебные серверы нихера не работают :) Хотя и 17 ещё нету.

С другой стороны, есть и такие, кто в нарушение законов 149-ФЗ "Об информации" и "О связи" от отчаяния уже рвут tcp-raw в русской Сети, роняя кучу финтеховских и социально важных национальных сервисов,
и только телеграм и винни-пухосос продолжают работать, работать и работать :)

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

type Program<'a> = Return of 'a | Op of Op<Program<'a>>

Для категорщика, поди, это очевидно (масло масляное?), но уже даже хороший функциональщик, продвинутый F#/Хаскель-практик, в таких абстракциях почти не думает.

В прикладном плане, прозрачно разделяем например "интерпретатор" от "алгебры эффектов",
хотя в новом дивном эйай-мире это уже нафиг никому никогда не сдастся...
🥰23🐳11🤯6🤔42
А мне это надо??

Легендарная "Теория категорий для программистов" Милевски,
русский перевод PDF

Классный разбор теорката от Сергей Свиридов, активно пишется, на скале

Лет 5+ назад я сделал трек по вычислительным моделям на Julia - именно на этом языке по наводке мудрейших, и как прозорливо это оказалось: по сути только для этого языка реализована полноценная вычислительная теория категорий - AlgebraicJulia, причём активно пилится.

В принципе в Agda или Lean теоркат как-то формализован, т.е. там работают доказательства автоматически, но писать на них оочень нудно.

Хаскель наоборот более практичен, собственно основы теорката в нём база. Но из-за того что они глубоко встроены в язык, он скорее провоцирует думать базовыми абстракциями теории категорий,

а вот в AlgebraicJulia категорные структуры (в частности моноидальные и дуальные, чего нет в хаске) явно вычислимые. Да, пока нету профункторов, Кан-экстеншенов, но это временно.

Если вы жавишник, можете взять arrow для котлина,

шарписты юзают F# с либами, он конечно в этом плане послабее даже скалы, и к сожалению потенциал его сильно ограничен просто самой системой типов NET, теоркату с ней приходится постоянно сражаться :)
3313🔥2🤓1
Тестируем искусственного идиота на гипотезе гомотопий (эквивалентность Гротендика между ∞-группоидами и топологическими пространствами).

Π_∞ ⊣ |−| : ∞Grpd ≅ Top
|−| ⊣ Π_∞ : Top ≃ ∞Grpd
Π_∞ ⊣ |−| : ∞Cat ≃ Top
Π_∞ ⊣ |−| : ∞Grpd ≃ Top
Π_1 ⊣ |−| : ∞Grpd ≃ Top
Π_∞ ⊣ |−| : ∞Grpd ≃ sSet

?

Π_∞ ⊣ |−| : ∞Grpd ≃ Top

жпт5.5 и клод4.6 заразы сразу решили :)
а дипсик думал 10 минут и не справился даже после подсказок

и этот ваш распиаренный фабл5 затупил ахаха развод гоев на токены.
перепутал порядок сопряжения: Π_∞ это левое сопряжённое
25🤔9👍4🔥2🐳2
На днях 150 топовых математиков опубликовали Лейденскую декларацию, протестующую против маркетинговой практики техногигантов рассказывать сказки о том, как AI успешно решает сложные математические задачи без профессиональных консультаций с академическим сообществом и его оценок.

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

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

Нейронки -- это в корне глубоко неэтичная технология, поскольку она основана на краже интеллектуальной собственности, чрезмерной эксплуатации рабочей силы, растрате природных ресурсов, распространении дезинформации, сокращении работников, задержке когнитивного развития школьников и студентов и содействии консолидации технократической власти.
40🔥9🐳74👍1
Гарри Поттер и Методы Математического Мышления

Книга 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)))
Гарри присвистнул.
— Это работает, — сказал он, изучая строку...

Это безумие, — сказал Невилл. — Нельзя в бою конструировать заклинания с нуля...

...Неорганические не поймут. У них нет тела, нет интуиции, нет чувства эквивалентности. Они видят только последовательности символов. А мы строим структуру.
288😁4👍1
.

Облако драгоценностей за неделю.

Приватный клуб.

Почему топовый консультант из экс-архитекторов FAANF не рекомендует своим клиентам переходить на PostgreSQL, да и вообще мигрировать на что-то "новенькое".

Для донов-начинающих:


База по карьере, серия 28.
...Однако в какой-то момент ваши положительные впечатления от текущей ситуации могут легко испортиться. И когда это произойдёт, вам придётся вернуться в режим анализа и выяснить, что именно, в частности, вызывает беспокойство.

Какая твоя самая большая слабость?
Этот вопрос на собеседовании часто вселяет страх и ужас в сердца кандидатов на работу: что, если они спросят о моей самой большой слабости?! Что я скажу? Надо ли будет врать? ЧТО мне ДЕЛАТЬ???
Это однозначно один из самых глупых вопросов на собеседованиях, и именно поэтому кадровики так любят его задавать :)
Дело в том, что он выводит вас из себя и заставляет делать одну из трех ошибочных вещей...

Для донов-неначинающих:

Самая лучшая техническая база в System Design не сильно поможет, если вы пропустите первый шаг...

92. Функциональная архитектура - что это?
Давайте более глубоко погрузимся в тему функционального проектирования, для чего однако предварительно надо разобраться, а знаете ли вы, что такое функциональное программирование?..

(все старые материалы для донов быстро сгорают)

=

Новые материалы для ментатов Лаборатории.

null

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

=

"Функциональные архитектуры" 121(+3) топик

Продолжаю разбор мета-спецификаций, на DSL с какой структурой и семантикой продуктивнее всего делать спеки для AI, и почему тут крайне слабо работают Gherkin, DDD и skills/agent md.

=

"ЛаМПовое":

Дзен и искусство ухода за Arch Linux (10)
...Однако оставляя консольный доступ, вы создаёте обходной путь мимо вашей строгой SSH-политики (ключи + IP). Если этот путь защищён слабо, все ваши усилия по SSH теряют смысл.

"Гарри Поттер и Методы Математического Мышления".
Глава 11. Контракт с реальностью

=

Лаборатория идёт со скоростью самых лучших ментатов 💪🏻
(продолжаю бесконечное ужесточение правил занятий :)

=

- Эти ментаты, скажу я тебе, - фыркнула Марти. - Цена им десять центов за дюжину, вот что!
"Капитул Дюны"
34👍2
Западная профессиональная финансовая пресса почти единодушно предсказывает взрыв пузыря искусственного интеллекта в ближайшем будущем, но мнения о его долгосрочных последствиях расходятся. От "мировой крах всё пропало" до "останется много полезняшек", как собственно после краха пузыря доткомов осталось мощная оптоволоконная инфраструктура.

Тем временем в программной инженерии накопилась обширная статистика, показывающая, что искусственный интеллект не только (и не столько) создаёт новые проблемы, сколько усугубляет те, которые уже давно существуют. Если в проекте был бардак, то внедрением AI он станет лишь сильно хуже :)

"В их алгоритмах правды на один из ста
Слежу за ловкостью рук, моя работа проста"
(с)

Фишка от мудрецов: Как же в 2026-м резко повысить продуктивность твоей команды?

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

Сто лет звал Ной к себе людей, а пришли одни скоты.
Прп. Нектарий Оптинский
32👍13🏆4💯2
Просили пояснить за инди-хакерство: а какой "saas" делать-то?
Хорошо, дам несколько идей.

Сейчас например тысячи онлайн-сервисов, обучающих работе с AI, в самых разных областях. Я рекомендую конкретно что-то в духе "как в ваш говнопроэкт срочно впендюрить аишку и получить x10...x100", но в целом область может быть любой, в которой вы условный эксперт. Например "как математичке выйти на содержание 500 тыс/мес за 23 дня" :)

Сермяга в том что 98.98% всех этих сервисов неотличимы друг от друга даже по своим силлабусам: одни и те же приёмы, одни и те же переработанные промпты, одна и та же унылая реклама "10 инструментов ИИ, которые изменят твою жизнь".

Вашим уникальным конкурентным предложением должен быть не доступ к секретным технологиям, которыми владеете только вы (так то, если человек рассказывает, что учит подобному силовиков, это пizдобол 100%:),

вашим уникальным преимуществом должна стать фильтрация.

Ты постоянно отыскиваешь рабочие процессы, которые на самом деле используют рядовые синьоры в твоей теме, устраняешь технический беспорядок, выделяешь структуру/инварианты и объединяешь это в понятные и пригодные для использования действия и промпты.

Каждый пункт твоего сервиса проходит один и тот же тест: сможет ли менеджер, который никогда не открывал жпт (или тимлид, который работает с нейронкой чисто в чатике), задействовать его к утру вторника и быстро получить измеряемый результат (чаще всего существенное сокращение рутины)?

Ты реально понимаешь, в чём на самом деле заключаются трудности для твоих пользователей, не обладающих техническими знаниями (или обладающих, но не самыми современными и продвинутыми). Это и есть хороший экспертный вкус.
267👍6
"Я считаю, что не надо роптать, потому что давайте поставим на чашу весов: ты не смог зайти в интернет или спасенные жизни людей."

Ну вот лично мне жизненно важно другое (или я чем-то хуже "других", что на мою жизнь можно наплевать?): ежемесячно покупать дорогие лекарства и дорогие медицинские процедуры и консультации, вот это для меня абсолютная тема безопасности, и если я не смогу зайти в интернет, то не заработаю деньги (или например не смогу оплатить онлайн) и быстро умру, буквально. Вот это будет в таком случае точно 100%.

Впрочем, это я просто к слову; никаких улучшений давно уже не жду, совсем, на этой жизни точно, и дальше - судя по всему, на десятилетия - будет только хуже.

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

Поэтому, дорогие, упражнения с гирями и аэробная выносливость, суставная гимнастика и закаливание, осознанность и дыхательные практики -- это всё должна быть базовая подготовка к растущей жизненной турбулентности.

Хотя первична, конечно же, Душа. Не "я тело, у меня есть душа", а "я душа, у меня есть тело".

Многие, строго наблюдая за внешним, упражняясь в науках и заботясь о жизни правильной, считают это совершенством, не вникая в свое сердце, не примечая там пороков, какие обладают душою.
Прп. Макарий Великий
💯32👍1154❤‍🔥4
Между врачами и менторами есть интересная аналогия.

Приходишь такой к врачу с совершенно ошибочным паттерном, что сейчас тебя внимательно выслушают, поставят точный диагноз как доктор Хаус, выпишут волшебный рецепт, ты купишь в местной аптечке лекарства, и быстро выздоровеешь без малейших усилий, и жизнь сразу наладится сама собой!

А когда врач начинает говорить про важность режима дня, сна, питания, физической активности, и необходимость длительной работы над собой в этом плане, у поциента возникает сильное раздражение :)

Точно так же когда приходишь такой к ментору с совершенно ошибочным паттерном, что сейчас тебя внимательно выслушают, посоветуют волшебные курсы и гайды, ты их пройдёшь и после этого сразу тебя засыплют оферами на 300k, стоит тебе просто выложить резюме на хх без малейших усилий, и карьера сразу наладится сама собой!

А когда ментор начинает говорить про важность базовых знаний и АСД, про глубокое понимание своего стека и новое множество скилов в контексте AI, а также необходимость длительной работы над процессом поиска более-менее нормальной работы, у менти возникает сильное раздражение :)
22💯15🤓65❤‍🔥1
Наш учебный сервер хостится у одного из крупнейших российских провайдеров (десятки тысяч сайтов), и где-то с мая впервые за 20 лет начались регулярные сбои доступа к нему. Протестировал, собрал статистику, отправил хостеру, вот его ответ:

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

К сожалению, напрямую повлиять на решение этой проблемы мы не можем. В данном случае необходимо ждать, когда будет налажена работа ТСПУ.

А она разве будет когда-нибудь налажена? Уверен на 98%, что дальше будет только хуже.
🤯366🐳5💯4
Смотрю, мало того что русские хостинги с десятками тысяч сайтов стали работать с постоянными сбоями, так сегодня ещё и гитхаб raw тоже стал сбоить.

Посмотрю, может учебный сервер переведу на http :)

Так понимаю, ТСПУ просто протухают под нагрузкой и тупо шлют RST пакеты, и надо ждать сколько-то минут, пока их кэш сбросится, а нешифрованный трафик РКН как правило не трогает.

=

Сегодня в 12:00 13:30 напомню, стрим
Когда Spec-Driven Development хуже вайб-кодинга? Иван Закутный и Родион Мостовой

Всем быть 🤓
5248🤓2❤‍🔥1