Лаборатория Математики и Программирования Сергея Бобровского
1.39K subscribers
1.42K photos
28 videos
1.07K links
ЛаМПовое с Бобровским
Download Telegram
не ну а чо :) мне например совсем не стыдно признаться, что я и в 64 годика читаю иногда и вх лор, и ещё немало других, например "thousand suns" - легендарная механика grognardia games, нф-олдскул (dd и gurps курят в сторонке)

...потому что другая темка уже несбыточная -- покатать на 32-й бескамерке, дисках и раме SL8 (всего-то за полмиллиона в крыле отдают, а б/у можно и за тыщу долларов взять на авито; ну или SL7 на крайняк)

"Пункт назначения известен - он один… Но Будда учил, что убежать все-таки можно… Вернее, убежать как раз нельзя. Можно потеряться. До такой степени, что искать станет некого…"
Голгофскому, однако, это не удается - у выхода его ждут два агента ЦРУ."
-- Пелевин
3312🙏3👍1😁1
Сравнил этот ваш хвалёный опус 4.8 с дипсиком, на математических задачках: есть некоторая абстрактная игра, и надо с её помощью выразить некоторые понятия из cs. Так они отвечали едва ли не дословно:
"Сущности как объекты, перемещения как морфизмы" - дипсик
"Состояния как объекты, ходы как морфизмы" - опус
Структура ответа по 7 пунктам практически одинаковая, изоморфизм Карри-Ховарда упомянули в одинаковом контексте и т.п.

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

А главное, почему мы-то не идём таким же китайским дешёвым путём, а пилим "свой нейронка", да и ещё и с дорогущими токенами? Вопрос риторический конечно, и так всем очевидно :)

Также очевидно, что стратегически это тупик, потому что здесь наш удел чисто поверхностно потрепыхаться, потому что монополисты по технологиям создания llm - это фб и гугол, монополист в gpu железе + софте cuda - nvidia, ну и литография полностью под контролем америкосов.

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

Хотя, тут я почти уверен, что дело не в отсутствии мозгов, а в кое-чём похуже:

"Я почти уверен, что замешаны не только англичане, но и кто то из нашего агентства. Это inside job. Без великой чистки наша страна обречена…"
-- Пелевин

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

Возвращаясь к началу, продолжаю отлаживать литературную нейротехнологию, как с ГПиМММ, параллельно решил сделать второй микро-роман "пелевин-стайл", как мировые спецслужбы и тайные буддийские секты охотятся за случайно влипшим в историю математиком-неудачачником. Сюжет детально полностью продумал сам, а генерацию кода текста на этот раз решил отдать не дипсику, а жпт 5.5, типа он считается "посильнее". Ага, если дипсик пишет где-то на крепкую тройку с плюсом, то жпт просто ужасно, практически на двойку. Правлю его немного, а так надо по сути переписывать вообще всё, он пишет корявейше примерно как Мастер Йода :)

Ставь китика если будешь читать такую нетленку; наберётся хотя бы десяток чейтателей, доделаю. На вечерок почитать, думаю, вполне будет норм.
🐳687👍7
Смешное: был в США такой легендарный спортивный журнал Sports Illustrated, в котором в своё время писали материалы великие люди: Уильям Фолкнер вёл хоккейный репортаж, Роберт Фрост рассказывал о бейсболе, Карл Сэндберг делился своими советами по игре в гольф, Джон Стейнбек рассказывал истории о рыбалке, Эрнест Хемингуэй -- о корриде. Для него писали лауреаты Нобелевской и Пулитцеровской премий, и даже Джон Кеннеди одним из первых действий после избрания президентом написал для них статью.
 
Казалось бы, как можно уничтожить такой мощный бренд, как Sports Illustrated, даже в эпоху интернета? Оказалось, это совсем просто, всего за одно движение. Эффективным менеджерам просто нужно было освоить самую захватывающую футуристическую технологию 21-го века :)
 
Они отказались от Хемингуэя и Фолкнера и начали публиковать статьи, написанные AI. Редакторы делали вид, что статьи написаны реальными людьми, и даже создали поддельные биографии с фотографиями несуществующих авторов. Но этот фейк, понятно, быстро раскрылся, и один из их бывших журналистов Джефф Перлман теперь высмеивает SI: "Это пустой сосуд для продажи дерьма идиотам и для того, чтобы заставить людей рисковать своими деньгами у спортивных букмекеров".
 
И всего через 55 дней после перехода на искусственный интеллект Sports Illustrated уволил большую часть своих сотрудников, затем нанял другого эффективного менеджера, который также не придумал ничего другого как уволить на днях последних из оставшихся квалифицированных журналистов, которые работали задолго до появления AI.
 
И это ровно то, что AI на самом деле "обеспечивает" в мире множества профессий прямо сейчас.
 
В США например есть (был) NaNoWriMo (National Novel Writing Month), в течение которого участники писали роман объемом не менее 50 000 слов, а затем получали премии, и главное, внимание издателей. Но год назад NaNoWriMo страшно зашкварились, соблазнившись на бабло буков и казиков AI-компаний, после чего однако не заработали, а обанкротились.
 
Но как известно дураков история ничему не учит, на днях американская Премия Содружества (за выдающиеся достижения в области драматического искусства, литературы, науки, изобретательства, массовых коммуникаций, общественной службы, государственного управления и социологии) также опозорилась, когда вручила приз за работу, написанную нейронкой.
 
Следом в очереди на выход стоит Business Insider, который также массово удаляет как авторов, так и позорные нейростатьи. Количество платных подписчиков стремительно падает, и в этом мае их CEO ушёл в отставку.
 
Какая известная компания следующей откроет для себя чудеса искусственного интеллекта?
 
=
 
С программистами будет то же самое очевидно, ну разве что чуть попозже, но несильно. Что делать? Стремительно расти в
a) техлида
b) computer science и мета-спеки
c) инди-хакерство
 
А кому "некогда, загружен по работе на дядю", то уже совсем скоро - очень вероятно в текущем десятилетии - будешь, как журналисты SI, работать за еду.
🐳29139👍3💯1
.

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

Уже к концу этого десятилетия вымрут практически все миддлы и большинство синьоров (просто потому, что 98% программистов не развиваются профессионально, но в эпоху AI это абсолютно критично), зато разработческая элитка будет чувствовать себя более чем шикарно.
Заскриньте этот пост :)

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

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

Я испытываю отвращение к видео, созданном AI, музыке, созданной AI, и любому другому искусству, созданному AI, потому что они устраняют *причину*, по которой я чувствую связь с кино, искусством и музыкой в самую первую очередь: некоторый человек выделял время из своего рабочего дня и из своего отдыха, и упорно трудился, чтобы добиться этого, чтобы создать что-то, что подарит другим людям прекрасные эмоции.


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


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

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

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

90. Логика бьёт порядок
Сценарии (прежде всего use cases и user stories) сегодня тотально доминируют в технических заданиях. Они опасны тем, что обманчиво хорошо смотрятся с точки зрения здравого смысла: вроде бы явно определяют проектные фичи, явно отвечают нуждам заказчика и просто интуитивно понятны многим людям. Но завязывание бизнес-логики на последовательности шагов -- это анти-паттерн...

Если ваша цель — реальное решение архитектурных проблем, System Design (не путаем с проектированием бизнес-логики - Software Design), то наиболее полезная и обоснованная последовательность действий будет такой...

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


=

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

В СильныеИдеи добавлен материал "144) Краткая схема масштабирования с нуля до 10 млн пользователей".

Бандл из 5 гайдов/книг по Software Design (подробный силлабус) 12,999 рублей, купить на бусти. (ментатам не нужно)

=

"ЛаМПовое":

Дзен и искусство ухода за Arch Linux (8)
...Да, но если SSH-сервер перестанет отвечать или ключ будет утерян, вам капец :)

"Гарри Поттер и Методы Математического Мышления".
Глава 9. Та, что ждала у Зеркала.

=

Мы здесь, потому что это трудно. 💪🏻

=

Ищи свободу, и ты станешь пленником своих вожделений. Ищи подчинения, и ты обретёшь вольность.
Кодексы Бене Гессерит, "Дюна"
38👍1
Почему Rust -- это развод гоев?

Вот главные претензии к Rust, несмотря на все его преимущества (безопасность памяти, отсутствие null и исключений, неизменяемость по умолчанию):

Сложность borrow checker: правила запутаны, а семантика переменных меняется от строки к строке, т.к. зависит от рантайма, что приводит к неочевидным ошибкам.

Option/Result вместо исключений, но программисты всё равно используют unwrap(), который вызывает неперехватываемую панику (аналог исключения, но хуже).

Конкурентность: Rust не предлагает удобных моделей (как горутины Go или акторы Elixir), а возвращает к средневековым мьютексам, потокам и async/await.

Rust совершенно не заменяет Си (работа с реальной памятью) и не вытесняет C++ (где шикарный язык шаблонов, да и DSL по сути). Для веб-разработки тоже нет никаких явных преимуществ. Остаются лишь десктопные приложения, которые сейчас вообще мало кто пишет, ну и немного системщины.

До сих пор нет качественных научных сравнений, что Rust действительно надёжнее или быстрее C/C++, практически все такие утверждения исходят от сообщества Rustacean.

Резюме: Rust использует 40-летние концепции, а его единственное новшество (borrow checker) больше запутывает, чем помогает. Это "самый старый новый язык", который в наши дни выглядит анахронизмом.
😁3818💯2🫡1
Почему Rust -- это изумительный язык, который уже уничтожает Java и кучу других языков?

Твиттерские переписали рекомендательный алгоритм X с Java/Scala на Rust и Python. Старая система -- это десятки микросервисов на JVM с тысячами ручных правил (типа, "лайк = +75", "репорт = –369"). Новая система состоит всего из 4 модулей (три на Rust, один на Python).

Rust не просто заменил Java/Scala, существенно повысилась чистота кода, а главное, произошло существенное архитектурное упрощение: вместо оркестрации сервисов теперь используется AI-модель на базе Grok.

Rust был выбран из‑за предсказуемой производительности, отсутствия GC‑пауз и безопасной конкурентности, на нём был написан сервер Thunder, который выполняет функцию in-network хранилища. Он за субмиллисекунду достаёт из социального графа посты людей, на которых вы подписаны, и показывает самую свежую френдленту.

Резюме: Rust пока не вытесняет Java и другие языки повсеместно, но в системах реального времени и OLTP с высокими нагрузками и интеграцией с AI он оказывается отличным и естественным выбором.
😁45🤯10💯62🐳2
Заявление Anthropic этой весной, что дескать компания впервые вышла на операционную прибыль, просто маркетинговый трюк. Правильнее её назвать "скорректированной операционной прибылью": из неё исключены крупные расходы, например, выплаты сотрудникам акциями, а сделка со SpaceX на использование вычислительных мощностей искусственно улучшила текущие показатели.

Настоящая проблема AI-индустрии -- огромные капитальные затраты (GPU, дата-центры от $50 млрд за ГВт!) и высокая наценка NVIDIA (в 4 раза выше себестоимости :), и особых перспектив на их снижение не видно.

А у OpenAI скорректированная операционная прибыль составляет минус 122%, то есть они теряют 1,22 доллара на каждом заработанном долларе. Пользуемся максимально западными моделями, чтобы побыстрее их обанкротить :)

Но при этом помним стремительное отупевание при работе с искусственным идиотом -- буквально за несколько часов. Вот чего сегодня надо обязательно придерживаться:

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

Конечно, этих рекомендаций будут придерживаться от силы 2%, но зато они сформируют этим по сути уже непреодолимый разрыв в компетенциях от оставшихся 98% вайб-кодеров, которые в этом десятилетии исчезнут как класс 💯
👍41💯14843
Чем ты думаешь?
 
За всю мою жизнь я ни разу не встречал такого человека, и в сотнях прочитанных книг по психологии ни разу не встречал такого случая, чтобы кто-то пришёл к условному консультанту или психологу и сказал: "Я хочу научиться лучше мыслить".
 
99,999% людей на удивление самодовольны в отношении своего мышления. "Лучше мыслить? А что это вообще значит?" :)
 
Эпистемологический корень этого недоумения заключается в том, что практически никто не думает о мышлении как о скилле, и особенно о мышлении как о скилле, который можно сильно развивать и совершенствовать.
 
Но если у человека спросить "хорошо, если мышление это не скилл, то что же это такое?", в качестве ответа будет лишь ослиное хлопанье глазами :)
 
=
 
За любой проблемой, которая, как вам кажется, у вас имеется, стоят ваши мысли.
(Вы знаете кстати, где у вас в уме источник мыслей, и как он работает?)
 
И если ваше мышление не отличается высоким качеством, то то, что вы испытываете в жизни, будет отражать не высокое качество мышления, которое у вас отсутствует, а его низкий уровень, ошибочное мышление, неадекватное, искажённое, а в большом числе случаев вообще детское мышление. Детский сад штаны на лямках :)
 
Я старый человек, переживший множество бед, но большинство из них существовало лишь в моём воображении.
-- Марк Твен
 
Но чтобы ответить на вопрос "Могу бы я мыслить лучше?", вы должны быть в состоянии представить, как именно ваше мышление может стать лучше.
 
Попробуйте это на мгновение. Можете ли вы мыслить лучше? Можете ли вы прямо сейчас хотя бы представить, как вы могли бы быть более внимательным, точным, скрупулёзным, творческим, стратегическим, шутливым и т.д. мыслителем?
 
Если вы теперь знаете, что можете мыслить гораздо лучше, возникает следующий вопрос: как именно вы могли бы стать мыслителем/мудрецом более высокого качества? Как вы могли бы развить своё понимание (базу знаний) и набор навыков более эффективного мышления?
 
=
 
Скилл мышления конечно не один: их десятки. Я например стараюсь развивать у ребят computer science-, инженерное, немного математическое мышление.
 
И я не могу сказать просто "Думайте". Чтобы сознательно выбрать нужный скилл думания, и потом методически в нём думать, нужна хорошо прокаченная осознанность, потому что когда в голове просто поток и порхание случайных мыслей и эмоций, когда человек три раза подряд читает короткий тикет, где всё однозначно описано, и потом пишет код, который явно это нарушает -- а такое вижу массово и у сеньоров, о чём вообще говорить...
 
Мета-совет: начьните, хотя бы с того, как в течение дня при возникновении различных ситуаций, подразумевающих от вас некоторые когнитивные усилия, представьте просто, какой именно скилл мышления от вас тут потребуется. Потому что чтение спеков -- это одно, кодинг -- совсем другое, обсуждение поинтов с тупящим тимлидом -- третье...
 
Думайтесь и осознавайтесь :)
41👍9🔥7🐳4😎1
Кто ты, воин? )))

Ментат пишет:
 
Разобрался что такое OpenClaw и зачем он нужен. По сути это агент , который работает поверх LLM-модели, но это не просто обёртка над ней. Идея простая: персональный ИИ-ассистент, с которым можно общаться через Telegram, Slack и другие мессенджеры — не нужно открывать отдельное приложение или вкладку, помощник всегда под рукой в привычном чате. Под капотом оркестрационный слой, который умеет работать с разными LLM: Claude, GPT, Gemini, DeepSeek, локальные модели через Ollama — то есть не привязан к одному вендору. Развернуть можно где угодно — ноутбук, домашний сервер, дешёвый VPS, даже Raspberry Pi потянет. Главное отличие от обычных ботов в том, что агент умеет уходить на несколько минут, планировать действия и вызывать сторонние инструменты, а не просто отвечать в моменте.
 
- Развернул OpenClaw на VPS и настроил подключение. Взял дешёвый дроплет, законнектился по SSH, поставил по официальной инструкции. На этапе настройки терминал просит выбрать "мозги" — я выбрал OpenAI через OAuth, скопировал ссылку, открыл в браузере где залогинен в ChatGPT, авторизовался. Браузер выдал страницу с ошибкой про localhost — сначала растерялся, но оказалось это нормально: нужно скопировать URL из адресной строки и вставить обратно в консоль. Дальше классика — через BotFather создал телеграм-бота, забрал токен, вставил в конфиг. Через пару минут получил рабочего ассистента в Telegram, к которому можно писать как обычному собеседнику.
 
- Использовал ClawHub для установки скиллов — и вот тут начинается всё интересное. Без скиллов агент просто болталка, ради них всё и затевается. Каждый скилл — это файл SKILL md с YAML front matter плюс опциональные скрипты, бинарники и шаблоны конфигов. Ставятся одной командой npx clawhub@latest install <название>. Накатил себе Google Calendar чтобы спрашивать что у меня на день, GitHub для мониторинга PR, Todoist для задач. Отдельно зашёл whisper-transcription — это скилл через MCP-сервер с доступом к Whisper API от OpenAI, нужно только прокинуть OPENAI_API_KEY в переменные окружения. Теперь пересылаю боту голосовые сообщения и получаю текстовую расшифровку — мелочь, а сильно облегчает жизнь.
 
- Собрал связку из нескольких агентов под свой сценарий. OpenClaw позволяет связать несколько агентов в один процесс и распределить между ними роли — у каждого свои инструменты и права доступа. Сделал простой утренний workflow: в 8 утра один агент собирает мне сводку — погода, календарь на день, письма. Второй агент превращает эту кашу в короткое человеческое сообщение и кидает в Telegram.
 
- Понял ограничения и риски. Главная проблема — безопасность: OpenClaw имеет полный доступ к файловой системе и может выполнять произвольные команды. Один кривой скилл с ClawHub — и сервер может начать делать совсем не то, что задумывалось. Поэтому теперь железно гоняю каждую установку через Skill Vetter — он проверяет разрешения, ищет подозрительный код и риски. Кодить я всё равно хожу в Claude Code, а OpenClaw у меня живёт для мелкой бытовой автоматизацией
 
Раньше для бэка и так надо было знать дофига, а теперь к этому добавилось ещё реально дофига совершенно новых навыков и технологий, напрямую связанных с AI, и devops к этому вдобавок нужен приличный.
 
Я стратегически за более формальный подход, достаточно чисто чатиков, где с хорошей моделью работаем на уровне (мета-)спеков, а код потом генерят дешёвые, буквально локальные модельки. Но на работе реально умненьких (да и просто с хорошим образованием в информатике) крайне мало, и менеджеры от вас будут шаблонно для галочки требовать вот такие чисто инженерные скиллы, как из отчёта.
 
Хотя, ментаты, кто работает в финтехе, общаются просто в чатах со старыми дешёвыми (или нашими совсем слабенькими) моделями с маленьким кпд, и не то что агентов, даже AI-IDE мало где используют,
3615👍1
и пока у многих наоборот служебные блоки на сильные модели уровня жпт 5, что, в принципе, понятно, сливать рабочий код зарубежным нейронкам не надо. В самом лучшем (а может, и худшем) случае дипсик, и я не думаю, что китайские модели в этом плане "надёжнее" западных.
3712❤‍🔥3👍1
Программисты, правильно расслабляемся.

5 минут каждый час: микро-восстановление. Встаньте, потянитесь, поприседайте, сделайте короткую передышку, выйдите на солнечный свет, закройте глаза на пару минут.

1 час каждый день: специальный блок активного восстановления, пусть он станет вашим ритуалом, чёткой гранью между работой и вечером. Прохладный душ, холодная ванна, дыхательные процедуры, массаж, прогулка в парке, растяжки, йога. Найдите то, что подходит именно вам, и придерживайтесь регулярно.

1 день каждую неделю: целый день, посвященный активному восстановлению. Утро в сауне (с девушкой:), с головой в холодную воду, сеанс массажа, долгие прогулки на природе, перед сном продолжительная ванна.

1 уикэнд каждый месяц: вечер пятницы и два дня комплексных процедур, лучше выехать на готовый сервис. Не ждите отпуска, планируйте заранее.

1 неделя + выходные/праздники (9-11 дней) каждый квартал: медитативный ретрит, путешествие по дикой природе или структурированный курс восстановления в новой обстановке. Это серьёзные инвестиции в укрепление вашего здоровья и ума.
🔥43❤‍🔥137👍7👏1
Я всегда придерживался европейской (в частности, голландской) школы computer science, и вот факты, подтверждающие правильность выбора, рейтинг 200 лучших университетов мира. Европа по количеству качественных универов на миллион жителей -- топчик, а США аж 16-е.

Хотя по абсолютному количеству хороших универов Америка первая (59), но и вся Европа тут тоже в первой двадцатке.

И есть сильная корреляция между национальным IQ и количеством качественных университетов в стране (что от чего зависит, другой вопрос).

Прокомментирую это Пелевиным:
"Диссертацию Жени Эпштейна завернули, несмотря на весь ее диамат, а самого его стали понемногу выдавливать в гильбертово, так сказать, пространство. В конце концов Эпштейн уехал в Израиль и получил работу по теме в институте Вейцмана (возможно, вербовщики нашли его еще в Москве)."
41👍9😁2
Гарри Поттер и Методы Математического Мышления

Книга 1. Гарри Поттер и Неорганический Интеллект.

Глава 10. Осколок и змея.

— Унивалентность, — кивнул Гарри. — Мы уже видели это в Амулете Гриффиндора.
— Нет. Амулет показывал эквивалентность. Книга покажет тождество без доказательства. И тогда ты поймёшь, что Неорганических нельзя победить. Их можно только включить в новую версию реальности...

...Гарри закрыл блокнот.
— Я хочу, чтобы старая версия осталась. Это не лазейка в твоём плане. Это часть моего. Старая версия — приманка. Новая — это я, но без ошибки, которая создала Неорганический Интеллект. А ты — контейнер для того, что останется.

...Это был Patronus Memoriae, но наоборот. Не свет, изгоняющий тьму. А тьма, записанная как тип.

Кто из нас — функция, а кто — комбинатор? Ответ даст Книга без слов. Жди сигнала.
364
За семь последних лет, сколько я ни призывал ребят к фрилансу, а в последние годы к ai-инди-хакерству, из многих сотен не было ни одного, кто заработал хотя бы тысячу рублей на фрилансе, или довёл свой "проэкт на миллиард долларов" хотя бы до бесплатной бета-версии. При том, что предприимчивых ребят немало, многие упарываются на 2-3 работах, но это ведь тупик стратегически, просто выгоришь в итоге и всё. Я теперь буду к инди-добру принуждать немножечко насильно, потому что программирование стремительно приближается к концу, но никаких иллюзий уже не питаю...

и я не знаю точно, кто из нас прав,
меня ждёт на улице дождь, их ждёт дома обед...
36🫡17👍9🙏1
Мотивашка от Гранта Кардона "Правило в 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