#дайджест #репозитории #github #opensource
• OpenClaw – 125k звёзд – TypeScript – https://github.com/openclaw/openclaw , это чудище, ссылку на который кидал в прошлом дайджесте публикаций, о котором сейчас говорит большая часть IT – по факту, это self-hosted ИИ-агент, который может звонить, выполнять любые задачи на вашем пк и всё что угодно, самое важное, что оно умеет работать с локальными моделями. Я думаю даже выпустить перевод с английского ролика от fireship, если такое полезно маякните в комменты.
Дубль ссылки на публикацию – https://habr.com/ru/news/989024/
• System Prompts Leaks – 28k звёзд – JavaScript – https://github.com/asgeirtj/system_prompts_leaks , это промпты вшитые в большую часть всех известных провайдеров нейросетей, сможете лучше освоить практики RTCF, или понять по какому принципу настроить свои запросы и/или понять как вам ответят. Могу запилить обзор как пользоваться RTCF в формате видео / публикации на хабре, хз как лучше.
• Kimi Code CLI – 5.4k звёзд – TypeScript/Python – https://github.com/MoonshotAI/kimi-cli – крутой шелл, а не только cli-agent, можно включить в VS Code, MCP и прочее, по сути бесплатный аналог того же Claude Code CLI, но уже с настройками скиллов агентов, как у Алисы делали раньше
Остальной ИИ-шный топ пропускаю, всякие популярные приколы типа Vault от HashiCorp тоже
• Playwright CLI – 2k звёзд – JavaScript – https://github.com/microsoft/playwright-cli – микро-удобства (Microsoft) выпустили CLI, чтобы в очень удобном виде можно было писать e2e, оно генерит код исходя из запросов вида "playwright-cli type "Buy groceries"", оч круто, по сути надо подождать и народ портанёт на всякие Cypress и WebDriver-based tools
• LobHub – 71k звёзд – TypeScript – https://github.com/lobehub/lobehub – тоже ии-шка, но по сути это тулинг, чтобы локально создать себе agent teammates, типа будете окружены изолированными контекст-специфичными агентами, прикольная вундервафля для автоматизации вашей деятельности, будете тимлидом
• OpenClaw – 125k звёзд – TypeScript – https://github.com/openclaw/openclaw , это чудище, ссылку на который кидал в прошлом дайджесте публикаций, о котором сейчас говорит большая часть IT – по факту, это self-hosted ИИ-агент, который может звонить, выполнять любые задачи на вашем пк и всё что угодно, самое важное, что оно умеет работать с локальными моделями. Я думаю даже выпустить перевод с английского ролика от fireship, если такое полезно маякните в комменты.
Дубль ссылки на публикацию – https://habr.com/ru/news/989024/
• System Prompts Leaks – 28k звёзд – JavaScript – https://github.com/asgeirtj/system_prompts_leaks , это промпты вшитые в большую часть всех известных провайдеров нейросетей, сможете лучше освоить практики RTCF, или понять по какому принципу настроить свои запросы и/или понять как вам ответят. Могу запилить обзор как пользоваться RTCF в формате видео / публикации на хабре, хз как лучше.
• Kimi Code CLI – 5.4k звёзд – TypeScript/Python – https://github.com/MoonshotAI/kimi-cli – крутой шелл, а не только cli-agent, можно включить в VS Code, MCP и прочее, по сути бесплатный аналог того же Claude Code CLI, но уже с настройками скиллов агентов, как у Алисы делали раньше
Остальной ИИ-шный топ пропускаю, всякие популярные приколы типа Vault от HashiCorp тоже
• Playwright CLI – 2k звёзд – JavaScript – https://github.com/microsoft/playwright-cli – микро-удобства (Microsoft) выпустили CLI, чтобы в очень удобном виде можно было писать e2e, оно генерит код исходя из запросов вида "playwright-cli type "Buy groceries"", оч круто, по сути надо подождать и народ портанёт на всякие Cypress и WebDriver-based tools
• LobHub – 71k звёзд – TypeScript – https://github.com/lobehub/lobehub – тоже ии-шка, но по сути это тулинг, чтобы локально создать себе agent teammates, типа будете окружены изолированными контекст-специфичными агентами, прикольная вундервафля для автоматизации вашей деятельности, будете тимлидом
#дайджест #daily #reading
— Naked Science: Уровень IQ в мире: рейтинг стран в 2026 году
— Habr: Идеальных систем не существует. Монолит, микросервисы и цена распределённости. CAP, ACID, BASE
— Habr: Нет никакой выученной беспомощности
— Habr: Book: Книга: «System Design II. Распределенные системы. Подготовка к сложному интервью»
— Habr: Новые интернет-магистрали: где и зачем сегодня
— Naked Science: Уровень IQ в мире: рейтинг стран в 2026 году
— Habr: Идеальных систем не существует. Монолит, микросервисы и цена распределённости. CAP, ACID, BASE
— Habr: Нет никакой выученной беспомощности
— Habr: Book: Книга: «System Design II. Распределенные системы. Подготовка к сложному интервью»
— Habr: Новые интернет-магистрали: где и зачем сегодня
#дайджест #daily #reading
— Habr: Как я устроился на копеечную ставку, чтобы решить нерешаемую задачу — крутой перевод про уборщика и джаву 😁
— Habr: Из 1600 человек только 170 попадут в IT
— Habr: Кладбище пет-проектов: типичные ошибки разработчиков на пути к собственному продукту
— Habr: Архивируй жизнь как бэкапы: персональная история и документы в формате git
— Habr: Почему мотивация перестает работать, даже если все «по плану»
— Habr: Как я устроился на копеечную ставку, чтобы решить нерешаемую задачу — крутой перевод про уборщика и джаву 😁
— Habr: Из 1600 человек только 170 попадут в IT
— Habr: Кладбище пет-проектов: типичные ошибки разработчиков на пути к собственному продукту
— Habr: Архивируй жизнь как бэкапы: персональная история и документы в формате git
— Habr: Почему мотивация перестает работать, даже если все «по плану»
Хабр
Как я устроился на копеечную ставку, чтобы решить нерешаемую задачу
Подмести весь супермаркет Albert Heijn? Звучит несложно. Собственно, так и должно быть. Но я студент-информатик, и у меня есть одна проблема — склонность оптимизировать процессы, которые, быть может,...
🔥1
Media is too big
VIEW IN TELEGRAM
#shorts #youtube #tiktok #состримов #хакатоны #вебразработка #science
Новый день – новый шортс :D https://youtube.com/shorts/sXuviBht5Oc
Ты думал, что хакатон — это просто тайм-слот или поделка ради бабок? 😎
На самом деле, это настоящее шоу, а кодеры — творцы и гении!
Ни что не мешает уже сейчас тебе реализовать то, что я педалил за 24 часа в 2к18, и под конец уснул, сделал рабочий прототип на шарпах, но не смог продать идею в состоянии сна, так как в команде я был один
Но научную статью я кстати написал http://colloquium-journal.org/wp-content/uploads/2022/05/Colloquium-journal-2019-25-5.pdf там на 5-ой странице есть)
Это отрывок из записи на стриме https://www.twitch.tv/marat_zimnurov, где стримлю каждую среду и пятницу
На рутуб прогрузится как сможет, а сырник сюда прикладываю тоже для тех у кого нет туды доступа
Хорошего вечера)
Новый день – новый шортс :D https://youtube.com/shorts/sXuviBht5Oc
Ты думал, что хакатон — это просто тайм-слот или поделка ради бабок? 😎
На самом деле, это настоящее шоу, а кодеры — творцы и гении!
Ни что не мешает уже сейчас тебе реализовать то, что я педалил за 24 часа в 2к18, и под конец уснул, сделал рабочий прототип на шарпах, но не смог продать идею в состоянии сна, так как в команде я был один
Но научную статью я кстати написал http://colloquium-journal.org/wp-content/uploads/2022/05/Colloquium-journal-2019-25-5.pdf там на 5-ой странице есть)
Это отрывок из записи на стриме https://www.twitch.tv/marat_zimnurov, где стримлю каждую среду и пятницу
На рутуб прогрузится как сможет, а сырник сюда прикладываю тоже для тех у кого нет туды доступа
Хорошего вечера)
🔥2
Media is too big
VIEW IN TELEGRAM
#стриминг #видосики
В этом видео — полноценный разбор OpenClaw и того, как заставить его работать с локальными Ollama-моделями на русском языке и подключить всё это к Telegram.
YouTube: https://youtu.be/zN5TtiavKi8
RuTube: https://rutube.ru/channel/38673349/
Технология на хайпе, основная цель – стрим-гайд на русском
Это не теория, а практический сетап со стрима:
что ставить, как связать компоненты между собой и где обычно всё ломается.
Подойдёт, если ты:
- хочешь использовать openclaw с LLM локально, без облаков
- думаешь, как прикрутить ИИ к Telegram
или просто хочешь понять, как такие системы собираются вживую
📌 Видео сделано на основе стрима — без вырезания контекста и с пояснениями «по ходу».
🔴 Стримы веду периодически, обычно 2 раза в неделю.
Если есть зрители, вопросы и активность — есть мотивация делать их чаще.
Если нет — стрим идёт фоном, пока я что-то делаю.
Так что подписка и вопросы в чате — это реальный сигнал, что формат нужен.
00:00:00 – Постановка задачи
00:00:27 — Рассказываю про примерный роадмап работы с ИИ/LLM на рынке от API чатов до эшелонов
00:03:24 — Как поставить ollama
00:03:44 — На что обратить внимание в работе с локальными моделями по железу
00:04:30 — Какая модель лучшая для openclaw сейчас в разных вариативностях?
00:05:06 — Какая модель лучше для M1-процессоров и кода?
00:05:45 — Ключевая цель записи со стрима про openclaw
00:06:15 — Тянем модель на примере запуска Qwen2.5:14b
00:06:53 — Как поставить openclaw
00:07:16 — Еще раз для зрителя про причины смены правил игры на агентном рынке
00:14:20 — Проходим онбординг openclaw
00:14:50 — Если у вас очень слабое железо, для вас есть решение
00:17:45 — Конвертируем gguf-модель в понятный формат ollama на примере Qwen2.5-o1-0.5b
00:20:46 — Продолжаем онбординг openclaw
00:21:04 — Настройка ollama модели в онбординге openclaw
00:21:18 — Настройка telegram в онбординге openclaw
00:21:18 — Прочие настройки онбординга openclaw
00:22:11 — Что такое gateway в openclaw
00:22:25 — Какой выбрать интерфейс в openclaw
00:23:00 — Проверяем openclaw status
00:23:10 — Проверяем подключение openclaw к telegram
00:23:17 — Разрешаем подключение пользователя openclaw к telegram
00:23:47 — Команды openclaw в telegram
00:24:06 — Настройка подключения модели openclaw к telegram
00:25:10 — Объясняем цель для очередного нового зрителя в пользе локальных моделей
00:25:10 — Смотрим как Qwen2.5:14b сходит с ума и кол-во зрителей прибавляется
00:29:28 — Про кластеризатор exo для запуска на множестве девайсов
00:29:28 — Рассказываю как запустить DeepSeek 671b локально на большом количестве железа
00:32:15 — Немного про конфиг openclaw
00:33:47 — Проверяем подгрузку модели ollama к openclaw
00:34:20 — Включаем авторизацию ollama модели в openclaw
00:35:40 — Тестируем openclaw в telegram и немного смотрим состояние системы
00:36:27 — Концепт как подружить openclaw с клонированием голосов на примере моего voiceover мода для World of Warcraft
00:38:27 — Концепт как подружить openclaw с базой знаний на примере logseq и Zettelkasten
00:39:39 — Как поменять модель в openclaw на примере свитча на Qwen2.5-o1:0.5b
00:39:39 — Немножко про полнотекстовый поиск, составные ключи и MMPH
00:42:17 — Смотрим ответы openclaw в telegram
00:42:45 — Немножко про single table design
00:43:25 — Снова смотрим ответы openclaw в telegram
00:43:33 — Что не нужно включать из навыков openclaw в чатах
00:45:10 — В чем openclaw game changer?
00:46:28 — Смотрим какие еще есть навыки openclaw
00:47:17 — Тестируем и смотрим как Openclaw пытается начать говорить с нами
00:47:54 — Дальнейшая цель для следующего стрима и нарезки и немножко про любовь к эликсиру
- Qwen2.5-o1:0.5b – https://huggingface.co/Pinkstack/PARM-Qwen2.5-o1-0.5B-GGUF
- Статья про озвучку World Of Warcraft - https://habr.com/ru/articles/818513/
Ссылки:
▶ Twitch (стримы):
https://www.twitch.tv/marat_zimnurov
▶ Проекты и услуги: https://digitable.ru/
▶ GitHub: https://github.com/the-homeless-god
Поддержать канал можно на Twitch через кнопку донатов.
В этом видео — полноценный разбор OpenClaw и того, как заставить его работать с локальными Ollama-моделями на русском языке и подключить всё это к Telegram.
YouTube: https://youtu.be/zN5TtiavKi8
RuTube: https://rutube.ru/channel/38673349/
Технология на хайпе, основная цель – стрим-гайд на русском
Это не теория, а практический сетап со стрима:
что ставить, как связать компоненты между собой и где обычно всё ломается.
Подойдёт, если ты:
- хочешь использовать openclaw с LLM локально, без облаков
- думаешь, как прикрутить ИИ к Telegram
или просто хочешь понять, как такие системы собираются вживую
📌 Видео сделано на основе стрима — без вырезания контекста и с пояснениями «по ходу».
🔴 Стримы веду периодически, обычно 2 раза в неделю.
Если есть зрители, вопросы и активность — есть мотивация делать их чаще.
Если нет — стрим идёт фоном, пока я что-то делаю.
Так что подписка и вопросы в чате — это реальный сигнал, что формат нужен.
00:00:00 – Постановка задачи
00:00:27 — Рассказываю про примерный роадмап работы с ИИ/LLM на рынке от API чатов до эшелонов
00:03:24 — Как поставить ollama
00:03:44 — На что обратить внимание в работе с локальными моделями по железу
00:04:30 — Какая модель лучшая для openclaw сейчас в разных вариативностях?
00:05:06 — Какая модель лучше для M1-процессоров и кода?
00:05:45 — Ключевая цель записи со стрима про openclaw
00:06:15 — Тянем модель на примере запуска Qwen2.5:14b
00:06:53 — Как поставить openclaw
00:07:16 — Еще раз для зрителя про причины смены правил игры на агентном рынке
00:14:20 — Проходим онбординг openclaw
00:14:50 — Если у вас очень слабое железо, для вас есть решение
00:17:45 — Конвертируем gguf-модель в понятный формат ollama на примере Qwen2.5-o1-0.5b
00:20:46 — Продолжаем онбординг openclaw
00:21:04 — Настройка ollama модели в онбординге openclaw
00:21:18 — Настройка telegram в онбординге openclaw
00:21:18 — Прочие настройки онбординга openclaw
00:22:11 — Что такое gateway в openclaw
00:22:25 — Какой выбрать интерфейс в openclaw
00:23:00 — Проверяем openclaw status
00:23:10 — Проверяем подключение openclaw к telegram
00:23:17 — Разрешаем подключение пользователя openclaw к telegram
00:23:47 — Команды openclaw в telegram
00:24:06 — Настройка подключения модели openclaw к telegram
00:25:10 — Объясняем цель для очередного нового зрителя в пользе локальных моделей
00:25:10 — Смотрим как Qwen2.5:14b сходит с ума и кол-во зрителей прибавляется
00:29:28 — Про кластеризатор exo для запуска на множестве девайсов
00:29:28 — Рассказываю как запустить DeepSeek 671b локально на большом количестве железа
00:32:15 — Немного про конфиг openclaw
00:33:47 — Проверяем подгрузку модели ollama к openclaw
00:34:20 — Включаем авторизацию ollama модели в openclaw
00:35:40 — Тестируем openclaw в telegram и немного смотрим состояние системы
00:36:27 — Концепт как подружить openclaw с клонированием голосов на примере моего voiceover мода для World of Warcraft
00:38:27 — Концепт как подружить openclaw с базой знаний на примере logseq и Zettelkasten
00:39:39 — Как поменять модель в openclaw на примере свитча на Qwen2.5-o1:0.5b
00:39:39 — Немножко про полнотекстовый поиск, составные ключи и MMPH
00:42:17 — Смотрим ответы openclaw в telegram
00:42:45 — Немножко про single table design
00:43:25 — Снова смотрим ответы openclaw в telegram
00:43:33 — Что не нужно включать из навыков openclaw в чатах
00:45:10 — В чем openclaw game changer?
00:46:28 — Смотрим какие еще есть навыки openclaw
00:47:17 — Тестируем и смотрим как Openclaw пытается начать говорить с нами
00:47:54 — Дальнейшая цель для следующего стрима и нарезки и немножко про любовь к эликсиру
- Qwen2.5-o1:0.5b – https://huggingface.co/Pinkstack/PARM-Qwen2.5-o1-0.5B-GGUF
- Статья про озвучку World Of Warcraft - https://habr.com/ru/articles/818513/
Ссылки:
▶ Twitch (стримы):
https://www.twitch.tv/marat_zimnurov
▶ Проекты и услуги: https://digitable.ru/
▶ GitHub: https://github.com/the-homeless-god
Поддержать канал можно на Twitch через кнопку донатов.
❤3🔥3
elibrary_80495209_48531472 (1).pdf
584.1 KB
#дайджест #ии #rag #education #programming #база
Минимальный набор практико-ориентированных публикаций по внедрению RAG/LLM на работе и/или в своих проектах
Подпишись, чтобы не потерять 📚 перешли коллегам, чтобы созидать вместе и подписаться сюды) 😎
– Semantic RAG – как научить AI-ассистентов понимать, а не угадывать
– Три сказа о построении RAG: От выбора модели до форматирования базы знаний
– Новый фреймворк Memento позволяет агентам на базе LLM учиться на опыте — без дообучения модели
– Как мы научили LLM отвечать на вопросы абитуриентов в крупнейшем вузе страны
– Just AI запускает Agent Platform — первую в России enterprise-платформу для разработки и управления AI-агентами
– 4 фреймворка апокалипсиса: LangChain, LlamaIndex, CrewAI и Semantic Kernel в действии
– Хватит дообучать ИИ — дайте ему контекст
– GEPA вместо RL: как рефлексивная эволюция промптов обгоняет обучение с подкреплением
– Развертывание ИИ внутри контура/On-premise — выбор оборудования, расчет и закупка
– Genkit Go 1.0: AI-фреймворк для продакшена
– Секреты LLM по API: динамическая анонимизация данных для российского бизнеса
– Что такое эмбеддинги и как с ними работать. Вводная для начинающих
– Не просто RAG: Строим MCP-сервер на Node.js, чтобы дать LLM «архитектурное зрение»
– Использование графов знаний при разработке RAG-систем
– Применение LLM + RAG для диалоговых систем в службе поддержки
– Часть 1. Обзор подходов RAG
– Что такое Retrieval-Augmented Generation (RAG) в языковых моделях и как оно работает?
– Наука: Методология создания многосвязных структур данных с применением llm в рабочих проектах
– Wiki: СППР
Минимальный набор практико-ориентированных публикаций по внедрению RAG/LLM на работе и/или в своих проектах
Подпишись, чтобы не потерять 📚 перешли коллегам, чтобы созидать вместе и подписаться сюды) 😎
– Semantic RAG – как научить AI-ассистентов понимать, а не угадывать
– Три сказа о построении RAG: От выбора модели до форматирования базы знаний
– Новый фреймворк Memento позволяет агентам на базе LLM учиться на опыте — без дообучения модели
– Как мы научили LLM отвечать на вопросы абитуриентов в крупнейшем вузе страны
– Just AI запускает Agent Platform — первую в России enterprise-платформу для разработки и управления AI-агентами
– 4 фреймворка апокалипсиса: LangChain, LlamaIndex, CrewAI и Semantic Kernel в действии
– Хватит дообучать ИИ — дайте ему контекст
– GEPA вместо RL: как рефлексивная эволюция промптов обгоняет обучение с подкреплением
– Развертывание ИИ внутри контура/On-premise — выбор оборудования, расчет и закупка
– Genkit Go 1.0: AI-фреймворк для продакшена
– Секреты LLM по API: динамическая анонимизация данных для российского бизнеса
– Что такое эмбеддинги и как с ними работать. Вводная для начинающих
– Не просто RAG: Строим MCP-сервер на Node.js, чтобы дать LLM «архитектурное зрение»
– Использование графов знаний при разработке RAG-систем
– Применение LLM + RAG для диалоговых систем в службе поддержки
– Часть 1. Обзор подходов RAG
– Что такое Retrieval-Augmented Generation (RAG) в языковых моделях и как оно работает?
– Наука: Методология создания многосвязных структур данных с применением llm в рабочих проектах
– Wiki: СППР
👍2🔥1
Media is too big
VIEW IN TELEGRAM
#shorts #youtube #состримов #математика #программисты
Шортс про нужна ли в общем смысле математика кодеру
https://youtube.com/shorts/-mlLOxT5bTg
Подписывайтесь на канал YouTube – https://www.youtube.com/@the_homeless_god
И на блог) ну и на стримы залетайте)
Шортс про нужна ли в общем смысле математика кодеру
https://youtube.com/shorts/-mlLOxT5bTg
Подписывайтесь на канал YouTube – https://www.youtube.com/@the_homeless_god
И на блог) ну и на стримы залетайте)
😍1
#дайджест #всеподряд
— 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 дней тимлида: как стабилизировать команду, внедрить ритуалы, оценку задач и правильное делегирование
— 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 дней тимлида: как стабилизировать команду, внедрить ритуалы, оценку задач и правильное делегирование
❤3
Media is too big
VIEW IN TELEGRAM
#стриминг #видосики #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
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
❤1
Media is too big
VIEW IN TELEGRAM
Media is too big
VIEW IN TELEGRAM
#стриминг #видосики #shorts #иттен #цветоваятеория #чтонастримахпроисходит
Ещё шорт с нарезки с недавнего стрима, где я рассказываю о том, что происходит на стримах и опять про цветовую теорию и Иттена, про которую уже был пост в канале два года назад, чекай канал и подписывайся, узнаешь больше про прогу)
• YouTube
• RuTube
• Twitch
Ещё шорт с нарезки с недавнего стрима, где я рассказываю о том, что происходит на стримах и опять про цветовую теорию и Иттена, про которую уже был пост в канале два года назад, чекай канал и подписывайся, узнаешь больше про прогу)
• YouTube
• RuTube
• Twitch