О чем я хочу поговорить с мурычем

Основной тезис: "Мурыч - это виндертон 2.0".

Что делал виндертон:
1. Сначала снимал хорошие технические ролики по спеке Си (уровня сеньера)
2. Далее канал получил развитие и Виндертон начал приписывать себе опыт и "хуесосить" других инженеров
3. Завел Patreon
4. Начал продавать планы

Что делает мурыч:
1. Сначала снимал ролики по JS
2. Начал приписывать себе знания архитектуры, ФП, ООП и другой теории, оскорбляет других инженеров
3. Завел патреон
4. Планы?


Рассмотрения требует п. 2 - приписывание опыта

1. Предпосылки
Знания - не бинарная оценка, а градиент, поэтому нужно оценивать не их наличие или отсутствие, а насколько
они глубоки.

Мурыч, раздает бинарные оценки "может/не может", "знает/не знает", "должен/не должен", однако на свои
ошибки закрывает глаза, почему же учит людей, если сам ошибается?

2. Компетенция (теория, которую мурыч не знает или не рассказывает)

Утверждения мурыча, которые противоречат теории ниже:
1. В редьюсерах функция математически доказуема, в for нет
2. Типы не нужны (тайпскрип - говно)
3. BigO - фигня (он готов котенка убивать, за каждое упоминание BigO)
4. Утверждение, что ФП базируется исключительно на лямбда
5. Утверждение, что лямбда изначально создавалась для создания алгоритмов (вообще, рассмотрение лямбды как языка программирования)

2.1 лямбда исчичление
2.1.1 проблема вычислимости
2.1.2 проблема разрешения
2.1.3 лямбда-исчисление как основа вычислений (книга "Теория вычислений для программистов")
2.1.4 Лямбда и машина тьюринга
2.2. Как лямбда-используется в ФП

Основное утверждение Соера: "правильно типизированный лямбда терм завершается".
ФП - лямда + Категория типов + теория категорий
Пример, категория Хаск (которая не совсем категория)


- Типы как решение проблем корректности программ (Пирс "Типы в языках программирования")
- Соответствие Карри-Говарда (конструктивная логика)
- Алгоритм Хиндли-Милнера
- Полиморфизм в значении типов
- Операционная и денатационная семантика
- Невозможность проверить семантику
- Структура != не семантика (поговорить в чем разница)
- Корректность - продвижение и сохранение
- классы эквивалентности (как не указав класс эквивалентности сравнивать const [ a, b] = value и const {0: a, 1: b} = value, ломается на генераторах)


2.3 Алгоритмы (книга Кормена "Алгоритмы")
- проеб мурыча с мемоизацией (Динамическое программирование)
- проеб мурыча с Мерой Хэмминга
- проеб с "оптимизацией" на leetcode
- Теорема Райса и невозможность создать универасльный алгоритм оптимизации
- доказательство алгоритмов с for (индукция, инвариант)

2.4. Анализ сайта Соера (что не увидел мурыч):

- Защиту через неясность (Security through obscurity)
- Access + Refresh токены
- Fingerprint
- Рэйт лимиты
- Заголовки безопасности (как способ косвенного анализа используемых инструментов)
- Разницу Web1.0 и Web2.0
- современные архитектуры сервисной/микросервисной организации



3. Практика (что есть у Соера, а что у мурыча, что он делает вывод о некомпетенции Соера в создании сайтов?)

Достижения Соера:

3.1 Красивый код, но что за ужас на стримах показывает мурыч? Это фп, структурный подход или что?

3.2 Метархия:
- интегрировал PassportJS для Oauth
- сделал свою реализацию Metacom
- создал небольшой проект на Метархии (obsoverlay)
- сделал Issue с ошибкой обработки параметров

3.3. Сделал учебный проект (бесплатный) через который прошли более 160 человек за Год
3.4. Архитектурные стримы, воркшопы
3.5. Видео на канале (см. ниже)
3.6. XDonate
3.7. ObsOverlay


Достижения Мурыча:

3.1 Сайт не доделан
3.2. На сайте какие-то залипушные Cache и ленивая загрузка картинок
3.3. Пустой гитхаб
3.4. Делал что-то для метархии, но что?
3.5. Что вообще заставляет мурыча считать, что он хорош в практике?


4. Иженерные увлечения (что заставляет говорить мурыча, что Соер не шарит?)

Соер:

4.1. Решение задач на codewars (например, sql движок, рекурсивный спуск)
4.2. Сбор и анализ исходников (на пример OBS)
4.3. Архитектурные вопросы
4.4. Ассемблер (мурыч не знает, что машинный код !== asm)
4.5. Числа с плавающей запятой, разные аспекты программирования

мурыч:
4.1. Спека JS
4.2. V8 оптимизации
???




Вывод: ошибки в теории, необоснованные утверждения, отсутствие образования, придуманные термины, непонятная практика (если вообще есть).
На чем строится мысль, что мурыч может советовать как делать проекты и писать код для продуктовых задач?

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

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

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

С этого момента я считаю историю с мурычем закрытой, после его осознанного отказа выйти со мной один на один в публичном стриме, я доказал, что он не является тем, за кого себя выдает и мои претензии к нему обоснованы.

По поводу того, что я как-то не так себя вел, то я оставался ровно в рамках тех моральных принципов, которые продвигает этот человек и в рамках поведения, которое этот человек себе позволяет.

Надеюсь, что небольшая встряска, которую я ему устроил, приведет в чувство как его сообщество, так и его самого.

P.S. ну и самое главное, и кому оказалось слабо?

Запись пятничного техтолка, смачно поговорили про трудоголизм.

Очередная книга на вечер. Я стараюсь читать литературу не конкретно по каким-то фреймворкам и библиотекам, а что-то концептцальное, что позволяет получить технологическое преимущество в проекте.
Сегодня основные тренды связаны с массовой обработкой и хранением данных.
DataMesh - это современный подход к извлечению аналитических данных предприятия. Штука полезная и нужная.

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

Кстати, я только сегодня думал, ChatGPT написан на Python (ну понятно там еще и Си где-то под капотом, куда без него?), но по факту получается, Python изменил мир!

Вот бы чего никогда не подумал.

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

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

Я согласен, что моя фраза неточна. Но насколько я помню мурыч вроде утверждал то, что лямбда не для задачи вычислимости создавалась. Ну а концовка это просто моя попытка определить что значит задача вычислимости. Логика простая "лямбда создана для решения задачи вычислимости", а дальше просто говорю что понимаю под задачей вычислимости.

В целом чатгпт прикольная штука. А мурчата предсказуемы

P.s. и да, оказалось что описанную задачу можно решить с помощью простого типизированного лямбда исчисления, а простой лямбдой нет

Чтобы вы поняли всю глубину анализа. Вот ещё одна цитата из него. Благодаря которой мы узнаем, что машину Тьюринга тоже была придумана Черчем, а Алан, видимо, просто списал у него. Так благодаря чатугпт был найден ещё и плагиат.

Повышаем градус абсурда

Тут со мной связался переговорщик с целью провести стрим с мурычем.


С учётом того кринжа, что происходит, то я готов на ещё один стрим, но только если он будет организован не мной и проходить на одной из трех площадок:
- у Владилена Минина
- у Ромы Сакутина
- ExtreameCode

Время и день согласуем

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

Сегодня техтолка не будет, сорри что ввел в заблуждение вчера.
UPD> субботнего стрима завтра тоже не будет.

Пересмотрел свое видео про каррирование. Определенно это один из лучших моих роликов, все абсолютно по делу и корректно. Сейчас бы я некоторые моменты дополнил, но всякие придирки к этому видео я не принимаю. Там из стрелочного варианта, предложенного мной, с минимальными правками можно получить каррированый лямбда терм, который уже может использоваться по правилам лямбда исчисления.
https://youtu.be/pzV5rJ19qsI?si=vWdclEV6mYHAyVRq

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