Выложил четвёртое видео по ассемблеру (но к слову именно ассемблера тут не так много).

https://youtu.be/iW-m98NCOTw

На этом занятии мы попробуем осознать сложность представления вещественных чисел, познакомимся со стандартом IEEE754, посмотрим на два способа работы с плавающими числами в ассемблере x86 и даже обсудим влияние на оптимизации. Параллельно будет введена концепция строгого алиасинга: в будущем она нам сильно пригодится.

#c_graduate

Выложил самое солнечное из видео этого семестра (хотя кто знает, вдруг будут ещё солнечней).

https://youtu.be/W8SlojkhBas

Завершая разговор про ассемблер, мы рассмотрим ассемблеры ARM и RISCV, идею линк-регистра, постиндексную адресацию, жизнь без регистра флагов, векторизацию и прочее. В конце после обзора литературы не выключайте, будет бонус про релокации.

#c_graduate

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

#official

Начинаем новый логический семинар.

https://youtu.be/TYHefcf43Bw

На этом занятии мы погрузимся в реальный мир. Начнём с простого бенчмаркинга и особенностей поведения оптимизирующих компиляторов, разберёмся с макросами, а потом встанем перед загадкой связанной с произведением матриц и решим её. Кроме того студенты получат задание на проект.

P. S. я из-за перевыкладки потерял под видео кучу лайков, просьба накидать новых ))

#c_graduate

Недавно посмотрел видео, которое кажется мне незаслуженно обойдённым вниманием широкой аудитории.

Докладчик обаятельный, истории про кибербезопасность интересные. Но вот смотришь и думаешь: вот человек вроде как расследует преступность в сети. Но преступность против кого? Против извращенцев, фурри и заказывателей дерьма. Давайте все вместе бороться чтобы личные данные пользователей сайта знакомств для гомосексуалистов не попали в сеть. Докладчик (скорее всего действительно не за деньги а по зову сердца) сотрудничает ради этого со спецслужбами нескольких стран. А привлекают к отвественности в итоге мамкиных хакеров.

Ссылка и мой таймлайн доклада.

https://youtu.be/iUg0MmHyM-Y?si=oMw87KvpGPswy9HS

00:00 Как сложно быть владельцем сайта на котором можно проверить хакнули ли тебя.
06:51 Что обычно делают владельцы таких сайтов с теми кто туда приходит
12:22 История про утечку данных с сайта фурри
16:15 Киберпреступность молодеет: история про форум BF
25:57 Заказ дерьма онлайн и история про утечку данных с него.
33:11 История про утечку данных с сайта знакомств для гомосексуалистов
40:02 История про утечки куков с пройденной двухфакторкой

Не буду делать выводов, каждый сделает их сам. В принципе можно смотреть видео как юмористическое и не думать ни о чём таком. В общем-то докладчик и сам угарает со своих подзащитных фуррей.

#talks

Выступил на митапе Yadro с докладом про цену абстракции в C++

https://www.youtube.com/watch?v=cK4cMdx9QeQ

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

#conference

Выложил вторую часть семинара про архитектуру.

https://youtu.be/2kfd58ChHCI

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

#c_graduate

В эфире рубрика "стёртые комментарии моих забаненных подписчиков".

Преамбула. На моём ютуб-канале 17+ тысяч подписчиков и это очень много. Я с некоторым опасением смотрел на цифры уже когда нас стало 10к+, потому что ясное дело, что для любого большого канала поддержание порядка, вдумчивой и конструктивной атмосферы в комментариях, взаимовежливости и взаимоуважения это проблема.

Но шло время и радостным удивлением для меня стало, что люди вокруг моего канала в целом очень хорошие. Сейчас я проверил список тех кто забанен -- там всего 80 аккаунтов, это меньше половины процента подписчиков. При том что я морально был готов к цифрам порядка 10-15%. Поэтому конечно начать хочу с того что всех поблагодарить -- вы все действительно супер. Ну или это я обаятельный и не вызываю особого негатива. Или и то и другое.

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

https://telegra.ph/Styortye-kommentarii-moih-zabanennyh-podpischikov-04-13

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

P. S. Разумеется не все комментарии, вошедшие в этот обзор были стёрты и не все подписчики забанены. Даже не половина. Название выбрано просто так, чтобы хорошо звучало.

#official

Выложил вставной семинар по стандарту C.

https://youtu.be/WAA04Wt48dE

Мы начнём с попытки изобрести очень простой язык программирования и увидим на его примере основные особенности поведения высокоуровневых программ. Далее мы подробно разберём разные формы поведения программ на языке C, познакомимся и потренируемся со стандартом языка.

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

В конце я приготовил небольшое рассуждение про важность стандартизации.

P. S. Многие могут заметить параллели с моим видео в продвинутом курсе по стандарту C++. Да, они есть, но исторически именно семинар в курсе по C был первым, а его вариант нацеленный на C++ я записал просто потому что первый курс ещё не был готов для записи.

#c_graduate

Ещё одно дополнительное занятие, на этот раз по основам сборки. Это собственно не семинар. Я попросил на вечер лекционную аудиторию и это больше мой любимый лекционный формат.

https://youtu.be/KPlVqXsXKVA

Мы начнём с разминки в виде анализа зависимостей между файлами. Очень быстро пройдя первый наивный способ собирать скриптом, мы за час напишем три версии makefiles возрастающей сложности. Ну а в конце нас ждёт немного cmake.

Я немного подумал и не стал ничего вырезать, хотя там есть пара моментов которые я обычно вырезаю т.к. они не предусмотрены сценарием занятия (внезапные проблемы, глитчи, отладка в реальном времени). Тут вы сможете почувствовать себя на настоящей не слишком отредактированной лекции.

#c_graduate

Подводим итоги конкурса нейросетей.

30 апреля 2023 года я объявил конкурс нейросетей на лучшую картинку по запросу.

https://t.me/cpp_lects_rus/99

Убедительную победу в конкурсе нейросетей одержала человек Даша https://t.me/dariaemacs чью картинку я в итоге и использовал в новой пачке слайдов к лекциям. Впрочем, в том посте были и довольно милые варианты.

У Даши тоже есть блог по программированию и подписчиков там почти как у меня https://youtube.com/@DariaEmacs

А рисование - это её хобби, работы можно посмотреть тут https://www.livemaster.ru/dariaemacs/category/205?v=0&sortitems=0&cid=0 (мне показались отличными).

#llm #questions

Наконец-то выложили в открытый доступ мой доклад на прошлогодней C++Russia. Не прошло и года. Подписчики моего телеграм-канала уже видели его по ссылке в посте https://t.me/cpp_lects_rus/112, но, кажется, пришло время пересмотреть и накидать лайков ))

https://www.youtube.com/watch?v=lc3UkIZ4zOY&t=110s

К слову, я также выступаю на C++Russia в этом году: 2 июня в 16-30 https://cppconf.ru/en/schedule/days/#day-2

Мой доклад будет продолжением прошлого: мы погрузимся в философию языка (как естественного так и языка C++). С нами будут Бертран Рассел и самое большое и самое недооценённое изменение в C++23.

#conference

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

https://youtu.be/FXzlzyQQ90c

На этом занятии мы разберёмся с матрицами, линейным программированием, захватим библиотеки BLAS и LAPACK и познакомимся с солверами на примере COIN-OR Linear Programming Solver. Я прямо предчувствую как меня будут критиковать за некоторый советский (а некоторые скажут: антисоветский) окрас второй части семинара. Ничего не поделать. Я как обычно постарался минимизировать политические присадки, но тут они полезны для усвояемости материала. Да и речь идёт о делах давно минувших дней.

#c_graduate

В тему последнего семинара по C, но расширяя её на C++, мой уважаемый подписчик @A_A_Arg задаёт вопросы, в равной степени интересные и для меня тоже так что хочется их вынести на общее обсуждение.

(1) Каковы шансы, что std::linalg  попадет в состав стандартной библиотеки C++26, и хорошо ли это?

(2) Что сейчас считается лучшим пакетом на C++ для линейной алгебры (например, в отношении скорости и встроенных возможностей распараллеливания)?

Если на канале есть специалисты, поделитесь пожалуйста со всеми.

#questions

Выложил вторую часть восьмого семинара

https://youtu.be/Yp-rN_AZVSI

В основном она посвящена решению уравнений.

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

Выложил дополнение к восьмому семинару, не обязательное, но мне кажется милым и интересным.

https://youtu.be/Y_2uSYwQdtU

Мы поговорим про использование библиотеки SDL для создания простых визуализаций и даже игр. Я пробую рассмотреть все базовые возможности и для практики посередине будет задание.

#c_graduate

Выложил последний семинар курса по языку C. Собственно языка C тут уже не будет, мы поговорим скорее о программировании в целом и про его пределы.

https://youtu.be/k9qO7Jthk60

На этом семинаре мы начнём с обычного ассемблера и будем его упрощать. Сначала на этом пути мы получим RAM-модель, далее машину Минского ну и в конце машину Тьюринга. Где-то там, на том краю, где программирование уже смыкается с математикой, мы рассмотрим фундаментальные проблемы вычислимости и познакомимся с быстро растущими функциями.

В конце видео я скажу пару слов в напутствие. Ну а ниже напишу чуть больше. Пожалуйста дальше читайте только после просмотра ))

—-

Проект записи и выкладки первого курса очень долго меня особенно пугал. Семинары были бессистемными, основывались больше на личном общении и проходили в аудиториях куда сложно было хоть как-то воткнуть камеру. Не очень понятно было как же записать моё трёхчасовое хождение между студентами, перемежаемое какими-то объяснениями в основном у доски. Оформился этот проект в прошлом году когда после пяти лет ведения этих семинаров я придумал их формат, сочетающий некоторые разъяснения (которыми я компенсирую недостатки лекционного материала) и много самостоятельной работы.

Я бы не вытянул этот проект, если бы не помощь в первую очередь Марка Гончарова, Юлия Тарасова, а также Владислава Белова, Станислава Сидельникова и Сергея Циммермана, которые всё это время были за кадром (Марк впрочем в кадре ненадолго появился) но делали куда больше чем многим кажется. Хочется казать им большое спасибо, в том числе за преподавание на открытых в этом году дополнительных курсах лаборатории RISC-V. Очень надеюсь, что эти курсы получат своё продолжение и будут в свою очередь записаны через несколько лет, но уже без меня.

—-

Немного о дальнейших творческих планах я напишу уже летом. Они есть и скоро всех моих уважаемых подписчиков ждёт нечто крайне интересное.

—-

P. S.

Марка на следующий год для преподавания на РТ не утвердили. Формальное основание: набор студентов сокращается, в этом году группы и так были маленькие, много преподавателей не надо. Так что курс остаётся как чистый онлайн, а на первом курсе в наступающем году на ФРКТ будет всё как обычно, но уже без возможности учиться по этой семинарской программе (у каждого семинариста программа индивидуальная). В общем я его очень вовремя записал. Такие дела.

#c_graduate

Выступил на конференции МТС с вечным докладом на тему открытой и расширяемой архитектуры RISC-V.

https://www.youtube.com/watch?v=qoNjayusCX4

Я бы сказал этот -- один из лучших которые у меня получились в этом жанре.

Сама конференция к слову произвела на меня отличное впечатление, это без преувеличений было пока что самое эпичное из мероприятий куда меня в этом году звали. С другой стороны я пока не сходил на C++ Russia и на Сбер GigaConf (и туда и туда я тоже приглашён) так что пока что сезон не закрыт.

UPD: слайды https://sourceforge.net/projects/cpp-lects-rus/files/conference-talks/mts-riscv-2024-nopwd.pdf/download

#conference #riscv

Выступил весной на конференции Heizenbug с докладом про генератор llvm-snippy, который мы недавно заопенсорсили. Сейчас видео стало доступно публично.

https://www.youtube.com/watch?v=ceAK85rAkfY&t=146s

Timeline
00:00 -- Разминка и вводная информация про RISC-V (иначе никто бы ничего не понял)
05:53 -- Постановка задачи
11:00 -- Недостатки существующих генераторов и как мы их адресуем компиляторными технологиями
18:10 -- Архитектура llvm-snippy
23:30 -- Генерация доступов к памяти
27:17 -- Условные переходы и вызовы функций
35:27 -- Система пассов. Сниппи как последний в мире генератор, потому что других теперь не надо.
38:24 -- Вопросы

Слайды к докладу: https://github.com/tilir/snippy/releases/download/1.0/snippy-heizenbug.pdf

Собственно генератор: https://github.com/syntacore/snippy

Документация к генератору является частью первого релиза: https://github.com/syntacore/snippy/releases/tag/snippy-1.0

---

В целом это был очень интересный опыт. Конференция была отчётливо "не моя". Я редко выступаю перед пустыми залами. Обычно на мои выступления идут, что бы я ни рассказывал. На Гейзенбаге, наконец-то, это был тот самый случай когда меня вообще никто не знал, и, логично, что почти никто не пришёл. Зал был человек на 150, по факту же в нём сидело где-то 25 человек из них человек двадцать это джаваскриптеры со стеклянными глазами. Остальные ушли в другие залы. Осудим ли мы их за это? ))

С одной стороны можно сказать, что вообще идти туда было ошибкой. С другой стороны, а где найти в России не слишком душную конференцию по дизайну и верификации аппаратуры? Если у вас такая есть, позовите меня туда. Я понадеялся что на Гейзенбаге будут интересные доклады по тестированию разного уровня и что для того уровня, о котором рассказываю я, тоже найдутся те, кто его поймёт и воспримет. Если судить по оценкам, то можно сказать так: всем, кто его посмотрел, доклад очень понравился. Просто мало кто посмотрел.

Сам доклад тоже для меня не типичный. Я редко рассказываю о том, что делаю на работе. А тут я рассказывал о проекте, который моя команда делала и внедряла около года и для которого я сам был и остаюсь чем-то вроде архитектора и руководителя в одном лице. То есть для меня эта тема очень живая и очень интересная.

Посмотрим будет ли интересно моей уважаемой аудитории здесь ))

#conference