Языки программирования / Спецпроцессоры / Прототипирование компиляторов

Продолжаем знакомить вас с профессионалами в области низкоуровневого программирования. Гость нового выпуска — Пётр Советов, разработчик компиляторов для спецпроцессоров, специалист в сфере технологий компиляции и синтеза программ, преподаватель РТУ МИРЭА и известный докладчик профильных конференций. В этом выпуске Антон Афанасьев обсуждает с гостем предметно-ориентированные языки, проектирование специализированных ускорителей и компиляторов, а также возможную пользу от изучения истории алгоритмов. Когда требуется новый предметно-ориентированный язык и компилятор для него? Есть ли в России сильные курсы по разработке компиляторов? Чем инженеру полезно знание экзотических языков? Почему наступает золотой век специализированной архитектуры? Есть ли практическая польза в изучении исследований прошлых лет? Ответы на эти и другие вопросы ждут вас в четырнадцатом выпуске подкаста. 📚 Полезные ссылки: · Журнал ZX-Ревю: https://speccy.info/ZX-%D0%A0%D0%B5%D0%B2%D1%8E · О книге «Язык компьютера»: https://dzen.ru/a/X7ScQn6x_kug_Mbh · Книги по языку Форт: http://old-dos.ru/index.php?page=lib&do=show&id=645 http://old-dos.ru/index.php?page=lib&do=show&id=644 http://old-dos.ru/index.php?page=lib&do=show&id=646 · Форт-процессоры GreenArrays: https://www.greenarraychips.com/ · Статья о программировании процессоров серии SEAforth/GreenArrays: http://sovietov.com/txt/seaforth/seaforth.html · Веб-демонстрация отображения информационного графа на решётку SEAforth/GreenArrays: http://sovietov.com/app/mapper/mapper_demo.html · Книга И. Е. Тарасова «ПЛИС Xilinx. Языки описания аппаратуры VHDL и Verilog, САПР, приемы проектирования»: http://techbook.ru/book.php?id_book=1082 · Язык функционально-логического программирования Verse: https://github.com/UnrealVerseGuru/VerseProgrammingLanguage · Пример языкового верстака — Spoofax: https://spoofax.dev/ · Лекция легендарного профессора Дэвида Паттерсона «Новый золотой век компьютерной архитектуры»: https://youtu.be/ruUh7m_ncI4 · Статья на Хабре «Жизнь в эпоху тёмного кремния»: https://habr.com/ru/companies/intel/articles/158223/ · Язык Halide: https://halide-lang.org/ · Учебник по разработке компиляторов от Cooper & Torczon: https://shop.elsevier.com/books/engineering-a-compiler/cooper/978-0-12-815412-0 · Компилятор Даталога: https://souffle-lang.github.io/ · Диссертация на тему создания DSL-компиляторов для спецпроцессоров: https://www.mirea.ru/upload/medialibrary/72e/Sopetov_dissertation.pdf · Сайт Брета Виктора: https://worrydream.com/ Другие полезные видео с Петром Советовым: · Создание компиляторов для спецпроцессоров: https://youtu.be/1m8oAQCTSeY?si=OoJMJsiDOxWUwLIk · Аппаратная компиляция: синтез специализированных ускорителей: https://youtu.be/Q6-h6R_e-04?si=ob4kNEMsvcQ5RMk2 · В Python есть готовый фронтенд для вашего компилятора: https://www.youtube.com/watch?v=h-TzDPL2nDE · Цикл докладов о советской компиляторной школе: https://github.com/true-grue/soviet_compilers ✅Подписывайтесь на Telegram-канал подкаста: https://t.me/+9byRkr-nf_Y1MDUy 🔹Станьте частью команды YADRO! https://careers.yadro.com 0:00 — Тизер 0:49 — Представление гостя 3:01 — Как Пётр начал программировать или игра в Basic 7:40 — Язык программирования Forth 12:08 — DSL-языки 22:11 — Учеба в университете 25:05 — Как писать на Forth 29:16 — Карьерный путь и задачи 45:30 — Этап стартапов 54:33 — Работа в вузе 1:01:44 — Компиляторные курсы в России 1:07:39 — Экзотические языки 1:10:42 — Что показывать студентам 1:11:41 — Точки притяжения системного программирования в России 1:13:40 — Будущее языков программирования 1:17:03 — Спецпроцессоры и важность codesign 1:25:00 — Расширяемость RISC-V и стандартизация 1:29:32 — Почему наступает золотой век специализированной архитектуры 1:32:00 — Программируемость ускорителей 1:36:57 — Инструменты для быстрой разработки компиляторов 1:49:21 — Супероптимизация 1:52:08 — История советской компиляторной школы 2:00:07 — Заключение 🎧 Слушайте «Битовые маски» на других платформах: Яндекс.Музыка: https://music.yandex.com/album/26508178 Apple Podcasts: https://podcasts.apple.com/ru/podcast/%D0%B1%D0%B8%D1%82%D0%BE%D0%B2%D1%8B%D0%B5-%D0%BC%D0%B0%D1%81%D0%BA%D0%B8-%D0%BE-%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%BD%D0%BE%D0%BC-%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B8-%D0%BF%D1%80%D0%BE%D1%81%D1%82%D1%8B%D0%BC%D0%B8/id1695727208 Все платформы: https://engineer.yadro.com/podcasts/category/bitmask/