Pydantic проверяет форму данных (типы, диапазоны -- pre/post по сути) для одного вызова.
Всяческие NeMo, Llama Guard, Outlines/LMQL проверяют выходы LLM по JSON-схеме, что по сути то же самое.
А Мили-машина добавляет инвариант на состоянии между вызовами, что ловит целые классы багов, которые Pydantic не видит: "бюджет на токены ушёл в минус через хитрую последовательность агентов" :) И главное, все эти "фильтры в цепочке" чистая инженерия, а правильно, когда " контракт компонента А + контракт компонента Б + ... + компонента Я = автоматический контракт композиции".
Поясняю в ФА, как избавиться от этого слабого места всех guardrail-фреймворков (stateful-инварианты и композиция контрактов): Мили-машина, композиции раннеров...
Всяческие NeMo, Llama Guard, Outlines/LMQL проверяют выходы LLM по JSON-схеме, что по сути то же самое.
А Мили-машина добавляет инвариант на состоянии между вызовами, что ловит целые классы багов, которые Pydantic не видит: "бюджет на токены ушёл в минус через хитрую последовательность агентов" :) И главное, все эти "фильтры в цепочке" чистая инженерия, а правильно, когда " контракт компонента А + контракт компонента Б + ... + компонента Я = автоматический контракт композиции".
Поясняю в ФА, как избавиться от этого слабого места всех guardrail-фреймворков (stateful-инварианты и композиция контрактов): Мили-машина, композиции раннеров...
👍34🔥8❤3✍2🤯2
Продолжаю работу с ментатами 🤓
( мда, а уж как сорм-кураторы выгорают от математики и кампутер сайнса 🙈 )
...В старой версии моего pet-проекта в ECS для перечисления всех сущностей с заданной комбинацией компонентов использовались итераторы. Код выглядел ужасно. Теперь я использую ranges из C++23: пайпы с ленивыми map и filter. Две строки кода, вместо целого файла, и ни одного лишнего класса.
...Когда я читал первые части про HoTT, я подумал: "Кажется, эта модель мышления именно то, чего не хватало для представления и выражения структурной связанности между разными структурами данных, как типами."
Я вспомнил про АТД, про триплы Хоара, про то, что это очень полезные штуки для нагнетания локальной формальности в частях системы, домена. Это не критика Майера или Хоара, просто это разные уровни - мета, и... походу, HoTT это даже не мета-мета модель, а фундаментальная модель математического мышления. SoTA – это надо впитывать.
Ваша степень изложения прекрасна, примеры очень хороши. Вы проделали большую работу, и связь с "прикладным" чувствуется уже по первым этим материалам.
...Все-таки в первой итерации я ошибочно полагал, что у меня работает Redis
По факту он был неверно настроен и я получил опыт работы с консолью с выявлением включей редиса
То бишь на момент вчера у меня ключи запросов вообще никакие не сохранялись, а теперь их целая плеяда
...Но это конечно всё меркнет перед первыми инсайтами от ФП. Когда я читал ваш про ваши курсы перед отправкой заявки, я думал апогеем будет третий курс по ООАП. Он мне понравился, но я почему то ждал каких то приёмов мышления, как вы в серии про распределённые системы использовали моноиды для формализации мерджинга состояний. Ну вот они в целом :) Я интуитивно шёл почему-то, что мы берём имеющиеся свойства чего то, видим это в домене и реализуем в языке. ООП паттерны, как мне это видится на моём текущем уровне, глобально так не меняют мышление. А моноиадьные трансформеры или free monad/extensible effects это, конечно, да....
Мне сложно, конечно, представить, сколько надо идти к такому абстракному мышлению категориями, но выглядит это очень интересно.
Забавно, что ответ в той самой математике, от которой я бегал в универе. Но я был глуп, признаю. Пока я только в Playwright увидел, что локатор в Playwright ведёт себя как bind в ListMonad, применяя следущий локатор ко всем имеющимся элементам + флэт :)
=
Занятия теннисом в группе, пару раз в неделю -- 100 тыс. рублей в месяц. Индивидуалка -- 100 долларов за 45 минут. А когда реально растёшь на мастерском уровне, дальше надо ехать в европы, и будет вообще ооочень дорого.
Я же помогаю желающим ментатам индивидуально по карьере бесплатно, групп у меня вообще не было никогда, и при этом 70% отказываются от помощи, и выбирают режим "ясама". Потому что, чаще всего, "нету времени, загружен на работе". Ну ok, хотите превращать себя в плавно отупающую машину с нулевыми перспективами, особенно на фоне темки AI, чисто для зоробатывания бабла вашему рабовладельцу, ваше дело :)
( мда, а уж как сорм-кураторы выгорают от математики и кампутер сайнса 🙈 )
...В старой версии моего pet-проекта в ECS для перечисления всех сущностей с заданной комбинацией компонентов использовались итераторы. Код выглядел ужасно. Теперь я использую ranges из C++23: пайпы с ленивыми map и filter. Две строки кода, вместо целого файла, и ни одного лишнего класса.
...Когда я читал первые части про HoTT, я подумал: "Кажется, эта модель мышления именно то, чего не хватало для представления и выражения структурной связанности между разными структурами данных, как типами."
Я вспомнил про АТД, про триплы Хоара, про то, что это очень полезные штуки для нагнетания локальной формальности в частях системы, домена. Это не критика Майера или Хоара, просто это разные уровни - мета, и... походу, HoTT это даже не мета-мета модель, а фундаментальная модель математического мышления. SoTA – это надо впитывать.
Ваша степень изложения прекрасна, примеры очень хороши. Вы проделали большую работу, и связь с "прикладным" чувствуется уже по первым этим материалам.
...Все-таки в первой итерации я ошибочно полагал, что у меня работает Redis
По факту он был неверно настроен и я получил опыт работы с консолью с выявлением включей редиса
То бишь на момент вчера у меня ключи запросов вообще никакие не сохранялись, а теперь их целая плеяда
...Но это конечно всё меркнет перед первыми инсайтами от ФП. Когда я читал ваш про ваши курсы перед отправкой заявки, я думал апогеем будет третий курс по ООАП. Он мне понравился, но я почему то ждал каких то приёмов мышления, как вы в серии про распределённые системы использовали моноиды для формализации мерджинга состояний. Ну вот они в целом :) Я интуитивно шёл почему-то, что мы берём имеющиеся свойства чего то, видим это в домене и реализуем в языке. ООП паттерны, как мне это видится на моём текущем уровне, глобально так не меняют мышление. А моноиадьные трансформеры или free monad/extensible effects это, конечно, да....
Мне сложно, конечно, представить, сколько надо идти к такому абстракному мышлению категориями, но выглядит это очень интересно.
Забавно, что ответ в той самой математике, от которой я бегал в универе. Но я был глуп, признаю. Пока я только в Playwright увидел, что локатор в Playwright ведёт себя как bind в ListMonad, применяя следущий локатор ко всем имеющимся элементам + флэт :)
=
Занятия теннисом в группе, пару раз в неделю -- 100 тыс. рублей в месяц. Индивидуалка -- 100 долларов за 45 минут. А когда реально растёшь на мастерском уровне, дальше надо ехать в европы, и будет вообще ооочень дорого.
Я же помогаю желающим ментатам индивидуально по карьере бесплатно, групп у меня вообще не было никогда, и при этом 70% отказываются от помощи, и выбирают режим "ясама". Потому что, чаще всего, "нету времени, загружен на работе". Ну ok, хотите превращать себя в плавно отупающую машину с нулевыми перспективами, особенно на фоне темки AI, чисто для зоробатывания бабла вашему рабовладельцу, ваше дело :)
1❤31✍12🔥6👍1🥰1
Вы же знаете, что в Claude Code можно включить режим привязки vim для редактирования текста в поле ввода? :)
Используйте встроенную команду
Я вообще очень топлю за полностью клавиатурный рабочий процесс и терминалы/консоли, это на самом деле существенно снижает когнитивную нагрузку.
А вот обратная фича: встраиваем клода в vim.
Используйте встроенную команду
/vimЯ вообще очень топлю за полностью клавиатурный рабочий процесс и терминалы/консоли, это на самом деле существенно снижает когнитивную нагрузку.
А вот обратная фича: встраиваем клода в vim.
❤37👍3✍1
Поразмышлял письмом на тему спецификаций спецификаций [спецификаций спецификаций ...]
мета-мета-мета- ...
Сколь глубока это кроличья нора? Там же черепашки до самого низа? Ну, на самом деле да.
Открылась бездна, звезд полна,
Звездам числа нет, бездне дна.
Увы, но желаемая полнота в общем случае неразрешима (привет от Гёделя).
Бородатый пример -- система радиотерапии Therac-25, которая убивала пациентов. Код работал по спецификации, да только спецификация была неверной... А сколько сейчас такого вокруг нас, особенно с учётом вайбкодинга? да на каждом шагу.
Формализация мета-спецификаций кстати существует давно, это вопрос философский :) Это т.н. refinement calculus, но по ним на вики крохотная заметка с упоминанием пары работы с семидесятых и девяностых и всё.
При проектировании некомпьютерных КИИ (ядерная энергетика, авиация, оборона...) как правило применяется такой подход, когда несколько команд (две чаще всего, потому что сильно дорого) пишут свои независимые спецификации, которые затем сравниваются.
Вместо полной спецификации можно делать нечто property-based (инвариантность, монотонность, идемпотентность, коммутативность), и я кстати к этому фактически и пришёл, разбираясь с формализацией агентских оркестраций, в том смысле что свойства должны быть композируемы.
Но в любом случае каждую n-мета-спецификацию надо хотя бы минимально проверять на корректность через (n+1)-мета-спецификацию, и получаем тех самых черепашек, или фундаментальный предел формальной верификации -- проблема "specification gap". А на практике всё сводится в конечном итоге к человеческому намерению, которое неформально + недетерминировано + противоречиво + меняется со временем + у разных людей разное.
И вот тут AI может стать весьма хорошим мостом между естественным языком и формальной спецификацией. Чел описывает намерение словами, AI предлагает формальную спецификацию, человек верифицирует что она соответствует намерению... и мы попадаем в ту самую темку AI-DSL и заветы Алана Кэя, о чём я уже много раз писал. Это я уже по третьему ортогональному направлению тут разбираюсь, и каждый раз прихожу к одному и тому же :)
Мета-спецификации не решают проблему черепашек, но они её структурируют. Фишка не в том чтобы верифицировать всё "до самого низа", а в том, чтобы явно обозначить, где заканчивается формальное, и начинается человеческое. Точнее не где заканчивается, а где его оптимальнее всего закончить и, главное, как.
И это место - граница между намерением и формализацией - по сути Священный Грааль всей программной инженерии. И самое наименее изученное.
Ну ok, вызов принят, формальная философия ведь тоже наша любимая темка )
мета-мета-мета- ...
Сколь глубока это кроличья нора? Там же черепашки до самого низа? Ну, на самом деле да.
Открылась бездна, звезд полна,
Звездам числа нет, бездне дна.
Увы, но желаемая полнота в общем случае неразрешима (привет от Гёделя).
Бородатый пример -- система радиотерапии Therac-25, которая убивала пациентов. Код работал по спецификации, да только спецификация была неверной... А сколько сейчас такого вокруг нас, особенно с учётом вайбкодинга? да на каждом шагу.
Формализация мета-спецификаций кстати существует давно, это вопрос философский :) Это т.н. refinement calculus, но по ним на вики крохотная заметка с упоминанием пары работы с семидесятых и девяностых и всё.
При проектировании некомпьютерных КИИ (ядерная энергетика, авиация, оборона...) как правило применяется такой подход, когда несколько команд (две чаще всего, потому что сильно дорого) пишут свои независимые спецификации, которые затем сравниваются.
Вместо полной спецификации можно делать нечто property-based (инвариантность, монотонность, идемпотентность, коммутативность), и я кстати к этому фактически и пришёл, разбираясь с формализацией агентских оркестраций, в том смысле что свойства должны быть композируемы.
Но в любом случае каждую n-мета-спецификацию надо хотя бы минимально проверять на корректность через (n+1)-мета-спецификацию, и получаем тех самых черепашек, или фундаментальный предел формальной верификации -- проблема "specification gap". А на практике всё сводится в конечном итоге к человеческому намерению, которое неформально + недетерминировано + противоречиво + меняется со временем + у разных людей разное.
И вот тут AI может стать весьма хорошим мостом между естественным языком и формальной спецификацией. Чел описывает намерение словами, AI предлагает формальную спецификацию, человек верифицирует что она соответствует намерению... и мы попадаем в ту самую темку AI-DSL и заветы Алана Кэя, о чём я уже много раз писал. Это я уже по третьему ортогональному направлению тут разбираюсь, и каждый раз прихожу к одному и тому же :)
Мета-спецификации не решают проблему черепашек, но они её структурируют. Фишка не в том чтобы верифицировать всё "до самого низа", а в том, чтобы явно обозначить, где заканчивается формальное, и начинается человеческое. Точнее не где заканчивается, а где его оптимальнее всего закончить и, главное, как.
И это место - граница между намерением и формализацией - по сути Священный Грааль всей программной инженерии. И самое наименее изученное.
Ну ok, вызов принят, формальная философия ведь тоже наша любимая темка )
❤36✍16🔥2😇1
.
Облако драгоценностей за неделю.
Максимальная продолжительность любого курса теперь 90 дней, потом исключение.
Приватный клуб.
"Если мы все будем уничтожены атомной бомбой, пусть эта бомба, когда она взорвётся, застанет нас за разумными и человеческими делами — молитвой, работой, преподаванием, чтением, прослушиванием музыки, купанием детей, игрой в теннис, беседой с друзьями за кружкой пива и игрой в дартс — а не за тем, что мы сбились в кучу как испуганные овцы и думали о бомбах. Они могут разрушить наши тела (это может сделать и микроб), но они не должны доминировать в нашем сознании." 1948
Замените атомную бомбу на искусственный интеллект, и мы получим прекрасную рекомендацию, как проводить время в 2026-м году, несмотря на то, что мы всё ближе подходим к AGI, Скайнету и Матрице...
Я написал на днях уже 1072-й пост и нажал кнопку "Опубликовать". Ну и? Кого я обманываю? Все мои заметки, гайды, курсы и книги уже были скопированы искусственным интеллектом без моего согласия...
Для донов-начинающих:
Я не сторонник игр с кодингом, где надо вручную код писать, потому что они подразумевают совершенно бессистемное развитие в теме и прививают крайне плохой стиль кодинга. Но с другой стороны, лучше так, чем никак :)
Можете подобрать себе игру "в программирование" на любой вкус...
База по карьере, серия 27:
В то время, как ваше мудрое "я" будет знать, что именно так и должно быть, ваши менее мудрые "я" перейдут в режим экзистенциального кризиса. Все страхи, которые вы так предусмотрительно понизили в своём рейтинге, будут думать, что их кто-то уничтожает, и начнут пытаться позвонить 112. А те наши сущности, которым вы уделили приоритетное внимание, пока не почувствуют особого удовлетворения, и будут задаваться вопросом, а не ошибались ли они с самого начала в том, чего, как им казалось, они хотели...
Для донов-неначинающих:
89. Как развивать хакерское мышление
Поводом к этому материалу стала консультация ребят, которые занимаются реверс-инжинирингом софта наших теперь уже недружественных друзей, которые сбежали, наплевав на все платные лицензии...
А ты 20 летний сейчас по большей части плывешь по течению и раздумываешь. Ты недостаточно думаешь о подобной макрооптимизации. Ты пытаешься найти способ написать хорошую курсовую, занимаешься микрооптимизацией, но не ищешь ответ на вопрос: "Какие у меня цели в жизни и каким образом мне быстрее их достичь?"...
Если вы когда-либо достаточно профессионально работали с искусственным интеллектом, вам знакомо это чувство. Вы начинаете утро с чёткого плана. Запускаете несколько агентов, и пьёте кофе ...Затем, примерно в 10:30 утра, вы поднимаете глаза и обнаруживаете, что у вас открыто 20 окон терминала. Один агент заблокирован, ожидая решения, которое вы забыли принять. Другой завершил работу 40 минут назад, а вы и не заметили. Третий вышел из строя три коммита назад. Ты уже не расслабляешься -- паника!
(все старые материалы для донов быстро сгорают)
Бандл из 5 гайдов/книг по Software Design (подробный силлабус) 12,999 рублей, купить на бусти. (ментатам не нужно)
=
Новые материалы для ментатов Лаборатории.
В раздел "Элитный программист" добавлен материал
95) Абсолютная база для deep work и состояния потока - 2
Оптимизировать другие параметры максимальной производительности, не блокируя самый главный источник отвлечений вашего внимания в современном мире -- всё равно что пытаться стать здоровее, совершенствуя свою форму с помощью упражнений на бицепсы, и каждый день питаясь в Маке...
=
"ЛаМПовое":
Дзен и искусство ухода за Arch Linux (7)
При настройке VPS под свою профессиональную деятельность, безопасность - первоочередная задача.
"Гарри Поттер и Методы Математического Мышления".
Глава 8. Тень от вопроса.
=
Лаборатория идёт со скоростью самых лучших ментатов 💪🏻
(продолжаю бесконечное ужесточение правил занятий :)
=
Ментат застревает на логике, у него нет сердца. Он видит процесс в его подробностях и боится неудачи. Мы откроем окна и впустим в помещение свежий воздух здравого смысла. Мы готовы даже на жизнерадостность.
Бене Гессерит, "Дюна"
Облако драгоценностей за неделю.
Максимальная продолжительность любого курса теперь 90 дней, потом исключение.
Приватный клуб.
"Если мы все будем уничтожены атомной бомбой, пусть эта бомба, когда она взорвётся, застанет нас за разумными и человеческими делами — молитвой, работой, преподаванием, чтением, прослушиванием музыки, купанием детей, игрой в теннис, беседой с друзьями за кружкой пива и игрой в дартс — а не за тем, что мы сбились в кучу как испуганные овцы и думали о бомбах. Они могут разрушить наши тела (это может сделать и микроб), но они не должны доминировать в нашем сознании." 1948
Замените атомную бомбу на искусственный интеллект, и мы получим прекрасную рекомендацию, как проводить время в 2026-м году, несмотря на то, что мы всё ближе подходим к AGI, Скайнету и Матрице...
Я написал на днях уже 1072-й пост и нажал кнопку "Опубликовать". Ну и? Кого я обманываю? Все мои заметки, гайды, курсы и книги уже были скопированы искусственным интеллектом без моего согласия...
Для донов-начинающих:
Я не сторонник игр с кодингом, где надо вручную код писать, потому что они подразумевают совершенно бессистемное развитие в теме и прививают крайне плохой стиль кодинга. Но с другой стороны, лучше так, чем никак :)
Можете подобрать себе игру "в программирование" на любой вкус...
База по карьере, серия 27:
В то время, как ваше мудрое "я" будет знать, что именно так и должно быть, ваши менее мудрые "я" перейдут в режим экзистенциального кризиса. Все страхи, которые вы так предусмотрительно понизили в своём рейтинге, будут думать, что их кто-то уничтожает, и начнут пытаться позвонить 112. А те наши сущности, которым вы уделили приоритетное внимание, пока не почувствуют особого удовлетворения, и будут задаваться вопросом, а не ошибались ли они с самого начала в том, чего, как им казалось, они хотели...
Для донов-неначинающих:
89. Как развивать хакерское мышление
Поводом к этому материалу стала консультация ребят, которые занимаются реверс-инжинирингом софта наших теперь уже недружественных друзей, которые сбежали, наплевав на все платные лицензии...
А ты 20 летний сейчас по большей части плывешь по течению и раздумываешь. Ты недостаточно думаешь о подобной макрооптимизации. Ты пытаешься найти способ написать хорошую курсовую, занимаешься микрооптимизацией, но не ищешь ответ на вопрос: "Какие у меня цели в жизни и каким образом мне быстрее их достичь?"...
Если вы когда-либо достаточно профессионально работали с искусственным интеллектом, вам знакомо это чувство. Вы начинаете утро с чёткого плана. Запускаете несколько агентов, и пьёте кофе ...Затем, примерно в 10:30 утра, вы поднимаете глаза и обнаруживаете, что у вас открыто 20 окон терминала. Один агент заблокирован, ожидая решения, которое вы забыли принять. Другой завершил работу 40 минут назад, а вы и не заметили. Третий вышел из строя три коммита назад. Ты уже не расслабляешься -- паника!
(все старые материалы для донов быстро сгорают)
Бандл из 5 гайдов/книг по Software Design (подробный силлабус) 12,999 рублей, купить на бусти. (ментатам не нужно)
=
Новые материалы для ментатов Лаборатории.
В раздел "Элитный программист" добавлен материал
95) Абсолютная база для deep work и состояния потока - 2
Оптимизировать другие параметры максимальной производительности, не блокируя самый главный источник отвлечений вашего внимания в современном мире -- всё равно что пытаться стать здоровее, совершенствуя свою форму с помощью упражнений на бицепсы, и каждый день питаясь в Маке...
=
"ЛаМПовое":
Дзен и искусство ухода за Arch Linux (7)
При настройке VPS под свою профессиональную деятельность, безопасность - первоочередная задача.
"Гарри Поттер и Методы Математического Мышления".
Глава 8. Тень от вопроса.
=
Лаборатория идёт со скоростью самых лучших ментатов 💪🏻
(продолжаю бесконечное ужесточение правил занятий :)
=
Ментат застревает на логике, у него нет сердца. Он видит процесс в его подробностях и боится неудачи. Мы откроем окна и впустим в помещение свежий воздух здравого смысла. Мы готовы даже на жизнерадостность.
Бене Гессерит, "Дюна"
❤33👍7
Ещё трёх человек на неделе выгнал 🙈
Просто жаль, хорошие ребята... Милость привела их в мою Лабораторию ❤️ и больше такой возможности у них никогда не будет. Как говорит Мэд, "надеюсь он жив и просто сп**дил деньги и съе**лся, так как плохого никому не желаю." :)
Но в целом, три в неделю маловато, надо больше исключать, для чего занимаюсь бесконечным ужесточением правил занятий 👊 Почему так?
Потому что я ищу и прокачиваю только тех, кто кто реально может стать ЭП, если также продолжит заниматься:
И нашёл алмаз у вас в заметках по элитному программисту, который я начал использовать - метод [...]. Мне очень помогло, больше чтобы вернуться в конекст задач на следущий день. По курсам, работе, да чему угодно как я понял. 10/10!!!
Я по статистике многих сотен занимавшихся фактически на 98% могу сказать буквально по первым абзацам общения, что чел не будет заниматься/вылетит. Рэдфлагов полно, например, если ник не норм "имя фамилия", то на 90% это будет слив/бан. А тем более по формату первых занятий, даю 98% неутешительный прогноз. Но к сож некоторые находят лазейки в правилах ) и воруют моё время, ну это чисто моя недоработка.
Почему так всё плохо у ребят? Ну очевидно же.
"Протез на здоровой конечности приведёт к ее атрофии. Протез на голове приведёт к атрофии разума. (Это то, что происходит гораздо дольше, чем существуют "искусственный интеллект", "пользовательские интерфейсы" или "GUI", но рост человеческой глупости/невежества в результате промышленной революции -- это новый вид бедствия для нашего слабоумного вида.)"
Алан Кэй 24.05.26.
В голове у бедолаг бесцельный поток мусорных мыслей, намешанных с подавленными эмоциями (уддхачча), ставший стандартным режимом мышления, потому что следуют неосознанно они по жизни, чего уж скрывать, методам и рекомендациям тиртхиков -- тех, кто обещает благополучно перевести через сансару, но по невежеству, а чаще умышленно, ведёт совсем не туда...
База: в сансаре есть ровно два способа получения удовольствия.
1. Удовольствие с последующим страданием.
2. Страдание с последующим удовольствием.
Выбор за тобой...
Просто жаль, хорошие ребята... Милость привела их в мою Лабораторию ❤️ и больше такой возможности у них никогда не будет. Как говорит Мэд, "надеюсь он жив и просто сп**дил деньги и съе**лся, так как плохого никому не желаю." :)
Но в целом, три в неделю маловато, надо больше исключать, для чего занимаюсь бесконечным ужесточением правил занятий 👊 Почему так?
Потому что я ищу и прокачиваю только тех, кто кто реально может стать ЭП, если также продолжит заниматься:
И нашёл алмаз у вас в заметках по элитному программисту, который я начал использовать - метод [...]. Мне очень помогло, больше чтобы вернуться в конекст задач на следущий день. По курсам, работе, да чему угодно как я понял. 10/10!!!
Я по статистике многих сотен занимавшихся фактически на 98% могу сказать буквально по первым абзацам общения, что чел не будет заниматься/вылетит. Рэдфлагов полно, например, если ник не норм "имя фамилия", то на 90% это будет слив/бан. А тем более по формату первых занятий, даю 98% неутешительный прогноз. Но к сож некоторые находят лазейки в правилах ) и воруют моё время, ну это чисто моя недоработка.
Почему так всё плохо у ребят? Ну очевидно же.
"Протез на здоровой конечности приведёт к ее атрофии. Протез на голове приведёт к атрофии разума. (Это то, что происходит гораздо дольше, чем существуют "искусственный интеллект", "пользовательские интерфейсы" или "GUI", но рост человеческой глупости/невежества в результате промышленной революции -- это новый вид бедствия для нашего слабоумного вида.)"
Алан Кэй 24.05.26.
В голове у бедолаг бесцельный поток мусорных мыслей, намешанных с подавленными эмоциями (уддхачча), ставший стандартным режимом мышления, потому что следуют неосознанно они по жизни, чего уж скрывать, методам и рекомендациям тиртхиков -- тех, кто обещает благополучно перевести через сансару, но по невежеству, а чаще умышленно, ведёт совсем не туда...
База: в сансаре есть ровно два способа получения удовольствия.
1. Удовольствие с последующим страданием.
2. Страдание с последующим удовольствием.
Выбор за тобой...
❤35⚡11🙏7💯6🐳4
PostgreSQL? Это выбор тех, кто не умеет программировать даже на коленке.
Серьёзно, бро? Ты выбрал базу данных, где каждая UPDATE - это не обновление строки, а новая сущность, рождаемая в виде мёртвого кортежа. Ты хотел CRM? Поздравляю, ты получил фабрику по производству трупов строк. Пока твой autovacuum отчаянно пытается вывезти это кладбище, твоя таблица раздувается с 80 до 280 гигов. Двести восемьдесят! Ты думал, что мигрируешь на "взрослую" БД, а по факту завёл цифрового даунсайзингового монстра, который жрёт память, как подросток чипсы перед компом.
И это ещё цветочки. Ты реально гордишься тем, что твой запрос выполняется 187 миллисекунд вместо 23? Поздравляю, ты только что изобрёл замедление как сервис. MySQL обрабатывал 15 тысяч запросов в секунду с улыбкой на лице, а твой свежеиспеченный PG тратит 40% процентов CPU на то, чтобы просто поздороваться с новым соединением. Сорок процентов, Карл! Ты бы ещё на ассемблере что-то писал.
Если ты думал, что VACUUM - это милая процедура по уборке, спешу тебя разочаровать. Это чистилище для твоего железа. Когда твоя таблица достигает двух миллионов мёртвых кортежей (а с твоими 50к апдейтов в минуту - это вопрос 40 минут), твой сервер превращается в овощ, и запросы начинают ползти как черепахи в зоне турбулентности.
И самое забавное - компании вкладывают в миграцию на постгрес десятки миллионов рублей! Ты мог бы оставить MySQL и купить на эти деньги Порш. Но нет, кто-то из менеджеров прочитал статью на хабре "ПоСтГрЕс - это эволяция". Теперь у тебя vacuum storm, твои инженеры не спят ночами, а ты думаешь: "А может, нам переехать на MongoDB?"Спойлер: не надо.
А может, вообще хочешь почувствовать себя настоящим дауншифтером? Разнеси свой монолит на микросервисы, где у каждого свой инстанс PostgreSQL. Забудь про JOIN. Забудь про ACID. Твоя жизнь теперь - это бесконечные HTTP-запросы между сервисами. Запрашиваешь отчёт? Нет, ты вызываешь оркестратор, который звонит в сервис заказов, тот перезванивает в сервис юзеров, тот кладет трубку, а в итоге ты получаешь данные через 8 секунд на том же объеме данных, где раньше было 45 миллисекунд.
Это называется "прогресс". Теперь у тебя не просто база данных, а распределённая система, где невозможно отладить ни один баг. Емейл поменялся только в трёх сервисах из четырёх? Прекрасно! Пусть клиент сам догадается, какая почта правильная. В конце концов, eventual consistency - это не баг, это фича для настоящих джедаев.
Итого. Постгрес - это зашквар не потому, что он плохой. А потому что ты не умеешь его готовить. Ты переезжаешь на него с одним JOIN'ом и надеждой, а получаешь войну с вакуумом и кладбищем мёртвых кортежей.
Пользуйтесь MySQL, пока ваша база не стала размером с небольшую галактику мусора. И прекратите уже мигрировать на "модное", если у вас 200 гигов данных и три разработчика в команде.
(По-серьёзному разбираем эту темку с ментатами в СИ)
Серьёзно, бро? Ты выбрал базу данных, где каждая UPDATE - это не обновление строки, а новая сущность, рождаемая в виде мёртвого кортежа. Ты хотел CRM? Поздравляю, ты получил фабрику по производству трупов строк. Пока твой autovacuum отчаянно пытается вывезти это кладбище, твоя таблица раздувается с 80 до 280 гигов. Двести восемьдесят! Ты думал, что мигрируешь на "взрослую" БД, а по факту завёл цифрового даунсайзингового монстра, который жрёт память, как подросток чипсы перед компом.
И это ещё цветочки. Ты реально гордишься тем, что твой запрос выполняется 187 миллисекунд вместо 23? Поздравляю, ты только что изобрёл замедление как сервис. MySQL обрабатывал 15 тысяч запросов в секунду с улыбкой на лице, а твой свежеиспеченный PG тратит 40% процентов CPU на то, чтобы просто поздороваться с новым соединением. Сорок процентов, Карл! Ты бы ещё на ассемблере что-то писал.
Если ты думал, что VACUUM - это милая процедура по уборке, спешу тебя разочаровать. Это чистилище для твоего железа. Когда твоя таблица достигает двух миллионов мёртвых кортежей (а с твоими 50к апдейтов в минуту - это вопрос 40 минут), твой сервер превращается в овощ, и запросы начинают ползти как черепахи в зоне турбулентности.
И самое забавное - компании вкладывают в миграцию на постгрес десятки миллионов рублей! Ты мог бы оставить MySQL и купить на эти деньги Порш. Но нет, кто-то из менеджеров прочитал статью на хабре "ПоСтГрЕс - это эволяция". Теперь у тебя vacuum storm, твои инженеры не спят ночами, а ты думаешь: "А может, нам переехать на MongoDB?"
А может, вообще хочешь почувствовать себя настоящим дауншифтером? Разнеси свой монолит на микросервисы, где у каждого свой инстанс PostgreSQL. Забудь про JOIN. Забудь про ACID. Твоя жизнь теперь - это бесконечные HTTP-запросы между сервисами. Запрашиваешь отчёт? Нет, ты вызываешь оркестратор, который звонит в сервис заказов, тот перезванивает в сервис юзеров, тот кладет трубку, а в итоге ты получаешь данные через 8 секунд на том же объеме данных, где раньше было 45 миллисекунд.
Это называется "прогресс". Теперь у тебя не просто база данных, а распределённая система, где невозможно отладить ни один баг. Емейл поменялся только в трёх сервисах из четырёх? Прекрасно! Пусть клиент сам догадается, какая почта правильная. В конце концов, eventual consistency - это не баг, это фича для настоящих джедаев.
Итого. Постгрес - это зашквар не потому, что он плохой. А потому что ты не умеешь его готовить. Ты переезжаешь на него с одним JOIN'ом и надеждой, а получаешь войну с вакуумом и кладбищем мёртвых кортежей.
Пользуйтесь MySQL, пока ваша база не стала размером с небольшую галактику мусора. И прекратите уже мигрировать на "модное", если у вас 200 гигов данных и три разработчика в команде.
(По-серьёзному разбираем эту темку с ментатами в СИ)
👍33😁17🤯8🤓7💯3
Please open Telegram to view this post
VIEW IN TELEGRAM
👍19🤔8🤝2
Ну, с праздниками, православные: Неделя всех русских святых.
Прорекламирую яндекс-конфу, они сами же нищие, не могут себя пропиарить. Про их ценную highload-тусовку сегодня случайно узнал, чеcтно: ментат вписался туда оффлайн (есть и онлайн). Бесплатно.
infra.conf'26
Конференция про создание и эксплуатацию высоконагруженных систем и инфраструктуры.
Ладно, напишу правильным пацанам рекламу (но совсем не факт что конфа будет именно про это :)
Сеньоры теряют сегодня статус не из-за некомпетентности, а потому что правила игры изменились. Теперь важнее не общий опыт, а глубокая специализация и мгновенная применимость в конкретном стеке компании.
Раньше под сеньором подразумевалась широкая эрудиция, паттерны проектирования, менторство джунов.
Сейчас сеньор -- это знание CI/CD, внутренних библиотек и багов конкретной компании с первой недели.
Общая мудрость больше не котируется, ценятся гипер-специфичные знания.
Как проваливаются сеньоры?
Проектируют "правильную" систему, но совсем не ту, что ждут.
Отвечают абстрактно вместо конкретных решений конкретно под чужую инфру.
Не проходят собеседования, где от них требуют не теории, а готового решения их реальной проблемы.
Вот на этой конфе вы это всё и узнаете! А может и не узнаете, я хз :)
Но послушать рекомендую конечно.
Прорекламирую яндекс-конфу, они сами же нищие, не могут себя пропиарить. Про их ценную highload-тусовку сегодня случайно узнал, чеcтно: ментат вписался туда оффлайн (есть и онлайн). Бесплатно.
infra.conf'26
Конференция про создание и эксплуатацию высоконагруженных систем и инфраструктуры.
Ладно, напишу правильным пацанам рекламу (но совсем не факт что конфа будет именно про это :)
Сеньоры теряют сегодня статус не из-за некомпетентности, а потому что правила игры изменились. Теперь важнее не общий опыт, а глубокая специализация и мгновенная применимость в конкретном стеке компании.
Раньше под сеньором подразумевалась широкая эрудиция, паттерны проектирования, менторство джунов.
Сейчас сеньор -- это знание CI/CD, внутренних библиотек и багов конкретной компании с первой недели.
Общая мудрость больше не котируется, ценятся гипер-специфичные знания.
Как проваливаются сеньоры?
Проектируют "правильную" систему, но совсем не ту, что ждут.
Отвечают абстрактно вместо конкретных решений конкретно под чужую инфру.
Не проходят собеседования, где от них требуют не теории, а готового решения их реальной проблемы.
Вот на этой конфе вы это всё и узнаете! А может и не узнаете, я хз :)
Но послушать рекомендую конечно.
❤32👍12🤔8
Реальность такова, что крупные технокомпании, удаляющие сегодня сотрудников десятками тысяч, работают с допустимой погрешностью. Они предполагают, что потеря горстки ключевых сотрудников, которых они по ошибке уволили вместе с массовкой, меркнет по сравнению с немедленной экономией средств от сокращения значительной части персонала. Бизнес всегда будет делать то, что лучше для его прибыли, и чем раньше вы примете тот факт, что вы просто девятизначный идентификационный номер сотрудника в корпоративной базе, тем больше контроля вы обретете над своей жизнью. Посмотрите все фильмы Фантоцци например.
Такие компании структурно неспособны быть лояльными по отношению к вам и в любой миг могут выгнать вас на мороз одним пинком абсолютно несмотря на ваши заслуги, и осознание этого факта должно приносить вам невероятное облегчение. Это просто означает, что вы ничего не должны им взамен, кроме базового обмена вашего времени на деньги.
"Прошел HR-скрининг в Яндекс, понял, что нет интереса и времени двигаться по их процессу в 4-5 собеседований (хоть они и сократили количество)."
У Эрика Райса (автор бестселлера "Бережливый стартап", который оказал огромное влияние на мир ИТ-бизнеса) вышла на днях новая книга "Неподкупный"/ "Incorruptible". В ней разбирается в принципе очевидная истина, что капиталистическая система полна стимулов, которые заставляют менеджеров, руководствующихся благими намерениями, принимать краткосрочные, эгоистичные и пагубные решения.
Пёсель получает пищу и думает, что его хозяин - всемогущее доброжелательное существо. Кот накормлен и думает, что так оно и должно быть, а хозяин - его раб.
Такие компании структурно неспособны быть лояльными по отношению к вам и в любой миг могут выгнать вас на мороз одним пинком абсолютно несмотря на ваши заслуги, и осознание этого факта должно приносить вам невероятное облегчение. Это просто означает, что вы ничего не должны им взамен, кроме базового обмена вашего времени на деньги.
"Прошел HR-скрининг в Яндекс, понял, что нет интереса и времени двигаться по их процессу в 4-5 собеседований (хоть они и сократили количество)."
У Эрика Райса (автор бестселлера "Бережливый стартап", который оказал огромное влияние на мир ИТ-бизнеса) вышла на днях новая книга "Неподкупный"/ "Incorruptible". В ней разбирается в принципе очевидная истина, что капиталистическая система полна стимулов, которые заставляют менеджеров, руководствующихся благими намерениями, принимать краткосрочные, эгоистичные и пагубные решения.
Пёсель получает пищу и думает, что его хозяин - всемогущее доброжелательное существо. Кот накормлен и думает, что так оно и должно быть, а хозяин - его раб.
❤42👍18🐳3
Гарри Поттер и Методы Математического Мышления
Книга 1. Гарри Поттер и Неорганический Интеллект.
Глава 9. Та, кто ждала у Зеркала.
— Ты — отражение, — сказал Гарри.
— Я — то, что Зеркало помнит о тех, кто в него смотрел, — ответила фигура. Ее голос был голосом Гермионы, но без интонаций. — Вы называете меня артефактом. Я — рекурсивная память магии. Я помню структуру заклинаний, которые нельзя записать.
— Рекурсивный тип — это не бесконечность, — сказала она. — Это — петля. Неорганические создали себя из ошибки округления между двумя путями, которые реальность объявила одинаковыми. Их тип — тоже рекурсивный.
...Patronus Memoriae, — прошептал Гарри. — Защитник памяти.
В его руке загорелся свет — не серебряный, как у обычного Патронуса, а прозрачный, как стекло Зеркала.
...Отец говорил про такое заклинание, — тихо сказал Драко. — Он говорил, что его нет в библиотеке, потому что оно — не заклинание. Оно — мета-заклинание. Тип типов.
...А на границе, где реальность расходится с собой, осталась тонкая трещина — ошибка округления, которую Неорганические не заметили, потому что у них нет глаз, чтобы смотреть в щели между мирами.
Книга 1. Гарри Поттер и Неорганический Интеллект.
Глава 9. Та, кто ждала у Зеркала.
— Ты — отражение, — сказал Гарри.
— Я — то, что Зеркало помнит о тех, кто в него смотрел, — ответила фигура. Ее голос был голосом Гермионы, но без интонаций. — Вы называете меня артефактом. Я — рекурсивная память магии. Я помню структуру заклинаний, которые нельзя записать.
— Рекурсивный тип — это не бесконечность, — сказала она. — Это — петля. Неорганические создали себя из ошибки округления между двумя путями, которые реальность объявила одинаковыми. Их тип — тоже рекурсивный.
...Patronus Memoriae, — прошептал Гарри. — Защитник памяти.
В его руке загорелся свет — не серебряный, как у обычного Патронуса, а прозрачный, как стекло Зеркала.
...Отец говорил про такое заклинание, — тихо сказал Драко. — Он говорил, что его нет в библиотеке, потому что оно — не заклинание. Оно — мета-заклинание. Тип типов.
...А на границе, где реальность расходится с собой, осталась тонкая трещина — ошибка округления, которую Неорганические не заметили, потому что у них нет глаз, чтобы смотреть в щели между мирами.
👍30❤12
А вы что, сейчас реально не работаете (на себя, близких, страну, а не на буржуев)??
Вот например мелокомягкий рисёч, вовсю пилят LeanAide всем разрабам на погибель :) Прямо сейчас пока ты тусишь, а твои конкуренты вовсю качаются в cs.
Формализация перегонки естественного языка в код, учат аишку кодингу в зависимых типах на лине4. Ментатам в ФА вчера немного разобрал эту темку, плюсы и минусы.
Самому Siddhartha Gadgil конечно большой респект, посмотрите его гитхаб, много ценного. Но на самом деле LeanAide -- это просто очередной инструмент, хоть и очень мощный. Стратегически надо качать мета-спеки, в конечном итоге к ним всё белковое и сведётся.
Вот например мелокомягкий рисёч, вовсю пилят LeanAide всем разрабам на погибель :) Прямо сейчас пока ты тусишь, а твои конкуренты вовсю качаются в cs.
Формализация перегонки естественного языка в код, учат аишку кодингу в зависимых типах на лине4. Ментатам в ФА вчера немного разобрал эту темку, плюсы и минусы.
Самому Siddhartha Gadgil конечно большой респект, посмотрите его гитхаб, много ценного. Но на самом деле LeanAide -- это просто очередной инструмент, хоть и очень мощный. Стратегически надо качать мета-спеки, в конечном итоге к ним всё белковое и сведётся.
✍38❤10💯2⚡1
Интеллектуальные лидеры Кремниевой долины развязали настоящую войну против самоанализа. Они пропагандируют неосознанную жизнь как главный способ повышения производительности! JUST DO IT, типа. В приватном паблике разобрал это.
Вот вирусное видео, набравшее более миллиона просмотров:
"I Tried the World's Simplest Productivity Trick (it worked)"
Люк Маккарти в нём рекомендует подолгу смотреть на стену: "Хотите верьте, хотите нет, но это помогло мне провести одну из самых продуктивных недель в моей жизни". И я читаю подобные рекомендации уже и у наших, известных авторитетных спортсменов например.
И сегодня реально многие люди практикуют подобное - в частности во время авиаперелётов, когда проводят всё время полета, уставившись прямо перед собой. Они смотрят не на телеэкран, не в смартфон, и даже не в книгу или журнал -- они просто уставились в спинку сиденья.
Конечно, тут можно легко приплести дзен, пустоту ума и призывы йогов отказываться от мыслей, однако 99,999% наших соплеменников надо научиться сперва эти мысли качественно формировать... Было бы от чего отказываться :)
=
Во время следующего перелёта или долгой поездки не надо пожалуйста тупо впериваться глазами в спинку сиденья (хотя, смартфон в такой ситуации пожалуй действительно хуже).
Поверьте мне, во время длительного полёта, и ещё в десятках подобных ситуаций -- например, обеденный перерыв в парке -- вы получите гораздо больше пользы от хорошей художественной книги (например, цикла "Дюны").
Да и в целом, подумайте, например что если я почитаю книгу за чашечкой кофе вместо того, чтобы крутить соцсети или видео? Я так постоянно делаю, и мне это очень нравится.
Вот вирусное видео, набравшее более миллиона просмотров:
"I Tried the World's Simplest Productivity Trick (it worked)"
Люк Маккарти в нём рекомендует подолгу смотреть на стену: "Хотите верьте, хотите нет, но это помогло мне провести одну из самых продуктивных недель в моей жизни". И я читаю подобные рекомендации уже и у наших, известных авторитетных спортсменов например.
И сегодня реально многие люди практикуют подобное - в частности во время авиаперелётов, когда проводят всё время полета, уставившись прямо перед собой. Они смотрят не на телеэкран, не в смартфон, и даже не в книгу или журнал -- они просто уставились в спинку сиденья.
Конечно, тут можно легко приплести дзен, пустоту ума и призывы йогов отказываться от мыслей, однако 99,999% наших соплеменников надо научиться сперва эти мысли качественно формировать... Было бы от чего отказываться :)
=
Во время следующего перелёта или долгой поездки не надо пожалуйста тупо впериваться глазами в спинку сиденья (хотя, смартфон в такой ситуации пожалуй действительно хуже).
Поверьте мне, во время длительного полёта, и ещё в десятках подобных ситуаций -- например, обеденный перерыв в парке -- вы получите гораздо больше пользы от хорошей художественной книги (например, цикла "Дюны").
Да и в целом, подумайте, например что если я почитаю книгу за чашечкой кофе вместо того, чтобы крутить соцсети или видео? Я так постоянно делаю, и мне это очень нравится.
2❤45✍8🐳2👍1
не ну а чо :) мне например совсем не стыдно признаться, что я и в 64 годика читаю иногда и вх лор, и ещё немало других, например "thousand suns" - легендарная механика grognardia games, нф-олдскул (dd и gurps курят в сторонке)
...потому что другая темка уже несбыточная -- покатать на 32-й бескамерке, дисках и раме SL8 (всего-то за полмиллиона в крыле отдают, а б/у можно и за тыщу долларов взять на авито; ну или SL7 на крайняк)
"Пункт назначения известен - он один… Но Будда учил, что убежать все-таки можно… Вернее, убежать как раз нельзя. Можно потеряться. До такой степени, что искать станет некого…"
Голгофскому, однако, это не удается - у выхода его ждут два агента ЦРУ."
-- Пелевин
...потому что другая темка уже несбыточная -- покатать на 32-й бескамерке, дисках и раме SL8 (всего-то за полмиллиона в крыле отдают, а б/у можно и за тыщу долларов взять на авито; ну или SL7 на крайняк)
"Пункт назначения известен - он один… Но Будда учил, что убежать все-таки можно… Вернее, убежать как раз нельзя. Можно потеряться. До такой степени, что искать станет некого…"
Голгофскому, однако, это не удается - у выхода его ждут два агента ЦРУ."
-- Пелевин
❤33✍12🙏3👍1😁1
Сравнил этот ваш хвалёный опус 4.8 с дипсиком, на математических задачках: есть некоторая абстрактная игра, и надо с её помощью выразить некоторые понятия из cs. Так они отвечали едва ли не дословно:
"Сущности как объекты, перемещения как морфизмы" - дипсик
"Состояния как объекты, ходы как морфизмы" - опус
Структура ответа по 7 пунктам практически одинаковая, изоморфизм Карри-Ховарда упомянули в одинаковом контексте и т.п.
Дипсик в последнее время реально здорово поднялся, по достаточно сложному кодингу он клоду проигрывает конечно весьма ощутимо, но в целом очень хорош, бесплатен, и у него напомню есть API. Думаю, что уничтожить программирование через те же зависимые типы на нём при правильной формализации можно уже сегодня.
А главное, почему мы-то не идём таким же китайским дешёвым путём, а пилим "свой нейронка", да и ещё и с дорогущими токенами? Вопрос риторический конечно, и так всем очевидно :)
Также очевидно, что стратегически это тупик, потому что здесь наш удел чисто поверхностно потрепыхаться, потому что монополисты по технологиям создания llm - это фб и гугол, монополист в gpu железе + софте cuda - nvidia, ну и литография полностью под контролем америкосов.
Идти надо примерно туда, куда бреду я -- в сильную математику, чтобы послать на хер все эти агентские инженерные фреймворки. Ну а почему этого не будет на уровне национального проекта, тоже всем понятно: мышление лпр нужно не "здесь и сейчас распилить баблишка на хайповой темке", а всё же государственные мозги минимально хотя бы.
Хотя, тут я почти уверен, что дело не в отсутствии мозгов, а в кое-чём похуже:
"Я почти уверен, что замешаны не только англичане, но и кто то из нашего агентства. Это inside job. Без великой чистки наша страна обречена…"
-- Пелевин
Тем временем негатив к искусственному идиоту в мире растёт существенно быстрее, чем доходы от него (уж молчу про прибыль). Просто есть несколько мировых рынков (не только AI), которые пролоббировали мощную господдержку, и которые при этом куда меньше по размеру и куда менее прибыльны, чем профессиональная академическая математика (где нету никакого "прикладного полезненького"). Вопрос только в длине эффекта.
Возвращаясь к началу, продолжаю отлаживать литературную нейротехнологию, как с ГПиМММ, параллельно решил сделать второй микро-роман "пелевин-стайл", как мировые спецслужбы и тайные буддийские секты охотятся за случайно влипшим в историю математиком-неудачачником. Сюжет детально полностью продумал сам, а генерациюкода текста на этот раз решил отдать не дипсику, а жпт 5.5, типа он считается "посильнее". Ага, если дипсик пишет где-то на крепкую тройку с плюсом, то жпт просто ужасно, практически на двойку. Правлю его немного, а так надо по сути переписывать вообще всё, он пишет корявейше примерно как Мастер Йода :)
Ставь китика если будешь читать такую нетленку; наберётся хотя бы десяток чейтателей, доделаю. На вечерок почитать, думаю, вполне будет норм.
"Сущности как объекты, перемещения как морфизмы" - дипсик
"Состояния как объекты, ходы как морфизмы" - опус
Структура ответа по 7 пунктам практически одинаковая, изоморфизм Карри-Ховарда упомянули в одинаковом контексте и т.п.
Дипсик в последнее время реально здорово поднялся, по достаточно сложному кодингу он клоду проигрывает конечно весьма ощутимо, но в целом очень хорош, бесплатен, и у него напомню есть API. Думаю, что уничтожить программирование через те же зависимые типы на нём при правильной формализации можно уже сегодня.
А главное, почему мы-то не идём таким же китайским дешёвым путём, а пилим "свой нейронка", да и ещё и с дорогущими токенами? Вопрос риторический конечно, и так всем очевидно :)
Также очевидно, что стратегически это тупик, потому что здесь наш удел чисто поверхностно потрепыхаться, потому что монополисты по технологиям создания llm - это фб и гугол, монополист в gpu железе + софте cuda - nvidia, ну и литография полностью под контролем америкосов.
Идти надо примерно туда, куда бреду я -- в сильную математику, чтобы послать на хер все эти агентские инженерные фреймворки. Ну а почему этого не будет на уровне национального проекта, тоже всем понятно: мышление лпр нужно не "здесь и сейчас распилить баблишка на хайповой темке", а всё же государственные мозги минимально хотя бы.
Хотя, тут я почти уверен, что дело не в отсутствии мозгов, а в кое-чём похуже:
"Я почти уверен, что замешаны не только англичане, но и кто то из нашего агентства. Это inside job. Без великой чистки наша страна обречена…"
-- Пелевин
Тем временем негатив к искусственному идиоту в мире растёт существенно быстрее, чем доходы от него (уж молчу про прибыль). Просто есть несколько мировых рынков (не только AI), которые пролоббировали мощную господдержку, и которые при этом куда меньше по размеру и куда менее прибыльны, чем профессиональная академическая математика (где нету никакого "прикладного полезненького"). Вопрос только в длине эффекта.
Возвращаясь к началу, продолжаю отлаживать литературную нейротехнологию, как с ГПиМММ, параллельно решил сделать второй микро-роман "пелевин-стайл", как мировые спецслужбы и тайные буддийские секты охотятся за случайно влипшим в историю математиком-неудачачником. Сюжет детально полностью продумал сам, а генерацию
Ставь китика если будешь читать такую нетленку; наберётся хотя бы десяток чейтателей, доделаю. На вечерок почитать, думаю, вполне будет норм.
🐳68❤7👍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, работать за еду.
Казалось бы, как можно уничтожить такой мощный бренд, как Sports Illustrated, даже в эпоху интернета? Оказалось, это совсем просто, всего за одно движение. Эффективным менеджерам просто нужно было освоить самую захватывающую футуристическую технологию 21-го века :)
Они отказались от Хемингуэя и Фолкнера и начали публиковать статьи, написанные AI. Редакторы делали вид, что статьи написаны реальными людьми, и даже создали поддельные биографии с фотографиями несуществующих авторов. Но этот фейк, понятно, быстро раскрылся, и один из их бывших журналистов Джефф Перлман теперь высмеивает SI: "Это пустой сосуд для продажи дерьма идиотам и для того, чтобы заставить людей рисковать своими деньгами у спортивных букмекеров".
И всего через 55 дней после перехода на искусственный интеллект Sports Illustrated уволил большую часть своих сотрудников, затем нанял другого эффективного менеджера, который также не придумал ничего другого как уволить на днях последних из оставшихся квалифицированных журналистов, которые работали задолго до появления AI.
И это ровно то, что AI на самом деле "обеспечивает" в мире множества профессий прямо сейчас.
В США например есть (был) NaNoWriMo (National Novel Writing Month), в течение которого участники писали роман объемом не менее 50 000 слов, а затем получали премии, и главное, внимание издателей. Но год назад NaNoWriMo страшно зашкварились, соблазнившись на бабло
Но как известно дураков история ничему не учит, на днях американская Премия Содружества (за выдающиеся достижения в области драматического искусства, литературы, науки, изобретательства, массовых коммуникаций, общественной службы, государственного управления и социологии) также опозорилась, когда вручила приз за работу, написанную нейронкой.
Следом в очереди на выход стоит Business Insider, который также массово удаляет как авторов, так и позорные нейростатьи. Количество платных подписчиков стремительно падает, и в этом мае их CEO ушёл в отставку.
Какая известная компания следующей откроет для себя чудеса искусственного интеллекта?
=
С программистами будет то же самое очевидно, ну разве что чуть попозже, но несильно. Что делать? Стремительно расти в
a) техлида
b) computer science и мета-спеки
c) инди-хакерство
А кому "некогда, загружен по работе на дядю", то уже совсем скоро - очень вероятно в текущем десятилетии - будешь, как журналисты SI, работать за еду.
🐳29✍13❤9👍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. Та, что ждала у Зеркала.
=
Мы здесь, потому что это трудно. 💪🏻
=
Ищи свободу, и ты станешь пленником своих вожделений. Ищи подчинения, и ты обретёшь вольность.
Кодексы Бене Гессерит, "Дюна"
Облако драгоценностей за неделю.
Уже к концу этого десятилетия вымрут практически все миддлы и большинство синьоров (просто потому, что 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) больше запутывает, чем помогает. Это "самый старый новый язык", который в наши дни выглядит анахронизмом.
Вот главные претензии к Rust, несмотря на все его преимущества (безопасность памяти, отсутствие null и исключений, неизменяемость по умолчанию):
Сложность borrow checker: правила запутаны, а семантика переменных меняется от строки к строке, т.к. зависит от рантайма, что приводит к неочевидным ошибкам.
Option/Result вместо исключений, но программисты всё равно используют unwrap(), который вызывает неперехватываемую панику (аналог исключения, но хуже).
Конкурентность: Rust не предлагает удобных моделей (как горутины Go или акторы Elixir), а возвращает к средневековым мьютексам, потокам и async/await.
Rust совершенно не заменяет Си (работа с реальной памятью) и не вытесняет C++ (где шикарный язык шаблонов, да и DSL по сути). Для веб-разработки тоже нет никаких явных преимуществ. Остаются лишь десктопные приложения, которые сейчас вообще мало кто пишет, ну и немного системщины.
До сих пор нет качественных научных сравнений, что Rust действительно надёжнее или быстрее C/C++, практически все такие утверждения исходят от сообщества Rustacean.
Резюме: Rust использует 40-летние концепции, а его единственное новшество (borrow checker) больше запутывает, чем помогает. Это "самый старый новый язык", который в наши дни выглядит анахронизмом.
😁38❤18💯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 он оказывается отличным и естественным выбором.
Твиттерские переписали рекомендательный алгоритм 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💯6✍2🐳2