#shorts #youtube #состримов #математика #программисты

Шортс про нужна ли в общем смысле математика кодеру

https://youtube.com/shorts/-mlLOxT5bTg

Подписывайтесь на канал YouTube – https://www.youtube.com/@the_homeless_god

И на блог) ну и на стримы залетайте)

#дайджест #всеподряд

— Alibaba запустила конкурента Nano Banana — мощный ИИ-генератор изображений Qwen-Image-2.0 — круто круто, скоро до видео так и дойдем)

— Фронтенд: Zod: строгая валидация и удобная типизация. Опыт перехода

— Говорю: «Найди!» — и он находит. Как я устал искать ответы в базе знаний и сделал себе помощника

— Soft skills: в чем ценность мягких навыков и как их развить

— Chrome DevTools — не панацея. Что умеет Firefox

— Создатель Redis написал ИИ-распознавание речи на чистом C — без Python и зависимостей

— Как остаться человеком на удаленке

— Исследователи Google представили PaperBanana — агентскую систему, которая генерирует диаграммы для научных работ

— Frontend Status: свежий дайджест фронтенда и AI — 10.02.2026

— Теория Информационной Гравитации: Вселенная как вечный цикл развития зрелости сознания

— Невозможные возможные трюки и интересные алгоритмы на C — шедевр

— Таймтрекеры как диагноз: почему это красный флаг работодателя

— Мнение: ИИ делает простую работу проще, а сложную — ещё сложнее

— Я убрал оценки задач, спринты, планирование и ретроспективы — и ничего не сломалось

— C Django Rest Framework мы все дальше от Бога — о, да, чтобы вы не задавали вопросов в чём проблема петухона-питона

— Первые 100 дней тимлида: как стабилизировать команду, внедрить ритуалы, оценку задач и правильное делегирование

#стриминг #видосики #elixir #youtube

YouTube: https://youtu.be/Dss2cPIugmU
RuTube: https://rutube.ru/channel/38673349/

📌 В этом выпуске я начинаю с Elixir и BEAM,
а заканчиваю теорией категорий, логикой, множествами и Гёделем.

Это не академическая лекция и не «популярная математика»,
а попытка объяснить, как всё это связано с реальной разработкой.

Разбираем:

— зачем вообще Elixir
— что такое BEAM и OTP
— параллелизм и event loop
— функциональное vs императивное
— почему программисту полезно понимать логику
— теорию множеств
— теорию категорий
— морфизмы и изоморфизмы
— и зачем вообще приводят пример с Сократом

📌 Видео сделано на основе стрима — без вырезания контекста и с объяснениями по ходу.


• Про BEAM можно почитать – dev.to: BEAM: Простыми словами
• Общая сводка про Elixir – youtube: fireship: Elixir in 100 seconds (если нужно переозвучу и выложу на канал как перевод)
• Хороший курс про Elixir – youtube: playlist: Elixir - функциональная разработка
• Хороший видос про теорию групп – youtube: Теория групп и 196883-мерный монстр
• Хороший видос про youtube: Уровни математики. Как возникает алгебра и теория категорий?
• Хороший видос про youtube: Язык категорий – на английском – если нужно, то тоже могу перевести

Для хейтеров про монады – я использую «относительные монады» это понятие шире классических монад, суть такова что эндофункторы тут необязательны, гуглится через «monads need not be endofunctors», что чуть глобальнее "монада – это моноид в категории эндофункторов"

Таймкоды


00:00:00 – В чем прикол Elixir?
00:00:50 — Пример лямбд из ИТМО
00:01:20 — Немножко про BEAM
00:01:36 — Немножко про Erlang
00:02:49 — Немножко про Haskell
00:03:25 — Elixir как TypeScript
00:04:17 — Немножко про императивное vs функциональное программирование
00:05:20 — Про синтаксис Elixir-а
00:05:36 — Немножко про OTP, 99.9999999%, параллелизм и supervisors
00:12:10 — Немножко про параллелизм, event loop и многопоточность
00:16:38 — Про функциональное программирование для javascript-разработчиков
00:17:23 — Опять про логику и математику
00:20:45 — Принцип исключенного третьего
00:23:23 — Опять про теорию множеств для программистов
00:23:50 — Про «Чайник Рассела», Бертрана Рассела, бремя доказательства, парадокс теории множеств и логические ошибки
00:27:32 — Поверхностно про Гёделя и его неполноту
00:28:25 — Поверхностно про равенство полных и неполных задач (p = np) и причём тут шахматы
00:29:20 — Теория категорий и уровни математики
00:31:38 — Определение категорий для программиста
00:32:27 — Что такое теория множеств для программиста
00:34:29 — Почему вообще используют пример с Сократом
00:35:17 — Поверхностно множество Universe и её парадокс
00:35:40 — Логичное объяснение теории категорий и причём тут энтимема
00:39:42 — Немножко про морфизмы и изоморфизмы
00:43:20 — Кусок со стрима про openclaw
00:44:12 — Возвращаюсь в композицию
00:45:10 — И в чём смысл истин Set, Grp, Vect и прочих?
00:47:10 — И теперь мы возвращаемся обратно к Elixir
00:47:20 — Синтаксис, модули и атомы в Elixir
00:48:03 — Pattern matching или сопоставление с образцом в Elixir на примере a = 10 и 10 = a, а также pipe оператор и guards
00:55:52 — Сколько лет на это всё ушло у меня и зачем вообще что-то рассказываю
00:57:20 — Что остается в математике или карта математики или map of math моими глазами
01:03:35 — Немножко про DevBSD

#стриминг #видосики #shorts #выгорание #epam

Ещё шорт с нарезки с недавнего стрима, где я рассказываю про опыт работы в EPAM, чекай канал и подписывайся, узнаешь больше про прогу)

• YouTube
• RuTube
• Twitch

#стриминг #видосики #shorts #иттен #цветоваятеория #чтонастримахпроисходит

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

• YouTube
• RuTube
• Twitch

#дайджест #daily #reading #top5

• habr: 10 000 RPS и доступность 99,99%: как устроено шардирование PG в процессинге Яндекс Такси

• ixbt: Новый метод 3D-печати звуком позволяет создавать детали в десять раз мельче, чем раньше

• habr: SDD (Spec-Driven Documentation) – фреймворк для разработки технической документации в репозитории

• habr: Почему LLM продолжают генерировать ошибки в коде — и это не исправить масштабированием

• habr: Своя байт-код VM, шейдеры и 3 килобайта на всё: как я создавал игру за 7 дней (картинка в шапке поста отсюда)