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

Продолжаем знакомить вас с профессионалами в области низкоуровневого программирования. Гость нового выпуска — Пётр Советов, разработчик компиляторов для спецпроцессоров, специалист в сфере технологий компиляции и синтеза программ, преподаватель РТУ МИРЭА и известный докладчик профильных конференций.

В этом выпуске Антон Афанасьев обсуждает с гостем предметно-ориентированные языки, проектирование специализированных ускорителей и компиляторов, а также возможную пользу от изучения истории алгоритмов. Когда требуется новый предметно-ориентированный язык и компилятор для него? Есть ли в России сильные курсы по разработке компиляторов? Чем инженеру полезно знание экзотических языков? Почему наступает золотой век специализированной архитектуры? Есть ли практическая польза в изучении исследований прошлых лет? Ответы на эти и другие вопросы ждут вас в четырнадцатом выпуске подкаста.

📚 Полезные ссылки:
· Журнал ZX-Ревю: https://speccy.info/ZX-%D0%A0%D0%B5%D...
· О книге «Язык компьютера»: https://dzen.ru/a/X7ScQn6x_kug_Mbh
· Книги по языку Форт:
http://old-dos.ru/index.php?page=lib&...
http://old-dos.ru/index.php?page=lib&...
http://old-dos.ru/index.php?page=lib&...
· Форт-процессоры GreenArrays: https://www.greenarraychips.com/
· Статья о программировании процессоров серии SEAforth/GreenArrays: http://sovietov.com/txt/seaforth/seaf...
· Веб-демонстрация отображения информационного графа на решётку SEAforth/GreenArrays: http://sovietov.com/app/mapper/mapper...
· Книга И. Е. Тарасова «ПЛИС Xilinx. Языки описания аппаратуры VHDL и Verilog, САПР, приемы проектирования»: http://techbook.ru/book.php?id_book=1082
· Язык функционально-логического программирования Verse: https://github.com/UnrealVerseGuru/Ve...
· Пример языкового верстака — Spoofax: https://spoofax.dev/
· Лекция легендарного профессора Дэвида Паттерсона «Новый золотой век компьютерной архитектуры»:    • Новый золотой век компьютерной архите...  
· Статья на Хабре «Жизнь в эпоху тёмного кремния»: https://habr.com/ru/companies/intel/a...
· Язык Halide: https://halide-lang.org/
· Учебник по разработке компиляторов от Cooper & Torczon: https://shop.elsevier.com/books/engin...
· Компилятор Даталога: https://souffle-lang.github.io/
· Диссертация на тему создания DSL-компиляторов для спецпроцессоров:
https://www.mirea.ru/upload/medialibr...
· Сайт Брета Виктора: https://worrydream.com/

Другие полезные видео с Петром Советовым:
· Создание компиляторов для спецпроцессоров:    • Создание компиляторов для спецпроцесс...  
· Аппаратная компиляция: синтез специализированных ускорителей:    • Петр Советов — Аппаратная компиляция:...  
· В Python есть готовый фронтенд для вашего компилятора:    • Пётр Советов — В Python есть готовый ...  
· Цикл докладов о советской компиляторной школе: https://github.com/true-grue/soviet_c...

✅Подписывайтесь на Telegram-канал подкаста: https://t.me/+bx50QfUlw4pkZDEy

🔹Станьте частью команды 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...
Все платформы: https://engineer.yadro.com/podcasts/c...