Всем привет. Выложил главы 2.1 и 2.2 моей книги про C++

https://boosty.to/cpp_lects_rus/posts/26f430cd-22b9-4d79-9a00-97a0ade31fb5

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

https://boosty.to/cpp_lects_rus/posts/eeee2a76-c1be-46e5-a248-c8c1eb62fae8

https://boosty.to/cpp_lects_rus/posts/5029d95f-831c-4262-9002-19ce8ea5208a

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

Если вы ещё не подписались, рассмотрите возможность это сделать. Ну и конечно буду рад отзывам комментариям и предложениям и на boosty и здесь в комментариях к посту.

#cppbook #boosty

Встреча во Владивостоке пройдет 12 июля на кампусе ДВФУ. Посетить может кто угодно не только студенты. Регистрация открыта ))

🔔 Встреча с Константином Владимировым — автором блога @cpp_lects_rus
Друзья, у нас отличные новости!
12 июля в 16:00 состоится встреча с Константином Владимировым — преподавателем МФТИ, автором книги «Оптимизирующие компиляторы. Структура и алгоритмы» и создателем популярного Telegram-канала «C++ and other lectures».
Константин более 15 лет работает в области компиляторных технологий, возглавлял рабочую группу по разработке компилятора для Intel, а сейчас занимается компилятором для RISC-V в компании Syntacore. На его YouTube-канале — сотни лекций и докладов по C++, а сам блог @cpp_lects_rus собрал уже тысячи подписчиков.
На встрече вы сможете задать вопросы, обсудить актуальные темы разработки и узнать много нового из первых рук.
🗓 Когда: 12 июля в 16:00
📍 Где: Кампус ДВФУ, Корпус D, 7 уровень, ауд. D738
Для участия обязательна предварительная регистрация:
https://forms.yandex.ru/cloud/6a3511c79029026df82c8c4d
✅Организатор площадки: департамент математического и компьютерного моделирования ДВФУ
❓По оргвопросам можно обращаться к директору департамента математического и компьютерного моделирования ДВФУ Андрею Сущенко @AndreiSushchenko

Выложил лекцию по llvm-snippy. Настало время рассказать о моём лучшем проекте на моём канале.

Английская версия: https://youtu.be/gomtQMGOFF8
Русская версия и качество не хуже: https://rutube.ru/video/18e1a8bfca1d9e2979d8b8a631e68207

Документация: https://llvm-snippy.github.io/llvm-snippy

#snippy

У llvm-snippy теперь есть DOI.

Мы добавили в репозиторий citation metadata и заархивировали проект на Zenodo:

https://doi.org/10.5281/zenodo.20969925

Если вы используете llvm-snippy в статьях, отчётах, диссертациях, прототипах, исследовательских проектах или просто в воспроизводимых экспериментах, пожалуйста, ссылайтесь на него.

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

Репозиторий:
https://github.com/LLVM-Snippy/llvm-snippy

Документация:
https://llvm-snippy.github.io/llvm-snippy

#snippy #official

Выложил лекцию Анастасии Черниковой о практическом внедрении llvm-snippy в верификацию аппаратуры на примере открытого RISC-V ядра Ibex.

https://youtu.be/fSsq5mm3I40

Эта лекция -- настоящее путешествие по применению llvm-snippy в живой DV-инфраструктуре. Она затрагивает вопросы: как встроиться в существующий маршрут с riscv-dv, как написать хороший враппер и как доработать загрузчик и обработчики прерываний. Всё изложение построено вокруг поэтапной доработки сценариев генерации ради достижения функционального покрытия.

Лекцию можно смотреть и отдельно от первой части: весь необходимый контекст даётся по ходу. Но вместе они хорошо показывают две стороны llvm-snippy: внутреннее устройство инструмента и его практическое применение в реальной задаче верификации.

Русскоязычный вариант: https://rutube.ru/video/27414410f66e3d36e4733c9390062304

#snippy

Сделал свой канал в 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

Всем привет. Отчётный стрим на boosty проведу в воскресенье, 26 июля в 20 по Москве.

https://boosty.to/cpp_lects_rus

Уровень доступа: студент и выше.

Обсудим прогресс по книге, прошедшую конференцию C++ Russia, предстоящую Zero Cost Conf и многое другое.

#boosty

К слову о разговорных жанрах. Выложили интервью со мной на 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

Выступил на C++ ZCC. Видео выложу по мере появления. А пока мне тут скинули бинго по моим докладам на конференциях.

Не знаю только при чем тут userver.

#official

Выложили наш с Лизой доклад на 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

Чем заняться вечером и на выходных? Конечно чтением книги по C++. Я как раз выложил главы 2.3 и 2.4

https://boosty.to/cpp_lects_rus/posts/0b557d7e-d4a2-4d30-881a-c8ea704d67ba

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

Я, между прочим, суммарно написал уже больше, чем моя прошлая книга по компиляторам и написал куда быстрее. Всё благодаря вам.

Если вы ещё не подписались, рассмотрите возможность это сделать или повысить ваш уровень подписки. Ну и конечно буду рад отзывам комментариям и предложениям и на boosty и здесь в комментариях к посту.

#cppbook #boosty

Официальное уведомление. Господа, если вы хотите зайти в комментарии и:
(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://xn--r1a.website/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