Лаборатория Математики и Программирования Сергея Бобровского – Telegram
Лаборатория Математики и Программирования Сергея Бобровского
1.29K subscribers
1.19K photos
24 videos
930 links
ЛаМПовое с Бобровским
Download Telegram
Как вы оцениваете вероятность, что вас могут чипировать без вашего ведома?
Anonymous Poll
20%
это точно возможно
30%
это скорее возможно
34%
это скорее невозможно
15%
это точно невозможно
😁23🤯10👍4🤔1
Видите, 85% считают, что чипирование без нашего ведома как минимум возможно, а более половины убеждены, что это скорее или точно возможно. Моя субъективная фантазия, что наиболее вероятным кандидатом на такое скрытое чипирование станет мессенджер Макс с непонятной национальностью. Как? Ну например, под видом разгона облаков над городом распыляют тучи наночипов, которыми Макс дистанционно управляет через вышки 6G, внедряя в своего хозяина.

Шутка.

Но факт, что анонсированный на днях Цифровой ID в Максе, который скоро позволит делать всё (и, видимо, в перспективе без него не позволит делать ничего), сильно похоже, реализуется по методичкам глобалистского проекта ID 2020 =>
"прототип цифровой системы для идентификации личности. Проект поддерживается Организацией Объединённых Наций, и является частью инициативы Целей устойчивого развития (2030 Sustainable Development Goals). По замыслу проекта, до 2030 года планируется обеспечить всех людей на планете цифровым ID. В проекте участвуют компании Microsoft, Accenture, PricewaterhouseCoopers и Cisco Systems."

Думайте.
🤔537😇1
Помните ли вы, насколько лучше работал Веб, когда всё было просто тем самым паршивым SSR-приложением на PHP c базкой MySql?

Теперь, когда все стало паршивым приложением React, серверная часть которого вместе с Постгрессом распределена по дюжине корпоративных сервисов без какой-либо целостности данных, ничего больше не работает. GitHub и VK буквально замораживают мой компьютер, который в 10 раз мощнее компьютера, который у нас был 10 лет назад.

Верните дерьмовые приложения на Пыхе!!1
1💯48😁2012🤓1
Продолжаю работу с ментатами 🤓


...Из за 15% НДФЛ я получил в этом месяце на 7 тысяч меньше чем ровно год назад в этом же месяце, тот же оклад те же 40 часов, спрашивал тимлида, сказал что счас финансирование урезали

К сожалению это классика: не то что индексировать, а будут скорее всего и дальше так понижать (возможно, и до нуля :), пока видят что люди работают. Я лично много такого насмотрелся, причем в хорошие времена.

...По hh пока отказы и игнор

Про hh и подобные я пишу постоянно, что это уже давно стал тупик с нулевым кпд.

...Текущие трудности связаны с тем, что мне в скором времени нужно будет подготавливать мой проект к поставке на прод/препрод. Обычно у нас проекты собираются в rpm-пакеты и админы устанавливают эти пакеты на прод, а на препрод пакеты устанавливаются автоматом в рамках CI.
Я ни разу не занимался их сборкой и крайне слабо представляю как это делать.

Надо было заниматься на моём Дипломном проекте 🙏

...Заразился вайб-кодингом на Курсоре. Это тоже сильно усугубляет ситуацию, потому что тупеешь ты со страшной скоростью и этот "барьер" становится еще толще.
Хочу покаяться. Дипломный проект , примерно треть я навайбкодил. По началу делал все сам. Потом слегка дополнял ИИшкой.
Потом вообще не заметил как потерял контроль. Теперь хватаюсь за голову и сильно жалею что так сделал.

...Закончил часом ранее 8 часовой марафон по выявлению требований об отправке xml документа, редактировал xslt, загружал на сервер, запускал процесс и получал очередные ошибки, а все потому что внешняя платформа не желала давать нам xsd, а заказчики возмущались почему мы неделю не можем исправить баг, а потому что нет людей)


Классический пример одной из 9 зависимостей, которые разбираем в СИ :)

...TL;DR – я ужасно отупел и забыл как решать литкод.
Почти все что мы проходили на 1-2 АСД я помню, конечно же, но вот решать и проходить скрининги не готов. А работу новую или вторую мне искать нужно – контора яма с гадюками где людей начали увольнять за то что они просят повышение зарплаты, круговая порука идиотизма,
...Отупел в этом естественным образом решая 2 года круд задачи и прочую бизнес ерунду)


...Все клиенты почти разом задержали оплату. Ходят вести о том что если в сентябре не приведем новых клиентов, то в октябре можем загнуться.
Благо на прошлой неделе наспех был собран прототип из вайб-субстанции и деревянных костылей для презентации которая нам привела клиента.

...В силу того, что не все компании платят в белую, мне перевели на счет зарплату не совсем официально и Сбербанк заблокировал мне вообще все доступы.
31🤔24🙏5❤‍🔥32
Я разбираю в Лаборатории в небольшом гайде тему построения GUI:

- Командный стиль: установить курсор в позицию, нарисовать кнопку, изменить внешний вид элемента...;
- Декларативный стиль: GUI конструируется из набора предопределённых возможностей, типичный пример -- HTML/CSS;
- Визуальный редактор.

Поясняю, почему этого недостаточно, и даю полное формальное определение GUI и "как правильно".

Засада в том, что из огромного зоопарка различных дизайнов, библиотек и языков не найдётся сегодня ни одной более-менее универсальной вещи, которая бы полноценно отвечала в принципе хорошо известному определению GUI из computer science (комбинация вычислительных моделей).

Это даже забавно. Триумф типов во многих областях программирования сегодня неоспорим, и тем не менее пока так и не имеется ни одного функционального + основанного на типах подхода к программированию с GUI (полагаю, во многом потому, что GUI -- это куча динамических объектов с late binding).

Возможно, нам нужны более мощные типы. Но также важно признать, что даже современное ФП с продвинутой системой типов не смогло дать адекватного ответа на массовый запрос по программированию с GUI. Даже наоборот: после себя ФП оставило множество ужасных приложений React на TypeScript.
🤔45😁6🔥421
Я завёл канал в МАКСЕ!1

=> ЛаМПовое с Бобровским <=

Просто поток бессознательного, без цели и без расчёта...
🤯36😁22🔥96🤓3
На данный момент у программистов есть волшебные ящики, в которые они могут вводить текст, и которые буквально делают за них всю работу. И они при этом всё ещё умудряются жаловаться на свою жизнь.
😁4415💯9🤓2
Тебя заменит не AI, а человек с хорошо прокачанными AI-скиллами.
👍4310😁4🐳2
.

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

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

...Пока мы находимся на уровне микро-проектирования (считанные десятки классов), конечно в голове надо постоянно удерживать два основных микро-паттерна: [...]. Это конечно база, я просто хочу отметить, что их важно сознательно отделять друг от друга, потому что они постоянно возникают в тесной связи, и между ними подчас не делается различий...

Итак, когда же надо начинать реально архитектурить, а не просто фигачить "фичи", пока всё сильно не запутается?..

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

Следующая методика разбирательства c задачами и временем уже более 20 лет остаётся весьма актуальной: она предлагает представление времени
как конечного пространства с ограничениями...

База по карьере, серия 18:
Ваше "Хочу" имеет дело с тем, что вы считаете желательным для себя.
Ваша "Реальность" имеет дело с тем, что для вас возможно.

Никогда не сдавайся! Всегда говори "да" возможностям.
И помни: ...

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

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

База 9 пунктов, как правильно организовать работу над проектом.
В основном для сеньоров/тимлидов, но и миддлам тоже полезно - всё равно скоро вырастете до сеньорства :)

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

=

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

🚀

=

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

В курс карьеры добавлены
- 112-й материал "7 видеорекомендаций по поиску работы-25".
- 111-й материал "Три Магических Ключа вашей карьеры".
Вам могут рассказать историю, как человек написал 10 целей на листке бумаги, прикрепил его скотчем к задней стенке шкафа, и забыл об этом. А год спустя его жена нашла этот листок -- и, о чудо, все 10 целей сбылись!
Люди охают и ахают такому и ставят кучу лайков. Я же говорю "Это чушь собачья".
Он не лежал на диване 12 месяцев, слушая звуки водопада. Он работал. Он занимался программированием. Вероятно, он учился на моих курсах :)

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

💪🏻

=

Игра Матриц Хакер (МАХ) 😎
Инструкция и прохождение готовы, осталось выложить для бета-теста :)

"ЛаМПовое": Миротворец-2, Пелевин...
5👍3661🐳1
Года через 3 "поиск в гугле" будет звучать не менее архаично, чем сегодня "поиск книги в библиотеке". SEO полностью умрёт, все знания мира будут упакованы в считанные LLM-ки, и выдаваться они будут квотами, постепенно всё более дозированно, ограниченно и фильтрованно.

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

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

Общество разделится на три класса (почти по Марксу:):

1. Владельцы и архитекторы LLM-ок (Новые Нефтяные Бароны): те, кто владеет ЦОДами и вычислительными кластерами, тренирует модели и контролирует квоты доступа к знаниям. Они станут новой аристократией.

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

3. Безлимитные пользователи с рекламой ("Бесплатный" тариф): 99,999% населения будут получать дозированные и тщательно отфильтрованные ответы, в которые встроена тонкая и неотключаемая пропаганда и реклама. Их картина мира будет полностью формироваться алгоритмами, одобренными симбиозом государства и владельцев моделей.

Продолжение следует (дальше будет только хуже)
20🤯36🫡2396🤔5
...И вот когда несколько LLM-ок станут единственными хранителями "всех знаний", начнется последняя фаза -- война за контроль над их содержанием. Корпорации и государства будут иметь свои, слегка различающиеся версии моделей, которые по-разному интерпретируют одни и те же исторические события, научные факты и моральные нормы, что приведёт к глобальному кризису объективной реальности.

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

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

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

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

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

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

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

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

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

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

Готовимся.
6🫡60😁11🤯7😎43
This media is not supported in your browser
VIEW IN TELEGRAM
Вместо демократизации программирования, AI всё сильнее сосредотачивает власть в ИТ в руках тонкой прослойки экспертов, и это очень хорошо 👍

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

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

Отсюда, по теореме Больцано-Коши, мы получим, что миддл что с AI, что без AI, стоит примерно одинаково 🙈 Главный вопрос (для него самого), куда он качнётся дальше.
14625❤‍🔥5👍1
Гомоморфный образ группы
До победы коммунизма
Изоморфен факторгруппе
По ядру гомоморфизма
(с) творчество приматов (прикладная математика) из 80-х

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

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

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

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

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

p.s. Как пройдёте мой трек по гомотопической теории, так сразу это станет понятным, и даже код на питончике сможете такой писать.
1🤯3811🤓83👍3
AI сделает 2% программистов намного умнее и намного успешнее, а 98% программистов намного глупее и намного неудачливее.
1💯47👍135🫡4
Запускаю бета-тест "Матриц Хакера" (текстовая idle-игра).
Кто у меня занимается и хочет потестить, напишите в чат.
Как будут первые успешные проходимцы, так выложу МаХ для всех.

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

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

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

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

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

и т.д.
145🤯155👍2
Никогда ещё в айтишке не было так легко и просто фигачить в прод говнокод: AI в этом отлично помогает.
31💯23😁19🐳2
Когда проектируешь архитектуру с помощью AI, сам не имея представления о software design.
4💯39🫡10😁73
Насколько же труды отца эпистемологии Грегори Бейтсона актуальны в разработке:

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

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

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

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

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

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