Циклополитоп (cyclic polytope) -- яндекс да и гугл выдают всего одну ссылочку на ВШМ МФТИ :)
(выпуклый многогранник в многомерном пространстве, который строится особым образом (все грани -- симплексы (треугольнички)) и обладает рядом замечательных уникальных свойств).
На первый взгляд вроде фиговинка фиговинкой )
Ну это потому, что для нашей размерности 3 циклополитолоп тривиален; вся круть начинается на высоких размерностях.
В процессе его изучения возникла идея, как проектировать чистые функции так, чтобы любая разумная комбинация входов давала валидный результат, избегая "запрещённых" сочетаний параметров (комбинаторный взрыв). Пространство допустимых состояний должно быть не дырявым, а "плотно соединено" как вершины циклополитопа!
А так как по Upper Bound Theorem (максимизация числа граней) паттерн матчинг с алгебраическими типами даёт полиномиальный рост от числа конструкторов типа (наихудший случай), через функторы сворачиваем многомерную структуру в обобщённый обход (fold/traverse) "циклополитопа" вместо явного перечисления всех "граней" поведения.
Получился такой оригинальный взгляд на классические функциональные паттерны, поясняю ментатам в Функциональных архитектурах, уже доступно.
(выпуклый многогранник в многомерном пространстве, который строится особым образом (все грани -- симплексы (треугольнички)) и обладает рядом замечательных уникальных свойств).
На первый взгляд вроде фиговинка фиговинкой )
Ну это потому, что для нашей размерности 3 циклополитолоп тривиален; вся круть начинается на высоких размерностях.
В процессе его изучения возникла идея, как проектировать чистые функции так, чтобы любая разумная комбинация входов давала валидный результат, избегая "запрещённых" сочетаний параметров (комбинаторный взрыв). Пространство допустимых состояний должно быть не дырявым, а "плотно соединено" как вершины циклополитопа!
А так как по Upper Bound Theorem (максимизация числа граней) паттерн матчинг с алгебраическими типами даёт полиномиальный рост от числа конструкторов типа (наихудший случай), через функторы сворачиваем многомерную структуру в обобщённый обход (fold/traverse) "циклополитопа" вместо явного перечисления всех "граней" поведения.
Получился такой оригинальный взгляд на классические функциональные паттерны, поясняю ментатам в Функциональных архитектурах, уже доступно.
❤41🤯10🥰4🤔1
А вы что, сейчас реально не работаете (на себя)??
Абсолютный секрет успеха в инди-хакерстве, о котором вам никогда не расскажут "ссаные кураторы" на онлайн-курсах, а только гуру :)
Вашей целью каждый день должно быть привлечение хотя бы ОДНОГО нового пользователя к своему сервису.
Делайте это достаточно долго, и вы всегда будете в хорошей форме, и даже спина болеть не будет.
Трудно объяснить, насколько больше мотивирует работать на себя, а не на дядю. Компании вознаграждают сотрудников, которые явно преуспевают, в лучшем случае через год (и то если вам повезет, и то максимум на 15%), в то время как работая на себя, вы можете пожинать плоды мгновенно.
Вам не следует бояться тяжелой работы (это кстати и лучший способ избавиться от синдрома самозванца). Вам следует бояться работы, над которой вы не хотите усердно трудиться.
Ну или идите ко дну и при этом побольше нойте о своих уникальных проблемах -- с работой, с девушкой, со здоровьем бла бла бла.
Чем комфортнее вам сейчас, тем менее комфортными вы будете в будущем. Стремитесь всегда к дискомфорту. Жизнь становится намного интереснее, когда ваша склонность к ответственному риску возрастает.
Сун Сан (78-й учитель в линии передачи учения от Будды) любил повторять нерадивым: «Тогда я ударю вас своей палкой тридцать раз!»
Абсолютный секрет успеха в инди-хакерстве, о котором вам никогда не расскажут "ссаные кураторы" на онлайн-курсах, а только гуру :)
Делайте это достаточно долго, и вы всегда будете в хорошей форме, и даже спина болеть не будет.
Трудно объяснить, насколько больше мотивирует работать на себя, а не на дядю. Компании вознаграждают сотрудников, которые явно преуспевают, в лучшем случае через год (и то если вам повезет, и то максимум на 15%), в то время как работая на себя, вы можете пожинать плоды мгновенно.
Вам не следует бояться тяжелой работы (это кстати и лучший способ избавиться от синдрома самозванца). Вам следует бояться работы, над которой вы не хотите усердно трудиться.
Ну или идите ко дну и при этом побольше нойте о своих уникальных проблемах -- с работой, с девушкой, со здоровьем бла бла бла.
Чем комфортнее вам сейчас, тем менее комфортными вы будете в будущем. Стремитесь всегда к дискомфорту. Жизнь становится намного интереснее, когда ваша склонность к ответственному риску возрастает.
Сун Сан (78-й учитель в линии передачи учения от Будды) любил повторять нерадивым: «Тогда я ударю вас своей палкой тридцать раз!»
❤40✍8🐳4
Ментаты кто занимается по треку "Элитный программист", в частности по Monk Mode, нередко жалуются, как тяжело расстаться со смартфоном. Сильно тянет проверить уведомления, "залипнуть в соцсети" и т.д. Сейчас в частности готовлю следующий материал "Физика высокой продуктивности", где эту тему рассмотрим. Тут много всяких вариантов и трактовок, я например использую такой простой лайфхак, что заглядываю в некоторый интересненький канал в телеграме, только когда в нём набирается достаточно много сообщений, мягкий вариант - 10. В результате из многих десятков каналов, которые я раньше постоянно сканировал, за день ну может быть десяток однократно просмотрю, это 10 минут. Но при этом в телегу можно заглядывать уже с целью "не набрался ли где-то десяток", чтобы дать мозгу иллюзию что всё так же под контролем :)
А трактовки могут быть самые разные. По Фрейду например смартфон -- это "переходный объект" (по аналогии с плюшевым мишкой из детства), символически замещающий отсутствующую мать. Отсутствие телефона пробуждает архаичную тревогу и страх потери объекта любви: ты бессознательно переживаешь заброшенность, а уведомления воспринимаются как подтверждение собственного существования ("меня видят, значит, я есть").
Бихевиористы скажут, что смартфон -- это "костыль безопасности": ты иррационально убеждён, что без него пропустишь нечто критически важное или окажешься социально изолированным.
Мне симпатичнее всего экзистенциальный подход :)
Смартфон тут -- инструмент избегания фундаментальных данностей существования: свободы и бессмысленности жизни, изоляции и смерти.
Без телефона ты остаёшься наедине со своим внутренним миром и конечностью бытия, в котором слышны экзистенциальные тревоги. Рост тревожности здесь -- плата за сломанный защитный механизм ума, маскирующий ужас перед неструктурированным и ничем не заполненным временем :)
Недаром йоги первой базовой практикой дают сидячую медитацию: посиди хотя бы полчаса спокойно, но не думай о проблемах и внешнем мире, а попытайся наоборот ум успокоить так, чтобы он помолчал. Для западного человека даже 5 минут побыть так с самим собой в молчании, страшное испытание :)
Некоторые мои знакомые всю свою жизнь забивают непрерывной активностью, чтобы буквально ни на минуту не остаться в покое и тишине и помолчать, абсолютно экстравертированы. Но искать опору во внешнем мире -- самая хрупкая схема из всех возможных, мир обязательно обманет...
Понаблюдайте за собою и увидите, что большая часть времени проходит у нас именно в пустомыслии и блуждании мыслей.
Свт. Феофан Затворник
А трактовки могут быть самые разные. По Фрейду например смартфон -- это "переходный объект" (по аналогии с плюшевым мишкой из детства), символически замещающий отсутствующую мать. Отсутствие телефона пробуждает архаичную тревогу и страх потери объекта любви: ты бессознательно переживаешь заброшенность, а уведомления воспринимаются как подтверждение собственного существования ("меня видят, значит, я есть").
Бихевиористы скажут, что смартфон -- это "костыль безопасности": ты иррационально убеждён, что без него пропустишь нечто критически важное или окажешься социально изолированным.
Мне симпатичнее всего экзистенциальный подход :)
Смартфон тут -- инструмент избегания фундаментальных данностей существования: свободы и бессмысленности жизни, изоляции и смерти.
Без телефона ты остаёшься наедине со своим внутренним миром и конечностью бытия, в котором слышны экзистенциальные тревоги. Рост тревожности здесь -- плата за сломанный защитный механизм ума, маскирующий ужас перед неструктурированным и ничем не заполненным временем :)
Недаром йоги первой базовой практикой дают сидячую медитацию: посиди хотя бы полчаса спокойно, но не думай о проблемах и внешнем мире, а попытайся наоборот ум успокоить так, чтобы он помолчал. Для западного человека даже 5 минут побыть так с самим собой в молчании, страшное испытание :)
Некоторые мои знакомые всю свою жизнь забивают непрерывной активностью, чтобы буквально ни на минуту не остаться в покое и тишине и помолчать, абсолютно экстравертированы. Но искать опору во внешнем мире -- самая хрупкая схема из всех возможных, мир обязательно обманет...
Понаблюдайте за собою и увидите, что большая часть времени проходит у нас именно в пустомыслии и блуждании мыслей.
Свт. Феофан Затворник
❤44✍8👍4🙏1🐳1
.
Облако драгоценностей за неделю.
Приватный клуб.
Факты 20206-го года: рынок ИТ серьёзно обострился, и больше нету смысла рассказывать красивые сказки про микросервисы. Компании начали без стеснения делиться историями о том, как они "вернулись к монолитам".
Для донов-начинающих:
Многие начинающие разработчики думают, что они разобрались в бэкенде, едва смогли написать несколько эндпоинтов на Django или Spring.
Вы возвращаете какой-то JSON, возможно, подключаете базу данных, и вам кажется, что вы можете идти работать джуниором.
Но самое сложное начинается только тогда, когда появляются реальные пользователи, и ваш сервер должен обеспечивать соблюдение бизнес-правил...
2026-й год не вознаградит тех, кто снова и снова продолжает начинать всё сначала.
Не потому, что изучать что-то новое -- это плохо, а потому, что перестраиваться каждый раз, когда вы натыкаетесь на стену, означает, что ничто не остаётся в вашей голове достаточно надолго, чтобы по-настоящему усвоиться.
Но именно это я сейчас наблюдаю у многих начинающих разработчиков...
Для донов-неначинающих:
Возобновляю спустя год набор на занятия для неначинающих (миддлы сеньоры), 7 мест закончились за 2 минуты.
86. Дополнительная сложность -- мать всех запашков кода
Суть качества кода заключается в чистом выражении заложенных в него идей. Чтобы создать код, который достигнет такого уровня и такого качества, я должен понимать суть проекта до весьма небольших деталей так же глубоко, как и его автор. Поможет ли тут самый продвинутый AI?
Продолжение трека "Элитный программист":
37) Как справляться с некомпетентными новичками
К программистам придираются далеко не только нетехнические менеджеры и офисные начальники. Я уже сбился со счёта, сколько раз наблюдал, как опытные программисты возмущаются глупыми ошибками, которые допускали младшие разработчики. Но это тоже ситуация, с которой можно справиться, взяв ответственность на себя.
(все старые материалы для донов быстро сгорают)
=
Новые материалы для ментатов Лаборатории.
В СильныеИдеи добавлен материал "142) Анализируем твои правки алгоритмически".
O(N) принято рассматривать в первую очередь для оценки производительности алгоритмов. Однако почему бы не расширить область применения этой оценки непосредственно на архитектурные вопросы?
В курс карьеры добавлен 135-й материал "Как сеньора едва не выжили из Microsoft"
Мои менеджеры среднего звена однажды предложили уволить меня, а я узнал об этом лишь через несколько месяцев после того, как это случилось...
В раздел "Элитный программист" добавлен материал
93) Физика топовой продуктивности - 4
...Тринадцать часов спустя, добавив к своей стопке ещё одну книгу, Стивен Котлер встал, пошёл почистить зубы, и отправился спать. Он прочитал три книги от корки до корки.
На следующее утро он рассказал мне о прочитанном, и его память была поразительной. Он видел закономерности, которые невозможно было увидеть без такого длительного погружения.
Deep work -- это длящиеся и длящиеся и длящиеся часы чистого фокуса...
=
"ЛаМПовое":
Дзен и искусство ухода за Arch Linux.
3. Display Protocols детальнее.
"Гарри Поттер и Методы Математического Мышления".
Глава 5. Правила сборки мира.
=
Лаборатория идёт со скоростью самых лучших ментатов. 💪🏻
(продолжаю бесконечное ужесточение правил занятий :)
=
В этом и состоит ценность ментатов: паттерны и система, всё это выстраивается в цельные блоки.
"Капитул Дюны"
Облако драгоценностей за неделю.
Приватный клуб.
Факты 20206-го года: рынок ИТ серьёзно обострился, и больше нету смысла рассказывать красивые сказки про микросервисы. Компании начали без стеснения делиться историями о том, как они "вернулись к монолитам".
Для донов-начинающих:
Многие начинающие разработчики думают, что они разобрались в бэкенде, едва смогли написать несколько эндпоинтов на Django или Spring.
Вы возвращаете какой-то JSON, возможно, подключаете базу данных, и вам кажется, что вы можете идти работать джуниором.
Но самое сложное начинается только тогда, когда появляются реальные пользователи, и ваш сервер должен обеспечивать соблюдение бизнес-правил...
2026-й год не вознаградит тех, кто снова и снова продолжает начинать всё сначала.
Не потому, что изучать что-то новое -- это плохо, а потому, что перестраиваться каждый раз, когда вы натыкаетесь на стену, означает, что ничто не остаётся в вашей голове достаточно надолго, чтобы по-настоящему усвоиться.
Но именно это я сейчас наблюдаю у многих начинающих разработчиков...
Для донов-неначинающих:
Возобновляю спустя год набор на занятия для неначинающих (миддлы сеньоры), 7 мест закончились за 2 минуты.
86. Дополнительная сложность -- мать всех запашков кода
Суть качества кода заключается в чистом выражении заложенных в него идей. Чтобы создать код, который достигнет такого уровня и такого качества, я должен понимать суть проекта до весьма небольших деталей так же глубоко, как и его автор. Поможет ли тут самый продвинутый AI?
Продолжение трека "Элитный программист":
37) Как справляться с некомпетентными новичками
К программистам придираются далеко не только нетехнические менеджеры и офисные начальники. Я уже сбился со счёта, сколько раз наблюдал, как опытные программисты возмущаются глупыми ошибками, которые допускали младшие разработчики. Но это тоже ситуация, с которой можно справиться, взяв ответственность на себя.
(все старые материалы для донов быстро сгорают)
=
Новые материалы для ментатов Лаборатории.
В СильныеИдеи добавлен материал "142) Анализируем твои правки алгоритмически".
O(N) принято рассматривать в первую очередь для оценки производительности алгоритмов. Однако почему бы не расширить область применения этой оценки непосредственно на архитектурные вопросы?
В курс карьеры добавлен 135-й материал "Как сеньора едва не выжили из Microsoft"
Мои менеджеры среднего звена однажды предложили уволить меня, а я узнал об этом лишь через несколько месяцев после того, как это случилось...
В раздел "Элитный программист" добавлен материал
93) Физика топовой продуктивности - 4
...Тринадцать часов спустя, добавив к своей стопке ещё одну книгу, Стивен Котлер встал, пошёл почистить зубы, и отправился спать. Он прочитал три книги от корки до корки.
На следующее утро он рассказал мне о прочитанном, и его память была поразительной. Он видел закономерности, которые невозможно было увидеть без такого длительного погружения.
Deep work -- это длящиеся и длящиеся и длящиеся часы чистого фокуса...
=
"ЛаМПовое":
Дзен и искусство ухода за Arch Linux.
3. Display Protocols детальнее.
"Гарри Поттер и Методы Математического Мышления".
Глава 5. Правила сборки мира.
=
Лаборатория идёт со скоростью самых лучших ментатов. 💪🏻
(продолжаю бесконечное ужесточение правил занятий :)
=
В этом и состоит ценность ментатов: паттерны и система, всё это выстраивается в цельные блоки.
"Капитул Дюны"
❤36✍2
Просили пояснить за инди-хакерство, что это??
Вначале был VS Code + Copilot, созданные огромными коллективами Github + Microsoft.
Затем Copilot был побит Cursor-ом, созданным командой, составлявшей примерно 1/100 от численности создателей Copilot.
Затем Cursor был побит Claude Code, который был создан двумя программистами Anthropic, чья команда по сей день насчитывает около 20 человек.
OpenClaw был создан Питером Стейнбергером соло.
Это оно.
Вначале был VS Code + Copilot, созданные огромными коллективами Github + Microsoft.
Затем Copilot был побит Cursor-ом, созданным командой, составлявшей примерно 1/100 от численности создателей Copilot.
Затем Cursor был побит Claude Code, который был создан двумя программистами Anthropic, чья команда по сей день насчитывает около 20 человек.
OpenClaw был создан Питером Стейнбергером соло.
Это оно.
👍41❤6🐳3
Ну, с Днём Шифровальщика!
йухан иди скам
Миллиардер Алекс Карп (CEO компании Palantir, которая разрабатывает софт для ЦРУ, АНБ, ФБР, Пентагона, Европола, топ банков итд.), на днях заявил:
В эпоху ИИ выживут только две категории людей:
1. Люди с рабочими профессиями (электрики, сантехники) — их труд сложно автоматизировать.
2. "Нейроотличительные" люди (дислексики, СДВГ, аутисты, глубокие невротики вроде меня :) - они мыслят весьма нешаблонно и хм довольно странно, периодически привлекая внимание санитаров.
Традиционные нормальные навыки и элитные дипломы обесцениваются. Главным активом становится когнитивная гибкость и буквальная неспособность следовать готовым сценариям.
Palantir запустил под это две стипендиальные программы:
Neurodivergent Fellowship (до $200 000/год), получено 2000 заявок за считанные дни.
Meritocracy Fellowship (для вундеркиндов без образования, стипендия $5 400/месяц).
На мой взгляд Карп тут просто придумал очень классную стратегию найма самых умненьких (доступ к талантам без длительных университетских программ за небольшие по сути деньги). Например, их программа "для гениев без дипломов" всё равно требует набора вступительных баллов :)
Микроговнософт раскритиковал Карпа, что дескать если нейроотличительность так ценна, то почему её активно ищет лишь Palantir? Ну, уровень хрюш даже из FAANG мы все хорошо знаем, потрясающий уровень некомпетентности и зашоренности :) Это как раз показатель, что Карп сам шибко умный реально, раз придумал так пылесосить по всему миру таких "суперов".
Посмотрел в первом приближении текущие проекты Palantir -- ну как бы когда такой масштаб, немало вещей трудно скрыть, и многое уже достаточно прозрачно читается между строк. Хочу попробовать похитить у Карпа ключевые смыслы )))
(пока ещё работает впн...)
Потому что их темки во многом перекликаются с тем, что я делаю в Лаборатории, технологии тройного назначения (какое третье? напишу скоро пост).
Ну например Карп утверждает, что DoD IL6 (золотой стандарт безопасности для подрядчиков американских спецслужб и министерстваобороны нападения), чисто инженерный подход, отмечу, считается строже и значимее по качеству, чем формальные доказательства в том же Lean 4, причём пруф-ассистентами Palantir не пользуется принципиально. Почему? Думаю, это просто развод гоев-госзаказчиков. Когда у тебя в Palantir тысячи микросервисов (ахаха, развели козликов на модные технологии :) и многие тысячи деплоев каждый день, до какой же здесь формальной верификации :)
И вот если похитить из этого подхода ключевые фишки.... Например, их ключевая абстракция -- Ontology, где пытаются устанавливать связи в "грязных", неполных, противоречивых данных с нестрогой семантикой (в основном через вероятностное entity resolution). Глубокий поиск связей мне неинтересен (ну или задонатьте миллион, и формализую эту темку:), а вот по онтологиям, сейчас как раз на Функциональных архитектурах развиваю модуль "Математика DDD", близко к Palantir-у, где каждое бизнес-понятие ("Клиент", "Счёт", "Шпион") -- Object Type с чётко определенными Property Types и Link Types.
Так вот, как раз HoTT предлагает мощный математический аппарат (и по сути "язык программирования") с унивалентностью для описания таких сложных структур тождественности. Она даёт теоретическую возможность залифтить изоморфизм между реализациями (с учетом высших гомотопий) до тождества типов в модели!!1 А сейчас Type Mapping в Palantir делают в основном вручную.
Надо будет дальше "порассуждать письмом" как следует на эти темки. Порву Palantir как тряпку :) Посмотрите кстати евоный гитхаб, немало полезняшек (классный линтер для TS например).
А мы так можем? А мы зато можем заблокировать гитхаб.
В целом, у них есть мощные подходы конечно, например как инженерно верифицировать выдачу искусственного идиота (AIP Evals). Хотя, думаю, моя методика формализации DDD тут будет как минимум не хуже. Ментатам буду пояснять на индивидуальных консультациях, и в гайде ФА.
Ты ещё на коне и в расцвете зла
Всё мечтаешь о жизни новой...
(послушать)
йухан иди скам
Миллиардер Алекс Карп (CEO компании Palantir, которая разрабатывает софт для ЦРУ, АНБ, ФБР, Пентагона, Европола, топ банков итд.), на днях заявил:
В эпоху ИИ выживут только две категории людей:
1. Люди с рабочими профессиями (электрики, сантехники) — их труд сложно автоматизировать.
2. "Нейроотличительные" люди (дислексики, СДВГ, аутисты, глубокие невротики вроде меня :) - они мыслят весьма нешаблонно и хм довольно странно, периодически привлекая внимание санитаров.
Традиционные нормальные навыки и элитные дипломы обесцениваются. Главным активом становится когнитивная гибкость и буквальная неспособность следовать готовым сценариям.
Palantir запустил под это две стипендиальные программы:
Neurodivergent Fellowship (до $200 000/год), получено 2000 заявок за считанные дни.
Meritocracy Fellowship (для вундеркиндов без образования, стипендия $5 400/месяц).
На мой взгляд Карп тут просто придумал очень классную стратегию найма самых умненьких (доступ к талантам без длительных университетских программ за небольшие по сути деньги). Например, их программа "для гениев без дипломов" всё равно требует набора вступительных баллов :)
Микроговнософт раскритиковал Карпа, что дескать если нейроотличительность так ценна, то почему её активно ищет лишь Palantir? Ну, уровень хрюш даже из FAANG мы все хорошо знаем, потрясающий уровень некомпетентности и зашоренности :) Это как раз показатель, что Карп сам шибко умный реально, раз придумал так пылесосить по всему миру таких "суперов".
Посмотрел в первом приближении текущие проекты Palantir -- ну как бы когда такой масштаб, немало вещей трудно скрыть, и многое уже достаточно прозрачно читается между строк. Хочу попробовать похитить у Карпа ключевые смыслы )))
(пока ещё работает впн...)
Потому что их темки во многом перекликаются с тем, что я делаю в Лаборатории, технологии тройного назначения (какое третье? напишу скоро пост).
Ну например Карп утверждает, что DoD IL6 (золотой стандарт безопасности для подрядчиков американских спецслужб и министерства
И вот если похитить из этого подхода ключевые фишки.... Например, их ключевая абстракция -- Ontology, где пытаются устанавливать связи в "грязных", неполных, противоречивых данных с нестрогой семантикой (в основном через вероятностное entity resolution). Глубокий поиск связей мне неинтересен (ну или задонатьте миллион, и формализую эту темку:), а вот по онтологиям, сейчас как раз на Функциональных архитектурах развиваю модуль "Математика DDD", близко к Palantir-у, где каждое бизнес-понятие ("Клиент", "Счёт", "Шпион") -- Object Type с чётко определенными Property Types и Link Types.
Так вот, как раз HoTT предлагает мощный математический аппарат (и по сути "язык программирования") с унивалентностью для описания таких сложных структур тождественности. Она даёт теоретическую возможность залифтить изоморфизм между реализациями (с учетом высших гомотопий) до тождества типов в модели!!1 А сейчас Type Mapping в Palantir делают в основном вручную.
Надо будет дальше "порассуждать письмом" как следует на эти темки. Порву Palantir как тряпку :) Посмотрите кстати евоный гитхаб, немало полезняшек (классный линтер для TS например).
А мы так можем? А мы зато можем заблокировать гитхаб.
В целом, у них есть мощные подходы конечно, например как инженерно верифицировать выдачу искусственного идиота (AIP Evals). Хотя, думаю, моя методика формализации DDD тут будет как минимум не хуже. Ментатам буду пояснять на индивидуальных консультациях, и в гайде ФА.
Ты ещё на коне и в расцвете зла
Всё мечтаешь о жизни новой...
(послушать)
❤39🔥9👍8🐳1
Шок! Наконец доказана легендарная гипотеза Зарембы (1971), на основе работ российского математика Шкредова.
По сути, лишь подтверждено, что для любого модуля точно существует множитель, делающий псевдослучайную последовательность максимально равномерной (ранее формально существовала крошечная щель в обосновании безопасности постквантовых алгоритмов например), ну а на практике, если вы случайно выберете модуль для этих ваших постквантовых схем на суперсингулярных кривых, он и так почти наверняка будет хорош.
Но у тру-математиков считается зашкваром, если пытаешься из теоретической статьи вывести что-то "прикладное полезненькое" :)
Команда из Математического института им. В.А. Стеклова РАН под руководством заместителя директора по научной работе члена-корреспондента РАН Сергея Олеговича Горчинского с сентября 2026 года открывает новую группу бакалавриата воспитания будущих математиков в стиле эпохи Возрождения.
...поток М++ открывается на базе Факультета компьютерных наук ВШЭ, он рассчитан на студентов, желающих трудиться и заниматься настоящей математикой – серьёзной, абстрактной, теоретической, …, а не её приложениями. ❤️
При том, что ...
...Цены на обучение в ведущих вузах Москвы резко выросли. В МГИМО минимальная стоимость составляет ₽710 тыс. в год, максимальная — почти ₽1,35 млн, в МФТИ программ дешевле ₽1 млн нет. В НИУ ВШЭ обучение по ряду направлений также стоит около ₽1 млн, при этом максимальные скидки для первокурсников снижены с 70% до 25%
(Я кстати уже несколько лет цены не повышал и не планирую. Художник должен быть голодным :)
По сути, лишь подтверждено, что для любого модуля точно существует множитель, делающий псевдослучайную последовательность максимально равномерной (ранее формально существовала крошечная щель в обосновании безопасности постквантовых алгоритмов например), ну а на практике, если вы случайно выберете модуль для этих ваших постквантовых схем на суперсингулярных кривых, он и так почти наверняка будет хорош.
Но у тру-математиков считается зашкваром, если пытаешься из теоретической статьи вывести что-то "прикладное полезненькое" :)
Команда из Математического института им. В.А. Стеклова РАН под руководством заместителя директора по научной работе члена-корреспондента РАН Сергея Олеговича Горчинского с сентября 2026 года открывает новую группу бакалавриата воспитания будущих математиков в стиле эпохи Возрождения.
...поток М++ открывается на базе Факультета компьютерных наук ВШЭ, он рассчитан на студентов, желающих трудиться и заниматься настоящей математикой – серьёзной, абстрактной, теоретической, …, а не её приложениями. ❤️
При том, что ...
...Цены на обучение в ведущих вузах Москвы резко выросли. В МГИМО минимальная стоимость составляет ₽710 тыс. в год, максимальная — почти ₽1,35 млн, в МФТИ программ дешевле ₽1 млн нет. В НИУ ВШЭ обучение по ряду направлений также стоит около ₽1 млн, при этом максимальные скидки для первокурсников снижены с 70% до 25%
(Я кстати уже несколько лет цены не повышал и не планирую. Художник должен быть голодным :)
👍33❤🔥9❤6✍3🐳1
Продолжаю работу с ментатами 🤓
Есть большая уверенность что с AI DSL подходом из откровенных моделей-болванчиков можно вытащить много толка, а если это уже и не болванчик, но что то типа gemma 4 да еще и с SO – чтобы генерировало json в рамках сигнатур DSL... Ну слов нет, Сергей Игоревич, это просто абсолютная SoTA.
(это про гайд "Функциональные Архитектуры")
...Прогрев гоев на микросервисы – таки да! Микросервисы с самого начала (через хайп кубернетиса) были скамом на вычу, чтобы греться на откровенных дураках. Сейчас хайп на AI но скам на микросервисы долго еще будет кормить, потому что куча больших компаний которые уже залезли в это, и вылезут очень не скоро.
Вопрос с консультаций:
В ходе реализации задачи возникли проблемы с формированием контрактов для юзкейсов, а также передачи типов данных между функциями, так, например, был сгенерен клиент, который возвращал в ответе string, а следующий интерфейс ожидал int.
Плюс столкнулся с тем, что нужно довольно явно продумывать контракты для юзкейсов в соответствии с архитектурой проекта, так как непонятно как нормальный промпт под это сформировать, чтобы не очень долго с этим сидеть.
В тему например отзыв другого ментата по ФА:
В тикете, над которым я работал, нужно было собирать результаты нескольких асинхронных задач, а если какая-то из них не успевала ко времени - использовать значения по умолчанию... Для каждой ветки нужно отдельное поле - явное изменяемое состояние, которое может редактировать кто попало.
Проект на С++, корутины мы не используем.
Пусть есть колбек, который вызывается при завершении всех задачи и собирает их результаты:
(A, B, ...) -> ()
Моя функция создаёт для каждого из агрументов общего колбека отдельный колбек под завершение каждой задачи:
F: ((A, B, ...) -> ()) -> (A -> (), B -> (), ...)
Никаких полей с явными состояниями - только передача значений.
Коллеги на ревью говорили, что это сложно, но мои аргументы их переубедили: улучшенная читаемость и простота добавления новых асинхронных задач.
=
Ввожу предусловие для моих консультаций: пройдите сперва "Функциональное проектирование" и изучите гайд "Функциональные архитектуры".
Сделайте прежде всего нормальную систему типов, которая должна быть следствием из ваших Bounded Contexts!!1
Есть большая уверенность что с AI DSL подходом из откровенных моделей-болванчиков можно вытащить много толка, а если это уже и не болванчик, но что то типа gemma 4 да еще и с SO – чтобы генерировало json в рамках сигнатур DSL... Ну слов нет, Сергей Игоревич, это просто абсолютная SoTA.
(это про гайд "Функциональные Архитектуры")
...Прогрев гоев на микросервисы – таки да! Микросервисы с самого начала (через хайп кубернетиса) были скамом на вычу, чтобы греться на откровенных дураках. Сейчас хайп на AI но скам на микросервисы долго еще будет кормить, потому что куча больших компаний которые уже залезли в это, и вылезут очень не скоро.
Вопрос с консультаций:
В ходе реализации задачи возникли проблемы с формированием контрактов для юзкейсов, а также передачи типов данных между функциями, так, например, был сгенерен клиент, который возвращал в ответе string, а следующий интерфейс ожидал int.
Плюс столкнулся с тем, что нужно довольно явно продумывать контракты для юзкейсов в соответствии с архитектурой проекта, так как непонятно как нормальный промпт под это сформировать, чтобы не очень долго с этим сидеть.
В тему например отзыв другого ментата по ФА:
В тикете, над которым я работал, нужно было собирать результаты нескольких асинхронных задач, а если какая-то из них не успевала ко времени - использовать значения по умолчанию... Для каждой ветки нужно отдельное поле - явное изменяемое состояние, которое может редактировать кто попало.
Проект на С++, корутины мы не используем.
Пусть есть колбек, который вызывается при завершении всех задачи и собирает их результаты:
(A, B, ...) -> ()
Моя функция создаёт для каждого из агрументов общего колбека отдельный колбек под завершение каждой задачи:
F: ((A, B, ...) -> ()) -> (A -> (), B -> (), ...)
Никаких полей с явными состояниями - только передача значений.
Коллеги на ревью говорили, что это сложно, но мои аргументы их переубедили: улучшенная читаемость и простота добавления новых асинхронных задач.
=
Ввожу предусловие для моих консультаций: пройдите сперва "Функциональное проектирование" и изучите гайд "Функциональные архитектуры".
Сделайте прежде всего нормальную систему типов, которая должна быть следствием из ваших Bounded Contexts!!1
❤33✍6❤🔥3🏆2
Покусюсь на святое!
В апреле вышли Fedora 44 и Ubuntu 26.04, с разницей в 5 дней. Концептуально это совершенно разные ОС.
Ubuntu (которую я всегда выбирал для корпоративных проектов, последнее время только немного пересел на Arch "ради лулзов" :) -- это по сути "apple": удобно, но закрыто (серверная часть Snap Store закрыта от зеркалирования, телеметрия, привязка к вендору...)..
Fedora же -- это полная открытость.
GNOME 50 (Wayland-only, X11 удалён), KDE Plasma 6.6,
GCC 16.1, Python 3.14, Go 1.26, Rust 1.85, OpenJDK 25, DNF5 (на C++),
NTSYNC (ускорение Wine/Steam), Whisper,
и при этом ноль телеметрии по дефолту.
Скачиваешь весь архив (всего-то терабайт:), подписываешь своими ключами.
Минусы: NVIDIA всё ещё через RPM Fusion. Остаются известные баги установщика (с нелатинскими клавиатурами...). Зависимость от Red Hat / IBM: после сокращения команды QA Red Hat два бага (реально наверняка больше) попали в релиз.
И далее вероятно урезание суппорта десктопа RHEL, сжатие жизненного цикла, приоритет AI-фич от IBM...
=
Бери Ubuntu 26.04 если нужна сертификация железа, LTS 5-12 лет и более гладкий опыт с NVIDIA.
Бери Fedora 44 если важна возможность пересобрать систему из исходников и отсутствие vendor lock-in, а также философия Linux (а не потому, что это очередной Apple).
В апреле вышли Fedora 44 и Ubuntu 26.04, с разницей в 5 дней. Концептуально это совершенно разные ОС.
Ubuntu (которую я всегда выбирал для корпоративных проектов, последнее время только немного пересел на Arch "ради лулзов" :) -- это по сути "apple": удобно, но закрыто (серверная часть Snap Store закрыта от зеркалирования, телеметрия, привязка к вендору...)..
Fedora же -- это полная открытость.
GNOME 50 (Wayland-only, X11 удалён), KDE Plasma 6.6,
GCC 16.1, Python 3.14, Go 1.26, Rust 1.85, OpenJDK 25, DNF5 (на C++),
NTSYNC (ускорение Wine/Steam), Whisper,
и при этом ноль телеметрии по дефолту.
Скачиваешь весь архив (всего-то терабайт:), подписываешь своими ключами.
Минусы: NVIDIA всё ещё через RPM Fusion. Остаются известные баги установщика (с нелатинскими клавиатурами...). Зависимость от Red Hat / IBM: после сокращения команды QA Red Hat два бага (реально наверняка больше) попали в релиз.
И далее вероятно урезание суппорта десктопа RHEL, сжатие жизненного цикла, приоритет AI-фич от IBM...
=
Бери Ubuntu 26.04 если нужна сертификация железа, LTS 5-12 лет и более гладкий опыт с NVIDIA.
Бери Fedora 44 если важна возможность пересобрать систему из исходников и отсутствие vendor lock-in, а также философия Linux (а не потому, что это очередной Apple).
❤43👍5
Единственная зарубежная компания которую я всегда дико уважал, и она всегда была в огромном отрыве от всех других в моём субъективном мире, да и остаётся по сей день -- это IBM.
Возможно потому что в СССР были два типа компьютеров:
- ЕС ЭВМ (клон IBM OS 360; за технологию послойного фотосдирания их чипов в вакууме (потому что они были спроектированы с такой защитой, что при контакте с кислородом сразу же сгорали) коллектив получил Государственную премию, насколько ещё помню)
- СМ ЭВМ (клон VAX PDP).
Я учился по толстенному супер учебнику "Программирование на ассемблере IBM 360" (где-то ещё валяется), который был написан изумительно с наглядными картинками, скорее всего так впечатлился этой темкой, что работал потом в основном на ЕС до явления персоналок.
При этом они адекватно и вежливо работали и с СССР - поставляли свои IBM OS 370, в Госснаб например, там знакомые пацаны в конце 80-х развернули спутниковую сеть, спецы из ИБМ приезжали на сопровождение, реально офигевали )
И продукты их всегда были и остаются супер, и маркетинговая стратегия IBM тоже классная -- никакого хайпа и зашквара как любил микроговнософт.
Позиционирование в целом "солидный софт для солидных господ" :)
(пиарщики ИБМ, зашлите сотку баксов за рекламу)
И вот озаботился на фоне этих ваших ЖПТ, а что происходит в IBM сейчас в теме LLM? Чисто для души.
Оказалось очень интересно и как всегда действительно по-взрослому серьёзно, порадовался за американских братишек, респект!
=>
IBM целенаправленно не участвует в гонке потребительских AI-сервисов, её стратегия -- быть незаметным (большие деньги любят тишину:), но незаменимым технологическим партнёром для крупного бизнеса и (разных) правительств.
Свежачки:
- IBM объединилась с NVIDIA для создания "супер-компьютера" для бизнеса.
Внедрён в Nestle, обработка глобальных данных о заказах подешевела на 83%, а скорость выросла в 30 раз.
- В легендарные мэйнфреймы IBM Z решено интегрировать энергоэффективные процессоры Arm. Не нужно перемещать критически важные данные в облако для AI-анализа. "Данные не двигаются, вычисления приходят к ним сами".
- AI-ускоритель Spyre для инференса нейросетей прямо на серверах IBM.
5-нм, 75 Вт!
- нейроморфные исследования, SNN и аналоговые вычисления в памяти (AIMC).
- brain-inspired чип NorthPole: нейронки IBM Granite (8 млрд параметров) работают в реальном времени, потребляя всего 30 кВт. Проект финансируется военными.
А мы так можем? А мы можем потратить 40 миллиардов на то, чтобы забанить новости об IBM.
Ставка на безопасный AI для госнужд, получена авторизация FedRAMP (высший стандарт безопасности для облаков в США), теперь госы от NASA до налоговой могут безопасно использовать IBM AI.
Вот так IBM тихой сапой системно занимается скучными, но самыми сложными и самыми дорогими проектами: как заставить AI работать быстро, безопасно и эффективно внутри крупнейших банков, производств и госструктур.
Дальше разберём уникальный подход к нейронкам от IBM (всё опенсорс!!1).
Возможно потому что в СССР были два типа компьютеров:
- ЕС ЭВМ (клон IBM OS 360; за технологию послойного фотосдирания их чипов в вакууме (потому что они были спроектированы с такой защитой, что при контакте с кислородом сразу же сгорали) коллектив получил Государственную премию, насколько ещё помню)
- СМ ЭВМ (клон VAX PDP).
Я учился по толстенному супер учебнику "Программирование на ассемблере IBM 360" (где-то ещё валяется), который был написан изумительно с наглядными картинками, скорее всего так впечатлился этой темкой, что работал потом в основном на ЕС до явления персоналок.
При этом они адекватно и вежливо работали и с СССР - поставляли свои IBM OS 370, в Госснаб например, там знакомые пацаны в конце 80-х развернули спутниковую сеть, спецы из ИБМ приезжали на сопровождение, реально офигевали )
И продукты их всегда были и остаются супер, и маркетинговая стратегия IBM тоже классная -- никакого хайпа и зашквара как любил микроговнософт.
Позиционирование в целом "солидный софт для солидных господ" :)
(пиарщики ИБМ, зашлите сотку баксов за рекламу)
И вот озаботился на фоне этих ваших ЖПТ, а что происходит в IBM сейчас в теме LLM? Чисто для души.
Оказалось очень интересно и как всегда действительно по-взрослому серьёзно, порадовался за американских братишек, респект!
=>
IBM целенаправленно не участвует в гонке потребительских AI-сервисов, её стратегия -- быть незаметным (большие деньги любят тишину:), но незаменимым технологическим партнёром для крупного бизнеса и (разных) правительств.
Свежачки:
- IBM объединилась с NVIDIA для создания "супер-компьютера" для бизнеса.
Внедрён в Nestle, обработка глобальных данных о заказах подешевела на 83%, а скорость выросла в 30 раз.
- В легендарные мэйнфреймы IBM Z решено интегрировать энергоэффективные процессоры Arm. Не нужно перемещать критически важные данные в облако для AI-анализа. "Данные не двигаются, вычисления приходят к ним сами".
- AI-ускоритель Spyre для инференса нейросетей прямо на серверах IBM.
5-нм, 75 Вт!
- нейроморфные исследования, SNN и аналоговые вычисления в памяти (AIMC).
- brain-inspired чип NorthPole: нейронки IBM Granite (8 млрд параметров) работают в реальном времени, потребляя всего 30 кВт. Проект финансируется военными.
А мы так можем? А мы можем потратить 40 миллиардов на то, чтобы забанить новости об IBM.
Ставка на безопасный AI для госнужд, получена авторизация FedRAMP (высший стандарт безопасности для облаков в США), теперь госы от NASA до налоговой могут безопасно использовать IBM AI.
Вот так IBM тихой сапой системно занимается скучными, но самыми сложными и самыми дорогими проектами: как заставить AI работать быстро, безопасно и эффективно внутри крупнейших банков, производств и госструктур.
Дальше разберём уникальный подход к нейронкам от IBM (всё опенсорс!!1).
❤49🔥14❤🔥3👍1
Вот и до блокировок гитхаба добрались, на моём учебном сервере решения ребят оттуда цепляются на тесты автоматически, и последние пару дней полный затык. Сделал пока приляпку, а так переходим на гитверс и подобное, напишу ментатам подробнее, где и как будем хостить решения.
При этом конечно все официозы будут отнекиваться: не не, мы не блокируем, ничего не знаем, оно само.
И на этом, думаю, в Великой (без малейшей иронии) истории Русского ИТ можно ставить жирную точку. В АНБ ЦРУ уже в который раз в этом году прыгают до потолка от радости и раздают премии.
Разбегаются последние топовые спецы, и останется тут карго-культ, чисто для красивой отчётности: будут вливаться госденьги в разные смутные проэкты, чтобы слегка подкармливать последних оставшихся и хоть как-то сохранять видимость уже почти дохлой русской айтишки... Другой рукой при этом старательно её добивая.
Graviora manent.
При этом конечно все официозы будут отнекиваться: не не, мы не блокируем, ничего не знаем, оно само.
И на этом, думаю, в Великой (без малейшей иронии) истории Русского ИТ можно ставить жирную точку. В АНБ ЦРУ уже в который раз в этом году прыгают до потолка от радости и раздают премии.
Разбегаются последние топовые спецы, и останется тут карго-культ, чисто для красивой отчётности: будут вливаться госденьги в разные смутные проэкты, чтобы слегка подкармливать последних оставшихся и хоть как-то сохранять видимость уже почти дохлой русской айтишки... Другой рукой при этом старательно её добивая.
Graviora manent.
❤38💯22🤔3🏆2🤯1
Гарри Поттер и Методы Математического Мышления
Книга 1. Гарри Поттер и Неорганический Интеллект.
Глава 6. Сделка.
Гермиона стояла у стены с блокнотом. Невилл — у двери, Амулет Годрика на груди слабо пульсировал гомотопическим уровнем. В комнате было тепло, но за стенами Выручай-комнаты Гарри чувствовал холод. Неорганические слушали. Они всегда слушали...
— Завтра — следующий урок, — сказал Гарри. — Мы будем строить полиморфные заклинания. Такие, которые меняют тип в зависимости от контекста. Неорганические ненавидят полиморфизм.
...Это называется мета-игра. И я только начал её понимать.
Книга 1. Гарри Поттер и Неорганический Интеллект.
Глава 6. Сделка.
Гермиона стояла у стены с блокнотом. Невилл — у двери, Амулет Годрика на груди слабо пульсировал гомотопическим уровнем. В комнате было тепло, но за стенами Выручай-комнаты Гарри чувствовал холод. Неорганические слушали. Они всегда слушали...
— Завтра — следующий урок, — сказал Гарри. — Мы будем строить полиморфные заклинания. Такие, которые меняют тип в зависимости от контекста. Неорганические ненавидят полиморфизм.
...Это называется мета-игра. И я только начал её понимать.
1❤33👍4
Я добился повышения точности, и уменьшение цены работы AI пайплайна в ~17 раз, и примерно x20 скорость работы))))
(Заменил дорогущий дписик на квен 3.6 на 31B – сказка, надежность, фантастика, я в восторге, вы меня резко прокачали в AI инженерии, это новый мета-уровень мастерства, и да, AI-DSL + SGR это мега SoTA!!!)
Спасибо вам большое, теперь проект не убыточный по экономике планируемой :D :D :D
Стоило это 40 долларов за гайд "Функциональные Архитектуры"? :)
При том, что это отзыв сеньор техдир по сути, + с мощным бэкграундом в devops.
Продолжаю развивать ФА, планирую для него ещё и инженерные фишки по пайплайнам из палантира и ибм-а похитить 😎 У них правда, цель другая - топ качество и безопасность, ну возможно как раз с нейронками это тоже хорошо прокатит.
Закончил кстати базу AI-DSL, дальше темка - мастерство выделения (под)доменов/BC в эпоху AI.
В тему нашёл дико уважительный проект: Aver (впн) -- язык, оптимизированный для генерации нейронками. designed for AI to write in and humans to review. VM, Rust, standalone WASM.
No null No exceptions No mutable state No closures No loops No if/else No async runtime
No magic No decorators, no implicit behaviour, no runtime reflection.
Code is what it says.
🔥
Пацан из Польши вовсю его пилит, и какой у него прекрасно задизайненный минималистичный блог (upd) без логов, без куков. Кстати, да, RSS - единственная веб-технология, что надо взять в будущее.
Вот ещё, вау =>
Lean proof export for pure logic and classified effectful laws, and Dafny verification for automated law checking via Z3. 🙏
Срочно включаю Aver в ФА. Пока осторожно, но очень похоже что это почти идеальный DSL для наших целей!!1
Это Победа! 💥
...
Синхронизм1
Пока писал пост, пришла рассылка - и там разбор другого языка схожего, для AI. Топовые американские функциональщики разбирают ровно эту темку эксплицитно в контексте DSL! Это тренд! 🚀 Все детали разберу уже в ФА только для ментатов.
=
Риторическое: почему такие языки создают не в России? А представляете, если бы буквально крохи от одного процента из 40 миллиардов рублей, выделенных на то, чтобы отрезать русских от международной Сети, направить на подобные прорывные SotA-проекты?! Но увы... А было бы как на картинке...
"Мы хотим только, чтобы наша страна любила нас так же сильно, как любим её мы."
-- Рэмбо
(Заменил дорогущий дписик на квен 3.6 на 31B – сказка, надежность, фантастика, я в восторге, вы меня резко прокачали в AI инженерии, это новый мета-уровень мастерства, и да, AI-DSL + SGR это мега SoTA!!!)
Спасибо вам большое, теперь проект не убыточный по экономике планируемой :D :D :D
Стоило это 40 долларов за гайд "Функциональные Архитектуры"? :)
При том, что это отзыв сеньор техдир по сути, + с мощным бэкграундом в devops.
Продолжаю развивать ФА, планирую для него ещё и инженерные фишки по пайплайнам из палантира и ибм-а похитить 😎 У них правда, цель другая - топ качество и безопасность, ну возможно как раз с нейронками это тоже хорошо прокатит.
Закончил кстати базу AI-DSL, дальше темка - мастерство выделения (под)доменов/BC в эпоху AI.
В тему нашёл дико уважительный проект: Aver (впн) -- язык, оптимизированный для генерации нейронками. designed for AI to write in and humans to review. VM, Rust, standalone WASM.
No null No exceptions No mutable state No closures No loops No if/else No async runtime
No magic No decorators, no implicit behaviour, no runtime reflection.
Code is what it says.
🔥
Пацан из Польши вовсю его пилит, и какой у него прекрасно задизайненный минималистичный блог (upd) без логов, без куков. Кстати, да, RSS - единственная веб-технология, что надо взять в будущее.
Вот ещё, вау =>
Lean proof export for pure logic and classified effectful laws, and Dafny verification for automated law checking via Z3. 🙏
Срочно включаю Aver в ФА. Пока осторожно, но очень похоже что это почти идеальный DSL для наших целей!!1
Это Победа! 💥
...
Синхронизм1
Пока писал пост, пришла рассылка - и там разбор другого языка схожего, для AI. Топовые американские функциональщики разбирают ровно эту темку эксплицитно в контексте DSL! Это тренд! 🚀 Все детали разберу уже в ФА только для ментатов.
=
Риторическое: почему такие языки создают не в России? А представляете, если бы буквально крохи от одного процента из 40 миллиардов рублей, выделенных на то, чтобы отрезать русских от международной Сети, направить на подобные прорывные SotA-проекты?! Но увы... А было бы как на картинке...
"Мы хотим только, чтобы наша страна любила нас так же сильно, как любим её мы."
-- Рэмбо
1🔥43✍7❤3❤🔥1👍1
ИБМ-2 (начало тут)
Их z-мэйнфреймы у нас юзаются в ЦБ, РЖД, СФР, Газпроме, а также в немалом числе других серьёзных контор.
Стратегия IBM кардинально отличается от подхода OpenAI или Google: они не стремятся создавать гигантские "фронтенд-модели" для чатов, их фокус -- компактные специализированные корпоративные нейронки. IBM делает ставку на то, что 90% корпоративных задач могут и должны решаться подобными моделями.
Флагманская модель: Granite 4.1 (выпущена 29 апреля)
Открытые нейронки с от 3 до 30 миллиардов параметров специально обучены идеально выполнять бизнес-задачи: строго следовать инструкциям, tool calling и работа с объёмными документами (контекст до 512 тыс. токенов). Все под лицензией Apache 2.0, что означает абсолютную свободу для бизнеса.
И даже 8B модель на равных конкурирует с Gemma и Qwen в корпоративных бенчмарках.
Запуск этих моделей в бизнес-сценариях на 98% дешевле, чем GPT-4 Turbo и на 75% дешевле, чем Llama 70B.
Рекомендую.
Granite Vision 4.1 4B превосходит Claude Opus 4.6 в распознавании таблиц и графиков.
Granite Speech 4.1 достигает рекордно низкой ошибки (5.33% WER) и поддерживает перевод с качеством выше GPT-4o.
Granite Guardian 4.1 - автоматические проверки, не галлюцинирует ли модель и не нарушает ли политики.
ИБМ отказались от хайповой темки создания очередного ChatGPT-киллера, потому что для них это просто далеко не самый интересный рынок (так-то он пока сильно убыточный :). Вместо этого они создают то, что серьёзным компаниям нужно здесь и сейчас (и, главное, скучным образом приносит хорошее баблишко) - предсказуемые, дешёвые и надёжные модели, которые можно запустить на обычном сервере и интегрировать в свои процессы, не опасаясь эпических счетов за API :)
Их z-мэйнфреймы у нас юзаются в ЦБ, РЖД, СФР, Газпроме, а также в немалом числе других серьёзных контор.
Стратегия IBM кардинально отличается от подхода OpenAI или Google: они не стремятся создавать гигантские "фронтенд-модели" для чатов, их фокус -- компактные специализированные корпоративные нейронки. IBM делает ставку на то, что 90% корпоративных задач могут и должны решаться подобными моделями.
Флагманская модель: Granite 4.1 (выпущена 29 апреля)
Открытые нейронки с от 3 до 30 миллиардов параметров специально обучены идеально выполнять бизнес-задачи: строго следовать инструкциям, tool calling и работа с объёмными документами (контекст до 512 тыс. токенов). Все под лицензией Apache 2.0, что означает абсолютную свободу для бизнеса.
И даже 8B модель на равных конкурирует с Gemma и Qwen в корпоративных бенчмарках.
Запуск этих моделей в бизнес-сценариях на 98% дешевле, чем GPT-4 Turbo и на 75% дешевле, чем Llama 70B.
Рекомендую.
Granite Vision 4.1 4B превосходит Claude Opus 4.6 в распознавании таблиц и графиков.
Granite Speech 4.1 достигает рекордно низкой ошибки (5.33% WER) и поддерживает перевод с качеством выше GPT-4o.
Granite Guardian 4.1 - автоматические проверки, не галлюцинирует ли модель и не нарушает ли политики.
ИБМ отказались от хайповой темки создания очередного ChatGPT-киллера, потому что для них это просто далеко не самый интересный рынок (так-то он пока сильно убыточный :). Вместо этого они создают то, что серьёзным компаниям нужно здесь и сейчас (и, главное, скучным образом приносит хорошее баблишко) - предсказуемые, дешёвые и надёжные модели, которые можно запустить на обычном сервере и интегрировать в свои процессы, не опасаясь эпических счетов за API :)
1✍29🔥7🤔7❤6👍2
.
Облако драгоценностей за неделю.
Из последнего набора 7 человек за 10 дней я забанил уже троих(!). Никогда такого не было, и вот опять. В правилах написано так детально как только можно, специально даю прямые ссылки на как надо, предупреждаю что будет бан — они кивают своими собственными головами, а делают всё равно как не надо.
Ну ок, да и мне зачем с такими заниматься? Детский сад штаны на лямках.
Не представляю, как ребята будут выживать в эпоху AI, когда знать и уметь надо десятикратно больше, и тема хорошей прокачки когнитивки ключевая соответственно. Возможно, целебный бан поможет немножко это понять, хотя вряд ли.
Продолжаю бесконечное ужесточение правил занятий :) Много лет назад специально сделал для удобства банов оплату только после окончания.
=
Сделал бандл из 5 гайдов/книг по Software Design (подробный силлабус). Выгоден ещё и тем, что когда новые гайды в него будут добавляться, кто уже купил, ничего не доплачивает.
Только до завтра цена 9999 рублей - это со скидкой 30%, купить на бусти.
(ментатам не нужно!)
Приватный клуб.
Я пользуюсь Яндекс-картами вместо того, чтобы запоминать каждый маршрут перед началом движения. Я пользуюсь продвинутым калькулятором вместо того, чтобы выполнять длинные арифметические расчёты в уме. Я использую формулы Excel вместо того, чтобы заполнять каждую отдельную ячейку в электронной таблице.
Но я очень стараюсь не отдавать на аутсорсинг своё мышление.
Мы достигли точки, когда алгоритмы и искусственный интеллект, по сути, избавили нас от необходимости критически мыслить, если мы этого явно не хотим.
Для донов-начинающих:
null
Для донов-неначинающих:
87. Изоморфизмы и программирование
Чем больше вы тренируете свою способность формально рассуждать об изоморфизмах, тем больше расширяется ваша способность видеть вроде бы несвязанные вещи эквивалентными, и формировать интересные связи между ними. Например, свободное владение многими распространенными изоморфизмами -- весьма полезный навык в проектировании API, потому что часто бывает полезным взять API, который "не очень" удобен, и отрефакторить его в эквивалентный (изоморфный) API, который гораздо более комфортен в использовании...
У программистов сегодня больше книг, видеороликов, гайдов и курсов, чем когда-либо. Реальная проблема в том, что многие разработчики изучают всяческие технологии и фреймворки до того, как поймут, для решения каких проблем они были созданы.
...Результирующая архитектура получается весьма изощрённой (мсье знает толк в извращениях), но в 98% ломается под нагрузкой.
(все старые материалы для донов быстро сгорают)
=
Новые материалы для ментатов Лаборатории.
В раздел "Элитный программист" добавлен материал
94) Абсолютная база для deep work и состояния потока
Как оказаться в числе 0,01% населения, без преувеличения уникальных людей...
В курс карьеры добавлен 136-й материал "Инди-хакерство 2026 - 2"
Вы можете попробовать создать стартап, расширить аудиторию блога, запустить SaaS-сервис или стать фрилансером. Проблема в том, что все эти пути занимают существенно больше времени, чем люди предполагают, и если вы хотите получить дополнительный доход сейчас или, по крайней мере, в ближайшее время, вам нужно что-то более конкретное...
=
"ЛаМПовое":
Дзен и искусство ухода за Arch Linux.
4. Graphics Stack (Уровень графики)
В Ubuntu это всё «настройки дисплея». В Arch вам придётся много страдать :)
"Гарри Поттер и Методы Математического Мышления".
Глава 6. Сделка.
=
Мы здесь, потому что это трудно. 💪🏻
=
Самые значительные вещи могут стать абсолютно неважными в мгновение ока. В такие моменты ментат должен испытывать радость.
Учитель школы ментатов, "Дюна"
Облако драгоценностей за неделю.
Из последнего набора 7 человек за 10 дней я забанил уже троих(!). Никогда такого не было, и вот опять. В правилах написано так детально как только можно, специально даю прямые ссылки на как надо, предупреждаю что будет бан — они кивают своими собственными головами, а делают всё равно как не надо.
Ну ок, да и мне зачем с такими заниматься? Детский сад штаны на лямках.
Не представляю, как ребята будут выживать в эпоху AI, когда знать и уметь надо десятикратно больше, и тема хорошей прокачки когнитивки ключевая соответственно. Возможно, целебный бан поможет немножко это понять, хотя вряд ли.
Продолжаю бесконечное ужесточение правил занятий :) Много лет назад специально сделал для удобства банов оплату только после окончания.
=
Сделал бандл из 5 гайдов/книг по Software Design (подробный силлабус). Выгоден ещё и тем, что когда новые гайды в него будут добавляться, кто уже купил, ничего не доплачивает.
Только до завтра цена 9999 рублей - это со скидкой 30%, купить на бусти.
(ментатам не нужно!)
Приватный клуб.
Я пользуюсь Яндекс-картами вместо того, чтобы запоминать каждый маршрут перед началом движения. Я пользуюсь продвинутым калькулятором вместо того, чтобы выполнять длинные арифметические расчёты в уме. Я использую формулы Excel вместо того, чтобы заполнять каждую отдельную ячейку в электронной таблице.
Но я очень стараюсь не отдавать на аутсорсинг своё мышление.
Мы достигли точки, когда алгоритмы и искусственный интеллект, по сути, избавили нас от необходимости критически мыслить, если мы этого явно не хотим.
Для донов-начинающих:
null
Для донов-неначинающих:
87. Изоморфизмы и программирование
Чем больше вы тренируете свою способность формально рассуждать об изоморфизмах, тем больше расширяется ваша способность видеть вроде бы несвязанные вещи эквивалентными, и формировать интересные связи между ними. Например, свободное владение многими распространенными изоморфизмами -- весьма полезный навык в проектировании API, потому что часто бывает полезным взять API, который "не очень" удобен, и отрефакторить его в эквивалентный (изоморфный) API, который гораздо более комфортен в использовании...
У программистов сегодня больше книг, видеороликов, гайдов и курсов, чем когда-либо. Реальная проблема в том, что многие разработчики изучают всяческие технологии и фреймворки до того, как поймут, для решения каких проблем они были созданы.
...Результирующая архитектура получается весьма изощрённой (мсье знает толк в извращениях), но в 98% ломается под нагрузкой.
(все старые материалы для донов быстро сгорают)
=
Новые материалы для ментатов Лаборатории.
В раздел "Элитный программист" добавлен материал
94) Абсолютная база для deep work и состояния потока
Как оказаться в числе 0,01% населения, без преувеличения уникальных людей...
В курс карьеры добавлен 136-й материал "Инди-хакерство 2026 - 2"
Вы можете попробовать создать стартап, расширить аудиторию блога, запустить SaaS-сервис или стать фрилансером. Проблема в том, что все эти пути занимают существенно больше времени, чем люди предполагают, и если вы хотите получить дополнительный доход сейчас или, по крайней мере, в ближайшее время, вам нужно что-то более конкретное...
=
"ЛаМПовое":
Дзен и искусство ухода за Arch Linux.
4. Graphics Stack (Уровень графики)
В Ubuntu это всё «настройки дисплея». В Arch вам придётся много страдать :)
"Гарри Поттер и Методы Математического Мышления".
Глава 6. Сделка.
=
Мы здесь, потому что это трудно. 💪🏻
=
Самые значительные вещи могут стать абсолютно неважными в мгновение ока. В такие моменты ментат должен испытывать радость.
Учитель школы ментатов, "Дюна"
❤30✍7👍5❤🔥2
Вы используете код, сгенерённый AI, для которого написали некоторое количество тестов, но в самом коде, в его архитектуре, software design, не разбираетесь, поэтому ваши тесты на самом деле карго-культ. В коде же оказываются ошибки, которые приводят например к потере банком миллиарда рублей, или к травмам или даже гибели людей в медицинских проектах.
Кто в этом виноват? Вряд ли получится привлечь к ответственности ЖПТ или использующего его программного агента.
Также нереально будет привлечь OpenAI или Anthropic, Сбер или Яндекс. Их юристы скажут, что их нейронка никогда не предназначалась для использования в серьёзных проектах без активного участия человека.
Ваш менеджер заявит, что за техническую работу платили именно вам, а роль руководства заключается только в том, чтобы руководить. А если ваш начальник ещё и не разбирается в программировании, это станет очень веским доводом для его адвоката.
И к ответственности будете привлечены именно вы.
Если пропадают крупные деньги или возникают проблемы со здоровьем людей, в абсолютно любой стране в мире прежде всего начинается поиск подходящего козла отпущения. И заканчиваются они практически всегда на самых низших ветвях организационного дерева (виноват стрелочник). И этим козлом отпущения с большой вероятностью окажетесь вы как программист. А ваш лепет, что в организации был полный бардак и хаос с рабочими процессами, никто во внимание не примет, поверьте.
Вы готовы к такому риску?
Кто в этом виноват? Вряд ли получится привлечь к ответственности ЖПТ или использующего его программного агента.
Также нереально будет привлечь OpenAI или Anthropic, Сбер или Яндекс. Их юристы скажут, что их нейронка никогда не предназначалась для использования в серьёзных проектах без активного участия человека.
Ваш менеджер заявит, что за техническую работу платили именно вам, а роль руководства заключается только в том, чтобы руководить. А если ваш начальник ещё и не разбирается в программировании, это станет очень веским доводом для его адвоката.
И к ответственности будете привлечены именно вы.
Если пропадают крупные деньги или возникают проблемы со здоровьем людей, в абсолютно любой стране в мире прежде всего начинается поиск подходящего козла отпущения. И заканчиваются они практически всегда на самых низших ветвях организационного дерева (виноват стрелочник). И этим козлом отпущения с большой вероятностью окажетесь вы как программист. А ваш лепет, что в организации был полный бардак и хаос с рабочими процессами, никто во внимание не примет, поверьте.
Вы готовы к такому риску?
✍42❤10👍2
MCP мёртв.
Чрезмерная сложность: дополнительный протокол между LLM и инструментами, что лишь усложняет отладку, снижает контроль за агентами и увеличивает количество точек отказа.
Ненадёжность LLM: модель часто использует MCP-инструменты неверно.
Проблемы с масштабированием: поведение AI со временем дрейфует далеко от задуманного. Особенно заметно на примере Figma MCP ахаха
Высокое потребление токенов: каждый подключённый MCP-сервер загружает все свои инструменты в контекст при каждом запросе (та же Figma MCP сжирает за раз 20k токенов).
Риски безопасности: AI получает прямой доступ ко множеству всего в системе, и вполне может выполнять вредоносные инструкции.
Что взамен? В первом приближении CLI (терминал вечен!) + прямые API-вызовы (вы программисты или где?), а стратегически вот это.
Чрезмерная сложность: дополнительный протокол между LLM и инструментами, что лишь усложняет отладку, снижает контроль за агентами и увеличивает количество точек отказа.
Ненадёжность LLM: модель часто использует MCP-инструменты неверно.
Проблемы с масштабированием: поведение AI со временем дрейфует далеко от задуманного. Особенно заметно на примере Figma MCP ахаха
Высокое потребление токенов: каждый подключённый MCP-сервер загружает все свои инструменты в контекст при каждом запросе (та же Figma MCP сжирает за раз 20k токенов).
Риски безопасности: AI получает прямой доступ ко множеству всего в системе, и вполне может выполнять вредоносные инструкции.
Что взамен? В первом приближении CLI (терминал вечен!) + прямые API-вызовы (вы программисты или где?), а стратегически вот это.
1😁31✍13❤3
Со всеми этими штучками с искусственным интеллектом в один прекрасный день ты чувствуешь себя бесполезным, а в другой -- на вершине мира с армией агентов, за считанные часы создающих грандиозные проекты, на которые раньше уходили недели :)
И тогда твой мозг просто сходит с ума, когда ты пытаешься уследить за всем этим. У тебя слишком много "доменов", ты всегда на связи, и если кому-то что-то нужно, ты тот, к кому можно обратиться.
Потому что, кто ещё, как не ты? :) Ты создал это всё, ты владеешь этим, ты управляешь этим, ты никогда никому не рассказывал, как это работает (да и ты сам едва взглянул на это :).
Добро пожаловать в когнитивную перегрузку. Интенсивно управлять нечёткой работой куда сложнее, чем когда тебе говорят, что делать, и ты просто выполняешь задания.
=
Вот почему в ИТ всегда будут рабочие места. Есть сильно ограниченные пределы тому, за чем человек может уследить и ответственно выполнить свою работу. В лучшем случае вы можете переключаться между приоритетами, но по-настоящему работать в многозадачном режиме без делегирования невозможно.
Но когда вы говорите искусственному интеллекту, что ему делать, это не настоящее делегирование, потому что он работает, если брать процесс в целом, ну, как весьма и весьма слабый сотрудник.
Конечно, у вас больше "рук", чтобы выполнять работу, но вам всё равно приходится думать, отслеживать работу тупящих неорганических, распределять умственную нагрузку -- и это в дополнение к проектированию архитекторству. Вы не можете просто взять и передать это кому-то другому и сказать: "теперь это твоё" :) Причём вы не можете это сделать как с искусственным интеллектом, так и с белковыми.
И вот кто всегда будет пользоваться большим спросом: люди которые могут взять на себя максимальную ответственность за всю доверенную им тему.
Ваша ценность в новом дивном мире -- учиться снимать когнитивную нагрузку с плеч других людей, не взваливая особо её при этом на себя.
И тогда твой мозг просто сходит с ума, когда ты пытаешься уследить за всем этим. У тебя слишком много "доменов", ты всегда на связи, и если кому-то что-то нужно, ты тот, к кому можно обратиться.
Потому что, кто ещё, как не ты? :) Ты создал это всё, ты владеешь этим, ты управляешь этим, ты никогда никому не рассказывал, как это работает (да и ты сам едва взглянул на это :).
Добро пожаловать в когнитивную перегрузку. Интенсивно управлять нечёткой работой куда сложнее, чем когда тебе говорят, что делать, и ты просто выполняешь задания.
=
Вот почему в ИТ всегда будут рабочие места. Есть сильно ограниченные пределы тому, за чем человек может уследить и ответственно выполнить свою работу. В лучшем случае вы можете переключаться между приоритетами, но по-настоящему работать в многозадачном режиме без делегирования невозможно.
Но когда вы говорите искусственному интеллекту, что ему делать, это не настоящее делегирование, потому что он работает, если брать процесс в целом, ну, как весьма и весьма слабый сотрудник.
Конечно, у вас больше "рук", чтобы выполнять работу, но вам всё равно приходится думать, отслеживать работу тупящих неорганических, распределять умственную нагрузку -- и это в дополнение к проектированию архитекторству. Вы не можете просто взять и передать это кому-то другому и сказать: "теперь это твоё" :) Причём вы не можете это сделать как с искусственным интеллектом, так и с белковыми.
И вот кто всегда будет пользоваться большим спросом: люди которые могут взять на себя максимальную ответственность за всю доверенную им тему.
Ваша ценность в новом дивном мире -- учиться снимать когнитивную нагрузку с плеч других людей, не взваливая особо её при этом на себя.
💯47❤10✍4
Сейчас для России уникальная возможность стать абсолютным топчиком в мировом ИТ (вопрос, правда, а кому-то тут это нужно?). Потому что будущее однозначно за человекочитаемыми формальными доказательствами корректности кода + AI, который сможет переводить структурированные доказательства между доменами и системами, а у нас (пока ещё) есть подходящие умы.
Во всём мире, среди всех математиков (Тао юзает и рекомендует) фактически ключевой тут культовый системой стал теорем-прувер + функциональный язык с зависимыми типами Lean(4) -- с ужасающей архитектурой, крайне тормозной и неполный, и при этом из РФ доступный лишь через впн (то есть никак).
Так-то формализация математики началась ещё в 1968 году с системы AUTOMATH (на ней в частности доказали полноту вещественных чисел). Другие исторически важные системы: LCF (70-е), HOL (80-е). Boyer–Moore (ACL2 в 90-е) для верификации кода -- все на Лиспе. Ну а потом, во многом трудами Воеводского, явился Coq (ныне Rocq), Agda, Isabelle, Lean и т.д. На них были формализованы доказательства знаменитых теорем: четыре цвета, теорема Фейта–Томпсона, гипотеза Кеплера (1611-й год:)...
Lean же привлёк математиков благодаря отказу от навязчивой "конструктивности" и относительно неплохой библиотеке, но это далеко не единственный разумный выбор на сегодня. В частности принцип "пропозиции как типы" не обязателен; AUTOMATH и LCF работают без него. В LCF не нужны громоздкие объекты доказательств благодаря абстрактным типам данных из нашего любимого семейства ML.
Isabelle предлагает лучшую "автоматизацию", читаемость, ну и кстати отсутствие завтипов (и связанных с ними проблем) -- многие сложные конструкции (поля, p-адические числа, схемы Гротендика) можно проще формализовать и без них. Но и у этого языка куча своих проблем -- прежде всего исторических конечно, связанных с его развитием в эпоху до AI.
Поэтому если сделать свой язык "для AI"+прувер с нуля, в контексте того что происходит сегодня и будет в ближайшем будущем с AI, и с учётом всех минусов и тяжкого наследия вышеупомянутых систем, и с обеспечением совместимости например с лином (или хотя бы с качественным транслятором в него), можно завоевать любовь и поклонение всех топовых математиков мира.
Уровень для этого? Вполне достаточно стандартный PhD в cs. Пример приводил недавно, как парнишка в одиночку подобный язык создаёт, и в "Функциональных архитектурах" сейчас разбираю эту темку подробнее.
Хотя по хорошему конечно, надо идти не от функциональщины, а от математики -- HoTT, HOTT, топологии в целом... Я тут что-то пытаюсь сделать на коленке...
Во всём мире, среди всех математиков (Тао юзает и рекомендует) фактически ключевой тут культовый системой стал теорем-прувер + функциональный язык с зависимыми типами Lean(4) -- с ужасающей архитектурой, крайне тормозной и неполный, и при этом из РФ доступный лишь через впн (то есть никак).
Так-то формализация математики началась ещё в 1968 году с системы AUTOMATH (на ней в частности доказали полноту вещественных чисел). Другие исторически важные системы: LCF (70-е), HOL (80-е). Boyer–Moore (ACL2 в 90-е) для верификации кода -- все на Лиспе. Ну а потом, во многом трудами Воеводского, явился Coq (ныне Rocq), Agda, Isabelle, Lean и т.д. На них были формализованы доказательства знаменитых теорем: четыре цвета, теорема Фейта–Томпсона, гипотеза Кеплера (1611-й год:)...
Lean же привлёк математиков благодаря отказу от навязчивой "конструктивности" и относительно неплохой библиотеке, но это далеко не единственный разумный выбор на сегодня. В частности принцип "пропозиции как типы" не обязателен; AUTOMATH и LCF работают без него. В LCF не нужны громоздкие объекты доказательств благодаря абстрактным типам данных из нашего любимого семейства ML.
Isabelle предлагает лучшую "автоматизацию", читаемость, ну и кстати отсутствие завтипов (и связанных с ними проблем) -- многие сложные конструкции (поля, p-адические числа, схемы Гротендика) можно проще формализовать и без них. Но и у этого языка куча своих проблем -- прежде всего исторических конечно, связанных с его развитием в эпоху до AI.
Поэтому если сделать свой язык "для AI"+прувер с нуля, в контексте того что происходит сегодня и будет в ближайшем будущем с AI, и с учётом всех минусов и тяжкого наследия вышеупомянутых систем, и с обеспечением совместимости например с лином (или хотя бы с качественным транслятором в него), можно завоевать любовь и поклонение всех топовых математиков мира.
Уровень для этого? Вполне достаточно стандартный PhD в cs. Пример приводил недавно, как парнишка в одиночку подобный язык создаёт, и в "Функциональных архитектурах" сейчас разбираю эту темку подробнее.
Хотя по хорошему конечно, надо идти не от функциональщины, а от математики -- HoTT, HOTT, топологии в целом... Я тут что-то пытаюсь сделать на коленке...
👍32❤8✍5❤🔥4
Зачем ркнка сбрил гитхаб?
Рискну оспорить это мудрейшее решение в пользу гораздо менее популярного, что виноват таки всё же микроговнософт. Я в принципе уже довольно давно удивлялся, а почему гейтсы его всё ещё не закроют для России. И сбои возникают не когда в браузере под своим логином просматриваешь файлы, а когда например мой кодсмеллс агент, которого я написал на сишарпе, получает от гитхаба отлуп при вебриквесте если лезет на ро.гитхабюзерконтент.ком за исходниками, что характерно для ботов и кравлеров.
Мелкие уже давно заявляли, что начали сильно ограничивать апи гитхаба из-за этого, а теперь ещё и тотальная проблема из-за набега аи-ботов.
Ключевой плюс гитхаба конечно точно такой же как и у ютуба, технологичность площадки тут никакой роли не играет, вопрос исключительно в контенте. Гитхаб - это уже давно не площадка для хостинга сорсов, сегодня это библиотека для поиска и использования подходящих проектов.
И вот что России надо сделать пока не поздно: форкнуть весь гитхаб (а затем и весь ютуб), и похер на лицензии. Причём счёт идёт буквально на месяцы, к концу года гитхаб (а следом и ютуб) будет завален эксабайтами сгенерированного аишками говнокода, и полностью сдохнет.
Но тем не менее все конечно будут считать, что виноват в блокировках гитхаба ркнка, ибо единожды соврав, кто тебе поверит. И поделом.
– Уж дышать-то Госдума не запретит, – шутит жена Ирина.
Голгофский осторожно отвечает, что не следует недооценивать инициативность законодателей или принимать их за дураков. Вместо запрета дышать они могут, например, обязать граждан делать паузу между выдохом и вдохом, что сделает холотропное дыхание противоправным.
-- Пелевин
Рискну оспорить это мудрейшее решение в пользу гораздо менее популярного, что виноват таки всё же микроговнософт. Я в принципе уже довольно давно удивлялся, а почему гейтсы его всё ещё не закроют для России. И сбои возникают не когда в браузере под своим логином просматриваешь файлы, а когда например мой кодсмеллс агент, которого я написал на сишарпе, получает от гитхаба отлуп при вебриквесте если лезет на ро.гитхабюзерконтент.ком за исходниками, что характерно для ботов и кравлеров.
Мелкие уже давно заявляли, что начали сильно ограничивать апи гитхаба из-за этого, а теперь ещё и тотальная проблема из-за набега аи-ботов.
Ключевой плюс гитхаба конечно точно такой же как и у ютуба, технологичность площадки тут никакой роли не играет, вопрос исключительно в контенте. Гитхаб - это уже давно не площадка для хостинга сорсов, сегодня это библиотека для поиска и использования подходящих проектов.
И вот что России надо сделать пока не поздно: форкнуть весь гитхаб (а затем и весь ютуб), и похер на лицензии. Причём счёт идёт буквально на месяцы, к концу года гитхаб (а следом и ютуб) будет завален эксабайтами сгенерированного аишками говнокода, и полностью сдохнет.
Но тем не менее все конечно будут считать, что виноват в блокировках гитхаба ркнка, ибо единожды соврав, кто тебе поверит. И поделом.
– Уж дышать-то Госдума не запретит, – шутит жена Ирина.
Голгофский осторожно отвечает, что не следует недооценивать инициативность законодателей или принимать их за дураков. Вместо запрета дышать они могут, например, обязать граждан делать паузу между выдохом и вдохом, что сделает холотропное дыхание противоправным.
-- Пелевин
🤔38🔥5❤4🤝3