C++ and other lectures

Сделал свой канал в Max публичным. Теперь буду туда всё дублировать: https://max.ru/channel_cpp_lects_rus И появились комментарии. #official

Выложили моё видео на C++ Russia 2026, посвящённое выводу типов, его тонкой связи с перегрузкой и некоторым моим мечтам о языке. https://youtu.be/ebyXav1JAEQ?is=rAumvFRI4sFTRFPQ 00:00 Intro: немного болтовни 03:20 Начало. Напоминаю про семантические процессы 06:10 Мечта про инференс в стиле Хиндли-Милнера и как перегрузка ломает унификацию. 11:58 Почему мы любим перегрузку и как мы пишем множества перегрузки? 16:54 Сложность разрешения перегрузки: частичный порядок. 24:28 Перегрузка связана с выводом типов. Правила одношаговой унификации (дедукции) типов. 29:24 Немного про CTAD и пара безумных примеров. 35:28 Мечта про вывод по всем путям. Комбинаторные взырывы и non-deduced context. 38:35 Мечта про "Семантически неограниченный C++". 42:04 Раскрытие секрета почему у нас всё так, как оно есть. И дальше вопросы. Слайды: https://sourceforge.net/projects/cpp-lects-rus/files/conference-talks/deduction.pdf/download #conference

К слову о разговорных жанрах. Выложили интервью со мной на C++ Russia. Вроде неплохо получилось. https://youtu.be/jeX96GPYSlI?is=kwLq3K1Qtvy64oE1 #conference

И снова пятничный зачилл. Подумайте вот о таком коде. Сначала не открывая годболт. Что скажете? struct T { const int &p; }; void foo() { T t{0}; } // ??? void bar() { T t(0); } // ??? Теперь откройте ссылку и сверьте ощущения. https://godbolt.org/z/6rfGzx991 Кто прав — gcc или clang? Или... оба? ))) Ссылки на стандарт обязательны. За нейронку — штрафные баллы )) Пример восхитителен не глубокими причинами в стандарте, а тем насколько всё тупо. В общем смешной кейс на пятничный вечер. #questions

Выложили наш с Лизой доклад на ZCC. Спасибо организаторам за оперативность. https://youtu.be/ohYtMHBXLvM?is=lwvD3swa1fLQOPff 00:00 Начало и немного о мире стабильного ABI: немного C и ассемблера 10:35 Про ABI в C++ и генерализованную перегрузку сущностей 16:02 Появление Лизы и много компиляторной магии 35:20 Возвращение меня и история про static chain register 40:10 Ответы на вопросы. #conference

Выложили выступление на C++ Russia моего коллеги Юлия Тарасова. https://youtu.be/Zrwe4vCzvbM Юлий рассказывает про std::simd 00:00 Начало. Опрос про векторные интринсики, язык боли и язык страданий. 06:00 Автовекторизация в компиляторе 12:05 Абстрагирующие библиотеки и std::simd 18:35 Интеграция со стандартной библиотекой и выравнивание 23:15 Время некоторых конкретных замеров 30:22 Ограничения std::simd и альтернативы на примере ISPC 34:00 Выводы и ответы на вопросы #conference

Официальное уведомление. Господа, если вы хотите зайти в комментарии и: (1) Обсудить новый язык который куда лучше С++ и даже уже почти компилируется с помощью llvm/mlir в x86 ассемблер. (2) Посомневаться в необходимости ISO, стандартов и всякой замшелой бюрократии которая вовсе не нужна молодым и динамичным. (3) Содержательно ответить по пунктам (1) и (2). То я могу вам посоветовать для этого другие площадки. Например детские. А тут, извините, вы будете удалены из приличного общества. #official

Вот и наступил сентябрь, начало учебного года. Каждый год я делаю стримы со своего магистерского и бакалаврского курсов. Этот год не станет исключением. Ссылки выкладываются в дискорд для либералов: https://discord.gg/w73eVVraKg И в Max для патриотов: https://max.ru/channel_cpp_lects_rus Ссылки на стрим постятся до начала лекции, так что вы можете участвовать онлайн в реальном времени. Вопросы по теме лекции из чата стрима зачитываются в аудитории. В основном канале дискорд-сервера обычно помещается организационная информация. Как вы понимаете, я нигде не размещаю рекламу, ничего не монетизирую и т.п. Если вы хотите меня поддержать у меня есть boosty: http://boosty.to/cpp_lects_rus и это единственный официальный способ. Стримы в этом году будут вестись на rutube, технология опробована и сюрпризов не ожидается. Стримы отличаются от публично выложенных на канале курсов некоторыми обновлениями материала, отсутствием видео и традиционно плохим звуком (с обработкой звука и съёмкой видео я заморачиваюсь только для официальной выкладки), на стримах у меня обычно только экран -- слайды и код. Записи стримов сохраняются и доступны после стрима в том числе доступны записи с прошлых лет. #official

Выложили доклад моего студента и коллеги Саши Романова про рефлексию в C++. С моей точки зрения, композиционно и содержательно это лучшее что вы можете посмотреть о рефлексии в этом году. https://www.youtube.com/watch?v=M58nlv0lJr4 00:00 Intro. 02:46 Начало доклада. Немного о макросах. 07:08 Рефлексия, кошачьи уши, сплайсы и template for: самый быстрый тур. 23:58 Паттерны проектирования и их переиспользование. 28:36 Factory на рефлексии 32:48 Observer на рефлексии 43:09 Стирание типов на рефлексии 53:20 Завершение и вопросы #conference

Мне начали кидать в личку всякие странные видео из бентосных интернетов, появляющиеся (сейчас в 2026-м) как реакт на моё старое интервью 2024-го года. Вот на это: https://t.me/cpp_lects_rus/225 Хочется во-первых поздравить их авторов с подключением к интернету. А во вторых хочется объявить первый из серии добрых стримов. Итак встречайте, добрый стрим №1 пройдёт в среду вечером в 22-00 на бусти. Обсудим безопасные языки. В стриме будет две части. Сначала я в формате образовательного семинара не особо вчитываясь в вопросы разберу что это вообще такое, в чём они безопасные, какие вообще есть и всё такое. Дальше поотвечаю на вопросы. Ну а потом серьёзная часть закончится и я поразбираю видосы, которые мне накидали. И комменты под ними. И личности авторов. Стрим, как я и обещал, будет добрым. Не пропустите: https://boosty.to/cpp_lects_rus/streams/video_stream?share=post_link Для вопросов: https://www.donationalerts.com/r/cpp_lects_rus UPD Запись и слайды доступны тут: https://boosty.to/cpp_lects_rus/posts/d66e9da6-08e2-414b-8f8f-be8fd0c8787d #boosty

Выложили доклад моего аспиранта и коллеги Владислава Белова @sick_hoof по алиасингу памяти в C++. https://www.youtube.com/watch?v=lkklIY4580o 00:00 Начало и представление оратора. 01:41 Определение алиасинга, его цена и опыт запрета алиасинга в Fortran. 07:45 Революция языка C: type-based aliasing и его поддержка в компиляторах. 13:31 Алиасинг в C++ на сегодняшний день. Свод правил type punning. 22:50 Привет из прошлого: restrict в C и эффект наблюдателя. 28:02 Попытки добавить в C++ такого рода механизмы. 41:04 Итоги и ответы на вопросы Мы с ним вместе докладывали на ту же тему на ZCC прошлого года, но тут куда больше интересной информации по C++ части и очень обстоятельный разбор вариантов добавления подобных механизмов в язык. Очень рекомендую посмотреть. Доклад визуально безупречен. Мне наша деврел написала "выложили твоего котика" )) Настя Черникова @anastasiya_chernik0va (вы её уже видели на этом канале) как эксперт тоже очень хороша. #conference

Участвую в Ghost in the Code, рассылке YADRO о работе с легаси на C++. Удивительно ламповый формат, электронная почта и всё такое. Семь авторов, семь писем, по одному в неделю. Первое придёт 15 сентября. Темы охватывают разные стороны работы со старым кодом: как разобраться в незнакомом проекте с помощью AI, привести в порядок сборку и CI, разобраться с аллокаторами в PostgreSQL, внедрить новые возможности C++ и настроить поиск ошибок. Будет и разговор о процессах: ревью, документации и выборе между рефакторингом и переписыванием. Кроме меня, письма готовят Антон Полухин, Алексей Веселовский, Андрей Карпов, Илья Шишков и другие. В каждом письме будет задача. Среди тех, кто правильно решит все задачи, разыграют призы, в том числе мою книгу Оптимизирующие компиляторы с автографом. Подписка бесплатная. Программа и форма подписки: https://yadro-legacy.tech #publications

Многие люди, прошедшие мой базовый курс языка C спрашивали -- а что дальше. Ведь мир языка C куда глубже и интересней чем простые алгоритмы и всё такое. И моя главная проблема всегда была в том, что дальше надо идти в системное ПО, Linux kernel и прочие вещи которых я достаточно глубоко не знаю (и поэтому не могу рассказывать). Я рад сообщить, что открывается прекрасная возможность. Известный в мире языка C разработчик, Сергей Мирошниченко (PCIe Hotplug в Linux kernel и многое другое, погуглите) будет вести массовый открытый курс "Системное программирование с использованием языка С". Курс пройдет онлайн с октября 2026 по май 2027 года. Занятия -- раз в неделю. Больше половины времени будет посвящено практике. Занятия бесплатные, но нужна регистрация. Материалы для подготовки и форма регистрации: https://edu.yadro.com/practical-courses/?course=sistem-programming-c UPD: как выяснилось курс только для студентов. #c_graduate

В четверг вечером провожу встречу со студентами и преподавателями ВШЭ. В планах: короткий рассказ про RAII, подписывание книг, живое общение. 24 сентября, 18:00. Покровский бульвар, д. 11, ауд. R401. #author_event

3 октября буду в Уфе проводить встречу с читателями. Адрес: Улица Генерала Горбатова 2, коворкинг «Люди». Время: 16:00-18:00 Записывайтесь. https://docs.google.com/forms/d/e/1FAIpQLSe7ygBmm5zKcw4vt3orFU9i-l0lvPObvmrBP7mF4OHf3moNyw/viewform?usp=sharing&ouid=102992545224077909044 #author_event

Внезапно для меня самого, количество моих уважаемых подписчиков перешагнуло 10к. Я думаю это надо отметить: провести стрим или записать специальную лекцию. Выбор в ваших руках. Математика, программирование, общие вопросы. Правила игры такие. Вы в комментариях либо пишете "формат : тема" где формат это лекция или стрим, а тема это хм... собственно тема, либо ставите лайк тому, что кто-то написал. Итоги в субботу 24-го в 00:00 (то есть вечером субботы, в ночь на воскресенье). Я считаю голоса и объявляю победителя. После чего беру время на подготовку и исполняю. P. S. Варианты без указания формата или конкретной темы дисквалифицируются. #official

Победил вариант: Стрим: лайвкодинг какого-нибудь интересного мини-проекта на Си с рассуждениями Неожиданно. Я думал лекцию большинство попросит. Но ок, я не против. Стрим проведу в субботу 31-го октября на youtube, начнём в 18 и как пойдёт. Проект подберу сам, так как тема в варианте-победителе не задана. #official

Стрим завтра (в субботу 31-го октября) в 18 часов будет открыт всем желающим: https://youtube.com/live/MTDiQ52e4ok Регламент такой. 1. Минут 15 собираемся, некая болтовня ни о чём и о 10к как о важной вехе канала. Ответы на актуальные вопросы заданные в донатах до стрима. 2. Немного слайдов о том что такое PBQP почему эта задача важная и о том что за солвер мы будем писать. 3. Лайвкодинг кусками по 30 минут фулл-фокус, после чего минут 5-10 отдыха с чтением вопросов и донатов и далее опять погружение в лайв-кодинг. Кстати вопросы и донаты можно засылать заранее: https://www.donationalerts.com/r/cpp_lects_rus Залетание на стрим с топовыми донатами очень приветствуется. #official

Всем спасибо. Мне кажется, замечательно прошло. Таймлайн: 00:12:10 Начало основного изложения 00:37:40 Лайв-кодинг первая часть: структуры данных и чтение ввода. 01:55:00 Донаты и вопросы а также ещё слайды 02:16:00 Лайв-кодинг вторая часть: жадный солвер. 03:45:30 Отладка загадочного сегфолта с привлечением GDB 04:26:24 Фиксируем успех и ещё немного донатов. 04:40:00 Пишем второй точный солвер и остатки теории. Ссылка на запись: https://youtube.com/live/MTDiQ52e4ok Слайды: https://sourceforge.net/projects/cpp-lects-rus/files/combinatorics/pbqp.pdf/download #official #combinatorics