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

Интеллектуальные лидеры Кремниевой долины развязали настоящую войну против самоанализа. Они пропагандируют неосознанную жизнь как главный способ повышения производительности!  JUST DO IT, типа. В приватном паблике разобрал это. Вот вирусное видео, набравшее более миллиона просмотров:"I Tried the World's Simplest Productivity Trick (it worked)" Люк Маккарти в нём рекомендует подолгу смотреть на стену: "Хотите верьте, хотите нет, но это помогло мне провести одну из самых продуктивных недель в моей жизни". И я читаю подобные рекомендации уже и у наших, известных авторитетных спортсменов например. И сегодня реально многие люди практикуют подобное - в частности во время авиаперелётов, когда проводят всё время полета, уставившись прямо перед собой. Они смотрят не на телеэкран, не в смартфон, и даже не в книгу или журнал -- они просто уставились в спинку сиденья. Конечно, тут можно легко приплести дзен, пустоту ума и призывы йогов отказываться от мыслей, однако 99,999% наших соплеменников надо научиться сперва эти мысли качественно формировать... Было бы от чего отказываться :)= Во время следующего перелёта или долгой поездки не надо пожалуйста тупо впериваться глазами в спинку сиденья (хотя, смартфон в такой ситуации пожалуй действительно хуже). Поверьте мне, во время длительного полёта, и ещё в десятках подобных ситуаций -- например, обеденный перерыв в парке -- вы получите гораздо больше пользы от хорошей художественной книги (например, цикла "Дюны"). Да и в целом, подумайте, например что если я почитаю книгу за чашечкой кофе вместо того, чтобы крутить соцсети или видео? Я так постоянно делаю, и мне это очень нравится.

А вы что, сейчас реально не работаете (на себя, близких, страну, а не на буржуев)?? Вот например мелокомягкий рисёч, вовсю пилят LeanAide всем разрабам на погибель :) Прямо сейчас пока ты тусишь, а твои конкуренты вовсю качаются в cs.Формализация перегонки естественного языка в код, учат аишку кодингу в зависимых типах на лине4. Ментатам в ФА вчера немного разобрал эту темку, плюсы и минусы.Самому Siddhartha Gadgil конечно большой респект, посмотрите его гитхаб, много ценного. Но на самом деле LeanAide -- это просто очередной инструмент, хоть и очень мощный. Стратегически надо качать мета-спеки, в конечном итоге к ним всё белковое и сведётся.

Гарри Поттер и Методы Математического МышленияКнига 1. Гарри Поттер и Неорганический Интеллект.Глава 9. Та, кто ждала у Зеркала.— Ты — отражение, — сказал Гарри.— Я — то, что Зеркало помнит о тех, кто в него смотрел, — ответила фигура. Ее голос был голосом Гермионы, но без интонаций. — Вы называете меня артефактом. Я — рекурсивная память магии. Я помню структуру заклинаний, которые нельзя записать.— Рекурсивный тип — это не бесконечность, — сказала она. — Это — петля. Неорганические создали себя из ошибки округления между двумя путями, которые реальность объявила одинаковыми. Их тип — тоже рекурсивный....Patronus Memoriae, — прошептал Гарри. — Защитник памяти.В его руке загорелся свет — не серебряный, как у обычного Патронуса, а прозрачный, как стекло Зеркала....Отец говорил про такое заклинание, — тихо сказал Драко. — Он говорил, что его нет в библиотеке, потому что оно — не заклинание. Оно — мета-заклинание. Тип типов....А на границе, где реальность расходится с собой, осталась тонкая трещина — ошибка округления, которую Неорганические не заметили, потому что у них нет глаз, чтобы смотреть в щели между мирами.

Реальность такова, что крупные технокомпании, удаляющие сегодня сотрудников десятками тысяч, работают с допустимой погрешностью. Они предполагают, что потеря горстки ключевых сотрудников, которых они по ошибке уволили вместе с массовкой, меркнет по сравнению с немедленной экономией средств от сокращения значительной части персонала. Бизнес всегда будет делать то, что лучше для его прибыли, и чем раньше вы примете тот факт, что вы просто девятизначный идентификационный номер сотрудника в корпоративной базе, тем больше контроля вы обретете над своей жизнью. Посмотрите все фильмы Фантоцци например. Такие компании структурно неспособны быть лояльными по отношению к вам и в любой миг могут выгнать вас на мороз одним пинком абсолютно несмотря на ваши заслуги, и осознание этого факта должно приносить вам невероятное облегчение. Это просто означает, что вы ничего не должны им взамен, кроме базового обмена вашего времени на деньги. "Прошел HR-скрининг в Яндекс, понял, что нет интереса и времени двигаться по их процессу в 4-5 собеседований (хоть они и сократили количество)." У Эрика Райса (автор бестселлера "Бережливый стартап", который оказал огромное влияние на мир ИТ-бизнеса) вышла на днях новая книга "Неподкупный"/ "Incorruptible". В ней разбирается в принципе очевидная истина, что капиталистическая система полна стимулов, которые заставляют менеджеров, руководствующихся благими намерениями, принимать краткосрочные, эгоистичные и пагубные решения. Пёсель получает пищу и думает, что его хозяин - всемогущее доброжелательное существо. Кот накормлен и думает, что так оно и должно быть, а хозяин - его раб.

Ну, с праздниками, православные: Неделя всех русских святых. Прорекламирую яндекс-конфу, они сами же нищие, не могут себя пропиарить. Про их ценную highload-тусовку сегодня случайно узнал, чеcтно: ментат вписался туда оффлайн (есть и онлайн). Бесплатно. infra.conf'26Конференция про создание и эксплуатацию высоконагруженных систем и инфраструктуры. Ладно, напишу правильным пацанам рекламу (но совсем не факт что конфа будет именно про это :) Сеньоры теряют сегодня статус не из-за некомпетентности, а потому что правила игры изменились. Теперь важнее не общий опыт, а глубокая специализация и мгновенная применимость в конкретном стеке компании. Раньше под сеньором подразумевалась широкая эрудиция, паттерны проектирования, менторство джунов. Сейчас сеньор -- это знание CI/CD, внутренних библиотек и багов конкретной компании с первой недели. Общая мудрость больше не котируется, ценятся гипер-специфичные знания. Как проваливаются сеньоры? Проектируют "правильную" систему, но совсем не ту, что ждут. Отвечают абстрактно вместо конкретных решений конкретно под чужую инфру. Не проходят собеседования, где от них требуют не теории, а готового решения их реальной проблемы. Вот на этой конфе вы это всё и узнаете! А может и не узнаете, я хз :)Но послушать рекомендую конечно.

PostgreSQL? Это выбор тех, кто не умеет программировать даже на коленке. Серьёзно, бро? Ты выбрал базу данных, где каждая UPDATE - это не обновление строки, а новая сущность, рождаемая в виде мёртвого кортежа. Ты хотел CRM? Поздравляю, ты получил фабрику по производству трупов строк. Пока твой autovacuum отчаянно пытается вывезти это кладбище, твоя таблица раздувается с 80 до 280 гигов. Двести восемьдесят! Ты думал, что мигрируешь на "взрослую" БД, а по факту завёл цифрового даунсайзингового монстра, который жрёт память, как подросток чипсы перед компом. И это ещё цветочки. Ты реально гордишься тем, что твой запрос выполняется 187 миллисекунд вместо 23? Поздравляю, ты только что изобрёл замедление как сервис. MySQL обрабатывал 15 тысяч запросов в секунду с улыбкой на лице, а твой свежеиспеченный PG тратит 40% процентов CPU на то, чтобы просто поздороваться с новым соединением. Сорок процентов, Карл! Ты бы ещё на ассемблере что-то писал. Если ты думал, что VACUUM - это милая процедура по уборке, спешу тебя разочаровать. Это чистилище для твоего железа. Когда твоя таблица достигает двух миллионов мёртвых кортежей (а с твоими 50к апдейтов в минуту - это вопрос 40 минут), твой сервер превращается в овощ, и запросы начинают ползти как черепахи в зоне турбулентности. И самое забавное - компании вкладывают в миграцию на постгрес десятки миллионов рублей! Ты мог бы оставить MySQL и купить на эти деньги Порш. Но нет, кто-то из менеджеров прочитал статью на хабре "ПоСтГрЕс - это эволяция". Теперь у тебя vacuum storm, твои инженеры не спят ночами, а ты думаешь: "А может, нам переехать на MongoDB?" Спойлер: не надо. А может, вообще хочешь почувствовать себя настоящим дауншифтером? Разнеси свой монолит на микросервисы, где у каждого свой инстанс PostgreSQL. Забудь про JOIN. Забудь про ACID. Твоя жизнь теперь - это бесконечные HTTP-запросы между сервисами. Запрашиваешь отчёт? Нет, ты вызываешь оркестратор, который звонит в сервис заказов, тот перезванивает в сервис юзеров, тот кл

Ещё трёх человек на неделе выгнал 🙈 Просто жаль, хорошие ребята... Милость привела их в мою Лабораторию ❤️ и больше такой возможности у них никогда не будет. Как говорит Мэд, "надеюсь он жив и просто сп**дил деньги и съе**лся, так как плохого никому не желаю."  :) Но в целом, три в неделю маловато, надо больше исключать, для чего занимаюсь бесконечным ужесточением правил занятий 👊 Почему так? Потому что я ищу и прокачиваю только тех, кто кто реально может стать ЭП, если также продолжит заниматься:И нашёл алмаз у вас в заметках по элитному программисту, который я начал использовать - метод [...]. Мне очень помогло, больше чтобы вернуться в конекст задач на следущий день. По курсам, работе, да чему угодно как я понял. 10/10!!! Я по статистике многих сотен занимавшихся фактически на 98% могу сказать буквально по первым абзацам общения, что чел не будет заниматься/вылетит. Рэдфлагов полно, например, если ник не норм "имя фамилия", то на 90% это будет слив/бан. А тем более по формату первых занятий, даю 98% неутешительный прогноз. Но к сож некоторые находят лазейки в правилах ) и воруют моё время, ну это чисто моя недоработка. Почему так всё плохо у ребят? Ну очевидно же. "Протез на здоровой конечности приведёт к ее атрофии. Протез на голове приведёт к атрофии разума. (Это то, что происходит гораздо дольше, чем существуют "искусственный интеллект", "пользовательские интерфейсы" или "GUI", но рост человеческой глупости/невежества в результате промышленной революции -- это новый вид бедствия для нашего слабоумного вида.)"Алан Кэй 24.05.26. В голове у бедолаг бесцельный поток мусорных мыслей, намешанных с подавленными эмоциями (уддхачча), ставший стандартным режимом мышления, потому что следуют неосознанно они по жизни, чего уж скрывать, методам и рекомендациям тиртхиков -- тех, кто обещает благополучно перевести через сансару, но по невежеству, а чаще умышленно, ведёт совсем не туда... База: в сансаре есть ровно два способа получения удовольствия.1. Удовольствие с послед

.Облако драгоценностей за неделю.Максимальная продолжительность любого курса теперь 90 дней, потом исключение.Приватный клуб."Если мы все будем уничтожены атомной бомбой, пусть эта бомба, когда она взорвётся, застанет нас за разумными и человеческими делами — молитвой, работой, преподаванием, чтением, прослушиванием музыки, купанием детей, игрой в теннис, беседой с друзьями за кружкой пива и игрой в дартс — а не за тем, что мы сбились в кучу как испуганные овцы и думали о бомбах. Они могут разрушить наши тела (это может сделать и микроб), но они не должны доминировать в нашем сознании." 1948Замените атомную бомбу на искусственный интеллект, и мы получим прекрасную рекомендацию, как проводить время в 2026-м году, несмотря на то, что мы всё ближе подходим к AGI, Скайнету и Матрице...Я написал на днях уже 1072-й пост и нажал кнопку "Опубликовать". Ну и? Кого я обманываю? Все мои заметки, гайды, курсы и книги уже были скопированы искусственным интеллектом без моего согласия...Для донов-начинающих: Я не сторонник игр с кодингом, где надо вручную код писать, потому что они подразумевают совершенно бессистемное развитие в теме и прививают крайне плохой стиль кодинга. Но с другой стороны, лучше так, чем никак :)Можете подобрать себе игру "в программирование" на любой вкус...База по карьере, серия 27:В то время, как ваше мудрое "я" будет знать, что именно так и должно быть, ваши менее мудрые "я" перейдут в режим экзистенциального кризиса. Все страхи, которые вы так предусмотрительно понизили в своём рейтинге, будут думать, что их кто-то уничтожает, и начнут пытаться позвонить 112. А те наши сущности, которым вы уделили приоритетное внимание, пока не почувствуют особого удовлетворения, и будут задаваться вопросом, а не ошибались ли они с самого начала в том, чего, как им казалось, они хотели...Для донов-неначинающих:89. Как развивать хакерское мышлениеПоводом к этому материалу стала консультация ребят, которые занимаются реверс-инжинирингом софта наших теперь уже недружествен

Поразмышлял письмом на тему спецификаций спецификаций [спецификаций спецификаций ...] мета-мета-мета- ...Сколь глубока это кроличья нора? Там же черепашки до самого низа? Ну, на самом деле да.Открылась бездна, звезд полна,Звездам числа нет, бездне дна.Увы, но желаемая полнота в общем случае неразрешима (привет от Гёделя).Бородатый пример -- система радиотерапии Therac-25, которая убивала пациентов. Код работал по спецификации, да только спецификация была неверной... А сколько сейчас такого вокруг нас, особенно с учётом вайбкодинга? да на каждом шагу.Формализация мета-спецификаций кстати существует давно, это вопрос философский :) Это т.н. refinement calculus, но по ним на вики крохотная заметка с упоминанием пары работы с семидесятых и девяностых и всё.При проектировании некомпьютерных КИИ (ядерная энергетика, авиация, оборона...) как правило применяется такой подход, когда несколько команд (две чаще всего, потому что сильно дорого) пишут свои независимые спецификации, которые затем сравниваются.Вместо полной спецификации можно делать нечто property-based (инвариантность, монотонность, идемпотентность, коммутативность), и я кстати к этому фактически и пришёл, разбираясь с формализацией агентских оркестраций, в том смысле что свойства должны быть композируемы.Но в любом случае каждую n-мета-спецификацию надо хотя бы минимально проверять на корректность через (n+1)-мета-спецификацию, и получаем тех самых черепашек, или фундаментальный предел формальной верификации -- проблема "specification gap". А на практике всё сводится в конечном итоге к человеческому намерению, которое неформально + недетерминировано + противоречиво + меняется со временем + у разных людей разное.И вот тут AI может стать весьма хорошим мостом между естественным языком и формальной спецификацией. Чел описывает намерение словами, AI предлагает формальную спецификацию, человек верифицирует что она соответствует намерению... и мы попадаем в ту самую темку AI-DSL и заветы Алана Кэя, о чём я уже много р

Вы же знаете, что в Claude Code можно включить режим привязки vim для редактирования текста в поле ввода? :)Используйте встроенную команду /vimЯ вообще очень топлю за полностью клавиатурный рабочий процесс и терминалы/консоли, это на самом деле существенно снижает когнитивную нагрузку. А вот обратная фича: встраиваем клода в vim.