C++ and other lectures

Выложили моё видео на 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 Раскрытие секрета почему у нас всё так, как оно есть. И дальше вопросы.

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

Выложил лекцию Анастасии Черниковой о практическом внедрении llvm-snippy в верификацию аппаратуры на примере открытого RISC-V ядра Ibex. https://youtu.be/fSsq5mm3I40 Эта лекция -- настоящее путешествие по применению llvm-snippy в живой DV-инфраструктуре. Она затрагивает вопросы: как встроиться в существующий маршрут с riscv-dv, как написать хороший враппер и как доработать загрузчик и обработчики прерываний. Всё изложение построено вокруг поэтапной доработки сценариев генерации ради достижения функционального покрытия. Лекцию можно смотреть и отдельно от первой части: весь необходимый контекст даётся по ходу. Но вместе они хорошо показывают две стороны llvm-snippy: внутреннее устройство инструмента и его практическое применение в реальной задаче верификации. Русскоязычный вариант: https://rutube.ru/video/27414410f66e3d36e4733c9390062304 #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. Настало время рассказать о моём лучшем проекте на моём канале. Английская версия: https://youtu.be/gomtQMGOFF8 Русская версия и качество не хуже: https://rutube.ru/video/18e1a8bfca1d9e2979d8b8a631e68207 Документация: https://llvm-snippy.github.io/llvm-snippy #snippy

🔔 Встреча с Константином Владимировым — автором блога @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

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