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

1. Юридические конфликты. Суды будут оспаривать не людей, а выводы конкурирующих LLM-ок. Что есть "истина", если две модели, обученные на одном массиве данных, дают противоположные ответы?

2. Информационные войны. Государства будут вести хакерские сражения не для уничтожения данных, а для тонкого изменения весов в нейросетях конкурентов, подстраивая "истину" под свои нужды.

3. Потеря исторического консенсуса. Не станет общепризнанной истории. Каждая группа будет жить в своей симуляции прошлого, сгенерированной её "одобренной" моделью. Само понятие "факт" умрёт, уступив место "авторитетной версии", выдаваемой по квоте.

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

= нахрен цифрообщество =

В ответ на тотальный цифровой контроль начнётся стихийный возврат к аналоговым и децентрализованным способам обмена информацией. Появятся "цифровые цитадели" -- закрытые сообщества, использующие mesh-сети, одноранговые протоколы и зашифрованные каналы для обмена данными в обход централизованных LLM-ок.

Ренессанс Аналогового:

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

"Пираты знаний" будут рисковать, пытаясь выкачивать и сохранять остатки открытых данных из архивов перед их окончательным закрытием, чтобы продавать их на чёрном рынке.

Устная традиция обретёт новую ценность. Умение запоминать и точно пересказывать большие объемы информации станет уникальным навыком.

Готовимся.

Вместо демократизации программирования, AI всё сильнее сосредотачивает власть в ИТ в руках тонкой прослойки экспертов, и это очень хорошо 👍

Джуниор с AI (== вайб-кодер 🤮) для компании в 10 раз хуже, чем джуниор без AI (который хоть что-то реально знает сам 💪🏻).

А вот сеньор с AI, уверенно знающий проектирование, computer science, devops, system/software design, в 10 раз ценнее 💥 сеньора без оного, так как легко и просто применит свои знания и к управлению стаями AI-агентов.

Отсюда, по теореме Больцано-Коши, мы получим, что миддл что с AI, что без AI, стоит примерно одинаково 🙈 Главный вопрос (для него самого), куда он качнётся дальше.

Гомоморфный образ группы
До победы коммунизма
Изоморфен факторгруппе
По ядру гомоморфизма
(с) творчество приматов (прикладная математика) из 80-х

Это базовая теорема о гомоморфизмах групп из абстрактной алгебры.
Если у нас есть отображение между двумя группами (гомоморфизм), то образ этого отображения изоморфен (по сути одинаков) факторгруппе (группе классов эквивалентности исходной группы по нормальной подгруппе) по ядру (множеству элементов, отображающихся в единицу группы) гомоморфизма (отображение между группами, сохраняющее операцию). Факторгруппа строится из элементов исходной группы, разбитых на классы эквивалентности по отношению принадлежности к одному смежному классу относительно ядра.

Так, думаю, понятнее 😁

Смотрите, как я первым в мире даю эту легендарную теорему в терминах HoTT =>

Эквивалентность двух типов/способов описания одного и того же математического объекта конструируется через взаимно обратные функции с путями, доказывающими, что их композиции гомотопны тождественным функциям.

Сигма-тип результата функции
До прихода унивалентности
Эквивалентен quotient type-у
По fiber-ам эквивалентности 🤓

p.s. Как пройдёте мой трек по гомотопической теории, так сразу это станет понятным, и даже код на питончике сможете такой писать.

AI сделает 2% программистов намного умнее и намного успешнее, а 98% программистов намного глупее и намного неудачливее.

Запускаю бета-тест "Матриц Хакера" (текстовая idle-игра).
Кто у меня занимается и хочет потестить, напишите в чат.
Как будут первые успешные проходимцы, так выложу МаХ для всех.

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

Например, такие "локации" в игре, как

...Проникновение в святая святых – системы исследований и разработок (R&D). Взлом: AI-аналитики поведения, квантовое шифрование фрагментов данных, биометрические ловушки, изолированные сети. Поиск и кража чертежей, формул, прототипов ПО; обход AI, отслеживающего аномальный доступ; расшифровка критических данных; маскировка под исследователя.

...Вмешательство в системы управления городской энергосетью (умные сети, подстанции). Локальные отключения/перенаправления энергии; маскировка повышенного энергопотребления; саботаж корпоративных объектов; сбор данных о потреблении; создание энергетических ловушек.

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

и т.д.

Никогда ещё в айтишке не было так легко и просто фигачить в прод говнокод: AI в этом отлично помогает.

Никогда не сдавайся: будь как Тузик!

Насколько же труды отца эпистемологии Грегори Бейтсона актуальны в разработке:

-- Мыслите системно и с точки зрения взаимоотношений (реляционная алгебра как база всего бэкенда);

-- Мыслите целенаправленно. Куда ведет вас (в проекте) ваше мышление? К этому ли вы стремитесь? Когда мышление становится слишком целенаправленным, мы совершаем эпистемологическую ошибку "цель оправдывает средства", а это не только аморально, но и неэкологично для системы;

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

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

-- Мыслите в терминах динамических изменений -- это процессное мышление, основанное на наблюдении взаимодействий, которое устраняет средневековое представление о "вещах" (номинализации). Ну или это функциональное мышление в противовес объектному (объекты как "вещи", существительные).

(Хотелось бы и эту темку поразвивать, но ресурсов не хватает...)

Бета-тест "Матриц Хакера", отлаживаю фидбек, и что-то забыл, действительно ли если SelectedIndex задать за границами ListBox, будет исключение?

Спросил AI, называется... Просто погуглить было бы безопаснее и быстрее.

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

Кто тестеры, обновите версию.

p.s. а микрософту очередной 💩 за дебильные апишки. Ну блин, возвращайте код ошибки например, пройдите мой курс по проектированию абстрактных типов данных :)

Вообще, сколько общаюсь с AI, ни один диалог с ними, даже на обычные темы, и близко не похож на естественное человеческое общение, что ЖПТ5, что Опус4.1, да кто угодно.

Как эти нейронки вообще проходят тест Тьюринга? Это каких дебилов надо набирать в "эксперты", чтобы они не могли разобрать, кто есть кто.

.

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

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

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

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

В интернете есть всё и бесплатно! Вот например огромный объём информации по большинству популярных тем из разработки: [...]
По многим темам, по языкам, даже по конкретным технологиям, даются обширные наборы дополнительных ссылок, каждая из которых в свою очередь ведёт на отдельные гайды, справочники, курсы, каждый из которых сам по себе потребует десятков (если не сотен) часов вдумчивого изучения...

Много-много людей самых разных возрастов - и 30 и 40 и 50 - так и не выросли как личность после 20-25 лет. Это люди, которые никогда не осознавали такой факт:
Лучший способ максимально использовать свой возраст 20 лет -- это сделать его для себя максимально дискомфортным.
Видите ли, у вас есть два варианта ...

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

Три основные причины, почему люди не занимаются своим техническим (само)образованием.
1. Чел реально боится осуждения коллег - если узнают, что он где-то учится, скажут "Ты чё, самый умный? Тебе рабочих задачек мало? Щас подбросим ещё, нна!"...

Продолжаю выкладывать для донов материалы СильныхИдей.
55. Важный инсайт про раздутость кода
За раздутость нередко принимают просто объёмный и грязноватый код, когда вы используете сотни и тысячи вариантов схожего кода для всех мыслимых целей. Такой код определённо большой, но не обязательно раздутый...

56. Формализуем понятие надёжности системы
Можно ли формализовать понятие надёжности системы? Тема надёжности вечно актуальна. Попросту говоря, мы хотим создавать системы, которые гарантированно будут правильно функционировать при наличии сбоев, перегрузок и т. п.

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

=

Первые сериалы из существенно переработанных и улучшенных материалов СильныхИдей (по сути три книги) доступны на бусти:
1. БАЗА программной инженерии
2. Software Design с акцентом на Programming in Small
3. SOLID-25
4. Гайд Вайб-проектирование

🚀

=

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

В раздел "Элитный программист" добавлен материал
77) Как применение таймеров поможет вам избежать прокрастинации.

В СильныеИдеи добавлен материал
123) Функциональная архитектура - что это?
Вы прошли курс "Функциональное проектирование" и получили понимание "А что это вообще такое?" из собственной практики. Само по себе это крайне важно, но, как вы знаете, в нашей Лаборатории практика без теории мертва.
Поэтому давайте более глубоко погрузимся в тему функционального проектирования, для чего однако предварительно надо разобраться, а знаете ли вы, что такое функциональное программирование?

В курс карьеры добавлен 113-й материал "Выбираем карьерную Цель".
Вы не ошибётесь, следуя природному компасу.

💪🏻

Мы здесь, потому что это трудно.
it's a privilege to do things that are hard.

=

Тайм-менеджер "Соберись, Тряпка!" 👊
Постепенно развиваю под свои нужды: статистика по помидоркам, всего/в среднем, вчера/сегодня, раскладка помидорок по часам, статистика времени использования разных программ за день и в последнюю помидору, универсальный К продуктивности (редко когда получалось 70% :), распределение времени и помидор по целям и задачам, отладил всплыв "подсознательных" сообщений (пока несложная привязка к ритму работы...)
В принципе, уже этого мне достаточно для 98% моих повседневных целей ) Но по задумкам планам, и 2% не сделано. Там будет (не) одна реальная киллер-фича, о которой пока и заикаться боюсь.

Игра Матриц Хакер (МАХ) 😎
В активном бета-тесте, пофиксил основной баг с перезагрузкой Матрицы (вроде бы:), обновите до версии v0e174

"ЛаМПовое": Dependable C, икоситетрахорический тетракомб...

Продолжаю работу с ментатами 🤓

...На встрече с HR в X5 сказали, что не переманивают тех, кто в Альфе работает,
В [...] изначально пришел на позицию Middle/Senior, но под мой запрос сказали, что так платят только техлидам, но техлидской открытой позиции пока нет).

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

...Продолжаю вырабатывать рабочие привычки по тайм менеджменту и соцсетям. Заметил, что перестал, как раньше, «упираться» в дедлайны по задачам. Неожиданно высвободилось дополнительное время для развития или для срочного выполнения форс-мажорных (или просто срочных) дел, что, в свою очередь, благоприятно сказывается на отношении коллег/начальства :)
Был второй день цифрового детокса без соцсетей. Самое трудное было не забыть об этом дне :) Сам день прошел уже легче, чем первый – не приходилось себе постоянно напоминать, что «сегодня нельзя». Еще не привычка, но уже не что-то новое, как в первый раз, просто изредка спокойное – «сегодня там не читаем».

...Начал знакомство с материалами трека ЭП и осознал, что у меня на самом деле катастрофическая ситуация с производительностью из-за постоянных отвлечений (я, конечно это и раньше замечал, но не предпринимал никаких действий, только иногда сожалел).

...Собственно, главная вредная – это прокрастинация. Поэтому первоочередные усилия направлены на нее. Для преодоления и последующей замены сейчас использую сочетание советов делать максимально «скучные перерывы», чтобы хотелось продолжать продуктивную деятельность + при попытке мозга отвлечься пытаюсь сразу занять его какой-то полезной нагрузкой, вырабатывая полезную привычку. Не устаю удивляться, как легко это достижимо в день «детокса» :)

...Не успеваю с реализацией задания в установленный срок, прошу еще сутки на работу
Пожинаю плоды кривой архитектуры

...Сложность у меня, видимо, с построением иерархии классов. Я пытался сделать гибкую систему за счёт привязки неких абстрактных параметров, их автоматической передачи и т.д.
Получил жёсткую систему, где классы-потомки даже свой конструктор не могут определить, а автопередача параметров обернулась потерей контроля над потоками данных.

...После того, как примерно каркас был сформирован, начал пробовать запустить со скрипта и, конечно, пошли проблемы. Он был еще настроен на монолитный проект до того как разделили на пару микросервисов, пришлось все править пробовать, естественно, много раз чистил все образы докера и контейнеры и в дальнейшем появилась другая проблема - внезапно дамп БД был без менеджеров и я не мог понять сначала в чем проблема. Возможно, все это появилось после того, как я переустановил линукс и сделал себе нормально всё (много памяти и 1-а ОС).

...Плохой код тяжело тестировать. Один из разработчиков недавно пожаловался, что "добивать покрытие до 80% -- слишком душно". Конечно, душно, когда методы по 200 строк :)

(А что покрываем тестами -- разве не интерфейсы, а реализацию, которая завтра изменится? :)

...при обработке плана закупок выскакивает ошибка о невозможности десериализовать значение переменной, потому что внутреннее ядро очень любит сувать Null :)

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

Качество кода всегда зависит от контекста.

Когда вы не знакомы с кодовой базой, качество кода, который вы пишете, будет значительно ниже.

Для каждого изменения кода нам нужен кто-то, кто знаком с ранее существовавшим кодом, иначе вы будете лишь ухудшать состояние проекта, а добавление "свежих" джунов вообще потопит проект очень быстро.

И если вашего "ведущего разработчика забрали на сборы, примерно на полтора месяца", значит, вашему ИТ-бизнесу, или как минимум, проекту, скоро конец :) Но всем пофиг.

(карикатура из "Крокодила" 90-х)

"if we wish to count lines of code, we should not regard them as "lines produced" but as "lines spent"
-- Edsger W. Dijkstra, 1988. "On the cruelty of really teaching computing science"

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

И это понятно: живых-то людей мало где учат правильному проектированию и software design, и книг по этим темам считанные десятки (если не единицы), тем более откуда же взять достаточно объёмные и качественные датасеты для AI.

Мы часто мним о себе нечто, но пришедшее искушение пришедший провал проекта показывает, что мы ничто.
[feat Святитель Тихон Задонский]

12 правил для желающих работать на себя за большие деньги / часть 2

№3. Скиллы важнее умения продавать

По большей части, люди задаются вопросами из категории «Как мне продать себя подороже». Как повысить чек, какие ставить прайсы, как пройти собеседования, общаться с руководителем и прочие продающие штуки. И редко речь заходит о том, как стать, блять, скилловым специалистом. Можно сделать ровно НОЛЬ усилий для продажи себя и всё вложить в навыки — а быть куда дороже того, кого учил продавать волк с Уолл-Стрит.

Фановая новость: недавно Цукерберг сделал оффер сотруднику OpenAI, предложив зарплату 1 млрд $. Тот ещё и отказался. Интересно, за что ему столько предложили? Неужели он охуенно упаковал своё портфолио и кейсы? Или выстроил сверхэффективный лидген? Придумывал продающие тейки для переговоров? Нет, просто чувак хорошо делает свою работу и знает чуть больше остальных. Это не единственный сумасшедший оффер, таких много в любой сфере.

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

Я и авторы, с которыми я работаю, не делаем ничего сверхъестественного. Мы просто делаем работающую рекламу. Когда я обучал авторов, мы ни разу не разговаривали о том, как эффективнее продавать наши услуги клиентам или находить клиентов. Только о том, как делать работу качественно. И, представляете, оказывается, мало кто способен просто делать свою работу и лишний раз не ебать мозги! Очень мало.

Какие скиллы качать? ВСЕ. Если они хоть как-то связаны с вашей работой. Вы автор? Умеете писать? Учитесь. Получается скудно по словам? Читайте словари. Рассказываете скучные истории? Запишитесь на курс по сторителлингу. Хреново продаёте текстом? Почитайте книгу о маркетинге и продажах. Или берите разовые подработки, где нужен рекламщик, и практикуйтесь. Или возьмите консультацию у того, кто вам импонирует. Практически любой спец их даёт, даже если не занимается обучением как бизнесом. И эти пару часов оказываются ценнее любых курсов.

По ходу прокачки всех скиллов подряд, вы найдёте ту самую изюминку, которая выгодно отличит вас от конкурентов. Об этом уже в следующей части.

Продолжаю работу с ментатами 🤓

Эта часть богата удивительными математическими открытиями.

Во-первых, это гомотопические группы, которые позволяют связать непрерывные объекты и дискретную математику. Раньше я слышал про это, но думал что там что-то архисложное и не хотел идти разбираться с этими разделами без сильной мотивации. Оказалось, что это относительно простой приём, основанный на эквивалентности, позволяющей свести всё разнообразие путей к конечному набору петель.

Во-вторых, усечения показали, что абстракцию можно рассматривать как математическую операцию. Это уже мета-математика какая-то. Дальше - универсумы. Раз есть мета-математика, то почему бы не рассмотреть мета-мета-математику и т.д.? Отказ от попыток запихнуть все абстракции в один уровень позволяет, например, расправиться с парадоксами теории множеств. Это же математическая индукция: чтобы работать на любом уровне, достаточно знать, как перейти с любого уровня на следующий.

Самое вкусное - унивалентность. С точки зрения чистой математики мне она казалась искусственной, не особо ценной. Пример с утиной типизацией всё расставил на свои места. Это как равенство по значению vs. равенство по идентичности. Считаем ли мы равными разные экземпляры класса с одинаковыми значениями полей? А может назначить равенством другой путь? Может он будет соединять разные классы, например, исходный код программы и скомпилированный экзешник? При разработке компилятора было бы неплохо уметь доказывать их равенство.

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

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

Благодарю Вас за курсы по программированию! Они помогли мне пройти все технические собеседования и войти в IT сразу на уровень Middle.
Благодарю Вас за статьи по карьере! Они помогли мне предпринять важные шаги и избежать ряда ошибок.

Наличие единственного источника дохода -- это ваша единая точка отказа SPOF.

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

Вот завтра например выкатят ЖПТ7, которая реально умеет работать на уровне миддла. Ну и что будет с вашей жизнью? Причём вероятность этого уже далеко не нулевая.

А куда более вероятный вариант -- сокращения, или дурной начальник будет всех сотрудников превращать в бесправных, выдавливая на ГПД.

Будущее айтишки -- это инди-хакерство. Причём уже совсем недалёкое.

Такое мы забираем: uv

A single tool to replace pip, pip-tools, pipx, poetry, pyenv, twine, virtualenv, and more.
10-100x faster than pip.
Provides comprehensive project management, with a universal lockfile.
Runs scripts, with support for inline dependency metadata.
...