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

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

رفتن به کانال در Telegram

ЛаМПовое с Бобровским

نمایش بیشتر
1 390
مشترکین
+124 ساعت
+97 روز
+2830 روز
جذب مشترکین
ژوئن '26
ژوئن '26
+14
در 0 کانال‌ها
مه '26
+43
در 1 کانال‌ها
Get PRO
آوریل '26
+24
در 0 کانال‌ها
Get PRO
مارس '26
+54
در 1 کانال‌ها
Get PRO
فوریه '26
+35
در 0 کانال‌ها
Get PRO
ژانویه '26
+30
در 0 کانال‌ها
Get PRO
دسامبر '25
+21
در 0 کانال‌ها
Get PRO
نوامبر '25
+20
در 0 کانال‌ها
Get PRO
اکتبر '25
+20
در 0 کانال‌ها
Get PRO
سپتامبر '25
+35
در 1 کانال‌ها
Get PRO
اوت '25
+58
در 0 کانال‌ها
Get PRO
ژوئیه '25
+29
در 0 کانال‌ها
Get PRO
ژوئن '25
+20
در 0 کانال‌ها
Get PRO
مه '25
+17
در 0 کانال‌ها
Get PRO
آوریل '25
+26
در 0 کانال‌ها
Get PRO
مارس '25
+16
در 2 کانال‌ها
Get PRO
فوریه '25
+23
در 0 کانال‌ها
Get PRO
ژانویه '25
+18
در 0 کانال‌ها
Get PRO
دسامبر '24
+33
در 0 کانال‌ها
Get PRO
نوامبر '24
+33
در 2 کانال‌ها
Get PRO
اکتبر '24
+25
در 0 کانال‌ها
Get PRO
سپتامبر '24
+40
در 0 کانال‌ها
Get PRO
اوت '24
+27
در 1 کانال‌ها
Get PRO
ژوئیه '24
+60
در 0 کانال‌ها
Get PRO
ژوئن '24
+38
در 0 کانال‌ها
Get PRO
مه '24
+43
در 1 کانال‌ها
Get PRO
آوریل '24
+98
در 1 کانال‌ها
Get PRO
مارس '24
+33
در 1 کانال‌ها
Get PRO
فوریه '24
+27
در 0 کانال‌ها
Get PRO
ژانویه '24
+2 026
در 0 کانال‌ها
Get PRO
دسامبر '23
+36
در 0 کانال‌ها
Get PRO
نوامبر '23
+39
در 0 کانال‌ها
Get PRO
اکتبر '23
+14
در 0 کانال‌ها
Get PRO
سپتامبر '23
+25
در 0 کانال‌ها
Get PRO
اوت '23
+16
در 0 کانال‌ها
Get PRO
ژوئیه '23
+24
در 0 کانال‌ها
Get PRO
ژوئن '23
+12
در 0 کانال‌ها
Get PRO
مه '23
+19
در 0 کانال‌ها
Get PRO
آوریل '23
+24
در 0 کانال‌ها
Get PRO
مارس '23
+10
در 0 کانال‌ها
Get PRO
فوریه '23
+12
در 0 کانال‌ها
Get PRO
ژانویه '23
+23
در 0 کانال‌ها
Get PRO
دسامبر '22
+86
در 0 کانال‌ها
Get PRO
نوامبر '22
+27
در 0 کانال‌ها
Get PRO
اکتبر '22
+44
در 0 کانال‌ها
Get PRO
سپتامبر '22
+12
در 0 کانال‌ها
Get PRO
اوت '22
+33
در 0 کانال‌ها
Get PRO
ژوئیه '22
+19
در 0 کانال‌ها
Get PRO
ژوئن '22
+38
در 0 کانال‌ها
Get PRO
مه '22
+42
در 0 کانال‌ها
Get PRO
آوریل '22
+21
در 0 کانال‌ها
Get PRO
مارس '22
+79
در 0 کانال‌ها
Get PRO
فوریه '22
+13
در 0 کانال‌ها
Get PRO
ژانویه '22
+26
در 0 کانال‌ها
Get PRO
دسامبر '21
+58
در 0 کانال‌ها
Get PRO
نوامبر '21
+10
در 0 کانال‌ها
Get PRO
اکتبر '21
+42
در 0 کانال‌ها
Get PRO
سپتامبر '21
+25
در 0 کانال‌ها
Get PRO
اوت '21
+444
در 0 کانال‌ها
تاریخ
رشد مشترکین
اشارات
کانال‌ها
16 ژوئن+2
15 ژوئن+7
14 ژوئن+2
13 ژوئن+1
12 ژوئن0
11 ژوئن0
10 ژوئن+1
09 ژوئن0
08 ژوئن0
07 ژوئن0
06 ژوئن0
05 ژوئن+1
04 ژوئن0
03 ژوئن0
02 ژوئن0
01 ژوئن0
پست‌های کانال
Наш учебный сервер хостится у одного из крупнейших провайдеров (десятки тысяч сайтов), и где-то с мая впервые за 20 лет начал
Наш учебный сервер хостится у одного из крупнейших провайдеров (десятки тысяч сайтов), и где-то с мая впервые за 20 лет начались регулярные сбои доступа к нему. Протестировал, собрал статистику, отправил хостеру, вот его ответ: На основе предоставленной информации и анализе работы сервера можем отметить, что проблема с доступностью сайта вызвана скорее всего блокировками на стороне РКН и работой ТСПУ. Эта проблема сейчас носит массовый характер. Подробней об этом Вы можете прочитать, например, на странице: К сожалению, напрямую повлиять на решение этой проблемы мы не можем. В данном случае необходимо ждать, когда будет налажена работа ТСПУ. А она разве будет когда-нибудь налажена? Уверен на 98%, что дальше будет только хуже.

2
Между врачами и менторами есть интересная аналогия. Приходишь такой к врачу с совершенно ошибочным паттерном, что сейчас тебя
Между врачами и менторами есть интересная аналогия. Приходишь такой к врачу с совершенно ошибочным паттерном, что сейчас тебя внимательно выслушают, поставят точный диагноз как доктор Хаус, выпишут волшебный рецепт, ты купишь в местной аптечке лекарства, и быстро выздоровеешь без малейших усилий, и жизнь сразу наладится сама собой! А когда врач начинает говорить про важность режима дня, сна, питания, физической активности, и необходимость длительной работы над собой в этом плане, у поциента возникает сильное раздражение :) Точно так же когда приходишь такой к ментору с совершенно ошибочным паттерном, что сейчас тебя внимательно выслушают, посоветуют волшебные курсы и гайды, ты их пройдёшь и после этого сразу тебя засыплют оферами на 300k, стоит тебе просто выложить резюме на хх без малейших усилий, и карьера сразу наладится сама собой! А когда ментор начинает говорить про важность базовых знаний и АСД, про глубокое понимание своего стека и новое множество скилов в контексте AI, а также необходимость длительной работы над процессом поиска более-менее нормальной работы, у менти возникает сильное раздражение :)
325
3
"Я считаю, что не надо роптать, потому что давайте поставим на чашу весов: ты не смог зайти в интернет или спасенные жизни лю
"Я считаю, что не надо роптать, потому что давайте поставим на чашу весов: ты не смог зайти в интернет или спасенные жизни людей." Ну вот лично мне жизненно важно другое (или я чем-то хуже "других", что на мою жизнь можно наплевать?): ежемесячно покупать дорогие лекарства и дорогие медицинские процедуры и консультации, вот это для меня абсолютная тема безопасности, и если я не смогу зайти в интернет, то не заработаю деньги (или например не смогу оплатить онлайн) и быстро умру, буквально. Вот это будет в таком случае точно 100%. Впрочем, это я просто к слову; никаких улучшений давно уже не жду, совсем, на этой жизни точно, и дальше - судя по всему, на десятилетия - будет только хуже. А выборы? Да вообще пофиг, абсолютно, за кого там голосовать. Во-первых, это математический факт, что конкретно твой голос никак не повлияет на результат. Во-вторых, ну когда взрослые люди с серьёзным видом ставят галочки в списках... детский сад какой-то. Поэтому, дорогие, упражнения с гирями и аэробная выносливость, суставная гимнастика и закаливание, осознанность и дыхательные практики -- это всё должна быть базовая подготовка к растущей жизненной турбулентности. Хотя первична, конечно же, Душа. Не "я тело, у меня есть душа", а "я душа, у меня есть тело". Многие, строго наблюдая за внешним, упражняясь в науках и заботясь о жизни правильной, считают это совершенством, не вникая в свое сердце, не примечая там пороков, какие обладают душою. Прп. Макарий Великий
324
4
Просили пояснить за инди-хакерство: а какой "saas" делать-то? Хорошо, дам несколько идей. Сейчас например тысячи онлайн-серви
Просили пояснить за инди-хакерство: а какой "saas" делать-то? Хорошо, дам несколько идей. Сейчас например тысячи онлайн-сервисов, обучающих работе с AI, в самых разных областях. Я рекомендую конкретно что-то в духе "как в ваш говнопроэкт срочно впендюрить аишку и получить x10...x100", но в целом область может быть любой, в которой вы условный эксперт. Например "как математичке выйти на содержание 500 тыс/мес за 23 дня" :) Сермяга в том что 98.98% всех этих сервисов неотличимы друг от друга даже по своим силлабусам: одни и те же приёмы, одни и те же переработанные промпты, одна и та же унылая реклама "10 инструментов ИИ, которые изменят твою жизнь". Вашим уникальным конкурентным предложением должен быть не доступ к секретным технологиям, которыми владеете только вы (так то, если человек рассказывает, что учит подобному силовиков, это пizдобол 100%:), вашим уникальным преимуществом должна стать фильтрация. Ты постоянно отыскиваешь рабочие процессы, которые на самом деле используют рядовые синьоры в твоей теме, устраняешь технический беспорядок, выделяешь структуру/инварианты и объединяешь это в понятные и пригодные для использования действия и промпты. Каждый пункт твоего сервиса проходит один и тот же тест: сможет ли менеджер, который никогда не открывал жпт (или тимлид, который работает с нейронкой чисто в чатике), задействовать его к утру вторника и быстро получить измеряемый результат (чаще всего существенное сокращение рутины)? Ты реально понимаешь, в чём на самом деле заключаются трудности для твоих пользователей, не обладающих техническими знаниями (или обладающих, но не самыми современными и продвинутыми). Это и есть хороший экспертный вкус.
366
5
Западная профессиональная финансовая пресса почти единодушно предсказывает взрыв пузыря искусственного интеллекта в ближайшем будущем, но мнения о его долгосрочных последствиях расходятся. От "мировой крах всё пропало" до "останется много полезняшек", как собственно после краха пузыря доткомов осталось мощная оптоволоконная инфраструктура. Тем временем в программной инженерии накопилась обширная статистика, показывающая, что искусственный интеллект не только (и не столько) создаёт новые проблемы, сколько усугубляет те, которые уже давно существуют. Если в проекте был бардак, то внедрением AI он станет лишь сильно хуже :) "В их алгоритмах правды на один из ста Слежу за ловкостью рук, моя работа проста" (с) Фишка от мудрецов: Как же в 2026-м резко повысить продуктивность твоей команды? Выделяй 50% рабочего времени на обучение и развитие сотрудников (в контексте проекта конечно), включая и нейронки обязательно. Выхлоп будет мощнейший - в многие разы а то и на порядок, а почему так почти нигде не делают, вопрос риторический. Сто лет звал Ной к себе людей, а пришли одни скоты. Прп. Нектарий Оптинский
404
6
. Облако драгоценностей за неделю. Приватный клуб. Почему топовый консультант из экс-архитекторов FAANF не рекомендует своим
. Облако драгоценностей за неделю. Приватный клуб. Почему топовый консультант из экс-архитекторов FAANF не рекомендует своим клиентам переходить на PostgreSQL, да и вообще мигрировать на что-то "новенькое". Для донов-начинающих: База по карьере, серия 28. ...Однако в какой-то момент ваши положительные впечатления от текущей ситуации могут легко испортиться. И когда это произойдёт, вам придётся вернуться в режим анализа и выяснить, что именно, в частности, вызывает беспокойство. Какая твоя самая большая слабость? Этот вопрос на собеседовании часто вселяет страх и ужас в сердца кандидатов на работу: что, если они спросят о моей самой большой слабости?! Что я скажу? Надо ли будет врать? ЧТО мне ДЕЛАТЬ??? Это однозначно один из самых глупых вопросов на собеседованиях, и именно поэтому кадровики так любят его задавать :) Дело в том, что он выводит вас из себя и заставляет делать одну из трех ошибочных вещей... Для донов-неначинающих: Самая лучшая техническая база в System Design не сильно поможет, если вы пропустите первый шаг... 92. Функциональная архитектура - что это? Давайте более глубоко погрузимся в тему функционального проектирования, для чего однако предварительно надо разобраться, а знаете ли вы, что такое функциональное программирование?.. (все старые материалы для донов быстро сгорают) = Новые материалы для ментатов Лаборатории. null (играл в готику немного отвлёкся на геймдев :) вывод за всю мою карьеру на тысячах часов впустую потраченного времени с универсальными движками/мейкерами остаётся прежним: хочешь сделать что-то хорошо, пили под нишу/жанр свой движок с околонуля, максимально комфортный под себя) = "Функциональные архитектуры" 121(+3) топик Продолжаю разбор мета-спецификаций, на DSL с какой структурой и семантикой продуктивнее всего делать спеки для AI, и почему тут крайне слабо работают Gherkin, DDD и skills/agent md. = "ЛаМПовое": Дзен и искусство ухода за Arch Linux (10) ...Однако оставляя консольный доступ, вы создаёте обходной путь мимо вашей строгой SSH-политики (ключи + IP). Если этот путь защищён слабо, все ваши усилия по SSH теряют смысл. "Гарри Поттер и Методы Математического Мышления". Глава 11. Контракт с реальностью = Лаборатория идёт со скоростью самых лучших ментатов 💪🏻 (продолжаю бесконечное ужесточение правил занятий :) = - Эти ментаты, скажу я тебе, - фыркнула Марти. - Цена им десять центов за дюжину, вот что! "Капитул Дюны"
374
7
Гарри Поттер и Методы Математического Мышления Книга 1. Гарри Поттер и Неорганический Интеллект. Глава 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))) Гарри присвистнул. — Это работает, — сказал он, изучая строку... Это безумие, — сказал Невилл. — Нельзя в бою конструировать заклинания с нуля... ...Неорганические не поймут. У них нет тела, нет интуиции, нет чувства эквивалентности. Они видят только последовательности символов. А мы строим структуру.
430
8
На днях 150 топовых математиков опубликовали Лейденскую декларацию, протестующую против маркетинговой практики техногигантов рассказывать сказки о том, как AI успешно решает сложные математические задачи без профессиональных консультаций с академическим сообществом и его оценок. Конечно, это чистый пиар: смотрите, наша модель решает сложнейшую математическую задачу. Но на самом деле их цель совершенно не развитие математики, И даже маркетинг здесь на втором плане. Математика им особенно интересна, потому что эта наука очень полезна для стратегического обучения AI: факт, с тем, что по мере того, как AI совершенствуется в математике, улучшаются и его общие навыки рассуждения. Что здесь особенно противно, так это то, что горстка корпораций мобилизует свои огромные финансовые ресурсы, чтобы с мощной силой навязывать такой крайне обедневший взгляд на математику (в тот момент, когда и академические научные исследования уже подвергаются политическим нападкам), и в конечном итоге они вполне могут разрушить те немногие социальные институты, которые сегодня ещё позволяют математике как-то развиваться. Нейронки -- это в корне глубоко неэтичная технология, поскольку она основана на краже интеллектуальной собственности, чрезмерной эксплуатации рабочей силы, растрате природных ресурсов, распространении дезинформации, сокращении работников, задержке когнитивного развития школьников и студентов и содействии консолидации технократической власти.
496
9
Тестируем искусственного идиота на гипотезе гомотопий (эквивалентность Гротендика между ∞-группоидами и топологическими пространствами). Π_∞ ⊣ |−| : ∞Grpd ≅ Top |−| ⊣ Π_∞ : Top ≃ ∞Grpd Π_∞ ⊣ |−| : ∞Cat ≃ Top Π_∞ ⊣ |−| : ∞Grpd ≃ Top Π_1 ⊣ |−| : ∞Grpd ≃ Top Π_∞ ⊣ |−| : ∞Grpd ≃ sSet ? Π_∞ ⊣ |−| : ∞Grpd ≃ Top жпт5.5 и клод4.6 заразы сразу решили :) а дипсик думал 10 минут и не справился даже после подсказок и этот ваш распиаренный фабл5 затупил ахаха развод гоев на токены. перепутал порядок сопряжения: Π_∞ это левое сопряжённое
518
10
q = lambda l: q([x for x in l[1:] if x <= l[0]]) + [l[0]] + q([x for x in l if x > l[0]]) if l else []
523
11
А мне это надо?? Легендарная "Теория категории для программистов" Милевски, русский перевод PDF Классный разбор теорката от Сергей Свиридов, активно пишется, на скале Лет 5+ а назад я сделал трек по вычислительным моделям на Julia - именно на этом языке по наводке мудрейших, и как прозорливо это оказалось: по сути только для этого языка реализована полноценная вычислительная теория категорий - AlgebraicJulia, причём активно пилится. В принципе в Agda или Lean теоркат как-то формализован, т.е. там работают доказательства автоматически, но писать на них оочень нудно. Хаскель наоборот более практичен, собственно основы теорката в нём база. Но из-за того что они глубоко встроены в язык, он скорее провоцирует думать базовыми абстракциями теории категорий, а вот в AlgebraicJulia категорные структуры (в частности моноидальные и дуальные, чего нет в хаске) явно вычислимые. Да, пока нету профункторов, Кан-экстеншенов, но это временно. Если вы жавишник, можете взять arrow для котлина, шарписты юзают F# с либами, он конечно в этом плане послабее даже скалы, и к сожалению потенциал его сильно ограничен просто самой системой типов NET, теоркату с ней приходится постоянно сражаться :)
666
12
То странное чувство, когда понимаешь на уровне кода, что свободная монада — это левое сопряжённое к забывающему функтору. type Program<'a> = Return of 'a | Op of Op<Program<'a>> Для категорщика, поди, это очевидно (масло масляное?), но уже даже хороший функциональщик, продвинутый F#/Хаскель-практик, в таких абстракциях почти не думает. В прикладном плане, прозрачно разделяем например "интерпретатор" от "алгебры эффектов", хотя в новом дивном эйай-мире это уже нафиг никому никогда не сдастся...
582
13
ооочень наглядное рекурсивное вычисление фибоначчи вот прям для самых-самых начинающих.
608
14
Читал какого-то американского музыканта (я тут совсем не в теме, вольный перевод):   "В кафе играло джазовое фортепианное трио, оно было записано превосходно. Но я не мог узнать пианиста. Ни одной неуместной ноты, замечательные штрихи. Возможно, это ранее не издававшаяся запись Кита Джарретта? Но даже Кит Джарретт иногда берёт плохие ноты, а тут всё было идеально.   ...Но затем я заметил, что динамика не изменилась. Примерно через две минуты я понял, что в трио нет циклической структуры аккордов -- другими словами, нет песни. Аккорды были довольно модными, и басист старательно их подбирал, но не было никакой осмысленной последовательности.   Затем музыка сменилась на гитарное трио, то же самое. Невероятно идеальное соло, но никакой динамики, аккорды ни к чему не ведут.   И тут я понял, что это была нейромузыка..."   Тем временем на ютуб в этом году было загружено 700 поддельных видеороликов великого физика Ричарда Фейнмана, и т.д. и т.п.   И дальше будет только хуже.   Остаётся пока ещё слушать любимую песню Гены Букина :)
573
15
Наш хостер пишет: Уважаемый клиент! Сообщаем, что 9 июня 2026 года с 11:00 до 17:00 будут проводиться дополнительные плановые
Наш хостер пишет: Уважаемый клиент! Сообщаем, что 9 июня 2026 года с 11:00 до 17:00 будут проводиться дополнительные плановые работы по обновлению программного обеспечения виртуального shared-хостинга. Работы являются продолжением ранее выполненных мероприятий и направлены на дальнейшее повышение стабильности и качества предоставляемых услуг. В указанный период возможна кратковременная недоступность сайтов и почтовых сервисов. Ориентировочное время перерыва в работе составит до 60 минут. Приносим извинения за возможные неудобства и благодарим за понимание. Как обычно, в целях повышения (чьей?) безопасности и надёжности, но пока наши учебные серверы нихера не работают :) Хотя и 17 ещё нету. С другой стороны, есть и такие, кто в нарушение законов 149-ФЗ "Об информации" и "О связи" от отчаяния уже рвут tcp-raw в русской Сети, роняя кучу финтеховских и социально важных национальных сервисов, и только телеграм и винни-пухосос продолжают работать, работать и работать :)
620
16
Выжимка исследований с платного медиума. - Microsoft запретила использовать Claude Code из‑за неподъёмных счетов. - Uber за 4
Выжимка исследований с платного медиума. - 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 не исправляет, а лишь усиливает хаос. Он провоцирует на впечатления от всей этой суматохи, движухи и технических результатов, которые вы вроде бы производите с его помощью. Но вашим пользователям всё равно. Они никогда не увидят ваши спецификации, никогда не будут интересоваться вашим кодом, и им даже будет все равно, насколько умным вы себя считаете :) Позитивное восприятие продукта/сервиса конечным пользователем, прямое получение с помощью этого продукта нужных ему результатов -- это единственный простой и честный критерий твоего успеха.
559
17
Продолжаю работу с ментатами 🤓   С начала занятия в Лаборатии я уже сразу заметил существенное снижение экранного времени, но все равно за последние 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 т.р. в месяц...
532
18
. Облако драгоценностей за неделю. Приватный клуб. У Алана Кэя на днях спросили: может ли условный AI CLI заменить классическ
. Облако драгоценностей за неделю. Приватный клуб. У Алана Кэя на днях спросили: может ли условный 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 💪🏻 = Образование не заменяет ум -- то неуловимое качество, которое лишь частично определяется как способность разгадывать головоломки. Основная задача ума состоит в создании новых головоломок, когда чувства сообщают вам о недостаточности традиционных определений. Первый урок ментата, "Дюна"
558
19
Проанализировал свою рабочую активность за последний месяц, и с ужасом обнаружил такой факт, что я переключаюсь между контекс
Проанализировал свою рабочую активность за последний месяц, и с ужасом обнаружил такой факт, что я переключаюсь между контекстами в среднем раз в 1 минуту 47 секунд! То есть 14 раз за помидорку 25 минут. Какой позор. И это при том, что внутри помидорки я группирую переключения по ключам. То есть например если я переключаюсь 10 раз между вордом и конкретной вкладкой браузера, или между отладчиком и запускаемой программой, то это считается не 10 раз, а два. В целом правда, за все две с половиной тысячи помидорок, когда стал собирать статистику, где-то раз в 4 минуты, что тоже конечно ужос, но не так. Ну, да, слегка весной я расслабился :) Соберись, тряпка!
534
20
Мотивашка от Гранта Кардона "Правило в 10 раз больше" Оглянитесь вокруг, и вы увидите мир, который полон посредственных людей
Мотивашка от Гранта Кардона "Правило в 10 раз больше" Оглянитесь вокруг, и вы увидите мир, который полон посредственных людей, обыкновенного мышления и обычных — в лучшем случае — действий. А теперь заново посмотрите вокруг. На самом деле вы смотрите на людей, которые отказались от своей мечты, от своих стремлений и прекратили жить динамично и целеустремлённо. Вместо этого они готовы удовлетвориться тем, что, по их представлению, «нормально». Когда вы выбираете себе учителей, ищите выдающихся людей — тех, кто своим жизненным подходом возвышается над толпой. И не беспокойтесь о том, что они незаурядны или что вы не такие, как они. Думайте о том, как они действуют и каким образом вы могли бы действовать так же. В достижении успеха нет права выбора, и успех — не просто «один из возможных вариантов»; у вас есть долг — мыслить и действовать на верном уровне. Так что доведите дело до конца — ведь это ваша ответственность — и оставьте свой след на этой планете. И тогда, когда вы отслужите свой срок на Земле, вас будут помнить за то, что вы жили только звёздными мечтами и необыкновенными действиями. Помните: успех — это ваш долг, ваша обязанность и ваша ответственность. И если вы будете мыслить и действовать «десятикратно» — в стиле «в 10 раз больше», — то я уверен, что вы добьётесь успеха, который намного превысит даже ваши мечты!
584