Итоги Летнего Системного Буткемпа: как устроено интенсивное обучение в НГУ и YADRO

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

Формат: две недели — и никакой теории в вакууме

Зафиксируем структуру. Участники объединились в команды по исследовательским интересам, получили кураторов и за 14 дней прошли путь от постановки задачи до защиты результата на финальной конференции. Никаких лекций ради лекций — каждый день работали над кодом, собирали цепочки инструментов, ловили баги в собственных решениях. Это не «прослушал курс и забыл», а проектный спринт с дедлайном и публичным финалом.

Четыре проекта — четыре инженерных дисциплины

Посмотрим, что именно ковали команды:

• Операционная система на языке Rust;
• Воспроизводимая цепочка сборки компилятора на «чистом железе»: от минимального обозримого бинарного файла через верифицируемые форматы данных до полностью детерминированной сборки TCC (Tiny C Compiler) на архитектуре RISC-V;
• Дедуктивная верификация программы умножения матриц с помощью платформы Frama-C, включая работу с ассемблерными вставками и условиями корректности кода;
• Исследование производительности процессора на RISC-V со специализированными ядрами для нейронных сетей.

Обратите внимание на разброс компетенций: низкоуровневая разработка, формальная верификация, аппаратная производительность. Это не учебный набор «для галочки», а конкретные инженерные вызовы, за которые в индустрии платят зарплаты.

Особо отметим работу с проблемой доверия к цепочке сборки компилятора — атакой класса Reflecting Trust / Trusting Trust. Задача уровня продвинутой инженерной практики, которую студенты закрыли за две недели.

По оценке куратора проекта Дмитрия Кондратьева, дедуктивная верификация десятилетиями не выходила за стены лабораторий из-за сложности — и только современные методы автоматизации позволили применять её к реальным задачам. По его словам, участники с минимальной подготовкой смогли за две недели освоить эту область и полностью завершили верификацию программы умножения матриц. Участница буткемпа Алиса добавила, что команде приходилось несколько раз пересматривать первоначальный подход из-за ограничений Frama-C и особенностей работы с памятью — и в итоге рабочее решение было найдено.

Алгоритм проверки: что смотреть в похожем интенсиве

Мы разберём конкретный чек-лист. Во-первых, проекты: они должны решать инженерную задачу, а не имитировать учебную. Во-вторых, куратор — ищите специалиста с публикациями в индустрии, без сильного наставника двухнедельный спринт превращается в хаос. В-третьих, финал: обязательна публичная защита результата, иначе это красный флаг. В-четвёртых, стек: Rust, RISC-V, формальная верификация — признаки того, что программа говорит на языке современной инженерии, а не повторяет университетский курс десятилетней давности.

Буткемп НГУ и YADRO — не единственная точка входа в системное программирование, но один из чистых примеров того, как должна выглядеть прикладная подготовка. Берите его как ориентир при оценке любых двухнедельных интенсивов.