Выложил лекцию Анастасии Черниковой о практическом внедрении 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